ontology/components/wasInformedBy/prov-dm-constraint-wasInformedBy.ttl
author Paul Groth <p.t.groth@vu.nl>
Fri, 07 Jun 2013 20:21:19 +0200
changeset 6412 600c6fd1fdb4
parent 984 d29353d001bf
permissions -rw-r--r--
minor updates to address dong's comments
     1 @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
     2 @prefix owl:  <http://www.w3.org/2002/07/owl#> .
     3 @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
     4 @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
     5 @prefix time: <http://www.w3.org/2006/time#> .
     6 @prefix dcterms: <http://purl.org/dc/terms/> .
     7 @prefix prov: <http://www.w3.org/ns/prov-o/> .
     8 @prefix nfo: <http://www.semanticdesktop.org/ontologies/2007/03/22/nfo#> .
     9 @prefix app: <http://www.w3.org/TR/2011/WD-prov-dm-20111018/app#> .
    10 @prefix :    <http://www.w3.org/TR/2011/WD-prov-dm-20111018/#> .
    11 
    12 :a2
    13    rdfs:seeAlso <http://www.w3.org/TR/2011/WD-prov-dm-20111018/#expression-OrderingOfProcessExecutions>,
    14                 <http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#record-OrderingOfActivities>,
    15                 <https://dvcs.w3.org/hg/prov/raw-file/06d757eed9d5/ontology/components/wasInformedBy/prov-dm-constraint-wasInformedBy.png>;
    16    dcterms:description "Given two activity records identified by a1 and a2, the record wasInformedBy(a2,a1) holds, if and only if there is an entity record identified by e and sets of attribute-value pairs attrs1 and attrs2, such that wasGeneratedBy(e,a1,attrs1) and used(a2,e,attrs2) hold.";
    17 
    18    dcterms:description "wasInformedBy(a2,a1)";
    19    prov:wasInformedBy :a1;
    20    a prov:ProcessExecution;
    21 .
    22 :a1
    23    rdfs:seeAlso <http://www.w3.org/TR/2011/WD-prov-dm-20111018/#expression-OrderingOfProcessExecutions>;
    24    dcterms:description "wasInformedBy(a2,a1)";
    25    a prov:ProcessExecution;
    26 .
    27 
    28 # <= If and only if =>
    29  
    30 :e
    31    rdfs:seeAlso <http://www.w3.org/TR/2011/WD-prov-dm-20111018/#expression-OrderingOfProcessExecutions>;
    32    dcterms:description "wasGeneratedBy(e,a1,attrs1)";
    33    a prov:Entity;
    34    prov:wasGeneratedBy :a1;
    35 .
    36 :a1
    37    a prov:ProcessExecution;
    38    prov:generated :e;
    39    prov:qualifiedGeneration [
    40       a prov:Generation;
    41       prov:hadQualifiedEntity :e;
    42       :attrs1_a "1a";
    43       :attrs1_b "1b";
    44    ];
    45 .
    46 :a2
    47    rdfs:seeAlso <http://www.w3.org/TR/2011/WD-prov-dm-20111018/#expression-OrderingOfProcessExecutions>;
    48    dcterms:description "used(a2,e,attrs2)";
    49    a prov:ProcessExecution;
    50    prov:used :e;
    51    prov:qualifedUsage [
    52       a prov:Usage;
    53       prov:hadQualifiedEntity :e;
    54       rdfs:comment "attrs2: Some addition triples should be here, but are not provided by the PROV-DM example.";
    55       :attrs2_a "2a";
    56       :attrs2_b "2b";
    57    ];
    58 .
    59 <https://dvcs.w3.org/hg/prov/raw-file/06d757eed9d5/ontology/components/wasInformedBy/prov-dm-constraint-wasInformedBy.png> 
    60    prov:wasDerivedFrom <https://dvcs.w3.org/hg/prov/raw-file/06d757eed9d5/ontology/components/wasInformedBy/prov-dm-constraint-wasInformedBy.ttl> .