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: Mon, 25 Jul 2011 14:11:14 +0100
Message-ID: <EMEW3|16c9d49b933d83cc9a6e19d05994f312n6OEBI08L.Moreau|ecs.soton.ac.uk|4E2D6B72.90403@ecs.soton.ac.uk>
To: public-prov-wg@w3.org

Hi Paolo and Khalid,

I think we should allow for isDerivedFrom to be inferrable.
Hence, isDerivedFrom is a construct that may be directly asserted, or 
may be inferred by
transitive closure.

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 Monday, 25 July 2011 13:11:57 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 26 April 2012 13:06:37 GMT