W3C home > Mailing lists > Public > public-prov-wg@w3.org > November 2011

Re: PROV-ISSUE-122: Constraint on wasGeneratedBy (PROV-DM and PROV-OM) [Conceptual Model]

From: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
Date: Wed, 30 Nov 2011 12:19:47 +0000
Message-ID: <EMEW3|1a5faf1b0e364b983279ff91c08e4a28nAYCJp08L.Moreau|ecs.soton.ac.uk|4ED61F63.2080604@ecs.soton.ac.uk>
To: public-prov-wg@w3.org
Hi Satya,
We are now closing this issue formally, since your recommendation was 
implemented.
Regards,
Luc

On 11/07/2011 11:46 AM, Luc Moreau wrote:
> Hi Satya,
>
> The WG decided to drop this constraint on attributes.
> I conclude we can close this issue. Let me know if it's not the case.
>
> Thanks,
> Luc
>
> On 10/10/2011 12:36 AM, Provenance Working Group Issue Tracker wrote:
>> PROV-ISSUE-122: Constraint on wasGeneratedBy (PROV-DM and PROV-OM)  
>> [Conceptual Model]
>>
>> http://www.w3.org/2011/prov/track/issues/122
>>
>> Raised by: Satya Sahoo
>> On product: Conceptual Model
>>
>> 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.
>>
>>
>>
>

-- 
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
Received on Wednesday, 30 November 2011 12:20:19 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:51:04 UTC