Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies (2003)
| Citations: | 88 - 4 self |
BibTeX
@INPROCEEDINGS{Schlobach03non-standardreasoning,
author = {Stefan Schlobach},
title = {Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies},
booktitle = {},
year = {2003},
pages = {355--362},
publisher = {Morgan Kaufmann}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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. 1
Citations
| 765 | A theory of diagnosis from first principles - Reiter - 1987 |
| 552 | A Truth Maintenance System - Doyle |
| 360 | P.P.: The Description Logic Handbook - Baader, McGuiness, et al. - 2003 |
| 322 | RACER system description - Haarslev, Moller - 2001 |
| 162 | The problem of simplifying truth functions - Quine - 1952 |
| 136 | Terminological reasoning is inherently intractable - Nebel - 1990 |
| 129 | The FaCT system - Horrocks - 1998 |
| 55 | Explaining reasoning in description logics - McGuinness - 1996 |
| 24 | P.rex: An Interactive Proof Explainer - Fiedler - 2001 |
| 8 | Evaluation of a frame-based ontology. A formalization-oriented approach - Cornet, Abu-Hanna - 2002 |
| 1 | Explaining ACC subsumption - Borgida, Franconi, et al. - 1999 |
| 1 | Non-Standard Inferences in Description Logics, volume 2100 of LNAI - Kiisters - 2001 |
