Abstract
RACER implements a TBox and ABox reasoner for the logic SℌIQ. RACER was the first full-fledged ABox description logic system for a very expressive logic and is based on optimized sound and complete algorithms. RACER also implements a decision procedure for modal logic satisfability problems (possibly with global axioms).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J. Alvarez. Tbox acquisition and information theory. In Baader and Sattler [4], pages 11–20.
C. Areces, W. Bouma, and M. de Rijke. Description logics and feature interaction. In Lambrix et al. [20], pages 33–36.
F. Baader, E. Franconi, B. Hollunder, B. Nebel, and H.J. Profitlich. An empirical analysis of optimization techniques for terminological representation systems. Applied Intelligence, 2(4):109–138, 1994.
F. Baader and U. Sattler, editors. Proceedings of the International Workshop on Description Logics (DL’2000), Aachen, Germany, August 2000.
A.G. Cohn, F. Giunchiglia, and B. Selman, editors. International Conference on Principles of Knowledge Representation and Reasoning (KR’2000), April 2000.
J.W. Freeman. Improvements to propositional satisfability search algorithms. PhD thesis, University of Pennsylvania, Computer and Information Science, 1995.
V. Haarslev and R. Müller. An empirical evaluation of optimization strategies for ABox reasoning in expressive description logics. In Lambrix et al.[20], pages 115–119.
V. Haarslev and R. Müller. Consistency testing: The RACE experience. In R. Dyckhoff, editor, Proceedings, Automated Reasoning with Analytic Tableaux and Related Methods, number 1847 in Lecture Notes in Artificial Intellegence, pages 57–61, Springer-Verlag, April 2000.
V. Haarslev and R. Müller. Expressive ABox reasoning with number restrictions, role hierarchies, and transitively closed roles. In Cohn et al. [5], pages 273–284.
V. Haarslev and R. Müller. High performance reasoning with very large knowledge bases: A practical case study. In B. Nebel H. Levesque, editor, International Joint Conference on Artificial Intelligence (IJCAI’2001), August 4th-10th, 2001, Seattle, Washington, USA. Morgan-Kaufmann, August 2001.
V. Haarslev and R. Müller. RACER user’s guide and reference manual version 1.5. Technical report, University of Hamburg, Computer Science Department, 2001.
V. Haarslev and R. Müller. Signature calculus: Optimizing reasoning with number restrictions. Technical report, University of Hamburg, Computer Science Department, June 2001.
V. Haarslev, R. Müller, and A.-Y. Turhan. Exploiting pseudo models for tbox and abox reasoning in expressive description logics. In Massacci [21]. In this volume.
V. Haarslev, R. Müller, and M. Wessel. The description logic ALCHRR+ extended with concrete domains. In Massacci [21]. In this volume.
I. Horrocks. Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester, 1997.
I. Horrocks and P. Patel-Schneider. Optimising description logic subsumption. Journal of Logic and Computation, 9(3):267–293, June 1999.
I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In Harald Ganzinger, David McAllester, and Andrei 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.
I. Horrocks, U. Sattler, and S. Tobies. Reasoning with individuals for the description logic SHIQ. In David MacAllester, editor, Proceedings of the 17th International Conference on Automated Deduction (CADE-17), number 1831 in Lecture Notes in Computer Science, Germany, 2000. Springer-Verlag.
I. Horrocks and S. Tobies. Reasoning with axioms: Theory and practice. In Cohn et al. [5], pages 285–296.
P. Lambrix et al., editor. Proceedings of the International Workshop on Description Logics (DL’99), July 30-August 1, 1999, Linküping, Sweden, June 1999.
F. Massacci, editor. International Joint Conference on Automated Reasoning (IJ-CAR’2001), June 18-23, 2001, Siena, Italy., Lecture Notes in Artificial Intelligence. Springer-Verlag, June 2001.
R.M. Stallman and G.J. Sussman. Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis. Artificial Intelligence, 9(2):135–196, 1977.
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. (2001). RACER System Description. 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_59
Download citation
DOI: https://doi.org/10.1007/3-540-45744-5_59
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