Advertisement

RACER System Description

  • Volker Haarslev
  • Ralf Möller
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2083)

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).

Keywords

Description Logic Role Hierarchy Tableau Calculus Transitive Role Inference Service 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    J. Alvarez. Tbox acquisition and information theory. In Baader and Sattler [4], pages 11–20.Google Scholar
  2. 2.
    C. Areces, W. Bouma, and M. de Rijke. Description logics and feature interaction. In Lambrix et al. [20], pages 33–36.Google Scholar
  3. 3.
    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.CrossRefGoogle Scholar
  4. 4.
    F. Baader and U. Sattler, editors. Proceedings of the International Workshop on Description Logics (DL’2000), Aachen, Germany, August 2000.Google Scholar
  5. 5.
    A.G. Cohn, F. Giunchiglia, and B. Selman, editors. International Conference on Principles of Knowledge Representation and Reasoning (KR’2000), April 2000.Google Scholar
  6. 6.
    J.W. Freeman. Improvements to propositional satisfability search algorithms. PhD thesis, University of Pennsylvania, Computer and Information Science, 1995.Google Scholar
  7. 7.
    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.Google Scholar
  8. 8.
    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.Google Scholar
  9. 9.
    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.Google Scholar
  10. 10.
    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.Google Scholar
  11. 11.
    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.Google Scholar
  12. 12.
    V. Haarslev and R. Müller. Signature calculus: Optimizing reasoning with number restrictions. Technical report, University of Hamburg, Computer Science Department, June 2001.Google Scholar
  13. 13.
    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.Google Scholar
  14. 14.
    V. Haarslev, R. Müller, and M. Wessel. The description logic ALCHRR+ extended with concrete domains. In Massacci [21]. In this volume.Google Scholar
  15. 15.
    I. Horrocks. Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester, 1997.Google Scholar
  16. 16.
    I. Horrocks and P. Patel-Schneider. Optimising description logic subsumption. Journal of Logic and Computation, 9(3):267–293, June 1999.MathSciNetCrossRefzbMATHGoogle Scholar
  17. 17.
    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.Google Scholar
  18. 18.
    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.Google Scholar
  19. 19.
    I. Horrocks and S. Tobies. Reasoning with axioms: Theory and practice. In Cohn et al. [5], pages 285–296.Google Scholar
  20. 20.
    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.Google Scholar
  21. 21.
    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.Google Scholar
  22. 22.
    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.CrossRefzbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Volker Haarslev
    • 1
  • Ralf Möller
    • 1
  1. 1.University of Hamburg, Computer Science DepartmentHamburgGermany

Personalised recommendations