--- a/ontology/components/wasInformedBy.ttl Wed Nov 16 17:14:30 2011 -0500
+++ b/ontology/components/wasInformedBy.ttl Thu Nov 17 11:23:16 2011 -0500
@@ -1,7 +1,11 @@
+@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>;
@@ -11,4 +15,31 @@
rdfs:seeAlso <http://www.w3.org/TR/2011/WD-prov-dm-20111018/#expression-OrderingOfProcessExecutions>;
rdfs:comment "Given two process execution expressions identified by pe1 and pe2, the expression wasInformedBy(pe2,pe1) holds, if and only if there is an entity expression identified by e and qualifiers q1 and q2, such that wasGeneratedBy(e,pe1,q1) and used(pe2,e,q2) hold.";
# 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;
+.