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

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?

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.

Thanks.

Best,
Satya

Received on Wednesday, 7 December 2011 02:02:59 UTC