ISSUE-122: Constraint on wasGeneratedBy (PROV-DM and PROV-OM)

Constraint on wasGeneratedBy (PROV-DM and PROV-OM)

State:

CLOSED

Product:

prov-dm

Raised by:

Satya Sahoo

Opened on:

2011-10-09

Description:

The following constraint is defined on wasGeneratedBy in the PROV-DM document (as on Oct 9, 2011):
"Given a process execution pe, entity e, role r, and optional time t, if the assertion wasGeneratedBy(e,pe,r) or wasGeneratedBy(e,pe,r,t) holds, the values of some of e's attributes are determined by the activity denoted by pe and the entities used by pe. Only some (possibly none) of the attributes values may be determined since, in an open world, not all used entities may have been asserted."

Issue: This constraint seems to be self-contradictory due to the two phrases "...the values of some of e's attributes are determined by the activity denoted by pe..." and "Only some (possibly none) of the attributes values may be determined...".

In addition, this constraint cannot be enforced, since which attributes will be determined are not specified and given the use of open world assumption, there be always some attribute that is not currently associated with the entity.

Overall, this constraint does not help either in inferring new knowledge from existing information or allow "validation/checking" of existing knowledge - which are the standard uses of rules/constraints. Hence, the suggestion is to remove this constraint.

Related Actions Items:

No related actions

Related emails:

1. Re: PROV-ISSUE-155 (prov-o-pre-fpwd): general comments on prov-o document [Formal Semantics] (from jcheney@inf.ed.ac.uk on 2012-01-20)
2. Re: PROV-ISSUE-155 (prov-o-pre-fpwd): general comments on prov-o document [Formal Semantics] (from jcheney@inf.ed.ac.uk on 2012-01-12)
3. Re: PROV-ISSUE-122: Constraint on wasGeneratedBy (PROV-DM and PROV-OM) [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2011-11-30)
4. Re: PROV-ISSUE-155 (prov-o-pre-fpwd): general comments on prov-o document [Formal Semantics] (from L.Moreau@ecs.soton.ac.uk on 2011-11-21)
5. PROV-ISSUE-155 (prov-o-pre-fpwd): general comments on prov-o document [Formal Semantics] (from sysbot+tracker@w3.org on 2011-11-21)
6. Re: PROV-ISSUE-122: Constraint on wasGeneratedBy (PROV-DM and PROV-OM) [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2011-11-07)
7. Re: PROV-ISSUE-122: Constraint on wasGeneratedBy (PROV-DM and PROV-OM) [Conceptual Model] (from soiland-reyes@cs.manchester.ac.uk on 2011-10-13)
8. Re: PROV-ISSUE-122: Constraint on wasGeneratedBy (PROV-DM and PROV-OM) [Conceptual Model] (from satya.sahoo@case.edu on 2011-10-12)
9. Re: PROV-ISSUE-122: Constraint on wasGeneratedBy (PROV-DM and PROV-OM) [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2011-10-11)
10. Re: PROV-ISSUE-122: Constraint on wasGeneratedBy (PROV-DM and PROV-OM) [Conceptual Model] (from soiland-reyes@cs.manchester.ac.uk on 2011-10-11)
11. Re: PROV-ISSUE-122: Constraint on wasGeneratedBy (PROV-DM and PROV-OM) [Conceptual Model] (from Paolo.Missier@ncl.ac.uk on 2011-10-11)
12. Re: PROV-ISSUE-122: Constraint on wasGeneratedBy (PROV-DM and PROV-OM) [Conceptual Model] (from satya.sahoo@case.edu on 2011-10-10)
13. Re: PROV-ISSUE-122: Constraint on wasGeneratedBy (PROV-DM and PROV-OM) [Conceptual Model] (from p.t.groth@vu.nl on 2011-10-10)
14. Re: PROV-ISSUE-122: Constraint on wasGeneratedBy (PROV-DM and PROV-OM) [Conceptual Model] (from satya.sahoo@case.edu on 2011-10-10)
15. PROV-ISSUE-122: Constraint on wasGeneratedBy (PROV-DM and PROV-OM) [Conceptual Model] (from sysbot+tracker@w3.org on 2011-10-09)

Related notes:

No additional notes.

Display change log