- From: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
- Date: Wed, 05 Oct 2011 15:12:10 +0100
- 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 UTC