Nguyen, Tu Anh T.; Power, Richard; Piwek, Paul and Williams, Sandra
Planning accessible explanations for entailments in OWL ontologies.
In: 7th International Natural Language Generation Conference (INLG 2012), 30 May-1 June 2012, Utica, IL, USA.
Full text available as:
A useful enhancement of an NLG system for verbalising ontologies would be a module capable of explaining undesired entailments of the axioms encoded by the developer. This task raises interesting issues of content planning. One approach, useful as a baseline, is simply to list the subset of axioms relevant to inferring the entailment; however, in many cases it will still not be obvious, even to OWL experts, why the entailment follows. We suggest an approach in which further statements are added in order to construct a proof tree, with every step based on a relatively simple deduction rule of known difficulty; we also describe an empirical study through which the difficulty of these simple deduction patterns has been measured.
Actions (login may be required)