RACER System Description [chapter]

Volker Haarslev, Ralf Möller
2001 Lecture Notes in Computer Science  
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).
doi:10.1007/3-540-45744-5_59 fatcat:enaufzvjezbn7djub3rrr5a4h4