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

>1/ You haven't demonstrated a need for explanations.  (This is not to
>   say that there is not a need, but that requests for extra
>   functionality should only be considered if there is a demonstrated
>   need.)

[VK] I am not sure whether I have addressed this point in an earlier response.
The need is that of an ontology builder in a collaborative ontology building
context. There is a need for him to share proofs and explanations as a part of
the collaborative process and tool support for that would require a standardized
format for reporting entailments and proofs.

So the need is more from the point of view of a Tool User and not a Tool
Developer.

>2/ This is a large addition to the work of the WG, and thus is probably
>   out of scope.

[VK] I agree with the scope aspect and would like to see if Jim's suggestion of
having standardized annotation properties that store proofs as strings/limited
extension to OWL 1.1; could be a good first step.

>3/ Although there has been work on explanation generation, I do not
>   believe that there is any consensus on how to present them to users.

[VK] As clarified earlier, the issue is not about presentation of proofs which
each of the tool vendors are free to support in any way they weant, but the
ability to support reporting of proofs and explanations in a standardized
format.

>4/ Presenting extra information to users is largely a task of UI tools,
>   so its inclusion in a language spec is problematic.

[VK] See clarification above. The proposed extension to the language spec. is
minimal.

---Vipul


The information transmitted in this electronic communication is intended only for the person or entity to whom it is addressed and may contain confidential and/or privileged material. Any review, retransmission, dissemination or other use of or taking of any action in reliance upon this information by persons or entities other than the intended recipient is prohibited. If you received this information in error, please contact the Compliance HelpLine at 800-856-1983 and properly dispose of this information.

Received on Monday, 5 November 2007 16:46:48 UTC