ontology/components/wasInformedBy.ttl
author Graham Klyne
Thu, 01 Dec 2011 17:33:25 +0000
changeset 1139 157c4ac99ff5
parent 987 98992e088cff
child 1603 739984da9cbe
permissions -rw-r--r--
Messing around for pubrules checker
@prefix rdf:     <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix time: <http://www.w3.org/2006/time#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix prov: <http://www.w3.org/ns/prov-o/> .
@prefix :     <#> .

prov:wasInformedBy
   rdfs:seeAlso <http://www.w3.org/TR/2011/WD-prov-dm-20111018/#expression-OrderingOfProcessExecutions>;
   rdfs:domain prov:ProcessExecution;
   rdfs:range  prov:ProcessExecution;
   rdfs:comment "A representation that an entity was generated by an activity, before it was used by another activity.";

   rdfs:seeAlso <http://www.w3.org/TR/2011/WD-prov-dm-20111018/#expression-OrderingOfProcessExecutions>;
   # This is too unconstrained: owl:propertyChainAxiom ( prov:used prov:wasGeneratedBy prov:qualifiedGeneration prov:entity );
   rdfs:comment "The relationship wasInformedBy is not transitive.";
.

:wasInformedBy_not_transitive_narrative
   a prov:Quote;
   rdf:value "The relationship wasInformedBy is not transitive.";
   prov:wasQuotedFrom :web_page_view;
   prov:qualifiedQuotation [
      a prov:Quotation;
      prov:hadQualifiedEntity :web_page_view;
      prov:hadQuoter <http://purl.org/twc/id/person/TimLebo>;
      prov:time "2011-11-16T17:35:59-05:00"^^xsd:dateTime;
   ];
.

:web_page_view
   a prov:Entity;
   prov:viewOf <http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#record-OrderingOfActivities>;
   prov:time "2011-11-16T17:19:00-05:00"^^xsd:dateTime;
.

:wasInformedBy_not_transitive_axiom
   a owl:NegativeObjectPropertyAssertion;
   owl:sourceIndividual  prov:wasInformedBy;
   owl:assertionProperty  rdf:type;
   owl:targetIndividual    owl:TransitiveProperty;

   prov:wasDerivedFrom :wasInformedBy_not_transitive_narrative;
   prov:wasGeneratedBy :narrative_to_axiom;
.

:narrative_to_axiom
   a prov:ProcessExecution;
   prov:generated :was:informedBy_not_transitive_axiom;
   prov:wasControlledBy <http://purl.org/twc/id/person/TimLebo>;
.