Eldar Karabaev, Carsten Lutz. Mona as a DL Reasoner. In Volker Haarslev, Ralf Möller, editors, Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004. Volume 104 of CEUR Workshop Proceedings, CEUR-WS.org, 2004. [doi]
Abstract is missing.