--- a/ontology/ProvenanceOntology.owl	Fri Jun 29 13:52:29 2012 +0100
+++ b/ontology/ProvenanceOntology.owl	Fri Jun 29 15:52:15 2012 -0400
@@ -54,12 +54,12 @@
     <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#definition">
         <rdfs:comment xml:lang="en">A definition quoted from PROV-DM or PROV-CONSTRAINTS that describes the concept expressed with this OWL term.</rdfs:comment>
     </owl:AnnotationProperty>
+    <owl:AnnotationProperty rdf:about="&rdfs;label">
+        <rdfs:comment xml:lang="en"></rdfs:comment>
+    </owl:AnnotationProperty>
     <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#editorialNote">
         <rdfs:comment xml:lang="en">A note by the OWL development team about how this term expresses the PROV-DM concept, or how it should be used in context of semantic web or linked data.</rdfs:comment>
     </owl:AnnotationProperty>
-    <owl:AnnotationProperty rdf:about="&rdfs;label">
-        <rdfs:comment xml:lang="en"></rdfs:comment>
-    </owl:AnnotationProperty>
     <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#inverse">
         <rdfs:comment xml:lang="en">PROV-O does not define all property inverses. The directionalities defined in PROV-O should be given preference over those not defined. However, if users wish to name the inverse of a PROV-O property, the local name given by prov:inverse should be used.</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/TR/prov-o/#names-of-inverse-properties"/>
@@ -67,10 +67,10 @@
     <owl:AnnotationProperty rdf:about="&rdfs;comment">
         <rdfs:comment xml:lang="en"></rdfs:comment>
     </owl:AnnotationProperty>
+    <owl:AnnotationProperty rdf:about="&owl;versionInfo"/>
     <owl:AnnotationProperty rdf:about="&rdfs;seeAlso">
         <rdfs:comment xml:lang="en"></rdfs:comment>
     </owl:AnnotationProperty>
-    <owl:AnnotationProperty rdf:about="&owl;versionInfo"/>
     <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#category">
         <rdfs:comment xml:lang="en">Classify prov-o terms into three categories, including &#39;starting-point&#39;, &#39;qualifed&#39;, and &#39;extended&#39;. This classification is used by the prov-o html document to gently introduce prov-o terms to its users. </rdfs:comment>
     </owl:AnnotationProperty>
@@ -974,9 +974,9 @@
         </owl:propertyChainAxiom>
     </owl:ObjectProperty>
     <owl:Axiom>
