ontology/components/dependedOn.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:dependedOn
     6    a owl:ObjectProperty;
     7    rdfs:seeAlso <http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#expression-Derivation>;
     8    rdfs:domain prov:Entity;
     9    rdfs:range  prov:Entity; 
    10    rdfs:comment "dependedOn(e2, e1) : e1 is an entity expression, which represents the characterized thing that the derivation __relies upon__. ";
    11    rdfs:comment "dependedOn(e2, e1) : e2 is entity expression, which represents the characterized thing that is the __result__ of the derivation.";
    12    rdfs:comment "dependedOn(e2, e1) : :e2 prov:dependedOn :e1";
    13    rdfs:comment "If dependedOn(e3,e2) and dependedOn(e2,e1) hold, then dependedOn(e3,e1) holds.";
    14 
    15 
    16    rdfs:seeAlso <http://www.w3.org/TR/2011/WD-prov-dm-20111018/#transitive-derivation-expression>;
    17    rdfs:comment "The expression dependedOn can only be inferred; in other words, it cannot be asserted. It is transitive by definition and relies on the previously defined derivation assertions for its base case.";
    18    rdfs:comment "If dependedOn(e3,e2) and dependedOn(e2,e1) hold, then dependedOn(e3,e1) holds.";
    19    a owl:TransitiveProperty;
    20 .
    21 
    22 prov:wasDerivedFrom
    23 
    24    rdfs:seeAlso <http://www.w3.org/TR/2011/WD-prov-dm-20111018/#transitive-derivation-expression>;
    25    rdfs:comment "If wasDerivedFrom(e2,e1) or wasDerivedFrom(e2,e1,pe,q2,q1) holds, then dependedOn(e2,e1) holds.";
    26    rdfs:subPropertyOf prov:dependsOn;
    27 
    28    rdfs:seeAlso <http://www.w3.org/TR/2011/WD-prov-dm-20111018/#transitive-derivation-expression>;
    29    rdfs:comment "If wasEventuallyDerivedFrom(e2,e1) holds, then dependedOn(e2,e1) holds.";
    30    rdfs:subPropertyOf prov:wasEventuallyDerivedFrom;
    31 .