--- a/ontology/ProvenanceOntology.owl	Mon Apr 02 09:38:15 2012 +0100
+++ b/ontology/ProvenanceOntology.owl	Mon Apr 02 09:38:28 2012 +0100
@@ -84,6 +84,17 @@
     <!-- 
     ///////////////////////////////////////////////////////////////////////////////////////
     //
+    // Datatypes
+    //
+    ///////////////////////////////////////////////////////////////////////////////////////
+     -->
+
+    
+
+
+    <!-- 
+    ///////////////////////////////////////////////////////////////////////////////////////
+    //
     // Object Properties
     //
     ///////////////////////////////////////////////////////////////////////////////////////
@@ -168,6 +179,7 @@
     <!-- http://www.w3.org/ns/prov#derivedByInsertionFrom -->
 
     <owl:ObjectProperty rdf:about="&prov;derivedByInsertionFrom">
+        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
         <prov:component>collections</prov:component>
         <prov:category>collections</prov:category>
         <rdfs:domain rdf:resource="&prov;Collection"/>
@@ -181,6 +193,7 @@
     <!-- 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:range rdf:resource="&prov;Collection"/>
@@ -350,6 +363,8 @@
     <owl:ObjectProperty rdf:about="&prov;inserted">
         <prov:component>collections</prov:component>
         <prov:category>collections</prov:category>
+        <rdfs:domain rdf:resource="&prov;Insertion"/>
+        <rdfs:range rdf:resource="&prov;KeyValuePair"/>
     </owl:ObjectProperty>
     
 
@@ -367,6 +382,17 @@
     
 
 
+    <!-- http://www.w3.org/ns/prov#keyValuePair -->
+
+    <owl:ObjectProperty rdf:about="&prov;keyValuePair">
+        <prov:component>collections</prov:component>
+        <prov:category>collections</prov:category>
+        <rdfs:domain rdf:resource="&prov;KeyValueInvolvement"/>
+        <rdfs:range rdf:resource="&prov;KeyValuePair"/>
+    </owl:ObjectProperty>
+    
+
+
     <!-- http://www.w3.org/ns/prov#knownMember -->
 
     <owl:ObjectProperty rdf:about="&prov;knownMember">
@@ -374,6 +400,8 @@
         <prov:component>collections</prov:component>
         <rdfs:domain rdf:resource="&prov;Collection"/>
         <rdfs:range rdf:resource="&prov;KeyValuePair"/>
+        <rdfs:subPropertyOf rdf:resource="&prov;involved"/>
+        <prov:qualifiedForm rdf:resource="&prov;qualifiedMember"/>
     </owl:ObjectProperty>
     
 
@@ -473,6 +501,18 @@
     
 
 
+    <!-- http://www.w3.org/ns/prov#qualifiedMember -->
+
+    <owl:ObjectProperty rdf:about="&prov;qualifiedMember">
+        <prov:component>collections</prov:component>
+        <prov:category>collections</prov:category>
+        <rdfs:domain rdf:resource="&prov;Collection"/>
+        <rdfs:range rdf:resource="&prov;Member"/>
+        <prov:unqualifiedForm rdf:resource="&prov;knownMember"/>
+    </owl:ObjectProperty>
+    
+
+
     <!-- http://www.w3.org/ns/prov#qualifiedQuotation -->
 
     <owl:ObjectProperty rdf:about="&prov;qualifiedQuotation">
@@ -660,6 +700,7 @@
     <!-- http://www.w3.org/ns/prov#value -->
 
     <owl:ObjectProperty rdf:about="&prov;value">
+        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
         <prov:category>collections</prov:category>
         <prov:component>collections</prov:component>
         <rdfs:range rdf:resource="&prov;Entity"/>
@@ -860,8 +901,20 @@
     <!-- http://www.w3.org/ns/prov#key -->
 
     <owl:DatatypeProperty rdf:about="&prov;key">
+        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
         <prov:category>collections</prov:category>
         <prov:component>collections</prov:component>
+        <rdfs:range rdf:resource="&rdfs;Literal"/>
+        <rdfs:domain rdf:resource="&prov;KeyValuePair"/>
+    </owl:DatatypeProperty>
+    
+
+
+    <!-- http://www.w3.org/ns/prov#removedKey -->
+
+    <owl:DatatypeProperty rdf:about="&prov;removedKey">
+        <rdfs:range rdf:resource="&rdfs;Literal"/>
+        <rdfs:domain rdf:resource="&prov;Removal"/>
     </owl:DatatypeProperty>
     
 
@@ -1195,6 +1248,15 @@
     
 
 
+    <!-- http://www.w3.org/ns/prov#KeyValueInvolvement -->
+
+    <owl:Class rdf:about="&prov;KeyValueInvolvement">
+        <rdfs:subClassOf rdf:resource="&prov;Involvement"/>
+        <prov:unqualifiedForm rdf:resource="&prov;qualifiedMember"/>
+    </owl:Class>
+    
+
+
     <!-- http://www.w3.org/ns/prov#KeyValuePair -->
 
     <owl:Class rdf:about="&prov;KeyValuePair">
@@ -1217,6 +1279,17 @@
     
 
 
+    <!-- http://www.w3.org/ns/prov#Member -->
+
+    <owl:Class rdf:about="&prov;Member">
+        <rdfs:subClassOf rdf:resource="&prov;KeyValuePair"/>
+        <prov:category>collections</prov:category>
+        <prov:component>collections</prov:component>
+        <prov:unqualifiedForm rdf:resource="&prov;knownMember"/>
+    </owl:Class>
+    
+
+
     <!-- http://www.w3.org/ns/prov#Note -->
 
     <owl:Class rdf:about="&prov;Note">
@@ -1493,5 +1566,5 @@
 
 
 
-<!-- Generated by the OWL API (version 3.1.0.20069) http://owlapi.sourceforge.net -->
+<!-- Generated by the OWL API (version 3.2.3.1824) http://owlapi.sourceforge.net -->