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: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
Date: Thu, 12 Jan 2012 09:29:10 +0000
Message-ID: <EMEW3|1c530437235e505539571278278fc3edo0B9YD08L.Moreau|ecs.soton.ac.uk|4F0EA7E6.4010104@ecs.soton.ac.uk>
To: Satya Sahoo <satya.sahoo@case.edu>
CC: Provenance Working Group WG <public-prov-wg@w3.org>
Thanks Satya, it's now closed.
Luc

On 01/11/2012 11:40 PM, Satya Sahoo wrote:
> 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 
> <mailto: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
>
>         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
>     <tel:%2B44%2023%208059%204487>
>     University of Southampton          fax: +44 23 8059 2865
>     <tel:%2B44%2023%208059%202865>
>     Southampton SO17 1BJ               email: l.moreau@ecs.soton.ac.uk
>     <mailto:l.moreau@ecs.soton.ac.uk>
>     United Kingdom http://www.ecs.soton.ac.uk/~lavm
>     <http://www.ecs.soton.ac.uk/%7Elavm>
>
>
>

-- 
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 Thursday, 12 January 2012 09:34:42 UTC

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