ISSUE-52 (Explanations): Specification of OWL equivalences and rewriting rules for explaining inferences

ISSUE-52 (Explanations): Specification of OWL equivalences and rewriting rules for explaining inferences

http://www.w3.org/2007/OWL/tracker/issues/

Raised by: Vipul Kashyap
On product: 

I was wondering if the OWL 1.1 effort should also look at ways and means of standardizing inference explanations, especially to make them user understandable.

The current version of P4 has functionality that identifies the relevant axioms involved in making an inference, but stops short of explaining how the entailments/consequences of these axioms can be chained together to create an explanation.

Towards this end, I was wondering whether well know OWL/DL equivalences and rewritings should be part of the OWL 1.1 Spec. Some examples that come to mind are:

A subClass B ==> (p some A) subClass (p some B)
(p some (A and B)) subclass (p some A) and (p some B)

I am sure there are many others ... 
A standardized approach for explanations of inferences could be a very useful feature from the user point of view.

Received on Friday, 2 November 2007 18:02:59 UTC