Explanation in second generation expert systems
Second generation expert systems
Description Logics in Data Management
IEEE Transactions on Knowledge and Data Engineering
Deriving Inference Rules for Terminological Logics
JELIA '92 Proceedings of the European Workshop on Logics in AI
Description logic in practice: a CLASSIC application
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Usability issues in knowledge representation systems
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Product Configuration Frameworks-A Survey
IEEE Intelligent Systems
An Industrial Strength Description Logics-Based Configurator Platform
IEEE Intelligent Systems
OilEd: A Reason-able Ontology Editor for the Semantic Web
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
The description logic handbook
Conceptual modelling for configuration: A description logic-based approach
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
A description logic-based configurator on the web
ACM SIGART Bulletin
A Study on Searching and Recommending SCORM CPs by Ontological Support
ICALT '05 Proceedings of the Fifth IEEE International Conference on Advanced Learning Technologies
Debugging natural semantics specifications
Proceedings of the sixth international symposium on Automated analysis-driven debugging
A knowledge engineering approach to knowledge management
Information Sciences: an International Journal
Proof explanation for a nonmonotonic Semantic Web rules language
Data & Knowledge Engineering
Natural language directed inference from ontologies
Artificial Intelligence
A Multi-agent Environment for Serving Proof Explanations in the Semantic Web
SETN '08 Proceedings of the 5th Hellenic conference on Artificial Intelligence: Theories, Models and Applications
Explanation in the DL-Lite Family of Description Logics
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part II on On the Move to Meaningful Internet Systems
On Importing Knowledge from Ontologies.
Modular Ontologies
"Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality
Conceptual Modeling: Foundations and Applications
An explainable artificial intelligence system for small-unit tactical behavior
IAAI'04 Proceedings of the 16th conference on Innovative applications of artifical intelligence
Description logic in practice: a CLASSIC application
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Explaining answers from the Semantic Web: the Inference Web approach
Web Semantics: Science, Services and Agents on the World Wide Web
Semantic email: theory and applications
Web Semantics: Science, Services and Agents on the World Wide Web
Proof explanation in the DR-DEVICE system
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Proof explanation for the semantic web using defeasible logic
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Non-standard inferences in description logics
Non-standard inferences in description logics
A Unified Framework for Non-standard Reasoning Services in Description Logics
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
On logical consequence for collections of OWL documents
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Web explanations for semantic heterogeneity discovery
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Stepwise debugging of description-logic programs
Correct Reasoning
Toward cognitive support for OWL justifications
Knowledge-Based Systems
Reasoning about explanations for negative query answers in DL-lite
Journal of Artificial Intelligence Research
| Hi-index | 0.00 |
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.