ontology/components/wasEventuallyDerivedFrom.ttl
author Paul Groth <p.t.groth@vu.nl>
Fri, 07 Jun 2013 20:21:19 +0200
changeset 6412 600c6fd1fdb4
parent 717 2b05e8b488c1
permissions -rw-r--r--
minor updates to address dong's comments
     1 @prefix owl:  <http://www.w3.org/2002/07/owl#> .
     2 @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
     3 @prefix prov: <http://www.w3.org/ns/prov-o/> .
     4 
     5 prov:wasEventuallyDerivedFrom
     6    a owl:ObjectProperty; #, owl:TransitiveProperty;
     7    rdfs:seeAlso <http://www.w3.org/2011/prov/track/issues/114>;
     8 .
     9 
    10 prov:wasDerivedFrom
    11    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.";
    12    rdfs:seeAlso <http://www.w3.org/TR/2011/WD-prov-dm-20111018/#process-execution-independent-derivation-expression>;
    13    rdfs:subPropertyOf prov:wasEventuallyDerivedFrom;
    14 .