Sciweavers

Share
IJCAI
2003

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

9 years 7 months ago
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.
Stefan Schlobach, Ronald Cornet
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2003
Where IJCAI
Authors Stefan Schlobach, Ronald Cornet
Comments (0)
books