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?


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 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:50:58 UTC