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

Thanks Satya, it's now closed.
Luc

On 01/11/2012 11:38 PM, Satya Sahoo wrote:
> Hi Luc,
> I agree that my specific point in this issue has been addressed. I am 
> happy for this issue to be closed.
>
> Thanks.
>
> Best,
> Satya
>
> On Wed, Nov 30, 2011 at 7:53 AM, Luc Moreau <L.Moreau@ecs.soton.ac.uk 
> <mailto:L.Moreau@ecs.soton.ac.uk>> wrote:
>
>     Hi Satya,
>
>     Your example:
>
>     "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."
>
>     was a key driver behind Yolanda's proposal of agent and activity
>     relation, which is now implemented
>     in the document.
>
>     For your example, you would write wasAssociatedWith(prod1,qci1).
>
>     I trust this answers your concern and we can close the issue.
>
>     Regards,
>     Luc
>
>
>     On 10/17/2011 01:25 AM, Provenance Working Group Issue Tracker wrote:
>
>         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.
>
>
>
>
>
>     -- 
>     Professor Luc Moreau
>     Electronics and Computer Science   tel: +44 23 8059 4487
>     <tel:%2B44%2023%208059%204487>
>     University of Southampton          fax: +44 23 8059 2865
>     <tel:%2B44%2023%208059%202865>
>     Southampton SO17 1BJ               email: l.moreau@ecs.soton.ac.uk
>     <mailto:l.moreau@ecs.soton.ac.uk>
>     United Kingdom http://www.ecs.soton.ac.uk/~lavm
>     <http://www.ecs.soton.ac.uk/%7Elavm>
>
>
>

-- 
Professor Luc Moreau
Electronics and Computer Science   tel:   +44 23 8059 4487
University of Southampton          fax:   +44 23 8059 2865
Southampton SO17 1BJ               email: l.moreau@ecs.soton.ac.uk
United Kingdom                     http://www.ecs.soton.ac.uk/~lavm