--- a/ontology/ProvenanceOntology.owl	Wed May 30 20:13:18 2012 -0400
+++ b/ontology/ProvenanceOntology.owl	Wed May 30 20:31:11 2012 -0400
@@ -54,22 +54,22 @@
     <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>
     </owl:AnnotationProperty>
     <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>
@@ -78,8 +78,8 @@
         <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
     </owl:AnnotationProperty>
     <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#editorsDefinition">
+        <rdfs:comment xml:lang="en">When the prov-o term does not have a definition drawn from prov-dm, and the prov-o editor provides one.</rdfs:comment>
         <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#definition"/>
-        <rdfs:comment xml:lang="en">When the prov-o term does not have a definition drawn from prov-dm, and the prov-o editor provides one.</rdfs:comment>
     </owl:AnnotationProperty>
     <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#component">
         <rdfs:comment xml:lang="en">Classify prov-o terms into six components according to prov-dm, including &#39;agents-responsibility&#39;, &#39;alternate&#39;, &#39;annotations&#39;, &#39;collections&#39;, &#39;derivations&#39;, and &#39;entities-activities&#39;. This classification is used so that readers of prov-o specification can find its correspondence with the prov-dm specification.</rdfs:comment>
@@ -304,6 +304,7 @@
         <rdfs:comment>This inverse of prov:wasGeneratedBy is defined so that Activities being described can reference their generated outputs directly without needing to &#39;stop&#39; and start describing the Entity. This helps &#39;Activity-centric&#39; modeling as opposed to &#39;Entity-centric&#39; modeling.</rdfs:comment>
         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Activity"/>
         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
+        <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Generation"/>
         <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#involved"/>
         <owl:inverseOf rdf:resource="http://www.w3.org/ns/prov#wasGeneratedBy"/>
     </owl:ObjectProperty>
@@ -454,7 +455,7 @@
     <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#involved">
         <category>qualified</category>
         <inverse>wasInvolvedWith</inverse>
-        <rdfs:comment xml:lang="en">The broadest provenance relation between two resources, prov:involved is the superproperty of all unqualified binary relations among any two Activities, Entities, or Agents (or anything else). A more specific property should be favored of prov:involved.</rdfs:comment>
+        <editorsDefinition xml:lang="en">The broadest provenance relation between two resources, prov:involved is the superproperty of all unqualified binary relations among any two Activities, Entities, or Agents (or anything else). A more specific property should be favored of prov:involved.</editorsDefinition>
         <editorialNote xml:lang="en">The relation the sub-properties of prov:involved can also be specified in more detail using the qualification pattern. For example, the binary relation :baking prov:used :spoon can be qualified by asserting :baking prov:qualifiedUsage [ a prov:Usage; prov:entity :baking; :foo :bar; prov:atLocation :kitchen ] .
 
 Subproperties of prov:involved may also be asserted directly without being qualified.
@@ -472,6 +473,7 @@
         <inverse>involvement</inverse>
         <category>qualified</category>
         <rdfs:comment>Subproperties of prov:involvee are used to cite the object of an unqualified PROV-O triple whose predicate is a subproperty of prov:involved (e.g. prov:used, prov:wasGeneratedBy). prov:involvee is used much like rdf:object is used.</rdfs:comment>
+        <editorsDefinition xml:lang="en">The rdf:object of the (binary) prov:involved relation (triple) that this Involvement is qualifying (reifying) for further description (as an n-ary relation).</editorsDefinition>
         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Involvement"/>
     </owl:ObjectProperty>
     
@@ -1185,6 +1187,7 @@
     <owl:DatatypeProperty rdf:about="http://www.w3.org/ns/prov#value">
         <prov-dm-constraints></prov-dm-constraints>
         <category>expanded</category>
+        <editorialNote>The editor&#39;s definition comes from http://www.w3.org/TR/rdf-primer/#rdfvalue</editorialNote>
         <editorialNote>This property serves the same purpose as rdf:value, but has been reintroduced to avoid some of the definitional ambiguity in the RDF specification (specifically, &#39;may be used in describing structured values&#39;).</editorialNote>
         <component>entities-activities</component>
         <rdfs:comment xml:lang="en">Provides a value for an Entity.</rdfs:comment>

--- a/ontology/prov.ttl	Wed May 30 20:13:18 2012 -0400
+++ b/ontology/prov.ttl	Wed May 30 20:31:11 2012 -0400
@@ -632,7 +632,8 @@
     owl:inverseOf :wasGeneratedBy ;
     :category "expanded" ;
     :component "entities-activities" ;
-    :inverse "wasGeneratedBy" .
+    :inverse "wasGeneratedBy" ;
+    :sharesDefinitionWith :Generation .
 
 :generatedAtTime
     a owl:DatatypeProperty, owl:FunctionalProperty ;
@@ -748,7 +749,6 @@
 
 :involved
     a owl:ObjectProperty ;
-    rdfs:comment "The broadest provenance relation between two resources, prov:involved is the superproperty of all unqualified binary relations among any two Activities, Entities, or Agents (or anything else). A more specific property should be favored of prov:involved."@en ;
     :category "qualified" ;
     :editorialNote """The relation the sub-properties of prov:involved can also be specified in more detail using the qualification pattern. For example, the binary relation :baking prov:used :spoon can be qualified by asserting :baking prov:qualifiedUsage [ a prov:Usage; prov:entity :baking; :foo :bar; prov:atLocation :kitchen ] .
 
@@ -757,6 +757,7 @@
 prov:involved should not be used without also using one of its subproperties. 
 
 """@en ;
+    :editorsDefinition "The broadest provenance relation between two resources, prov:involved is the superproperty of all unqualified binary relations among any two Activities, Entities, or Agents (or anything else). A more specific property should be favored of prov:involved."@en ;
     :inverse "wasInvolvedWith" .
 
 :involvee
@@ -764,6 +765,7 @@
     rdfs:comment "Subproperties of prov:involvee are used to cite the object of an unqualified PROV-O triple whose predicate is a subproperty of prov:involved (e.g. prov:used, prov:wasGeneratedBy). prov:involvee is used much like rdf:object is used." ;
     rdfs:domain :Involvement ;
     :category "qualified" ;
+    :editorsDefinition "The rdf:object of the (binary) prov:involved relation (triple) that this Involvement is qualifying (reifying) for further description (as an n-ary relation)."@en ;
     :inverse "involvement" .
 
 :member
@@ -1088,7 +1090,7 @@
     rdfs:domain :Entity ;
     :category "expanded" ;
     :component "entities-activities" ;
-    :editorialNote "This property serves the same purpose as rdf:value, but has been reintroduced to avoid some of the definitional ambiguity in the RDF specification (specifically, 'may be used in describing structured values')." ;
+    :editorialNote "The editor's definition comes from http://www.w3.org/TR/rdf-primer/#rdfvalue", "This property serves the same purpose as rdf:value, but has been reintroduced to avoid some of the definitional ambiguity in the RDF specification (specifically, 'may be used in describing structured values')." ;
     :editorsDefinition "The main value (if there is one) of a structured value."@en ;
     :prov-dm "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-attribute-value" ;
     :prov-dm-constraints "" ;