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 (287Kb)
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/Department: Mathematics, Computing and Technology
Mathematics, Computing and Technology > Computing & 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: 19 Jan 2016 07:55
Share this page:

Actions (login may be required)

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340