+        <definition>IF wasAttributedTo(e2,ag1,aAttr) holds, THEN tracedTo(e2,ag1) also holds. </definition>
+        <rdfs:comment>Attribution is a particular case of trace (see http://www.w3.org/TR/prov-dm/#concept-trace), in the sense that it links an entity to the agent that ascribed it.</rdfs:comment>
         <prov-dm-constraints>http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#traceability-inference</prov-dm-constraints>
-        <rdfs:comment>Attribution is a particular case of trace (see http://www.w3.org/TR/prov-dm/#concept-trace), in the sense that it links an entity to the agent that ascribed it.</rdfs:comment>
-        <definition>IF wasAttributedTo(e2,ag1,aAttr) holds, THEN tracedTo(e2,ag1) also holds. </definition>
         <owl:annotatedProperty rdf:resource="&rdfs;subPropertyOf"/>
         <owl:annotatedTarget rdf:resource="http://www.w3.org/ns/prov#tracedTo"/>
         <owl:annotatedSource rdf:resource="http://www.w3.org/ns/prov#wasAttributedTo"/>
@@ -1204,8 +1204,9 @@
 
     <owl:DatatypeProperty rdf:about="http://www.w3.org/ns/prov#endedAtTime">
         <rdf:type rdf:resource="&owl;FunctionalProperty"/>
+        <component>entities-activities</component>
+        <editorialNote xml:lang="en">It is the intent that the property chain holds: (prov:qualifiedEnd o prov:atTime) rdfs:subPropertyOf prov:endedAtTime.</editorialNote>
         <rdfs:comment xml:lang="en">The time at which an activity ended. See also prov:startedAtTime.</rdfs:comment>
-        <component>entities-activities</component>
         <category>starting-point</category>
         <rdfs:range rdf:resource="&xsd;dateTime"/>
         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Activity"/>
@@ -1221,6 +1222,7 @@
         <rdf:type rdf:resource="&owl;FunctionalProperty"/>
         <category>expanded</category>
         <component>entities-activities</component>
+        <editorialNote xml:lang="en">It is the intent that the property chain holds: (prov:qualifiedGeneration o prov:atTime) rdfs:subPropertyOf prov:generatedAtTime.</editorialNote>
         <rdfs:comment xml:lang="en">The time at which an entity was completely created.</rdfs:comment>
         <rdfs:range rdf:resource="&xsd;dateTime"/>
         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
@@ -1234,6 +1236,7 @@
 
     <owl:DatatypeProperty rdf:about="http://www.w3.org/ns/prov#invalidatedAtTime">
         <rdf:type rdf:resource="&owl;FunctionalProperty"/>
+        <editorialNote xml:lang="en">It is the intent that the property chain holds: (prov:qualifiedInvalidation o prov:atTime) rdfs:subPropertyOf prov:invalidatedAtTime.</editorialNote>
         <category>expanded</category>
         <component>entities-activities</component>
         <rdfs:comment xml:lang="en">The time at which an entity began to be invalidated (i.e., no longer usable).</rdfs:comment>
@@ -1289,6 +1292,7 @@
     <owl:DatatypeProperty rdf:about="http://www.w3.org/ns/prov#startedAtTime">
         <rdf:type rdf:resource="&owl;FunctionalProperty"/>
         <category>starting-point</category>
+        <editorialNote xml:lang="en">It is the intent that the property chain holds: (prov:qualifiedStart o prov:atTime) rdfs:subPropertyOf prov:startedAtTime.</editorialNote>
         <component>entities-activities</component>
         <rdfs:comment xml:lang="en">The time at which an activity started. See also prov:endedAtTime.</rdfs:comment>
         <rdfs:range rdf:resource="&xsd;dateTime"/>

--- a/ontology/prov.ttl	Fri Jun 29 13:52:29 2012 +0100
+++ b/ontology/prov.ttl	Fri Jun 29 15:52:15 2012 -0400
@@ -654,6 +654,7 @@
     rdfs:range xsd:dateTime ;
     :category "starting-point" ;
     :component "entities-activities" ;
+    :editorialNote "It is the intent that the property chain holds: (prov:qualifiedEnd o prov:atTime) rdfs:subPropertyOf prov:endedAtTime."@en ;
     :qualifiedForm :End, :atTime .
 
 :entity
@@ -686,6 +687,7 @@
     rdfs:range xsd:dateTime ;
     :category "expanded" ;
     :component "entities-activities" ;
+    :editorialNote "It is the intent that the property chain holds: (prov:qualifiedGeneration o prov:atTime) rdfs:subPropertyOf prov:generatedAtTime."@en ;
     :qualifiedForm :Generation, :atTime .
 
 :hadActivity
@@ -827,6 +829,7 @@
     rdfs:range xsd:dateTime ;
     :category "expanded" ;
     :component "entities-activities" ;
+    :editorialNote "It is the intent that the property chain holds: (prov:qualifiedInvalidation o prov:atTime) rdfs:subPropertyOf prov:invalidatedAtTime."@en ;
     :qualifiedForm :Invalidation, :atTime .
 
 :inverse
@@ -1155,6 +1158,7 @@
     rdfs:range xsd:dateTime ;
     :category "starting-point" ;
     :component "entities-activities" ;
+    :editorialNote "It is the intent that the property chain holds: (prov:qualifiedStart o prov:atTime) rdfs:subPropertyOf prov:startedAtTime."@en ;
     :qualifiedForm :Start, :atTime .
 
 :todo