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

• Type: Conference
• Year: 2001
• Where: CADE
• Authors: Ralf Möller, Volker Haarslev
• Keywords: ABox Description Logic, Automated Reasoning, CADE 2001, Expressive Logic, Modal Logic Satisfiability