Haarslev, V. & Moller, R. (2001), Description of the RACER System and its Applications, in D. L. McGuinness et al, ed., 'Proceedings of the 2001 International Workshop on Description Logics (DL-2001)' , CEUR Workshop Proceedings, .