ontology/components/wasInformedBy.ttl
author Paul Groth <p.t.groth@vu.nl>
Fri, 07 Jun 2013 20:21:19 +0200
changeset 6412 600c6fd1fdb4
parent 1603 739984da9cbe
permissions -rw-r--r--
minor updates to address dong's comments
@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:Activity;
   rdfs:range  prov:Activity;
   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:Activity;
   prov:generated :was:informedBy_not_transitive_axiom;
   prov:wasControlledBy <http://purl.org/twc/id/person/TimLebo>;
.