PROV-ISSUE-127: Constraint id= participation (PROV DM and PROV ontology) [Data Model]

PROV-ISSUE-127: Constraint id= participation (PROV DM and PROV ontology) [Data Model]

http://www.w3.org/2011/prov/track/issues/127

Raised by: Satya Sahoo
On product: Data Model

Hi,
The following constraint is defined for participation in the PROV-DM (in mercurial fpwd head on Oct 16, 2011):
"Given two identifiers pe and e, respectively identifying a process execution expression and an entity expression, the expression hadParticipant(pe,e) holds if and only if:
a) used(pe,e) holds, or
b) wasControlledBy(pe,e) holds, or
c) wasComplementOf(e1,e) holds for some entity expression identified by e1, and hadParticipant(pe,e1) holds some process execution expression identified by pe."


Issue: 
This constraint is not necessary for assertion or inferring a participation property between an Entity instance and PE instance. The current definition uses "involvement" to link an Entity instance with a PE instance by "hadParticipant" relation, but "used" "wasControlledBy" and "wasComplementOf" are not an exhaustive list of properties for defining "involvement". 

For example, a quality control inspector "qci1" on a factory floor is "involved" in production (PE instance "prod1") of "honda civic car" by  observing the prod1 PE and taking notes. But qci1 is not linked to prod1 by "used" or "wasControlledBy" or "wasComplementOf" properties, but qci1 is a participant in prod1.

Suggestion is to remove this constraint completely since it is out of scope of this WG to enumerate all possible "involvement" properties that need be identified and listed to create this constraint.

Received on Monday, 17 October 2011 00:25:19 UTC