Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies

Stefan Schlobach, Ronald Cornet. Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies. In Georg Gottlob, Toby Walsh, editors, IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003. pages 355-362, Morgan Kaufmann, 2003.

Abstract

Abstract is missing.