Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies
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.
@inproceedings{ijcai2003p53,
title = {Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies},
author = {Schlobach, Stefan and Cornet, Ronald},
booktitle = {Proceedings of the Eighteenth International Joint Conference on
Artificial Intelligence, {IJCAI-03}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Georg Gottlob},
pages = {355--361},
year = {2003},
url = {https://ijcai.org/proceedings/2003/53},
}
TY - CPAPER TI - Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies AU - Schlobach, Stefan AU - Cornet, Ronald T2 - Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI-03 PB - International Joint Conferences on Artificial Intelligence PY - 2003 SP - 355 EP - 361 UR - https://ijcai.org/proceedings/2003/53 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
