Explanation Support for OWL Authoring

Recent analyses of ontology engineering efforts showed that it is not only novices which are commonly faced with comprehension problems or misconceptions of modeling consequences. A better understanding can be fundamentally supported by on-demand explanations of subsumption, the core inference service of ontology reasoning systems. In this paper we describe ongoing work towards a systems for explaining subsumption for a significant fraction of the Description Logic (DL) underlying OWL Lite. Our explainer uses a tableau-based approach to generate step by step quasi-natural language explanations. We also comment on related work and discuss future explaining features.

Online Copy

Paper is available as PDF (124 KB)

BibTeX Entry

@TechReport{liebig05:_explan_suppor_owl_author, author = {Thorsten Liebig and Friedrich von Henke and Olaf Noppens}, title = {{Explanation Support for OWL Authoring}}, institution = {American Association for Artificial Intelligence}, year = 2005, type = {In Explanation-Aware Computing: Papers from the 2005 Fall Symposium, ed. G Thomas Roth-Berghofer and Stefan Schulz}, number = {FS-05-04}, address = {Menlo Park, CA, USA}, month = {November} }