Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies
Stefan Schlobach, Ronald Cornet · 2003
Current Description Logic reasoning systems pro-vide only limited support for debugging logically erroneous knowledge bases. In this paper we pro-pose new non-standard reasoning services which we designed and implemented to pinpoint logical contradictions when developing the medical ter-minology DICE. We provide complete algorithms for unfoldable-TBoxes based on minimisa-tion of axioms using Boolean methods for min-imal unsatisfiability-preserving sub-TBoxes, and an incomplete bottom-up method for generalised incoherence-preserving terminologies. 1