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:
  1. Re: PROV comments from Clark&Parsia (from evren@clarkparsia.com on 2013-02-06)
  2. Re: PROV comments from Clark&Parsia (from p.t.groth@vu.nl on 2013-02-05)
  3. 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)
  4. 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)
  5. 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)
  6. Re: PROV comments from Clark&Parsia (from lebot@rpi.edu on 2013-01-28)
  7. 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)
  8. 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)
  9. 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

Timothy Lebo, 20 Feb 2013, 15:19:05

Display change log ATOM feed


Chair, Staff Contact
Tracker: documentation, (configuration for this group), originally developed by Dean Jackson, is developed and maintained by the Systems Team <w3t-sys@w3.org>.
$Id: 617.html,v 1.1 2013-06-20 07:37:56 vivien Exp $