--- a/model/working-copy/towards-wd4.html	Tue Feb 21 20:58:51 2012 +0000
+++ b/model/working-copy/towards-wd4.html	Tue Feb 21 20:59:29 2012 +0000
@@ -567,6 +567,10 @@
 
 <p> The following diagram summarizes the elements and relations just described</p>
 
+<div class="note">
+   TODO: short text required to explain the overview diagram
+</div>
+
 
 <div style="text-align: center; ">
   <figure>

--- a/ontology/ProvenanceOntology.owl	Tue Feb 21 20:58:51 2012 +0000
+++ b/ontology/ProvenanceOntology.owl	Tue Feb 21 20:59:29 2012 +0000
@@ -76,6 +76,7 @@
         <rdfs:seeAlso rdf:datatype="&xsd;anyURI">http://www.w3.org/2011/prov/wiki/ProvRDF#Responsibility</rdfs:seeAlso>
         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Agent"/>
         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Agent"/>
+        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#involved"/>
     </owl:ObjectProperty>
     
 
@@ -161,7 +162,7 @@
         <rdfs:seeAlso rdf:datatype="&xsd;anyURI">http://www.w3.org/2011/prov/wiki/ProvRDF#Original_Source</rdfs:seeAlso>
         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
-        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#involved"/>
+        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#wasDerivedFrom"/>
     </owl:ObjectProperty>
     
 
@@ -170,9 +171,9 @@
 
     <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#hadQuotedAgent">
         <rdfs:seeAlso rdf:datatype="&xsd;anyURI">http://www.w3.org/2011/prov/wiki/ProvRDF#Quotation</rdfs:seeAlso>
+        <rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Agent"/>
         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Quotation"/>
-        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#entity"/>
     </owl:ObjectProperty>
     
 
@@ -181,9 +182,9 @@
 
     <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#hadQuoterAgent">
         <rdfs:seeAlso rdf:datatype="&xsd;anyURI">http://www.w3.org/2011/prov/wiki/ProvRDF#Quotation</rdfs:seeAlso>
+        <rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Agent"/>
         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Quotation"/>
-        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#entity"/>
     </owl:ObjectProperty>
     
 
@@ -290,6 +291,7 @@
         <rdfs:seeAlso rdf:datatype="&xsd;anyURI">http://www.w3.org/2011/prov/wiki/ProvRDF#precise-1</rdfs:seeAlso>
         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
+        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#involved"/>
     </owl:ObjectProperty>
     
 
@@ -493,12 +495,6 @@
     <!-- http://www.w3.org/ns/prov#ActivityInvolvement -->
 
     <owl:Class rdf:about="http://www.w3.org/ns/prov#ActivityInvolvement">
-        <owl:equivalentClass>
-            <owl:Restriction>
-                <owl:onProperty rdf:resource="http://www.w3.org/ns/prov#activity"/>
-                <owl:someValuesFrom rdf:resource="http://www.w3.org/ns/prov#Activity"/>
-            </owl:Restriction>
-        </owl:equivalentClass>
         <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Involvement"/>
         <owl:disjointWith rdf:resource="http://www.w3.org/ns/prov#EntityInvolvement"/>
         <rdfs:comment>An instance of prov:ActivityInvolvement is used to provide additional descriptions of a binary relation from any instance to an instance of prov:Activity.</rdfs:comment>
@@ -521,12 +517,6 @@
 
     <owl:Class rdf:about="http://www.w3.org/ns/prov#AgentInvolvement">
         <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#EntityInvolvement"/>
-        <rdfs:subClassOf>
-            <owl:Restriction>
-                <owl:onProperty rdf:resource="http://www.w3.org/ns/prov#entity"/>
-                <owl:allValuesFrom rdf:resource="http://www.w3.org/ns/prov#Agent"/>
-            </owl:Restriction>
-        </rdfs:subClassOf>
     </owl:Class>
     
 
@@ -553,7 +543,6 @@
     <!-- http://www.w3.org/ns/prov#Bundle -->
 
     <owl:Class rdf:about="http://www.w3.org/ns/prov#Bundle">
-        <rdfs:subClassOf rdf:resource="&owl;Thing"/>
         <rdfs:seeAlso rdf:datatype="&xsd;anyURI">http://www.w3.org/2011/prov/wiki/ProvRDF#Bundle</rdfs:seeAlso>
         <rdfs:comment>prov:Bundles are best modeled using sd:NamedGraphs.</rdfs:comment>
         <rdfs:comment>A prov:Bundle is a group of PROV statements.</rdfs:comment>
@@ -583,7 +572,7 @@
     <!-- http://www.w3.org/ns/prov#End -->
 
     <owl:Class rdf:about="http://www.w3.org/ns/prov#End">
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#AgentInvolvement"/>
+        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Association"/>
         <rdfs:seeAlso rdf:datatype="&xsd;anyURI">http://www.w3.org/2011/prov/wiki/ProvRDF#Ending</rdfs:seeAlso>
         <rdfs:seeAlso>http://www.w3.org/2011/prov/wiki/ProvRDF#Ending</rdfs:seeAlso>
     </owl:Class>
@@ -604,12 +593,6 @@
     <!-- http://www.w3.org/ns/prov#EntityInvolvement -->
 
     <owl:Class rdf:about="http://www.w3.org/ns/prov#EntityInvolvement">
