--- a/ontology/ProvenanceOntology.owl	Wed May 30 19:52:28 2012 -0400
+++ b/ontology/ProvenanceOntology.owl	Wed May 30 20:02:35 2012 -0400
@@ -316,6 +316,7 @@
         <editorialNote>The multiple rdfs:domain assertions are intended. One is simpler and works for OWL-RL, the union is more specific but is not recognized by OWL-RL.</editorialNote>
         <rdfs:comment xml:lang="en">The _optional_ Activity of an Involvement, which used, generated, invalidated, or was the responsibility of some Entity. This property is _not_ used by ActivityInvolvement (use prov:activity instead).</rdfs:comment>
         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Activity"/>
+        <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Activity"/>
         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Involvement"/>
         <rdfs:domain>
             <owl:Class>
@@ -339,6 +340,7 @@
         <rdfs:comment xml:lang="en">The _optional_ Generation involved in an Entity&#39;s Derivation.</rdfs:comment>
         <component>derivations</component>
         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Derivation"/>
+        <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Generation"/>
         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Generation"/>
     </owl:ObjectProperty>
     
@@ -397,6 +399,7 @@
         <category>qualified</category>
         <inverse>wasRoleIn</inverse>
         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Involvement"/>
+        <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Role"/>
         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Role"/>
         <rdfs:domain>
             <owl:Class>
@@ -423,6 +426,7 @@
         <component>derivations</component>
         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Derivation"/>
         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Usage"/>
+        <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Usage"/>
     </owl:ObjectProperty>
     
 
@@ -435,6 +439,7 @@
         <component>collections</component>
         <category>collections</category>
         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Insertion"/>
+        <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Insertion"/>
         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#KeyValuePair"/>
     </owl:ObjectProperty>
     
@@ -973,7 +978,9 @@
         <component>entities-activities</component>
         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Activity"/>
         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
+        <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#Invalidation"/>
         <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#involved"/>
+        <qualifiedForm rdf:resource="http://www.w3.org/ns/prov#qualifiedInvalidation"/>
         <owl:propertyChainAxiom rdf:parseType="Collection">
             <rdf:Description rdf:about="http://www.w3.org/ns/prov#qualifiedInvalidation"/>
             <rdf:Description rdf:about="http://www.w3.org/ns/prov#activity"/>

--- a/ontology/prov.ttl	Wed May 30 19:52:28 2012 -0400
+++ b/ontology/prov.ttl	Wed May 30 20:02:35 2012 -0400
@@ -652,7 +652,8 @@
     :category "qualified" ;
     :component "derivations" ;
     :editorialNote "The multiple rdfs:domain assertions are intended. One is simpler and works for OWL-RL, the union is more specific but is not recognized by OWL-RL." ;
-    :inverse "wasActivityOfInvolvement" .
+    :inverse "wasActivityOfInvolvement" ;
+    :sharesDefinitionWith :Activity .
 
 :hadGeneration
     a owl:FunctionalProperty, owl:ObjectProperty ;
@@ -661,7 +662,8 @@
     rdfs:range :Generation ;
     :category "qualified" ;
     :component "derivations" ;
-    :inverse "generatedAsDerivation" .
+    :inverse "generatedAsDerivation" ;
+    :sharesDefinitionWith :Generation .
 
 :hadOriginalSource
     a owl:ObjectProperty ;
@@ -703,7 +705,8 @@
     :category "qualified" ;
     :component "agents-responsibility" ;
     :definition "prov:hadRole references the Role (i.e. the function of an entity with respect to an activity), in the context of a usage, generation, association, start, and end." ;
-    :inverse "wasRoleIn" .
+    :inverse "wasRoleIn" ;
+    :sharesDefinitionWith :Role .
 
 :hadUsage
     a owl:FunctionalProperty, owl:ObjectProperty ;
@@ -712,7 +715,8 @@
     rdfs:range :Usage ;
     :category "qualified" ;
     :component "derivations" ;
-    :inverse "wasUsedInDerivation" .
+    :inverse "wasUsedInDerivation" ;
+    :sharesDefinitionWith :Usage .
 
 :inserted
     a owl:ObjectProperty ;
@@ -721,7 +725,8 @@
     rdfs:range :KeyValuePair ;
     :category "collections" ;
     :component "collections" ;
-    :inverse "wasInsertedBy" .
+    :inverse "wasInsertedBy" ;
+    :sharesDefinitionWith :Insertion .
 
 :invalidatedAtTime
     a owl:DatatypeProperty, owl:FunctionalProperty ;
@@ -1180,7 +1185,8 @@
     ) ;
     :category "expanded" ;
     :component "entities-activities" ;
-    :inverse "invalidated" .
+    :inverse "invalidated" ;
+    :qualifiedForm :Invalidation, :qualifiedInvalidation .
 
 :wasQuotedFrom
     a owl:ObjectProperty ;