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

Hi Satya,

All constraints have been rewritten and are now grouped in a single section.

I use the term 'ordering constraint' and (hopefully) no longer mention 
'temporal constraint'.

I am closing this issue, pending review.

Luc

On 12/07/2011 02:05 AM, Provenance Working Group Issue Tracker wrote:
> PROV-ISSUE-191: Section 5.3.1.2 (PROV-DM as on Nov 28) [prov-dm]
>
> http://www.w3.org/2011/prov/track/issues/191
>
> Raised by: Satya Sahoo
> On product: prov-dm
>
> Hi,
> The following are my comments for Section 5.3.1.2 of the PROV-DM (as on Nov 28):
>
> 5.3.1.2 Usage Record
> 1. "For any entity, the following temporal constraint holds: the generation of an entity always precedes any of its usages."
>
> Comment: This is not a temporal constraint, since it only enforces a partial order between events.
>
> 2. "Given an activity record identified by a, an entity record identified by e, a set of attribute-value pairs attrs, and optional time t, if assertion used(a,e,attrs) or used(a,e,attrs,t) holds, then the following temporal constraint holds: the usage of the entity represented by entity record identified by e precedes the end of activity represented by record identified by a and follows its start."
>
> Comment: Similar to previous constraint, this is an event ordering constraint and not a temporal constraint. Especially for assertion used(a,e,attrs) where there is not time value explicitly associated with used.
>
> 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 Monday, 19 December 2011 09:25:50 UTC