ontology/components/wasInformedBy.ttl
author Graham Klyne
Thu, 01 Dec 2011 17:33:25 +0000
changeset 1139 157c4ac99ff5
parent 982 73b565f0f69e
child 1603 739984da9cbe
permissions -rw-r--r--
Messing around for pubrules checker
     1 @prefix rdf:     <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
     2 @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
     3 @prefix owl:  <http://www.w3.org/2002/07/owl#> .
     4 @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
     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 :     <#> .
     9 
    10 prov:wasInformedBy
    11    rdfs:seeAlso <http://www.w3.org/TR/2011/WD-prov-dm-20111018/#expression-OrderingOfProcessExecutions>;
    12    rdfs:domain prov:ProcessExecution;
    13    rdfs:range  prov:ProcessExecution;
    14    rdfs:comment "A representation that an entity was generated by an activity, before it was used by another activity.";
    15 
    16    rdfs:seeAlso <http://www.w3.org/TR/2011/WD-prov-dm-20111018/#expression-OrderingOfProcessExecutions>;
    17    # This is too unconstrained: owl:propertyChainAxiom ( prov:used prov:wasGeneratedBy prov:qualifiedGeneration prov:entity );
    18    rdfs:comment "The relationship wasInformedBy is not transitive.";
    19 .
    20 
    21 :wasInformedBy_not_transitive_narrative
    22    a prov:Quote;
    23    rdf:value "The relationship wasInformedBy is not transitive.";
    24    prov:wasQuotedFrom :web_page_view;
    25    prov:qualifiedQuotation [
    26       a prov:Quotation;
    27       prov:hadQualifiedEntity :web_page_view;
    28       prov:hadQuoter <http://purl.org/twc/id/person/TimLebo>;
    29       prov:time "2011-11-16T17:35:59-05:00"^^xsd:dateTime;
    30    ];
    31 .
    32 
    33 :web_page_view
    34    a prov:Entity;
    35    prov:viewOf <http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#record-OrderingOfActivities>;
    36    prov:time "2011-11-16T17:19:00-05:00"^^xsd:dateTime;
    37 .
    38 
    39 :wasInformedBy_not_transitive_axiom
    40    a owl:NegativeObjectPropertyAssertion;
    41    owl:sourceIndividual  prov:wasInformedBy;
    42    owl:assertionProperty  rdf:type;
    43    owl:targetIndividual    owl:TransitiveProperty;
    44 
    45    prov:wasDerivedFrom :wasInformedBy_not_transitive_narrative;
    46    prov:wasGeneratedBy :narrative_to_axiom;
    47 .
    48 
    49 :narrative_to_axiom
    50    a prov:ProcessExecution;
    51    prov:generated :was:informedBy_not_transitive_axiom;
    52    prov:wasControlledBy <http://purl.org/twc/id/person/TimLebo>;
    53 .