-        <owl:equivalentClass>
-            <owl:Restriction>
-                <owl:onProperty rdf:resource="http://www.w3.org/ns/prov#entity"/>
-                <owl:someValuesFrom rdf:resource="http://www.w3.org/ns/prov#Entity"/>
-            </owl:Restriction>
-        </owl:equivalentClass>
         <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Involvement"/>
         <rdfs:comment>An instance of EntityInvolvement is used to provide additional descriptions of a binary relation from any instance to an instance of Entity.</rdfs:comment>
     </owl:Class>
@@ -638,20 +621,6 @@
     <!-- http://www.w3.org/ns/prov#Involvement -->
 
     <owl:Class rdf:about="http://www.w3.org/ns/prov#Involvement">
-        <rdfs:subClassOf>
-            <owl:Restriction>
-                <owl:onProperty rdf:resource="http://www.w3.org/ns/prov#hadTemporalExtent"/>
-                <owl:onClass rdf:resource="http://www.w3.org/ns/prov#TimeInstant"/>
-                <owl:minQualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">0</owl:minQualifiedCardinality>
-            </owl:Restriction>
-        </rdfs:subClassOf>
-        <rdfs:subClassOf>
-            <owl:Restriction>
-                <owl:onProperty rdf:resource="http://www.w3.org/ns/prov#hadSpatialExtent"/>
-                <owl:onClass rdf:resource="http://www.w3.org/ns/prov#Location"/>
-                <owl:minQualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">0</owl:minQualifiedCardinality>
-            </owl:Restriction>
-        </rdfs:subClassOf>
         <rdfs:seeAlso rdf:datatype="&xsd;anyURI">http://www.w3.org/2011/prov/wiki/ProvRDF#Agent_Association</rdfs:seeAlso>
         <rdfs:seeAlso rdf:datatype="&xsd;anyURI">http://www.w3.org/2011/prov/wiki/ProvRDF#Generation</rdfs:seeAlso>
         <rdfs:seeAlso rdf:datatype="&xsd;anyURI">http://www.w3.org/2011/prov/wiki/ProvRDF#Responsibility</rdfs:seeAlso>
@@ -665,7 +634,6 @@
 
     <owl:Class rdf:about="http://www.w3.org/ns/prov#Location">
         <rdfs:label xml:lang="en">Location</rdfs:label>
-        <rdfs:subClassOf rdf:resource="&owl;Thing"/>
         <rdfs:seeAlso rdf:datatype="&xsd;anyURI">http://www.w3.org/2011/prov/wiki/ProvRDF#Location</rdfs:seeAlso>
         <rdfs:seeAlso>http://www.w3.org/ns/prov#hadSpatialExtent</rdfs:seeAlso>
     </owl:Class>
@@ -675,7 +643,6 @@
     <!-- http://www.w3.org/ns/prov#Note -->
 
     <owl:Class rdf:about="http://www.w3.org/ns/prov#Note">
-        <rdfs:subClassOf rdf:resource="&owl;Thing"/>
         <rdfs:seeAlso rdf:datatype="&xsd;anyURI">http://www.w3.org/2011/prov/wiki/ProvRDF#Note</rdfs:seeAlso>
         <rdfs:seeAlso rdf:datatype="&xsd;anyURI">http://www.w3.org/ns/prov#hadNote</rdfs:seeAlso>
     </owl:Class>
@@ -761,20 +728,6 @@
 
     <owl:Class rdf:about="http://www.w3.org/ns/prov#Start">
         <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Involvement"/>
-        <rdfs:subClassOf>
-            <owl:Restriction>
-                <owl:onProperty rdf:resource="http://www.w3.org/ns/prov#activity"/>
-                <owl:onClass rdf:resource="http://www.w3.org/ns/prov#Activity"/>
-                <owl:minQualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">0</owl:minQualifiedCardinality>
-            </owl:Restriction>
-        </rdfs:subClassOf>
-        <rdfs:subClassOf>
-            <owl:Restriction>
-                <owl:onProperty rdf:resource="http://www.w3.org/ns/prov#entity"/>
-                <owl:onClass rdf:resource="http://www.w3.org/ns/prov#Agent"/>
-                <owl:minQualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">0</owl:minQualifiedCardinality>
-            </owl:Restriction>
-        </rdfs:subClassOf>
         <rdfs:comment rdf:datatype="&xsd;anyURI">http://www.w3.org/2011/prov/wiki/ProvRDF#Starting</rdfs:comment>
         <rdfs:comment rdf:datatype="&xsd;anyURI">http://www.w3.org/2011/prov/wiki/ProvRDF#Starting_again</rdfs:comment>
     </owl:Class>
@@ -802,7 +755,6 @@
     <!-- http://www.w3.org/ns/prov#TimeInstant -->
 
     <owl:Class rdf:about="http://www.w3.org/ns/prov#TimeInstant">
-        <rdfs:subClassOf rdf:resource="&owl;Thing"/>
         <rdfs:comment rdf:datatype="&xsd;string">&#39;Instants are, intuitively, point-like in that they have no interior points&#39;
 reusing notion from W3C OWL-Time Working Draft (http://www.w3.org/TR/owl-time/), but not associating to it directly because it is not a Recommendation.</rdfs:comment>
         <rdfs:seeAlso rdf:datatype="&xsd;anyURI">http://www.w3.org/2011/prov/wiki/ProvRDF#Activity</rdfs:seeAlso>