Abstract
This paper investigates optimization techniques and data structures exploiting the use of so-called pseudo models. These techniques are applied to speed up TBox and ABox reasoning for the description logics ALCNHR + and ALC(D). The advances are demonstrated by an empirical analysis using the description logic system RACE that implmenets TBox and ABox reasoning for ALCNHR +.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Reference
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.
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.
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.
V. Haarslev, R. Möller, and M. Wessel. The description logic ALCNHR+ 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.
I. Horrocks. Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester, 1997.
I. Horrocks and P. Patel-Schneider. Optimizing description logic subsumption. Journal of Logic and Computation, 9(3):267–293, June 1999.
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.
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.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Haarslev, V., Möller, R., Turhan, AY. (2001). Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics. In: Goré, R., Leitsch, A., Nipkow, T. (eds) Automated Reasoning. IJCAR 2001. Lecture Notes in Computer Science, vol 2083. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45744-5_6
Download citation
DOI: https://doi.org/10.1007/3-540-45744-5_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42254-9
Online ISBN: 978-3-540-45744-2
eBook Packages: Springer Book Archive