ISSUE-617: Why are some prov-constraint inferences in prov-o, but not others?
Why are some prov-constraint inferences in prov-o, but not others?
- State:
- CLOSED
- Product:
- Ontology
- Raised by:
- Timothy Lebo
- Opened on:
- 2013-01-24
- Description:
- an extension of ISSUE-611 lingers in http://lists.w3.org/Archives/Public/public-prov-comments/2013Jan/0016.html
Our comment was not regarding encoding of the constraints in OWL
(which is not possible to do completely anyway) but about encoding the
inferences in OWL. Right now, it looks like some of the inferences
from PROV Constraints document is included in PROV-O. Specifically,
Inference 15 (influence-inference) [1] and Inference 20
(specialization-alternate-inference) [2] are included in PROV-O as
subPropertyOf axioms. But other inferences defined in this document
are not included in PROV-O which is a little confusing. For example,
Inference 12 (revision-is-alternate-inference) [3] suggests another
subPropertyOf relation (wasRevisionOf subPropertyOf alternateOf) but
this is not in PROV-O. If the WG chooses to encode some of the
inferences in PROV-O but not others, we would like to understand the
rationale behind this decision. - Related Actions Items:
- No related actions
- Related emails:
- Re: PROV comments from Clark&Parsia (from evren@clarkparsia.com on 2013-02-06)
- Re: PROV comments from Clark&Parsia (from p.t.groth@vu.nl on 2013-02-05)
- Re: PROV-ISSUE-617: Why are some prov-constraint inferences in prov-o, but not others? [Ontology] (from lebot@rpi.edu on 2013-01-29)
- Re: PROV-ISSUE-617: Why are some prov-constraint inferences in prov-o, but not others? [Ontology] (from l.moreau@ecs.soton.ac.uk on 2013-01-28)
- Re: PROV-ISSUE-617: Why are some prov-constraint inferences in prov-o, but not others? [Ontology] (from pgroth@gmail.com on 2013-01-28)
- Re: PROV comments from Clark&Parsia (from lebot@rpi.edu on 2013-01-28)
- Re: PROV-ISSUE-617: Why are some prov-constraint inferences in prov-o, but not others? [Ontology] (from lebot@rpi.edu on 2013-01-28)
- Re: PROV-ISSUE-617: Why are some prov-constraint inferences in prov-o, but not others? [Ontology] (from lebot@rpi.edu on 2013-01-24)
- PROV-ISSUE-617: Why are some prov-constraint inferences in prov-o, but not others? [Ontology] (from sysbot+tracker@w3.org on 2013-01-24)
Related notes:
http://www.w3.org/2011/prov/wiki/ResponsesToPublicCommentsCR#ISSUE-617
http://www.w3.org/mid/CAFC3-QpB8rTKybTQSZBvLymXqXjcsk6Roaup2Uf+4rr2Yw5zvg@mail.gmail.com
Display change log