--- a/ontology/ProvenanceOntology.owl	Fri Feb 24 00:52:21 2012 -0500
+++ b/ontology/ProvenanceOntology.owl	Fri Feb 24 01:21:44 2012 -0500
@@ -220,8 +220,8 @@
         <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
         <rdfs:comment xml:lang="en">When an instance of prov:Involvement uses the prov:hadRole property to cite a prov:Role, it is providing a role for the instance referenced by the prov:entity or the prov:activity properties. For example, :baking prov:used :spoon; prov:qualified [ a prov:Usage; prov:entity :spoon; prov:hadRole roles:mixing_implement ].</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Attribute"/>
-        <rdfs:domain rdf:resource="&prov;Involvement"/>
         <rdfs:range rdf:resource="&prov;Role"/>
+        <rdfs:domain rdf:resource="&prov;Roled"/>
     </owl:ObjectProperty>
     
 
@@ -258,11 +258,16 @@
     <!-- http://www.w3.org/ns/prov#involved -->
 
     <owl:ObjectProperty rdf:about="&prov;involved">
-        <rdfs:comment xml:lang="en">Subproperties of prov:involved can be qualified by creating instances of a corresponding prov:Involvement class. For example, the binary relation :baking prov:used :spoon can be qualified by asserting :baking prov:qualified [ a prov:Usage; prov:entity :baking; :foo :bar ]
+        <rdfs:comment xml:lang="en">Subproperties of prov:involved may be be qualified by creating instances of a corresponding prov:Involvement class. For example, the binary relation :baking prov:used :spoon can be qualified by asserting :baking prov:qualified [ a prov:Usage; prov:entity :baking; :foo :bar ]
 
-prov:involved should not be used without also using the subproperty.</rdfs:comment>
+prov:involved should not be used without also using the subproperty.
+
+Subproperties of prov:involved may also be asserted directly without being qualified.</rdfs:comment>
+        <rdfs:comment xml:lang="en">The subproperties here can be deleted without concern. For example, :element prov:qualified [ a prov:Usage ] handles the case of prov:hadQualifiedUsage . http://www.w3.org/2011/prov/track/issues/255</rdfs:comment>
+        <rdfs:comment xml:lang="en">This one property is used to associate a prov:Element (prov:Entity or prov:Activity) with an instance of any subclass of prov:Involvement, which will provide additional descriptions about the binary prov:involved relation. For example, :baking prov:used :pan, :egg; prov:wasAssociatedWith :baker; prov:generated :dirty_pan; prov:qualified [ a prov:Usage; prov:entity :egg; prov:role :ingredient], [ a prov:Association; prov:entity :baker; prov:role :leader ] .</rdfs:comment>
         <rdfs:domain rdf:resource="&prov;Element"/>
         <rdfs:range rdf:resource="&prov;Element"/>
+        <rdfs:range rdf:resource="&prov;Involvement"/>
     </owl:ObjectProperty>
     
 
@@ -289,17 +294,6 @@
     
 
 
-    <!-- http://www.w3.org/ns/prov#qualified -->
-
-    <owl:ObjectProperty rdf:about="&prov;qualified">
-        <rdfs:comment xml:lang="en">The subproperties here can be deleted without concern. For example, :element prov:qualified [ a prov:Usage ] handles the case of prov:hadQualifiedUsage . http://www.w3.org/2011/prov/track/issues/255</rdfs:comment>
-        <rdfs:comment xml:lang="en">This one property is used to associate a prov:Element (prov:Entity or prov:Activity) with an instance of any subclass of prov:Involvement, which will provide additional descriptions about the binary prov:involved relation. For example, :baking prov:used :pan, :egg; prov:wasAssociatedWith :baker; prov:generated :dirty_pan; prov:qualified [ a prov:Usage; prov:entity :egg; prov:role :ingredient], [ a prov:Association; prov:entity :baker; prov:role :leader ] .</rdfs:comment>
-        <rdfs:domain rdf:resource="&prov;Element"/>
-        <rdfs:range rdf:resource="&prov;Involvement"/>
-    </owl:ObjectProperty>
-    
-
-
     <!-- http://www.w3.org/ns/prov#specializationOf -->
 
     <owl:ObjectProperty rdf:about="&prov;specializationOf">
@@ -383,6 +377,12 @@
         <rdfs:domain rdf:resource="&prov;Entity"/>
         <rdfs:subPropertyOf rdf:resource="&prov;tracedTo"/>
     </owl:ObjectProperty>
