Explaining subsumption in description logics
From Semantic Portal Wiki
{{#vardefine:category|Publication}}{{#vardefine:templatename|i.publication}}{{#vardefine:package|smwbp_instance_templates}}
| Edit |
Reference: {{#vardefine:pagename|explaining subsumption in description logics }}
- [[]]
bibtex
{{#vardefine:pagename|Explaining subsumption in description logics }}{{#vardefine:key| }}
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.
download:
- paper: (http://dli.iiit.ac.in/ijcai/IJCAI-95-VOL%201/pdf/105.pdf)
- slides:
| Abstract | This paper explores the explanation of sub … 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. e CLASSIC knowledge representation system. |
| Address | Montreal, Canada + |
| Author | Deborah L. McGuinness +, and Alexander Borgida + |
| Bibtype | inproceedings + |
| Booktitle | Proceedings of the 14th International Joint Conference on Artificial Intelligence + |
| Key | dblp:conf/ijcai/mcguinnessb95 + |
| Month | August + |
| Pages | 816-821 + |
| Paper url | http://dli.iiit.ac.in/ijcai/IJCAI-95-VOL%201/pdf/105.pdf + |
| Source | http://dblp.uni-trier.de/rec/bibtex/conf/ijcai/McGuinnessB95 + |
| Tag | Computer science + |
| Title | Explaining Subsumption in Description Logics + |
| Year | 1995 + |
