Measuring the Understandability of Deduction Rules for OWL

Tu Anh T. Nguyen; Richard Power; Paul Piwek; Sandra Williams

Title:

Author:

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

Download:

Full text (pdf)

Year:

2012

Conference:

Proceedings of the First International Workshop on Debugging Ontologies and Ontology Mappings - WoDOOM12; Galway; Ireland; October 8; 2012

Issue:

079

Article no.:

001

Pages:

1-12

No. of pages:

Publication type:

Abstract and Fulltext

Published:

2012-11-28

Series:

LinkÃ¶ping Electronic Conference Proceedings

ISSN (print):

1650-3686

ISSN (online):

1650-3740

Publisher:

LinkÃ¶ping University Electronic Press; LinkÃ¶pings universitet

Export in BibTex, RIS or text

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.

Keywords: Explanations; Entailments; Justifications; Understandability; Diculty; Deduction Rules; Inference Rules

Proceedings of the First International Workshop on Debugging Ontologies and Ontology Mappings - WoDOOM12; Galway; Ireland; October 8; 2012

Author:

Tu Anh T. Nguyen, Richard Power, Paul Piwek, Sandra Williams

Title:

Measuring the Understandability of Deduction Rules for OWL

References:

1. Ontology Design Patterns. http://ontologydesignpatterns.org; Last Accessed: 30th August 2010

2. The TONES Ontology Repository. http://owl.cs.manchester.ac.uk/ repository/; Last Accessed: 30th August 2010

3. Ding; L.; Finin; T.; Joshi; A.; Pan; R.; Cost; R.S.; Peng; Y.; Reddivari; P.; Doshi; V.; Sachs; J.: Swoogle: a search and metadata engine for the semantic web. In: ACM International Conference on Information and Knowledge Management (CIKM 2004). pp. 652-659 (2004)

4. Horridge; M.; Bail; S.; Parsia; B.; Sattler; U.: The Cognitive Complexity of OWL Justications. In: International Semantic Web Conference (ISWC 2011). pp. 241-256 (2011)

5. Horridge; M.; Parsia; B.; Sattler; U.: Laconic and Precise Justications in OWL. In: International Semantic Web Conference (ISWC 2008). pp. 323-338 (2008)

6. Horridge; M.; Parsia; B.; Sattler; U.: Lemmas for Justications in OWL. In: Inter- national Workshop on Description Logics (DL 2009) (2009)

7. Kalyanpur; A.: Debugging and repair of OWL ontologies. Ph.D. thesis; The Uni- versity of Maryland; US (2006)

8. Kalyanpur; A.; Parsia; B.; Horridge; M.; Sirin; E.: Finding All Justications of OWL DL Entailments. In: International Semantic Web Conference (ISWC 2007) (2007)

9. Nguyen; T.A.T.; Piwek; P.; Power; R.; Williams; S.: Justication Patterns for OWL DL Ontologies. Tech. Rep. TR2011/05; The Open University; UK (2010)

10. Nguyen; T.A.T.; Power; R.; Piwek; P.; Williams; S.: Planning Accessible Expla- nations for Entailments in OWL Ontologies. In: International Natural Language Generation Conference (INLG 2012). pp. 110-114 (2012)

11. Sirin; E.; Parsia; B.; Grau; B.C.; Kalyanpur; A.; Katz; Y.: Pellet: A Practical OWL-DL Reasoner. Journal of Web Semantics 5; 51-53 (2007)

12. Tsarkov; D.; Horrocks; I.: FaCT++ Description Logic Reasoner: System Descrip- tion. In: International Joint Conference on Automated Reasoning (IJCAR 2006). pp. 292-297 (2006)

Proceedings of the First International Workshop on Debugging Ontologies and Ontology Mappings - WoDOOM12; Galway; Ireland; October 8; 2012

Author:

Tu Anh T. Nguyen, Richard Power, Paul Piwek, Sandra Williams

Title:

Measuring the Understandability of Deduction Rules for OWL

Note: the following are taken directly from CrossRef

Citations:

No citations available at the moment