ISSUE-52: POSTPONED: Specification of OWL equivalences and rewriting rules for explaining inferences

Explanations

POSTPONED: Specification of OWL equivalences and rewriting rules for explaining inferences

State:

CLOSED

Product:

Raised by:

Vipul Kashyap

Opened on:

2007-11-02

Description:

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.

Related Actions Items:

No related actions

Related emails:

1. RE: ISSUE-52 (Explanations): Specification of OWL equivalences and rewriting rules for explaining inferences (from VKASHYAP1@PARTNERS.ORG on 2007-11-05)
2. Re: ISSUE-52 (Explanations): Specification of OWL equivalences and rewriting rules for explaining inferences (from pfps@research.bell-labs.com on 2007-11-05)
3. RE: ISSUE-52 (Explanations): Specification of OWL equivalences and rewriting rules for explaining inferences (from VKASHYAP1@PARTNERS.ORG on 2007-11-05)
4. Re: ISSUE-52 (Explanations): Specification of OWL equivalences and rewriting rules for explaining inferences (from pfps@research.bell-labs.com on 2007-11-05)
5. RE: ISSUE-52 (Explanations): Specification of OWL equivalences and rewriting rules for explaining inferences (from VKASHYAP1@PARTNERS.ORG on 2007-11-05)
6. RE: ISSUE-52 (Explanations): Specification of OWL equivalences and rewriting rules for explaining inferences (from VKASHYAP1@PARTNERS.ORG on 2007-11-05)
7. Re: ISSUE-52 (Explanations): Specification of OWL equivalences and rewriting rules for explaining inferences (from bparsia@cs.man.ac.uk on 2007-11-05)
8. Re: ISSUE-52 (Explanations): Specification of OWL equivalences and rewriting rules for explaining inferences (from hoekstra@uva.nl on 2007-11-05)
9. RE: ISSUE-52 (Explanations): Specification of OWL equivalences and rewriting rules for explaining inferences (from VKASHYAP1@PARTNERS.ORG on 2007-11-05)
10. RE: ISSUE-52 (Explanations): Specification of OWL equivalences and rewriting rules for explaining inferences (from VKASHYAP1@PARTNERS.ORG on 2007-11-05)
11. RE: ISSUE-52 (Explanations): Specification of OWL equivalences and rewriting rules for explaining inferences (from VKASHYAP1@PARTNERS.ORG on 2007-11-05)
12. Re: ISSUE-52 (Explanations): Specification of OWL equivalences and rewriting rules for explaining inferences (from dlm@ksl.stanford.edu on 2007-11-05)
13. Re: ISSUE-52 (Explanations): Specification of OWL equivalences and rewriting rules for explaining inferences (from pfps@research.bell-labs.com on 2007-11-05)
14. quoting conventions in email (from pfps@research.bell-labs.com on 2007-11-05)
15. RE: ISSUE-52 (Explanations): Specification of OWL equivalences and rewriting rules for explaining inferences (from VKASHYAP1@PARTNERS.ORG on 2007-11-05)
16. Re: ISSUE-52 (Explanations): Specification of OWL equivalences and rewriting rules for explaining inferences (from bparsia@cs.man.ac.uk on 2007-11-05)
17. Re: ISSUE-52 (Explanations): Specification of OWL equivalences and rewriting rules for explaining inferences (from hoekstra@uva.nl on 2007-11-05)
18. Re: ISSUE-52 (Explanations): Specification of OWL equivalences and rewriting rules for explaining inferences (from pfps@research.bell-labs.com on 2007-11-05)
19. Re: ISSUE-52 (Explanations): Specification of OWL equivalences and rewriting rules for explaining inferences (from alanruttenberg@gmail.com on 2007-11-04)
20. RE: ISSUE-52 (Explanations): Specification of OWL equivalences and rewriting rules for explaining inferences (from VKASHYAP1@PARTNERS.ORG on 2007-11-04)
21. RE: ISSUE-52 (Explanations): Specification of OWL equivalences and rewriting rules for explaining inferences (from VKASHYAP1@PARTNERS.ORG on 2007-11-04)
22. Re: ISSUE-52 (Explanations): Specification of OWL equivalences and rewriting rules for explaining inferences (from hendler@cs.rpi.edu on 2007-11-04)
23. Re: ISSUE-52 (Explanations): Specification of OWL equivalences and rewriting rules for explaining inferences (from alanruttenberg@gmail.com on 2007-11-03)
24. RE: ISSUE-52 (Explanations): Specification of OWL equivalences and rewriting rules for explaining inferences (from VKASHYAP1@PARTNERS.ORG on 2007-11-03)
25. RE: ISSUE-52 (Explanations): Specification of OWL equivalences and rewriting rules for explaining inferences (from VKASHYAP1@PARTNERS.ORG on 2007-11-02)
26. Re: ISSUE-52 (Explanations): Specification of OWL equivalences and rewriting rules for explaining inferences (from bparsia@cs.man.ac.uk on 2007-11-02)
27. FW: ISSUE-52 (Explanations): Specification of OWL equivalences and rewriting rules for explaining inferences (from VKASHYAP1@PARTNERS.ORG on 2007-11-02)
28. Re: ISSUE-52 (Explanations): Specification of OWL equivalences and rewriting rules for explaining inferences (from hoekstra@uva.nl on 2007-11-02)
29. ISSUE-52 (Explanations): Specification of OWL equivalences and rewriting rules for explaining inferences (from sysbot+tracker@w3.org on 2007-11-02)

Related notes:

No additional notes.

Display change log