Reasoning with individuals for the description logic SHIQ

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 1831, Issue , 2000, Pages 482-496

  Horrocks, Ian ^a   Sattler, Ulrike ^b   Tobies, Stephan ^b  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

^b RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; DATA DESCRIPTION; FORMAL LANGUAGES; QUERY PROCESSING; THEOREM PROVING;

CONJUNCTIVE-QUERY CONTAINMENT; DESCRIPTION LOGIC; EFFICIENT IMPLEMENTATION; EXPRESSIVE DESCRIPTION LOGIC; REASONING ALGORITHMS;

ALGORITHMS;

EID: 84937405545     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/10721959_39     Document Type: Conference Paper

References (24)

1. C. Areces, P. Blackburn, and M. Marx. A road-map on complexity for hybrid logics. In Proc. of CSL'99, number 1683 in LNCS, pages 307-321 Springer-Verlag, 1999
2. F. Baader. Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles. In Proc. of IJCAI-91, 1991.
3. F. Baader, H.-J. Bürckert, 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. F. Baader, H.-J. Heinsohn, B. Hollunder, J. Muller, B. Nebel, W. Nutt, and H.-J. Profitlich. Terminological knowledge representation: A proposal for a terminological logic. Technical Memo TM-90-04, DFKI, Saarbrücken,Germany, 1991.
5. P. Blackburn and J. Seligman. What are hybrid languages? In Advances in Modal Logic, volume 1, pages 41-62. CSLI Publications, Stanford University, 1998.
6. M. Buchheit, F. M. Donini, and A. Schaerf. Decidable reasoning in terminological knowledge representation systems. J. of Artificial Intelligence Research, 1: 109-138, 1993.
7. D. Calvanese. Reasoning with inclusion axioms in description logics: Algorithms and complexity. In Proc. of ECAI'96, pages 303-307. JohnWiley & Sons Ltd., 1996.
8. D. Calvanese, G. De Giacomo, and M. Lenzerini. On the decidability of query containment under constraints. In Proc. of PODS'98, pages 149-158. 1998.
9. D. Calvanese,G. De Giacomo,M. Lenzerini, D. Nardi, and R. Rosati. Source integration in data warehousing. In Proc. of DEXA-98. IEEE Computer Society Press, 1998.
10. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, and Riccardo Rosati. Description logic framework for information integration. In Proc. of KR-98, 1998.
11. G. De Giacomo and F. Massacci. Combining deduction and model checking into tableaux and algorithms for converse-PDL. Information and Computation, 1998. To appear.
12. Giuseppe De Giacomo and Maurizio Lenzerini. What's in an aggregate: Foundations for description logics with tuples and sets. In Proc. of IJCAI-95, 1995.
13. V. Haarslev and R. Möller. An empirical evaluation of optimization strategies for abox reasoning in expressive description logics. In Lambrix et al. [19], pages 115-119.
14. I. Horrocks. FaCT and iFaCT. In Lambrix et al. [19], pages 133-135.
15. I. Horrocks, A. Rector, and C. Goble. A description logic based schema for the classification of medical data. In Proc. of the 3rdWorkshop KRDB'96. CEUR, June 1996.
16. I. Horrocks and U. Sattler. A description logic with transitive and inverse roles and role hierarchies. Journal of Logic and Computation, 9 (3) : 385-410, 1999.
17. I. Horrocks, U. Sattler, S. Tessaris, and S. Tobies. Query containment using a DLR ABox. LTCS-Report 99-15, LuFG Theoretical Computer Science, RWTH Aachen,Germany, 1999.
18. I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In Proc. of LPAR'99, number 1705 in LNAI, pages 161-180. Springer-Verlag, 1999.
19. P. Lambrix, A. Borgida, M. Lenzerini, R. Möller, and P. Patel-Schneider, editors. Proc. of the InternationalWorkshop on Description Logics (DL'99), 1999.
20. E. Mays, R. Weida, R. Dionne, M. Laker, B. White, C. Liang, and F. J. Oles. Scalable and expressive medical terminologies. In Proc. of the 1996 AMAI Annual Fall Symposium, 1996.
21. U. Sattler. A concept language extended with different kinds of transitive roles. In 20. Deutsche Jahrestagung für KI, volume 1137 in LNAI. Springer-Verlag, 1996.
22. A. Schaerf. Reasoning with individuals in concept languages. Data and Knowledge Engineering, 13 (2) : 141-176, 1994.
23. K. Schild. A correspondence theory for terminological logics: Preliminary report. In J. Mylopoulos, R. Reiter, editors, Proc. of IJCAI-91, Sydney, 1991.
24. M. Schmidt-Schauß and G. Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48 (1) : 1-26, 1991.