W3C home > Mailing lists > Public > public-prov-wg@w3.org > January 2012

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

From: Satya Sahoo <satya.sahoo@case.edu>
Date: Wed, 11 Jan 2012 18:40:33 -0500
Message-ID: <CAOMwk6wvRyEE3n4Py7VqhodPLZEnVCEv1WC8ufU6HCS_5La0Uw@mail.gmail.com>
To: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
Cc: Provenance Working Group WG <public-prov-wg@w3.org>
Hi Luc,
Thank you for rewording the ordering. I am comfortable with closing this
issue.

Thanks.

Best,
Satya

On Mon, Dec 19, 2011 at 4:25 AM, Luc Moreau <L.Moreau@ecs.soton.ac.uk>wrote:

> 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<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<http://www.ecs.soton.ac.uk/~lavm>
>
>
>
Received on Wednesday, 11 January 2012 23:41:04 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:58:11 UTC