--- a/ontology/ProvenanceOntology.owl	Tue May 01 10:46:33 2012 +0100
+++ b/ontology/ProvenanceOntology.owl	Tue May 01 18:48:34 2012 +0100
@@ -56,12 +56,12 @@
     <owl:AnnotationProperty rdf:about="&prov;definition">
         <rdfs:comment xml:lang="en">A definition quoted from PROV-DM or PROV-CONSTRAINTS that describes the concept expressed with this OWL term.</rdfs:comment>
     </owl:AnnotationProperty>
+    <owl:AnnotationProperty rdf:about="&rdfs;label">
+        <rdfs:comment xml:lang="en"></rdfs:comment>
+    </owl:AnnotationProperty>
     <owl:AnnotationProperty rdf:about="&prov;editorialNote">
         <rdfs:comment xml:lang="en">A note by the OWL development team about how this term expresses the PROV-DM concept, or how it should be used in context of semantic web or linked data.</rdfs:comment>
     </owl:AnnotationProperty>
-    <owl:AnnotationProperty rdf:about="&rdfs;label">
-        <rdfs:comment xml:lang="en"></rdfs:comment>
-    </owl:AnnotationProperty>
     <owl:AnnotationProperty rdf:about="&prov;inverse">
         <rdfs:comment xml:lang="en">PROV-O does not define all property inverses. The directionalities defined in PROV-O should be given preference over those not defined. However, if users wish to name the inverse of a PROV-O property, the local name given by prov:inverse should be used.</rdfs:comment>
     </owl:AnnotationProperty>
@@ -106,6 +106,17 @@
     <!-- 
     ///////////////////////////////////////////////////////////////////////////////////////
     //
+    // Datatypes
+    //
+    ///////////////////////////////////////////////////////////////////////////////////////
+     -->
+
+    
+
+
+    <!-- 
+    ///////////////////////////////////////////////////////////////////////////////////////
+    //
     // Object Properties
     //
     ///////////////////////////////////////////////////////////////////////////////////////
@@ -214,6 +225,12 @@
         <prov:qualifiedForm rdf:resource="&prov;qualifiedInsertion"/>
         <rdfs:subPropertyOf rdf:resource="&prov;wasDerivedFrom"/>
     </owl:ObjectProperty>
+    <owl:Axiom>
+        <rdfs:comment>Insertion is a form of derivation that transforms a dictionary into another, by insertion of one or more key-entity pairs. </rdfs:comment>
+        <owl:annotatedProperty rdf:resource="&rdfs;subPropertyOf"/>
+        <owl:annotatedSource rdf:resource="&prov;derivedByInsertionFrom"/>
+        <owl:annotatedTarget rdf:resource="&prov;wasDerivedFrom"/>
+    </owl:Axiom>
     
 
 
@@ -230,6 +247,12 @@
         <prov:qualifiedForm rdf:resource="&prov;qualifiedRemoval"/>
         <rdfs:subPropertyOf rdf:resource="&prov;wasDerivedFrom"/>
     </owl:ObjectProperty>
+    <owl:Axiom>
+        <rdfs:comment>Removal is a form of derivation that transforms a dictionary into another, by removing one or more key-entity pairs. </rdfs:comment>
+        <owl:annotatedProperty rdf:resource="&rdfs;subPropertyOf"/>
+        <owl:annotatedSource rdf:resource="&prov;derivedByRemovalFrom"/>
+        <owl:annotatedTarget rdf:resource="&prov;wasDerivedFrom"/>
+    </owl:Axiom>
     
 
 
@@ -329,6 +352,12 @@
         <prov:qualifiedForm rdf:resource="&prov;qualifiedSource"/>
         <rdfs:subPropertyOf rdf:resource="&prov;wasDerivedFrom"/>
     </owl:ObjectProperty>
+    <owl:Axiom>
+        <rdfs:comment>hadOriginalSource property is a particular case of wasDerivedFrom that aims to give credit to the source that originated some information.</rdfs:comment>
+        <owl:annotatedProperty rdf:resource="&rdfs;subPropertyOf"/>
+        <owl:annotatedSource rdf:resource="&prov;hadOriginalSource"/>
+        <owl:annotatedTarget rdf:resource="&prov;wasDerivedFrom"/>
+    </owl:Axiom>
     
 
 
@@ -842,7 +871,7 @@
         <rdfs:subPropertyOf rdf:resource="&prov;tracedTo"/>
     </owl:ObjectProperty>
     <owl:Axiom>
-        <rdfs:comment>TODO: Paolo questions this subproperty axiom.</rdfs:comment>
+        <rdfs:comment>Attribution is a particular case of trace, in the sense that it links an entity to the agent that ascribed it.</rdfs:comment>
         <owl:annotatedProperty rdf:resource="&rdfs;subPropertyOf"/>
         <owl:annotatedTarget rdf:resource="&prov;tracedTo"/>
         <owl:annotatedSource rdf:resource="&prov;wasAttributedTo"/>
@@ -866,6 +895,12 @@
         <prov:qualifiedForm rdf:resource="&prov;qualifiedDerivation"/>
         <rdfs:subPropertyOf rdf:resource="&prov;tracedTo"/>
     </owl:ObjectProperty>
+    <owl:Axiom>
+        <rdfs:comment>Derivation is a particular case of trace, since it links an entity to another entity that contributed to its existence.</rdfs:comment>
+        <owl:annotatedProperty rdf:resource="&rdfs;subPropertyOf"/>
+        <owl:annotatedTarget rdf:resource="&prov;tracedTo"/>
+        <owl:annotatedSource rdf:resource="&prov;wasDerivedFrom"/>
+    </owl:Axiom>
     
 
 
@@ -947,6 +982,12 @@
         <prov:qualifiedForm rdf:resource="&prov;qualifiedQuotation"/>
         <rdfs:subPropertyOf rdf:resource="&prov;wasDerivedFrom"/>
     </owl:ObjectProperty>
+    <owl:Axiom>
+        <rdfs:comment>Quotation is a particular case of derivation in which an entity is derived from an original entity by copying, or &quot;quoting&quot;, some or all of it. </rdfs:comment>
+        <owl:annotatedProperty rdf:resource="&rdfs;subPropertyOf"/>
+        <owl:annotatedTarget rdf:resource="&prov;wasDerivedFrom"/>
+        <owl:annotatedSource rdf:resource="&prov;wasQuotedFrom"/>
+    </owl:Axiom>
     
 
 
@@ -1752,5 +1793,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 -->