Abstract. 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).
Racer REF implements a TBox and ABox reasoner for the logic SHIQ, it was also the first full-fledged ABox description logic system for a very expressive logic and is based on optimized sound and complete algorithms.
RACER System Description
IJCAR
Computer Science