Volker Haarslev Ralf Möller RACE System Description. 1999 conf/dlog/1999 Description Logics http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-22/haarslev.ps db/conf/dlog/dlog1999.html#HaarslevM99a