Explaining Subsumption in Description Logics
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 816-820.
Abstract
This paper explores the explanation of subsumption reasoning in Description Logics that are implemented using normalization methods, focusing on the perspective of knowledge engineers. The notion of explanation is specified using a proof-theoretic framework for presenting the inferences supported in these systems. The problem of overly long explanations is addressed by decomposing them into smaller, independent steps, using the notions of "atomic description" and "atomic justification". Implementation aspects are explored by considering the design space and some desiderata for explanation modules. This approach has been implemented for the CLASSIC knowledge representation system.
@inproceedings{ijcai1995p106,
title = {Explaining Subsumption in Description Logics},
author = {McGuinness, Deborah L. and Borgida, Alexander},
booktitle = {Proceedings of the Fourteenth International Joint Conference on
Artificial Intelligence, {IJCAI-95}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Chris S. Mellish},
pages = {816--820},
year = {1995},
note = {Knowledge Representation},
url = {https://ijcai.org/proceedings/1995/106},
}
TY - CPAPER TI - Explaining Subsumption in Description Logics AU - McGuinness, Deborah L. AU - Borgida, Alexander T2 - Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI-95 PB - International Joint Conferences on Artificial Intelligence PY - 1995 SP - 816 EP - 820 UR - https://ijcai.org/proceedings/1995/106 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
