ontology/components/wasEventuallyDerivedFrom.ttl
author Paul Groth <p.t.groth@vu.nl>
Fri, 07 Jun 2013 20:21:19 +0200
changeset 6412 600c6fd1fdb4
parent 809 baf0b4965963
permissions -rw-r--r--
minor updates to address dong's comments
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix prov: <http://www.w3.org/ns/prov-o/> .

prov:wasEventuallyDerivedFrom
   a owl:ObjectProperty; #, owl:TransitiveProperty;
   rdfs:seeAlso <http://www.w3.org/2011/prov/track/issues/114>;
.

prov:wasDerivedFrom
   rdfs:comment "Given two entity expressions denoted by e1 and e2, if the assertion wasDerivedFrom(e2,e1) or wasDerivedFrom(e2,e1,pe,q12,q1) holds, then the the expression wasEventuallyDerivedFrom(e2,e1) also holds.";
   rdfs:seeAlso <http://www.w3.org/TR/2011/WD-prov-dm-20111018/#process-execution-independent-derivation-expression>;
   rdfs:subPropertyOf prov:wasEventuallyDerivedFrom;
.