Re: PROV-ISSUE-190: Section 5.3.1.1 (PROV-DM as on Nov 28) [prov-dm]

Hi Satya,

We have now addressed this issue, and are proposing
the issue pending review.

Let us know if the changes address your concern.

See comments interleaved.




On 12/07/2011 02:02 AM, Provenance Working Group Issue Tracker wrote:
> PROV-ISSUE-190: Section 5.3.1.1 (PROV-DM as on Nov 28) [prov-dm]
>
> http://www.w3.org/2011/prov/track/issues/190
>
> Raised by: Satya Sahoo
> On product: prov-dm
>
> Hi,
> The following are my comments for Section 5.3.1.1 of the PROV-DM (as on Nov 28):
>
> 5.3.1.1 Generation Record
> 1. "If an assertion wasGeneratedBy(x,a,attrs) or wasGeneratedBy(x,a,attrs,t) holds, then the following temporal constraint also holds: the generation of the entity denoted by x precedes the end of a and follows the start of a."
>
> Comment: The constraint is defined for ordering of events - generation, start and end of a - but it is termed as temporal constraint?
>
>    
Now talking about 'ordering constraint' or 'event ordering constraint'

> 2. "Alternatively, for two activities to generate an entity simultaneously, they would require some synchronization by which they agree the entity is released for use; the end of this synchronization would constitute the actual generation of the entity, but is performed by a single activity."
>
> Comment: How and why is the actual generation performed by single activity? If two activities contributed to generation of an entity, then both activities should be associated with its generation. Would the entity have been generated if either of the two (or more) activities not contributed to the generation of the entity? The Generation-unicity constraint does not map to real world scenarios. This issue was raised for the previous version of the DM also.
>
>    
See the new section
http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#structural-constraints

See also the note at the end of section, which contains a modelling of 
your sculpture example
in prov-dm.  There is a suggestion for an new relation, if the group 
feels it's useful.

Regards,

Luc
> Thanks.
>
> Best,
> Satya
>
>
>
>    

-- 
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, 21 December 2011 12:58:12 UTC