ISSUE-124: Constraints on Used Relation (PROV-DM and PROV-OM)

Constraints on Used Relation (PROV-DM and PROV-OM)

State:

CLOSED

Product:

prov-dm

Raised by:

Satya Sahoo

Opened on:

2011-10-11

Description:

The following constraints are defined for Used Relation (in PROV-DM document Oct 11, 2011):

Constraint 1: "Given a process execution expression identified by pe, an entity expression identified by e, a qualifier q, and optional time t, if assertion used(pe,e,q) or used(pe,e,q,t) holds, then the existence of an attribute-value pair in the entity expression identified by e is a pre-condition for the termination of the activity represented by the process execution expression identified by pe."

Issue:
a) The above constraint may not hold for many scenarios involving Used relation. For example, if "table salt" was added by mistake to a cakeBaking PE, then Used(salt, cakeBaking PE) is true, but it is not clear what attribute-value must exist for "salt" to allow cakeBaking PE to terminate?

b) Without specifying the identity, the characteristics, and how does this "attribute-value pair" relate to the Entity e itself (is it a necessary attribute-value pair for existence of e etc.) it is unclear how can we use this constraint.

c) Further, is it necessary for the attribute-value to be explicitly stated prior to the start of PE instance - since with the open world assumption it may exist but not known to a provenance application before start of PE.

--------------

Constraint 2: "Given a process execution expression identified by pe, an entity expression identified by e, a qualifier q, and optional time t, if assertion used(pe,e,q) or used(pe,e,q,t) holds, then the use of the thing represented by entity expression identified by e precedes the end time contained in the process execution expression identified by pe and follows its beginning. Furthermore, the generation of the thing denoted by entity expression identified by e always precedes its use."

Issue:
To enforce this constraint, it will be necessary for "time" (or events?) to be associated with both PE and Entity instances to derive ordering - currently association of time is optional for both PE and Entity (events is not defined).

Related Actions Items:

No related actions

Related emails:

1. Re: PROV-ISSUE-124: Constraints on Used Relation (PROV-DM and PROV-OM) [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2012-01-12)
2. Re: PROV-ISSUE-124: Constraints on Used Relation (PROV-DM and PROV-OM) [Conceptual Model] (from satya.sahoo@case.edu on 2012-01-11)
3. Re: PROV-ISSUE-124: Constraints on Used Relation (PROV-DM and PROV-OM) [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2011-12-19)
4. Re: PROV-ISSUE-124: Constraints on Used Relation (PROV-DM and PROV-OM) [Conceptual Model] (from lebot@rpi.edu on 2011-12-02)
5. Re: PROV-ISSUE-124: Constraints on Used Relation (PROV-DM and PROV-OM) [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2011-11-29)
6. Re: PROV-ISSUE-124: Constraints on Used Relation (PROV-DM and PROV-OM) [Conceptual Model] (from Paolo.Missier@ncl.ac.uk on 2011-11-29)
7. Re: PROV-ISSUE-124: Constraints on Used Relation (PROV-DM and PROV-OM) [Conceptual Model] (from lebot@rpi.edu on 2011-11-22)
8. Re: PROV-ISSUE-124: Constraints on Used Relation (PROV-DM and PROV-OM) [Conceptual Model] (from lebot@rpi.edu on 2011-11-16)
9. Re: PROV-ISSUE-124: Constraints on Used Relation (PROV-DM and PROV-OM) [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2011-11-07)
10. Re: PROV-ISSUE-124: Constraints on Used Relation (PROV-DM and PROV-OM) [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2011-10-11)
11. Re: PROV-ISSUE-124: Constraints on Used Relation (PROV-DM and PROV-OM) [Conceptual Model] (from p.t.groth@vu.nl on 2011-10-11)
12. PROV-ISSUE-124: Constraints on Used Relation (PROV-DM and PROV-OM) [Conceptual Model] (from sysbot+tracker@w3.org on 2011-10-11)

Related notes:

No additional notes.

Display change log