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

Current Description Logic reasoning systems provide only limited support for debugging logically erroneous knowledge bases. In this paper we propose new non-standard reasoning services which we designed and implemented to pinpoint logical contradictions when developing the medical terminology DICE. We provide complete algorithms for unfoldable  ¢¡¤£ -TBoxes based on minimisation of axioms using Boolean methods for minimal unsatisfiability-preserving sub-TBoxes, and an incomplete bottom-up method for generalised incoherence-preserving terminologies.

• Type: Conference
• Year: 2003
• Where: IJCAI
• Authors: Stefan Schlobach, Ronald Cornet
• Keywords: Description Logic Reasoning, Erroneous Knowledge Bases, IJCAI 2003, IJCAI 2007, Incomplete Bottom-up Method