- From: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
- Date: Fri, 29 Jul 2011 14:19:19 +0100
- 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 UTC