RACE System Description.
Volker Haarslev, Ralf Möller · Description Logics · 1999
RACE [3] is a successor of HAM-ALC [5, 2]. Based on sound and complete algorithms RACE currently implements TBox and ABox reasoning for the description logic ALCNHR+ [4] that supports number restrictions, role hierarchies, and transitively closed roles. Note that this DL implies general concept inclusions as a language feature. RACE accepts TBoxes and ABoxes in the KRSS syntax with appropriate extensions for GCIs.