--- a/ontology/ProvenanceOntology.owl	Mon Jun 18 00:50:11 2012 -0700
+++ b/ontology/ProvenanceOntology.owl	Mon Jun 18 00:51:32 2012 -0700
@@ -748,6 +748,7 @@
         <inverse>membershipOf</inverse>
         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Membership"/>
+        <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Membership"/>
     </owl:ObjectProperty>
     
 

--- a/ontology/prov.ttl	Mon Jun 18 00:50:11 2012 -0700
+++ b/ontology/prov.ttl	Mon Jun 18 00:51:32 2012 -0700
@@ -1032,7 +1032,8 @@
     :category "collections" ;
     :component "collections" ;
     :editorialNote "This property is NOT inverse functional, since the membership of many distinct KeyValuePairs can be qualified using a single instance of prov:Membership."@en ;
-    :inverse "membershipOf" .
+    :inverse "membershipOf" ;
+    :sharesDefinitionWith :Membership .
 
 :qualifiedQuotation
     a owl:InverseFunctionalProperty, owl:ObjectProperty ;