Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies
Abstract
Current Description Logic reasoning systems pro-vide only limited support for debugging logically erroneous knowledge bases. In this paper we pro-pose new non-standard reasoning services which we designed and implemented to pinpoint logical contradictions when developing the medical ter-minology DICE. We provide complete algorithms for unfoldable-TBoxes based on minimisa-tion of axioms using Boolean methods for min-imal unsatisfiability-preserving sub-TBoxes, and an incomplete bottom-up method for generalised incoherence-preserving terminologies. 1
Cite
Text
Schlobach and Cornet. "Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies." International Joint Conference on Artificial Intelligence, 2003.Markdown
[Schlobach and Cornet. "Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies." International Joint Conference on Artificial Intelligence, 2003.](https://mlanthology.org/ijcai/2003/schlobach2003ijcai-non/)BibTeX
@inproceedings{schlobach2003ijcai-non,
title = {{Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies}},
author = {Schlobach, Stefan and Cornet, Ronald},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2003},
pages = {355-362},
url = {https://mlanthology.org/ijcai/2003/schlobach2003ijcai-non/}
}