--- a/ontology/ProvenanceOntology.owl	Mon Apr 23 15:28:08 2012 +0200
+++ b/ontology/ProvenanceOntology.owl	Mon Apr 23 10:24:48 2012 -0400
@@ -51,19 +51,19 @@
         <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
     </owl:AnnotationProperty>
     <owl:AnnotationProperty rdf:about="&prov;definition"/>
+    <owl:AnnotationProperty rdf:about="&prov;editorialNote"/>
     <owl:AnnotationProperty rdf:about="&rdfs;label"/>
-    <owl:AnnotationProperty rdf:about="&prov;editorialNote"/>
     <owl:AnnotationProperty rdf:about="&prov;inverse"/>
     <owl:AnnotationProperty rdf:about="&rdfs;comment"/>
     <owl:AnnotationProperty rdf:about="&rdfs;seeAlso"/>
     <owl:AnnotationProperty rdf:about="&prov;category">
-	<rdfs:comment xml:lang="en">Classify prov-o terms into three categories, including starting-point, qualifed, and extended. This classification is used to gently introduce prov-o terms to its users. </rdfs:comment>
+        <rdfs:comment xml:lang="en">Classify prov-o terms into three categories, including starting-point, qualifed, and extended. This classification is used to gently introduce prov-o terms to its users. </rdfs:comment>
     </owl:AnnotationProperty>
     <owl:AnnotationProperty rdf:about="&prov;prov-dm-constraints">
         <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
     </owl:AnnotationProperty>
     <owl:AnnotationProperty rdf:about="&prov;component">
-	<rdfs:comment xml:lang="en">Classify prov-o terms into six components according to prov-dm, including . This classification is used so that readers of prov-o specification can find its correspondence with the prov-dm specification.</rdfs:comment> 
+        <rdfs:comment xml:lang="en">Classify prov-o terms into six components according to prov-dm, including . This classification is used so that readers of prov-o specification can find its correspondence with the prov-dm specification.</rdfs:comment>
     </owl:AnnotationProperty>
     <owl:AnnotationProperty rdf:about="&prov;qualifiedForm">
         <rdfs:comment xml:lang="en">This annotation property links a prov:involved subproperty with a prov:Involved subclass. This indicates that the property can be qualified by using prov:qualified. 
@@ -877,6 +877,12 @@
         <prov:qualifiedForm rdf:resource="&prov;qualifiedRevision"/>
         <rdfs:subPropertyOf rdf:resource="&prov;wasDerivedFrom"/>
     </owl:ObjectProperty>
+    <owl:Axiom>
+        <rdfs:comment>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm-constraints.html#term-Revision 23 April 2012 &#39;wasRevisionOf is a strict sub-relation of wasDerivedFrom since two entities e2 and e1 may satisfy wasDerivedFrom(e2,e1) without being a variant of each other.&#39;</rdfs:comment>
+        <owl:annotatedProperty rdf:resource="&rdfs;subPropertyOf"/>
+        <owl:annotatedTarget rdf:resource="&prov;wasDerivedFrom"/>
+        <owl:annotatedSource rdf:resource="&prov;wasRevisionOf"/>
+    </owl:Axiom>