The Usability of Description Logics - Understanding the Cognitive Difficulties Presented by Description Logics

Description Logics have been extensively studied from the viewpoint of decidability and computational tractability. Less attention has been given to their usability and the cognitive difficulties they present, in particular for those who are not specialists in logic. This paper reports on a study into the difficulties associated with the most commonly used Description Logic features. Psychological theories are used to take account of these. Whilst most of the features presented no difficulty to participants, the comprehension of some was affected by commonly occurring misconceptions. The paper proposes explanations and remedies for some of these difficulties. In addition, the time to confirm stated inferences was found to depend both on the maximum complexity of the relations involved and the number of steps in the argument.

[1]  Lora Aroyo,et al.  The Semantic Web - ISWC 2011 - 10th International Semantic Web Conference, Bonn, Germany, October 23-27, 2011, Proceedings, Part I , 2011, SEMWEB.

[2]  Akrivi Katifori,et al.  Ontology visualization methods—a survey , 2007, CSUR.

[3]  Johnson-Laird Andruth,et al.  Only Reasoning , 2022 .

[4]  Bernardo Cuenca Grau,et al.  OWL 2 Web Ontology Language: Profiles , 2009 .

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

[6]  Eva Blomqvist,et al.  Ontology Design Pattern Detection - Initial Method and Usage Scenarios , 2010 .

[7]  Gem Stapleton,et al.  Visualizing Ontologies: A Case Study , 2011, SEMWEB.

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

[9]  Richard Power,et al.  Expressing OWL axioms by English sentences: dubious in theory, feasible in practice , 2010, COLING.

[10]  Robert Stevens,et al.  The Manchester OWL Syntax , 2006, OWLED.

[11]  Robert Stevens,et al.  OWL Pizzas: Practical Experience of Teaching OWL-DL: Common Errors & Common Patterns , 2004, EKAW.

[12]  P. Johnson-Laird,et al.  Negation: A theory of its meaning, representation, and use , 2012 .

[13]  Sangeet Khemlani,et al.  Negating compound sentences , 2012, CogSci.

[14]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[15]  Geoffrey P. Goodwin,et al.  Complexity of categorical syllogisms: An integration of two metrics , 2010 .

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

[17]  Graeme S Halford,et al.  : The development of deductive reasoning: How important is complexity? , 2004 .

[18]  P N Johnson-Laird,et al.  Reasoning about relations. , 2005, Psychological review.

[19]  P. Johnson-Laird,et al.  How Diagrams Can Improve Reasoning , 1993 .

[20]  Peter F. Patel-Schneider,et al.  OWL 2 Web Ontology Language Primer (Second Edition) , 2012 .

[21]  P. Johnson-Laird,et al.  Propositional reasoning by model. , 1992, Psychological review.

[22]  Richard Power,et al.  Measuring the Understandability of Deduction Rules for OWL , 2012, WoDOOM@EKAW.

[23]  Herbert A. Simon,et al.  Why a Diagram is (Sometimes) Worth Ten Thousand Words , 1987, Cogn. Sci..

[24]  Richard Power,et al.  Complexity Assumptions in Ontology Verbalisation , 2010, ACL.