| Files: | Description | File size | Format | Browse |
| Fulltext | 2.01 MB | PDF (requires Acrobat Reader) | Next |
| | |
| Authors: | Tu Anh T. Nguyen: Department of Computing, The Open University, UK |
| | Richard Power: Department of Computing, The Open University, UK |
| | Paul Piwek: Department of Computing, The Open University, UK |
| | Sandra Williams: Department of Computing, The Open University, UK |
| Publication title: | Measuring the Understandability of Deduction Rules for OWL |
| Conference: | Proceedings of the First International Workshop on Debugging Ontologies and Ontology Mappings - WoDOOM12, Galway, Ireland, October 8, 2012 |
| Publication type: | Abstract and Fulltext |
| Issue: | 079 |
| Article No.: | 001 |
| 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. |
| Language: | English |
| Keywords: | Explanations, Entailments, Justifications, Understandability, Diculty, Deduction Rules, Inference Rules |
| Year: | 2012 |
| No. of pages: | 12 |
| Pages: | 1-12 |
| Series: | Linköping Electronic Conference Proceedings |
| ISSN (print): | 1650-3686 |
| ISSN (online): | 1650-3740 |
| File: | http://www.ep.liu.se/ecp/079/001/ecp12079001.pdf |
| Available: | 2012-11-28 |
| Publisher: | Linköping University Electronic Press, Linköpings universitet |
|
REFERENCE TO THIS PAGE | Tu Anh T. Nguyen, Richard Power, Paul Piwek, Sandra Williams (2012). Measuring the Understandability of Deduction Rules for OWL, Proceedings of the First International Workshop on Debugging Ontologies and Ontology Mappings - WoDOOM12, Galway, Ireland, October 8, 2012 http://www.ep.liu.se/ecp_article/index.en.aspx?issue=079;article=001 (accessed 5/20/2013) |
|
Ph.D., Lic. Theses
