The Open UniversitySkip to content
 

Measuring the understandability of deduction rules for OWL

Nguyen, Tu; Power, Richard; Piwek, Paul and Williams, Sandra (2012). Measuring the understandability of deduction rules for OWL. In: First International Workshop on Debugging Ontologies and Ontology Mappings, 8th October 2012, Galway, Ireland.

Full text available as:
[img]
Preview
PDF (Accepted Manuscript) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (313Kb) | Preview
URL: http://www.ida.liu.se/~patla/conferences/WoDOOM12/...
Google Scholar: Look up in Google Scholar

Abstract

Debugging OWL ontologies can be aided with automated reasoners that generate entailments, including undesirable ones. This information is, however, only useful if developers understand why the entailments hold. To support domain experts (with limited knowledge of OWL), we are developing a system that explains, in English, why an entailment follows from an ontology. In planning such explanations, our system
starts from a justification of the entailment and constructs a proof tree including intermediate statements that link the justification to the entailment. Proof trees are constructed from a set of intuitively plausible deduction rules. We here report on a study in which we collected empirical frequency data on the understandability of the deduction rules, resulting in a facility index for each rule. This measure forms the basis for making a principled choice among alternative explanations, and identifying steps in the explanation that are likely to require extra elucidation.

Item Type: Conference Item
Copyright Holders: 2012 Not known
Keywords: explanations; entailments; justifications; understandability; difficulty; deduction rules; inference rules
Academic Unit/Department: Mathematics, Computing and Technology
Mathematics, Computing and Technology > Computing & Communications
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Related URLs:
Item ID: 34591
Depositing User: Tu Nguyen
Date Deposited: 16 Oct 2012 13:40
Last Modified: 26 Nov 2014 06:15
URI: http://oro.open.ac.uk/id/eprint/34591
Share this page:

Actions (login may be required)

View Item
Report issue / request change

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340   general-enquiries@open.ac.uk