--- a/ontology/components/wasInformedBy.ttl	Mon Nov 21 08:53:55 2011 -0500
+++ b/ontology/components/wasInformedBy.ttl	Mon Nov 21 08:54:43 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;
+.