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 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. 'DICE stands for "Diagnoses for Intensive Care Evaluation". The development of the DICE terminology has been supported by the NICE foundation.
| Original language | English |
|---|---|
| Pages | 355-360 |
| Number of pages | 6 |
| Publication status | Published - 2003 |
| Event | 18th International Joint Conference on Artificial Intelligence, IJCAI 2003 - Acapulco, Mexico Duration: 9 Aug 2003 → 15 Aug 2003 |
Conference
| Conference | 18th International Joint Conference on Artificial Intelligence, IJCAI 2003 |
|---|---|
| Country/Territory | Mexico |
| City | Acapulco |
| Period | 9/08/2003 → 15/08/2003 |