- From: Stian Soiland-Reyes <soiland-reyes@cs.manchester.ac.uk>
- Date: Sun, 13 Nov 2011 14:06:27 +0000
- To: Simon Miles <simon.miles@kcl.ac.uk>
- Cc: Provenance Working Group WG <public-prov-wg@w3.org>
On Sun, Nov 13, 2011 at 13:42, Simon Miles <simon.miles@kcl.ac.uk> wrote: > The only thing that puzzled me was the use of 'dependedOn' in the > inference rules. Is this just a typo? I thought dependedOn was > replaced by wasBasedOn in your proposal? Or have I misunderstood > something here? I'm sorry, I confused myself.. I was thinking of hadParticipant() http://www.w3.org/TR/prov-dm/#expression-Participation to cover both use, control, and other influencing participation, in addition to covering wasComplementOf() relations. So to rephrase: wasBasedOn(A,B) is transitive and can be inferred iff: wasGeneratedBy(A, pe0) hadParticipant(pe0, B) -or- wasGeneratedBy(A, pe0) hadParticipant(pe0, x) wasBasedOn(x, B) -- Stian Soiland-Reyes, myGrid team School of Computer Science The University of Manchester
Received on Sunday, 13 November 2011 14:07:23 UTC