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

Stefan Schlobach, Ronald Cornet
2003 International Joint Conference on Artificial Intelligence  
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 ACC-TBoxes based on minimisation of axioms using Boolean methods for minimal unsatisfiability-presening sub-TBoxes, and an incomplete bottom-up method for generalised incoherence-preserving terminologies.
dblp:conf/ijcai/SchlobachC03 fatcat:mpgu3bmt6zh5veevzndwqzip4q