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

Re: PROV-ISSUE-45: isDerivedFrom and IVPof are transitive. [Conceptual Model]

From: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
Date: Wed, 27 Jul 2011 15:46:56 +0100
Message-ID: <EMEW3|6cfe5285b2bb4e06693928466a3a8dd7n6QFkw08L.Moreau|ecs.soton.ac.uk|4E3024E0.8040908@ecs.soton.ac.uk>
To: public-prov-wg@w3.org

In the latest version of the document, you will find a proposal [1] that 
the issue of transitivity for derivation.  I copy the text below for 

5.5.2 Transitivity

The relationship isDerivedFrom is transitive. Indeed, given 
isDerivedFrom(e2,e1) and isDerivedFrom(e1,e0), e2 is transformed from 
(resp. created from/affected by) e1, which in turn is transformed from 
(resp. created from/affected by) e0. So, e2 is indirectly transformed 
from (resp. created from/affected by) e0.

The relationship isDerivedFrom+ is the transitive closure of isDerivedFrom.

Whereas isDerivedFrom(e1,e0)is an assertion that corresponds to a single 
process execution, isDerivedFrom+(e1,e0) is obtained by transitive 
closure isDerivedFrom. In addition, this specification introduces a 
further assertion isDerivedFromInMultipleSteps(e1,e0), which may 
correspond to one or more process executions. The inference rule above 
cannot be used on this assertion, as the number of Process Executions 
involved in the derivation is not known.

Comments? Thoughts?

Best regards,
Paolo and Luc


On 07/25/2011 12:29 PM, Paolo Missier wrote:
> Khalid
> I don't think we have ever agreed on that, but I should really check 
> the voting history. The latest definition of IVP-of (or complement-of) 
> is sufficiently precise (i.e., algorithmic) that transitivity follows, 
> but derivation is purely asserted and as such there is no ground to 
> say that it is transitive -- unless we say axiomatically that it 
> should be.
> -Paolo
>> PROV-ISSUE-45: isDerivedFrom and IVPof are transitive. [Conceptual Model]
>> http://www.w3.org/2011/prov/track/issues/45
>> Raised by: Khalid Belhajjame
>> On product: Conceptual Model
>> If we agree that "isDerivedFrom" and "IVPof" are transitive, then I would suggest that this should be specified in the model working draft.
>> khalid

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 Wednesday, 27 July 2011 14:47:23 UTC

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