ISSUE-127: Constraint id= participation (PROV DM and PROV ontology)

Constraint id= participation (PROV DM and PROV ontology)

State:
CLOSED
Product:
prov-dm
Raised by:
Satya Sahoo
Opened on:
2011-10-17
Description:
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.
Related Actions Items:
No related actions
Related emails:
  1. Re: PROV-ISSUE-127: Constraint id= participation (PROV DM and PROV ontology) [Data Model] (from L.Moreau@ecs.soton.ac.uk on 2012-01-12)
  2. Re: PROV-ISSUE-127: Constraint id= participation (PROV DM and PROV ontology) [Data Model] (from satya.sahoo@case.edu on 2012-01-11)
  3. Re: PROV-ISSUE-127: Constraint id= participation (PROV DM and PROV ontology) [Data Model] (from L.Moreau@ecs.soton.ac.uk on 2011-11-30)
  4. PROV-ISSUE-127: Constraint id= participation (PROV DM and PROV ontology) [Data Model] (from sysbot+tracker@w3.org on 2011-10-17)

Related notes:

No additional notes.

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: 127.html,v 1.1 2013-06-20 07:37:22 vivien Exp $