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

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