Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
From semantic web to expressive software specifications: a modeling languages spectrum
Proceedings of the 28th international conference on Software engineering
Hi-index | 0.00 |
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.