RACE User's Guide and Reference Manual Version 1.1

Abstract

The RACE system is a knowledge representation system that implements a highly optimized tableaux calculus for an expressive description logic. It offers reasoning services for multiple TBoxes and for multiple ABoxes as well. The system implements the description logic ALCNHR+. This is the basic logic ALC augmented with number restrictions, role hierarchies and transitive roles. RACE supports the specification of general terminological axioms. A TBox may contain general concept inclusions (GCIs), which state the subsumption relation between two concept terms. Multiple definitions or even cyclic definitions of concepts can be handled by RACE.