Skip to main content
SpringerLink
Log in

RACER System Description

  • Conference paper
  • First Online:
Automated Reasoning (IJCAR 2001)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2083))

Included in the following conference series:

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

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J. Alvarez. Tbox acquisition and information theory. In Baader and Sattler [4], pages 11–20.

    Google Scholar 

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

    Article  Google Scholar 

  4. F. Baader and U. Sattler, editors. Proceedings of the International Workshop on Description Logics (DL’2000), Aachen, Germany, August 2000.

    Google Scholar 

  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. J.W. Freeman. Improvements to propositional satisfability search algorithms. PhD thesis, University of Pennsylvania, Computer and Information Science, 1995.

    Google Scholar 

  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. 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. 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. 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. 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. 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. 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. 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. I. Horrocks. Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester, 1997.

    Google Scholar 

  16. I. Horrocks and P. Patel-Schneider. Optimising description logic subsumption. Journal of Logic and Computation, 9(3):267–293, June 1999.

    Article  MathSciNet  MATH  Google Scholar 

  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. 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. I. Horrocks and S. Tobies. Reasoning with axioms: Theory and practice. In Cohn et al. [5], pages 285–296.

    Google Scholar 

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

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Hamburg, Computer Science Department, Vogt-Külln-Str. 30, 22527, Hamburg, Germany

    Volker Haarslev & Ralf Möller

Authors
  1. Volker Haarslev
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ralf Möller
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Automated Reasoning Project and Department of Computer Science, Australian National University, Canberra, ACT, 0200, Australia

    Rajeev Goré

  2. AG Theoretische Informatik und Logik, Institut für Computersprachen, Technische Universität Wien, Favoritenstr. 9, E185-2, 1040, Wien, Austria

    Alexander Leitsch

  3. Institut für Informatik, Technische Universität München, 80290, München, Germany

    Tobias Nipkow

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation