The Open UniversitySkip to content
 

Justification Patterns for OWL DL Ontologies

Nguyen, Tu Anh T.; Power, Richard; Piwek, Paul and Williams, Sandra (2011). Justification Patterns for OWL DL Ontologies. Department of Computing, The Open University.

Full text available as:
[img]
Preview
PDF (Version of Record) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (287Kb)
URL: http://computing-reports.open.ac.uk/2011/TR2011-05...
Google Scholar: Look up in Google Scholar

Abstract

For debugging OWL-DL ontologies, natural language explanations of inconsistencies and undesirable entailments are of great help. From such explanations, ontology developers can learn why an ontology gives rise to specific entailments. Unfortunately, commonly used tableaux-based reasoning services do not provide a basis for such explanations, since they rely on a refutation proof strategy and normalising transformations that are difficult for human ontology editors to understand. For this reason, we investigate the use of automatically generated justifications for entailments (i.e., minimal sets of axioms from the ontology that cause entailments to hold). We show that such justifications fall into a manageable number of patterns, which can be used as a basis for generating natural language explanations by associating each justification pattern with a rhetorical pattern in natural language.

Item Type: Other
Copyright Holders: 2011 Department of Computing, The Open University
Keywords: OWL; justifications; natural language explanation
Academic Unit/Department: Faculty of Science, Technology, Engineering and Mathematics (STEM)
Faculty of Science, Technology, Engineering and Mathematics (STEM) > Computing and Communications
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Item ID: 34102
Depositing User: Tu Nguyen
Date Deposited: 14 Aug 2012 09:46
Last Modified: 09 Aug 2016 05:06
URI: http://oro.open.ac.uk/id/eprint/34102
Share this page:

Download history for this item

These details should be considered as only a guide to the number of downloads performed manually. Algorithmic methods have been applied in an attempt to remove automated downloads from the displayed statistics but no guarantee can be made as to the accuracy of the figures.

▼ Automated document suggestions from open access sources

Actions (login may be required)

Policies | Disclaimer

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