Description of the RACER System and its Applications.
Volker Haarslev, Ralf Möller · 2001
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.