W3C home > Mailing lists > Public > public-prov-wg@w3.org > July 2011

Re: PROV-ISSUE-64 (definition-use): definition of use [Conceptual Model]

From: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
Date: Fri, 29 Jul 2011 14:19:19 +0100
Message-ID: <EMEW3|1bf3701392c1ff96f1f067b729f8e5c6n6SEJP08L.Moreau|ecs.soton.ac.uk|4E32B357.7040906@ecs.soton.ac.uk>
To: public-prov-wg@w3.org
Hi Graham,

On 07/29/2011 10:13 AM, Provenance Working Group Issue Tracker wrote:
> [[
> A reference to a given BOB may appear in multiple use assertions that refer to a given process execution, but each of those use assertions must have a distinct role.
> ]]
> In light of the above, this seems nonsensical to me.
>
>    


I am trying to understand what the issue is.

We're trying to say:

For any b, bob(b,[...])
For any pe, processExecution(pe)

     for any two assertions use(pe,b,r1,t1) and use(pe,b,r2,t2), then
      r1 <> r2

Is there a problem with this?

Regards,
Luc

-- 
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 Friday, 29 July 2011 13:19:53 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 26 April 2012 13:06:37 GMT