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

Re: PROV-ISSUE-114 (Tlebo): is prov:wasDerivedFrom rdfs:subPropertyOf prov:dependedOn? [Formal Model]

From: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
Date: Wed, 05 Oct 2011 15:12:10 +0100
Message-ID: <EMEW3|44f0264105ccb1854a28cb8637633bf8n94FCD08L.Moreau|ecs.soton.ac.uk|4E8C65BA.7000905@ecs.soton.ac.uk>
To: public-prov-wg@w3.org
Hi Stian,

I don't think  wasEventuallyDerivedFrom is transitive either.

Luc

On 10/05/2011 01:25 PM, Stian Soiland-Reyes wrote:
> On Wed, Oct 5, 2011 at 00:15, Provenance Working Group Issue Tracker
> <sysbot+tracker@w3.org>  wrote:
>    
>> PROV-ISSUE-114 (Tlebo): is prov:wasDerivedFrom rdfs:subPropertyOf prov:dependedOn? [Formal Model]
>>
>>      
>    
>> if:
>> :e_2 prov:wasDerivedFrom :e_1,
>> "e_2 is transformed from, created from, or affected by e_1."
>>
>> Would this also imply:
>> "e_1 cannot be generated without the existence of e_1."
>> :e_2 prov:dependedOn :e_1 .
>>      
> in PROV-DM 5.3.3.3:
> http://dvcs.w3.org/hg/prov/raw-file/tip/model/ProvenanceModel.html#transitive-derivation-expression
>
> 1) If wasDerivedFrom(e2,e1) or wasDerivedFrom(e2,e1,pe,r2,r1) holds,
> then dependedOn(e2,e1) holds.
> 2) If wasEventuallyDerivedFrom(e2,e1) holds, then dependedOn(e2,e1) holds.
> 3) If dependedOn(e3,e2) and dependedOn(e2,e1) hold, then
> dependedOn(e3,e1) holds.
>
> However - dependedOn is transitive - but wasDerivedFrom is not. Can
> you be a subproperty and loose the transitivity?
>
> prov:wasEventuallyDerivedFrom is transitive, however. So 3) is
> captured by making prov:dependedOn transitive, 2) by making
> prov:wasEventuallyDerivedFrom subproperty of prov:dependedOn. How to
> do 1) in OWL is slightly trickier.
>
>
>
>    

-- 
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, 5 October 2011 14:12:54 GMT

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