--- a/ontology/ProvenanceOntology.owl	Mon Apr 02 08:56:27 2012 -0400
+++ b/ontology/ProvenanceOntology.owl	Mon Apr 02 14:51:13 2012 +0100
@@ -170,6 +170,7 @@
     <owl:ObjectProperty rdf:about="&prov;collection">
         <prov:editorialNote>This property behaves in spirit like rdf:object; it references the object of a prov:involved triple.</prov:editorialNote>
         <prov:component>collections</prov:component>
+        <prov:category>collections</prov:category>
         <rdfs:range rdf:resource="&prov;Collection"/>
         <rdfs:domain rdf:resource="&prov;CollectionInvolvement"/>
     </owl:ObjectProperty>
@@ -179,12 +180,13 @@
     <!-- http://www.w3.org/ns/prov#derivedByInsertionFrom -->
 
     <owl:ObjectProperty rdf:about="&prov;derivedByInsertionFrom">
-        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
         <prov:component>collections</prov:component>
+        <rdfs:comment xml:lang="en">The collection was derived from the other by insertion. prov:qualifiedInsertion shows details of the insertion, in particular the inserted key-value pairs.</rdfs:comment>
         <prov:category>collections</prov:category>
         <rdfs:domain rdf:resource="&prov;Collection"/>
         <rdfs:range rdf:resource="&prov;Collection"/>
         <prov:qualifiedForm rdf:resource="&prov;Insertion"/>
+        <prov:qualifiedForm rdf:resource="&prov;qualifiedInsertion"/>
         <rdfs:subPropertyOf rdf:resource="&prov;wasDerivedFrom"/>
     </owl:ObjectProperty>
     
@@ -193,12 +195,13 @@
     <!-- http://www.w3.org/ns/prov#derivedByRemovalFrom -->
 
     <owl:ObjectProperty rdf:about="&prov;derivedByRemovalFrom">
-        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
         <prov:component>collections</prov:component>
         <prov:category>collections</prov:category>
+        <rdfs:comment xml:lang="en">The collection was derived from the other by removal. prov:qualifiedRemoval shows details of the removal, in particular the removed key-value pairs.</rdfs:comment>
         <rdfs:range rdf:resource="&prov;Collection"/>
         <rdfs:domain rdf:resource="&prov;Collection"/>
         <prov:qualifiedForm rdf:resource="&prov;Removal"/>
+        <prov:qualifiedForm rdf:resource="&prov;qualifiedRemoval"/>
         <rdfs:subPropertyOf rdf:resource="&prov;wasDerivedFrom"/>
     </owl:ObjectProperty>
     
@@ -387,6 +390,7 @@
     <owl:ObjectProperty rdf:about="&prov;knownMembership">
         <prov:component>collections</prov:component>
         <prov:category>collections</prov:category>
+        <prov:qualifiedForm xml:lang="en">The collection included the specified membership of keys-values.</prov:qualifiedForm>
         <rdfs:domain rdf:resource="&prov;Collection"/>
         <rdfs:range rdf:resource="&prov;Membership"/>
     </owl:ObjectProperty>
@@ -397,6 +401,7 @@
 
     <owl:ObjectProperty rdf:about="&prov;member">
         <prov:component>collections</prov:component>
+        <rdfs:comment xml:lang="en">The key-value pair was part of the membership. A membership can have multiple members.</rdfs:comment>
         <prov:category>collections</prov:category>
         <rdfs:range rdf:resource="&prov;KeyValuePair"/>
         <rdfs:domain rdf:resource="&prov;Membership"/>
@@ -495,6 +500,7 @@
         <prov:category>collections</prov:category>
         <rdfs:domain rdf:resource="&prov;Collection"/>
         <rdfs:range rdf:resource="&prov;Insertion"/>
+        <prov:unqualifiedForm rdf:resource="&prov;derivedByInsertionFrom"/>
     </owl:ObjectProperty>
     
 
@@ -520,6 +526,7 @@
         <prov:component>collections</prov:component>
         <rdfs:domain rdf:resource="&prov;Collection"/>
         <rdfs:range rdf:resource="&prov;Removal"/>
+        <prov:unqualifiedForm rdf:resource="&prov;derivedByRemovalFrom"/>
     </owl:ObjectProperty>
     
 
@@ -899,6 +906,8 @@
     <!-- http://www.w3.org/ns/prov#removedKey -->
 
     <owl:DatatypeProperty rdf:about="&prov;removedKey">
+        <prov:category>collections</prov:category>
+        <prov:component>collections</prov:component>
         <rdfs:range rdf:resource="&rdfs;Literal"/>
         <rdfs:domain rdf:resource="&prov;Removal"/>
     </owl:DatatypeProperty>
@@ -1237,6 +1246,7 @@
     <!-- http://www.w3.org/ns/prov#KeyValuePair -->
 
     <owl:Class rdf:about="&prov;KeyValuePair">
+        <rdfs:comment xml:lang="en">A key-value pair. Part of a prov:Collection through prov:Membership. The key is any RDF Literal, the value is a prov:Entity.</rdfs:comment>
         <prov:category>collections</prov:category>
     </owl:Class>
     
@@ -1259,6 +1269,7 @@
     <!-- http://www.w3.org/ns/prov#Membership -->
 
     <owl:Class rdf:about="&prov;Membership">
+        <rdfs:comment xml:lang="en">Described members of a collection, in the form of key-value pairs. The Membership resource can also be annotated with attributes.</rdfs:comment>
         <prov:category>collections</prov:category>
         <prov:component>collections</prov:component>
         <prov:unqualifiedForm rdf:resource="&prov;knownMember"/>