Ralf Möller Volker Haarslev Description Logics for the Semantic Web: Racer as a Basis for Building Agent Systems. 10- 2003 17 KI 3 db/journals/ki/ki17.html#MollerH03