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:
PDF (Version of Record) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (294kB)
Google Scholar: Look up in Google Scholar


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/School: Faculty of Science, Technology, Engineering and Mathematics (STEM)
Faculty of Science, Technology, Engineering and Mathematics (STEM) > Computing and Communications
Research Group: Centre for Research in Computing (CRC)
Item ID: 34102
Depositing User: Tu Nguyen
Date Deposited: 14 Aug 2012 09:46
Last Modified: 07 Dec 2018 23:12
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.

Actions (login may be required)

Policies | Disclaimer

© The Open University   contact the OU