+    <owl:Axiom>
+        <rdfs:comment>TODO: Paolo questions this subproperty axiom.</rdfs:comment>
+        <owl:annotatedProperty rdf:resource="&rdfs;subPropertyOf"/>
+        <owl:annotatedTarget rdf:resource="&prov;tracedTo"/>
+        <owl:annotatedSource rdf:resource="&prov;wasAttributedTo"/>
+    </owl:Axiom>
     
 
 
@@ -455,7 +455,7 @@
         <rdfs:domain rdf:resource="&prov;Entity"/>
         <rdfs:range rdf:resource="&prov;Entity"/>
         <prov:involvementClass rdf:resource="&prov;Quotation"/>
-        <rdfs:subPropertyOf rdf:resource="&prov;involved"/>
+        <rdfs:subPropertyOf rdf:resource="&prov;wasDerivedFrom"/>
     </owl:ObjectProperty>
     
 
@@ -502,8 +502,14 @@
         <rdfs:domain rdf:resource="&prov;Entity"/>
         <rdfs:range rdf:resource="&prov;Entity"/>
         <prov:involvementClass rdf:resource="&prov;Summarization"/>
-        <rdfs:subPropertyOf rdf:resource="&prov;involved"/>
+        <rdfs:subPropertyOf rdf:resource="&prov;wasDerivedFrom"/>
     </owl:ObjectProperty>
+    <owl:Axiom>
+        <rdfs:comment>Justification:  &#39;6.6 wasSummaryOf is a strict sub-relation of wasDerivedFrom. this is not the case in -o&#39; - Paolo 2012-Feb-24</rdfs:comment>
+        <owl:annotatedProperty rdf:resource="&rdfs;subPropertyOf"/>
+        <owl:annotatedTarget rdf:resource="&prov;wasDerivedFrom"/>
+        <owl:annotatedSource rdf:resource="&prov;wasSummaryOf"/>
+    </owl:Axiom>
     
 
 
@@ -581,6 +587,7 @@
 
     <owl:Class rdf:about="&prov;AgentInvolvement">
         <rdfs:subClassOf rdf:resource="&prov;EntityInvolvement"/>
+        <rdfs:subClassOf rdf:resource="&prov;Roled"/>
     </owl:Class>
     
 
@@ -678,6 +685,7 @@
     <owl:Class rdf:about="&prov;Generation">
         <rdfs:subClassOf rdf:resource="&prov;ActivityInvolvement"/>
         <rdfs:subClassOf rdf:resource="&prov;InstantaneousEvent"/>
+        <rdfs:subClassOf rdf:resource="&prov;Roled"/>
         <rdfs:comment xml:lang="de">An instance of prov:Generation provides additional descriptions about the binary prov:wasGeneratedBy relation from a generated prov:Entity to the prov:Activity that generated it. For example, :cake prov:wasGeneratedBy :baking; prov:qualified [ a prov:Generation; prov:entity :baking; :foo :bar ].</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Generation"/>
     </owl:Class>
@@ -688,6 +696,7 @@
 
     <owl:Class rdf:about="&prov;Inform">
         <rdfs:subClassOf rdf:resource="&prov;ActivityInvolvement"/>
+        <rdfs:subClassOf rdf:resource="&prov;Roled"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Activity_Ordering"/>
     </owl:Class>
     
@@ -796,6 +805,12 @@
     
 
 
+    <!-- http://www.w3.org/ns/prov#Roled -->
+
+    <owl:Class rdf:about="&prov;Roled"/>
+    
+
+
     <!-- http://www.w3.org/ns/prov#Source -->
 
     <owl:Class rdf:about="&prov;Source">
@@ -820,6 +835,7 @@
 
     <owl:Class rdf:about="&prov;StartByActivity">
         <rdfs:subClassOf rdf:resource="&prov;ActivityInvolvement"/>
+        <rdfs:subClassOf rdf:resource="&prov;Roled"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Started_by_activity"/>
     </owl:Class>
     
@@ -890,6 +906,7 @@
     <owl:Class rdf:about="&prov;Usage">
         <rdfs:subClassOf rdf:resource="&prov;EntityInvolvement"/>
         <rdfs:subClassOf rdf:resource="&prov;InstantaneousEvent"/>
+        <rdfs:subClassOf rdf:resource="&prov;Roled"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Usage"/>
     </owl:Class>
 </rdf:RDF>