--- a/ontology/ProvenanceOntology.owl	Wed Jul 11 12:28:50 2012 -0400
+++ b/ontology/ProvenanceOntology.owl	Wed Jul 11 12:31:20 2012 -0400
@@ -675,11 +675,11 @@
         <component>collections</component>
         <category>qualified</category>
         <rdfs:comment xml:lang="en">The collection included the specified membership of keys-values.</rdfs:comment>
-        <editorialNote xml:lang="en">This property is NOT inverse functional, since the membership of many distinct KeyValuePairs can be qualified using a single instance of prov:Membership.</editorialNote>
         <inverse>membershipOf</inverse>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Collection"/>
         <sharesDefinitionWith rdf:resource="http://www.w3.org/ns/prov#Membership"/>
+        <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#hadMember"/>
     </owl:ObjectProperty>
     
 

--- a/ontology/prov.ttl	Wed Jul 11 12:28:50 2012 -0400
+++ b/ontology/prov.ttl	Wed Jul 11 12:31:20 2012 -0400
@@ -954,9 +954,9 @@
     rdfs:label "qualifiedMembership"@en ;
     :category "qualified" ;
     :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" ;
-    :sharesDefinitionWith :Membership .
+    :sharesDefinitionWith :Membership ;
+    :unqualifiedForm :hadMember .
 
 :qualifiedQuotation
     a owl:ObjectProperty ;