RACER System Description

RACER implements a TBox and ABox reasoner for the logic SHIQ. 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 satisfiability problems (possibly with global axioms).

[1]  J. Freeman.  Improvements to propositional satisfiability search algorithms , 1995 .

[2]  Volker Haarslev,et al.  Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles , 2000, KR.

[3]  Volker Haarslev,et al.  High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study , 2000, IJCAI.

[4]  Maarten de Rijke,et al.  Description Logics and Feature Interaction , 1999, Description Logics.

[5]  J. Davenport.  Editor , 1960 .

[6]  Volker Haarslev,et al.  Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics , 2001, IJCAR.

[7]  Jordi Alvarez.  TBox Acquisition and Information Theory , 2000, Description Logics.

[8]  Volker Haarslev,et al.  An Empirical Evaluation of Optimization Strategies for ABox Reasoning in Expressive Description Logics , 1999, Description Logics.

[9]  Anni-Yasmin Turhan,et al.  RACE User's Guide and Reference Manual Version 1.1 , 1999 .

[10]  Gerald J. Sussman,et al.  Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis , 1976, Artif. Intell..

[11]  Volker Haarslev,et al.  The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach , 2000, IJCAR.

[12]  Volker Haarslev,et al.  Consistency Testing: The RACE Experience , 2000, TABLEAUX.

[13]  Ian Horrocks,et al.  Reasoning with Axioms: Theory and Practice , 2000, KR.

[14]  Patrick Brézillon,et al.  Lecture Notes in Artificial Intelligence , 1999 .

[15]  Ian Horrocks,et al.  Practical Reasoning for Expressive Description Logics , 1999, LPAR.

[16]  Ian Horrocks,et al.  Reasoning with Individuals for the Description Logic SHIQ , 2000, CADE.

[17]  Ian Horrocks,et al.  Optimising Tableaux Decision Procedures For Description Logics , 1997 .

[18]  Ian Horrocks,et al.  Optimizing Description Logic Subsumption , 1999, J. Log. Comput..

[19]  Volker Haarslev,et al.  The Description Logic ALCN H R + Extended with Concrete Domains: Revised Version , 2000 .