Exploiting pseudo models for TBox and ABox reasoning in expressive description logics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2083 LNAI, Issue , 2001, Pages 61-75

  Haarslev, Volker ^a   Möller, Ralf ^a   Turhan, Anni Yasmin ^b  

^a UNIVERSITY OF HAMBURG   (Germany)

^b RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; COMPUTATION THEORY; SEMANTICS;

DESCRIPTION LOGIC; DESCRIPTION LOGIC SYSTEMS; EMPIRICAL ANALYSIS; EXPRESSIVE DESCRIPTION LOGIC; OPTIMIZATION TECHNIQUES; PSEUDO-MODELS; SPEED UP;

DATA DESCRIPTION;

EID: 84862007147     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45744-5_6     Document Type: Conference Paper

References (9)

1. F. Baader and P. Hanschke. A scheme for integrating concrete domains into concept languages. In Twelfth International Joint Conference on Artificial Intelligence, Darling Harbour, Sydney, Australia, Aug. 24-30, 1991, pages 452-457, August 1991.
2. V. Haarslev and R. Möller. An empirical evaluation of optimization strategies for ABox reasoning in expressive description logics. In P. Lambrix et al., editor, Proceedings of the International Workshop on Description Logics (DL'99), July 30 - August 1, 1999, Linköping, Sweden, pages 115-119, June 1999.
3. V. Haarslev and R. Möller. Expressive ABox reasoning with number restrictions, role hierarchies, and transitively closed roles. In A.G. Cohn, F. Giunchiglia, and B. Selman, editors, Proceedings of Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR'2000), Breckenridge, Colorado, USA, April 11-15, 2000, pages 273-284, April 2000.
4. R+ extended with concrete domains: A practically motivated approach. In Proceedings of the International Joint Conference on Automated Reasoning, IJCAR'2001, June 18-23, 2001, Siena, Italy, LNCS. Springer-Verlag, Berlin, June 2001.
5. I. Horrocks. Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester, 1997.
6. I. Horrocks and P. Patel-Schneider. Optimising description logic subsumption. Journal of Logic and Computation, 9(3):267-293, June 1999.
7. I. Horrocks and P.F. Patel-Schneider. DL systems comparison. In Proceedings of DL'98, International Workshop on Description Logics, pages 55-57, Trento(Italy), 1998.
8. I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In H. Ganzinger, D. McAllester, and A. Voronkov, editors, Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99), number 1705 in Lecture Notes in Artificial Intelligence, pages 161-180. Springer-Verlag, September 1999.
9. A.-Y. Turhan. Optimierungsmethoden für den Erfüllbarkeitstest bei Beschreibungslogiken mit konkreter Domäne Optimization methods for the satisfiability test for description logics with concrete domains (in German). Master's thesis, Universität Hamburg, Fachbereich Informatik University of Hamburg, Computer Science Department, April 2000.