Linköping University Electronic Press

Title:

Measuring the Understandability of Deduction Rules for OWL

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:

12

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

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 Justications. In: International Semantic Web Conference (ISWC 2011). pp. 241-256 (2011)

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

6. Horridge; M.; Parsia; B.; Sattler; U.: Lemmas for Justications 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 Justications of OWL DL Entailments. In: International Semantic Web Conference (ISWC 2007) (2007)

9. Nguyen; T.A.T.; Piwek; P.; Power; R.; Williams; S.: Justication 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)