Description logic with transitive and inverse roles and role hierarchies

Journal of Logic and Computation

Volumn 9, Issue 3, 1999, Pages 385-410

  Horrocks, Ian ^a   Sattler, Ulrike ^b  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

^b RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS; LINGUISTICS; SET THEORY; THEOREM PROVING;

DESCRIPTION LOGIC; TABLEAUX ALGORITHM; TRANSITIVITY;

KNOWLEDGE REPRESENTATION;

EID: 0032592917     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/9.3.385     Document Type: Article

References (29)

1. F. Baader. Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles. In Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI-91), pp. 446-451, 1991.
2. F. Baader, M. Buchheit, and B. Hollunder. Cardinality restrictions on concepts. Artificial Intelligence, 88, 195-213, 1996.
3. F. Baader, H.-J. Burckert, B. Nebel, W. Nutt and G. Smolka. On the expressivity of feature logics with negation, functional uncertainty and sort equations. Journal of Logic, Language and Information, 2, 1-18, 1993.
4. M. Buchheit, F. M. Donini and A. Schaerf. Decidable reasoning in terminological knowledge representation systems. Journal of Artificial Intelligence Research, 1, 109-138, 1993.
5. D. Calvanese. Unrestricted and Finite Model Reasoning in Class-Based Representation Formalisms. PhD thesis, Dipartimento di Informatica e Sistemistica, Università di Roma 'La Sapienza', 1996.
6. D. Calvanese, M. Lenzerini and D. Nardi. A unified framework for class based representation formalisms. In Proceedings of the Fourth International Conference on the Principles of Knowledge Representation and Reasoning (KR-94), J. Doyle, E. Sandewall and P. Torasso, eds. pp. 109-120, Morgan Kaufmann, Los Altos, CA, 1994.
7. P. P. Chen. The entity-relationship model: Toward a unified view of data. ACM Transactions on Database Systems, 1, 9-36, 1976.
8. G. De Giacomo. Decidability of Class-Based Knowledge Representation Formalisms. PhD thesis, Dip. di Inf. e Sist., Univ. di Roma "La Sapienza", 1995.
9. G. De Giacomo and M. Lenzerini. Tbox and Abox reasoning in expressive description logics. In Proceedings of the Fifth International Conference on the Principles of Knowledge Representation and Reasoning (KR-96), pp. 316-327. Morgan Kaufmann, Los Altos, 1996.
10. G. De Giacomo and F. Massacci. Combining deduction and model checking into tableaux and algorithms for converse-pdl. Information and Computation, 1998. To appear.
11. G. De Giacomo and F. Massacci. Combining deduction and model checking into tableaux and algorithms for converse-pdl. Information and Computation, to appear.
12. G. De Giacomo and M. Lenzerini. Boosting the correspondence between description logics and prepositional dynamic logics (extended abstract). In Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI-94), 1994.
13. M. J. Fischer and R. E. Ladner. Prepositional dynamic logic of regular programs. Journal of Computer and System Science, 18, 194-211, 1979.
14. E. Franconi, G. De Giacomo, R. M. MacGregor, W. Nutt, C. A. Welty, and F. Sebastiani, editors. Collected Papers from the International Description Logics Workshop (DL'98). CEUR, May 1998.
15. J. Y. Halpern and Y. Moses. A guide to completeness and complexity for modal logic of knowledge and belief. Artificial Intelligence, 54, 319-379, 1992.
16. B. Hollunder and W. Nutt. Subsumption algorithms for concept languages. In Proceedings of the 9th European Conference on Artificial Intelligence (ECAI'90), pp. 348-353. John Wiley and Sons, 1990.
17. I. Horrocks. Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester, 1997.
18. I. Horrocks. Using an expressive description logic: FaCT or fiction? In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR'98), A. G. Cohn, L. Schubert, and S. C. Shapiro, eds. pp. 636-647. Morgan Kaufmann, San Francisco, CA, 1998.
19. I. Horrocks and G. Gough. Description logics with transitive roles. In Proceedings of the International Workshop on Description Logics, M.-C. Rousset, R. Brachmann, F. Donini, E. Franconi, I. Horrocks, and A. Levy, eds. pp. 25-28, Gif sur Yvette, France, 1997. Université Paris-Sud.
20. I. Horrocks and P. F. Patel-Schneider. Comparing subsumption optimizations. In Collected Papers from the International Description Logics Workship (DL'98), E. Franconi et al., eds. pp. 90-94. CEUR, 1998.
21. I. Horrocks and P. F. Patel-Schneider. Optimising prepositional modal satisfiability for description logic subsumption. In Artificial Intelligence and Symbolic Computation: International Conference AISC'98, number 1476 in Lecture Notes in Artificial Intelligence, J. Calmet and J. Plaza, eds. pp. 234-246. Springer-Verlag, 1998.
22. R+ -satisfiability. LTCS-Report 98-08, LuFg Theoretical Computer Science, RWTH Aachen, Germany, 1998.
23. R. E. Ladner. The computational complexity of provability in systems of modal prepositional logic. SIAM Journal of Computing, 6, 467-480, 1977.
24. P. F. Patel-Schneider. DLP system description. In Collected Papers from the International Description Logics Workship (DL'98), E. Franconi et al., eds. pp. 87-89. CEUR, 1998.
25. V. R. Pratt. Models of program logics. In Proceedings of the 20th Annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, 1979.
26. U. Sattler. A concept language extended with different kinds of transitive roles. In 20. Deutsche Jahrestagung für Künstliche Intelligenz, number 1137 in Lecture Notes in Artificial Intelligence, G. Görz and S. Hölldobler, eds. pp. 333-345. Springer Verlag, 1996.
27. U. Sattler. Terminological Knowledge Representation Systems in a Process Engineering Application. PhD thesis, RWTH Aachen, 1998.
28. K. Schild. A correspondence theory for terminological logics: Preliminary report. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91), pp. 466-471, Sydney, 1991.
29. M. Schmidt-Schauß and G. Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48, 1-26, 1991.