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