---
title: "Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies"
authors:
  - "Stefan Schlobach"
  - "Ronald Cornet"
doi: ""
url: "https://ijcai.org/proceedings/2003/53"
pdf: "https://ijcai.org/proceedings/2003/0053.pdf"
venue: "Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence"
year: 2003
pages: "355-361"
track: ""
keywords:
---

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

Stefan Schlobach, Ronald Cornet

*Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence*, pages 355-361.

## Abstract

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 A.CC-TBoxes based on minimisation of axioms using Boolean methods for minimal imsatisfiability-preserving sub-TBoxes, and an incomplete bottom-up method for generalised incoherence-preserving terminologies.