PDF (Version of Record)
- Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
|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.
|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)|
|Depositing User:||Tu Nguyen|
|Date Deposited:||14 Aug 2012 09:46|
|Last Modified:||25 Feb 2016 10:28|
|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.