- From: Satya Sahoo <satya.sahoo@case.edu>
- Date: Wed, 11 Jan 2012 18:40:33 -0500
- To: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
- Cc: Provenance Working Group WG <public-prov-wg@w3.org>
- Message-ID: <CAOMwk6wvRyEE3n4Py7VqhodPLZEnVCEv1WC8ufU6HCS_5La0Uw@mail.gmail.com>
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