The usability of Description Logics Understanding the cognitive difficulties presented by Description Logics
Paul Warren

This event took place on 4th June 2014 at 2:00pm (13:00 GMT)
Knowledge Media Institute, Berrill Building, The Open University, Milton Keynes, United Kingdom, MK7 6AA

Description Logics have been extensively studied from the view- point 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.


The webcast was open to 1000 users



(43 minutes)

Creative Commons Licence KMi logo