Toward cognitive support for OWL justifications

Justifications are the dominant form of explanation for entailments of OWL ontologies, with popular OWL ontology editors, such as Protege 4, providing justification-based explanation facilities. A justification is a minimal subset of an ontology which is sufficient for an entailment to hold; they correspond to the premises of a proof. Unlike proofs, however, justifications do not articulate how their axioms support the entailment. We frequently observe that ontology developers find certain justifications difficult to work with; and while in some cases the sources of difficulty are obvious (such as a large number of axioms), we do not have a good general understanding of what makes justifications easy or difficult for ontology users. In this paper, we present an approach to determining the cognitive complexity of justifications for entailments of OWL ontologies. We describe an exploratory study which forms the basis for a cognitive complexity model that predicts the complexity of OWL justifications, and present the results of validating that model via experiments involving OWL users. This is concluded by an investigation into strategies OWL users apply to support them in understanding justifications. Our contributions include an evaluation of the cognitive complexity model, new insights into the complexity of justifications for entailments of OWL ontologies, a significant corpus with novel analyses of justifications suitable for experimentation, and an experimental protocol suitable for model validation and refinement.

[1]  Susan E. Embretson,et al.  Understanding and Quantifying Cognitive Complexity Level in Mathematical Problem Solving Items , 2008 .

[2]  Bijan Parsia,et al.  Repairing Unsatisfiable Concepts in OWL Ontologies , 2006, ESWC.

[3]  Deborah L. McGuinness,et al.  Explaining Subsumption in Description Logics , 1995, IJCAI.

[4]  Peter F. Patel-Schneider,et al.  A Syntax for Rules in OWL 2 , 2009, OWLED.

[5]  Martin D. Davis,et al.  Obvious Logical Inferences , 1981, IJCAI.

[6]  James A. Hendler,et al.  Swoop: A Web Ontology Editing Browser , 2006, J. Web Semant..

[7]  Anas N. Al-Rabadi,et al.  A comparison of modified reconstructability analysis and Ashenhurst‐Curtis decomposition of Boolean functions , 2004 .

[8]  James A. Hendler,et al.  Debugging unsatisfiable classes in OWL ontologies , 2005, J. Web Semant..

[9]  Samantha Bail,et al.  Diversity of Reason: Equivalence Relations over Description Logic Explanations , 2012, Description Logics.

[10]  Stephen E. Newstead,et al.  Predicting the difficulty of complex logical reasoning problems , 2006 .

[11]  Maurice H. Halstead,et al.  Elements of software science , 1977 .

[12]  Bijan Parsia,et al.  Lemmas for Justifications in OWL , 2009, Description Logics.

[13]  Stefan Schlobach,et al.  Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies , 2003, IJCAI.

[14]  Nick Bassiliades,et al.  Visualizing Semantic Web proofs of defeasible logic in the DR-DEVICE system , 2011, Knowl. Based Syst..

[15]  Samantha Bail,et al.  The Cognitive Complexity of OWL Justifications , 2011, Description Logics.

[16]  L. Rips Cognitive Processes in Propositional Reasoning. , 1983 .

[17]  Bijan Parsia,et al.  Explaining by Example: Model Exploration for Ontology Comprehension , 2009, Description Logics.

[18]  G. R. Potts,et al.  Storing and retrieving information about ordered relationships. , 1974 .

[19]  Izak Benbasat,et al.  The Use of Explanations in Knowledge-Based Systems: Cognitive Perspective and a Process-Tracing Analysis , 2000, J. Manag. Inf. Syst..

[20]  William J. Clancey,et al.  Rule-based expert systems , 2017, Radiopaedia.org.

[21]  Piotr Rudnicki Obvious inferences , 2004, Journal of Automated Reasoning.

[22]  Philip N. Johnson-Laird,et al.  Strategies in sentential reasoning , 2002, Cogn. Sci..

[23]  Óscar Corcho,et al.  A catalogue of OWL ontology antipatterns , 2009, K-CAP '09.

[24]  Gregory D. Hager,et al.  Explaining modal logic proofs , 1988, Proceedings of the 1988 IEEE International Conference on Systems, Man, and Cybernetics.

[25]  Ian Horrocks,et al.  Explaining ALC Subsumption , 2000, Description Logics.

[26]  Franz Baader,et al.  Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+ , 2008, KR-MED.

[27]  Bijan Parsia,et al.  Justification Oriented Proofs in OWL , 2010, SEMWEB.

[28]  Ian Horrocks,et al.  The Even More Irresistible SROIQ , 2006, KR.

[29]  Carole A. Goble,et al.  An ontology for bioinformatics applications , 1999, Bioinform..

[30]  Yingrui Yang,et al.  Mental models and logical reasoning problems in the GRE , 2001 .

[31]  Christoph Lingenfelder,et al.  Structuring Computer Generated Proofs , 1989, IJCAI.

[32]  Bijan Parsia,et al.  Laconic and Precise Justifications in OWL , 2008, SEMWEB.

[33]  Bijan Parsia,et al.  Extracting Justifications from BioPortal Ontologies , 2012, International Semantic Web Conference.