Added prov:involvementClass annotations
authorStian Soiland-Reyes <soiland-reyes@cs.manchester.ac.uk>
Thu, 23 Feb 2012 12:06:12 +0000
changeset 1650 c1645e163486
parent 1649 4888859b2e9d
child 1651 f33f5d592212
Added prov:involvementClass annotations

links every prov:involved with every prov:Involvement
ontology/ProvenanceOntology.owl
--- a/ontology/ProvenanceOntology.owl	Thu Feb 23 12:04:09 2012 +0000
+++ b/ontology/ProvenanceOntology.owl	Thu Feb 23 12:06:12 2012 +0000
@@ -2,6 +2,7 @@
 
 
 <!DOCTYPE rdf:RDF [
+    <!ENTITY prov "http://www.w3.org/ns/prov#" >
     <!ENTITY time "http://www.w3.org/2006/time#" >
     <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
     <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
@@ -14,6 +15,7 @@
 <rdf:RDF xmlns="http://www.w3.org/ns/prov#"
      xml:base="http://www.w3.org/ns/prov"
      xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+     xmlns:prov="http://www.w3.org/ns/prov#"
      xmlns:time="http://www.w3.org/2006/time#"
      xmlns:owl2xml="http://www.w3.org/2006/12/owl2-xml#"
      xmlns:owl="http://www.w3.org/2002/07/owl#"
@@ -37,7 +39,7 @@
      -->
 
     <owl:AnnotationProperty rdf:about="&rdfs;seeAlso"/>
-    <owl:AnnotationProperty rdf:about="http://www.w3.org/ns/prov#involvementClass">
+    <owl:AnnotationProperty rdf:about="&prov;involvementClass">
         <rdfs:label xml:lang="en">involvement class</rdfs:label>
         <rdfs:comment xml:lang="en">This annotation property links a prov:involved subproperty with a prov:Involved subclass. This indicates that the property can be qualified by using prov:qualified. 
 
@@ -91,73 +93,74 @@
 
     <!-- http://www.w3.org/ns/prov#actedOnBehalfOf -->
 
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#actedOnBehalfOf">
+    <owl:ObjectProperty rdf:about="&prov;actedOnBehalfOf">
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Responsibility"/>
-        <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"/>
+        <rdfs:domain rdf:resource="&prov;Agent"/>
+        <rdfs:range rdf:resource="&prov;Agent"/>
+        <involvementClass rdf:resource="&prov;Responsibility"/>
+        <rdfs:subPropertyOf rdf:resource="&prov;involved"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov#activity -->
 
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#activity">
+    <owl:ObjectProperty rdf:about="&prov;activity">
         <rdfs:comment xml:lang="en">The property used by a prov:EntityInvolvement to cite the Entity that was prov:involved with either an Activity or Entity.</rdfs:comment>
         <rdfs:comment xml:lang="en">This property behaves in spirit like rdf:object; it references the object of a prov:involved triple.</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Activity_Ordering"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Responsibility"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Starting_again"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#not_in_DM:_consolidated_derivation_signature"/>
-        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Activity"/>
-        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#ActivityInvolvement"/>
+        <rdfs:range rdf:resource="&prov;Activity"/>
+        <rdfs:domain rdf:resource="&prov;ActivityInvolvement"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov#adoptedPlan -->
 
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#adoptedPlan">
+    <owl:ObjectProperty rdf:about="&prov;adoptedPlan">
         <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
         <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
         <rdfs:label xml:lang="en">had plan</rdfs:label>
         <rdfs:comment xml:lang="en">The Activity performed was described by the given plan resource. Activity specifications, as referred to by plan links, are out of scope of this           specification</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Agent_Association"/>
-        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Association"/>
-        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Plan"/>
+        <rdfs:domain rdf:resource="&prov;Association"/>
+        <rdfs:range rdf:resource="&prov;Plan"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov#alternateOf -->
 
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#alternateOf">
+    <owl:ObjectProperty rdf:about="&prov;alternateOf">
         <rdfs:comment xml:lang="en">Another prov:Entity that characterizes the same thing as this prov:Entity, potentially in a different manner.</rdfs:comment>
         <rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#AlternateOf"/>
-        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
-        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
-        <rdfs:seeAlso rdf:resource="http://www.w3.org/ns/prov#specializationOf"/>
+        <rdfs:domain rdf:resource="&prov;Entity"/>
+        <rdfs:range rdf:resource="&prov;Entity"/>
+        <rdfs:seeAlso rdf:resource="&prov;specializationOf"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov#endedAt -->
 
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#endedAt">
+    <owl:ObjectProperty rdf:about="&prov;endedAt">
         <rdf:type rdf:resource="&owl;FunctionalProperty"/>
         <rdfs:comment xml:lang="en">TODO: range should be an xsd:dateTime directly to avoid proliferation of bnodes and to keep it simple. The elaborate form should also be permitted, but more practical uses will want it directly.</rdfs:comment>
         <rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Activity"/>
-        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Activity"/>
-        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#TimeInstant"/>
+        <rdfs:domain rdf:resource="&prov;Activity"/>
+        <rdfs:range rdf:resource="&prov;TimeInstant"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov#entity -->
 
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#entity">
+    <owl:ObjectProperty rdf:about="&prov;entity">
         <rdfs:comment xml:lang="en">The property used by a prov:ActivityInvolvement to cite the Activity that was prov:involved with either an Activity or Entity.</rdfs:comment>
         <rdfs:comment xml:lang="en">This property behaves in spirit like rdf:object; it references the object of a prov:involved triple.</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Agent_Association"/>
@@ -167,197 +170,204 @@
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Responsibility"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Usage"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#not_in_DM:_consolidated_derivation_signature"/>
-        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
-        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#EntityInvolvement"/>
+        <rdfs:range rdf:resource="&prov;Entity"/>
+        <rdfs:domain rdf:resource="&prov;EntityInvolvement"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov#hadOriginalSource -->
 
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#hadOriginalSource">
+    <owl:ObjectProperty rdf:about="&prov;hadOriginalSource">
         <rdfs:comment xml:lang="en">how is this different from wasDerivedFrom?</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Original_Source"/>
-        <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#wasDerivedFrom"/>
+        <rdfs:range rdf:resource="&prov;Entity"/>
+        <rdfs:domain rdf:resource="&prov;Entity"/>
+        <involvementClass rdf:resource="&prov;Source"/>
+        <rdfs:subPropertyOf rdf:resource="&prov;wasDerivedFrom"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov#hadQuotedAgent -->
 
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#hadQuotedAgent">
+    <owl:ObjectProperty rdf:about="&prov;hadQuotedAgent">
         <rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Quotation"/>
-        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Agent"/>
-        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Quotation"/>
+        <rdfs:range rdf:resource="&prov;Agent"/>
+        <rdfs:domain rdf:resource="&prov;Quotation"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov#hadQuoterAgent -->
 
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#hadQuoterAgent">
+    <owl:ObjectProperty rdf:about="&prov;hadQuoterAgent">
         <rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Quotation"/>
-        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Agent"/>
-        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Quotation"/>
+        <rdfs:range rdf:resource="&prov;Agent"/>
+        <rdfs:domain rdf:resource="&prov;Quotation"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov#hadRole -->
 
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#hadRole">
+    <owl:ObjectProperty rdf:about="&prov;hadRole">
         <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="http://www.w3.org/ns/prov#Involvement"/>
-        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Role"/>
+        <rdfs:domain rdf:resource="&prov;Involvement"/>
+        <rdfs:range rdf:resource="&prov;Role"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov#hadSpatialExtent -->
 
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#hadSpatialExtent">
+    <owl:ObjectProperty rdf:about="&prov;hadSpatialExtent">
         <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
         <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
         <rdfs:label xml:lang="en">had spatial extent</rdfs:label>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Location"/>
-        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Location"/>
+        <rdfs:range rdf:resource="&prov;Location"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov#hadTemporalExtent -->
 
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#hadTemporalExtent">
+    <owl:ObjectProperty rdf:about="&prov;hadTemporalExtent">
         <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
         <rdfs:label xml:lang="en">had temporal extent</rdfs:label>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Usage"/>
-        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Involvement"/>
-        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#TimeInstant"/>
+        <rdfs:domain rdf:resource="&prov;Involvement"/>
+        <rdfs:range rdf:resource="&prov;TimeInstant"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov#hasAnnotation -->
 
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#hasAnnotation">
+    <owl:ObjectProperty rdf:about="&prov;hasAnnotation">
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Annotation"/>
-        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Note"/>
+        <rdfs:range rdf:resource="&prov;Note"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov#involved -->
 
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/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>
-        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Element"/>
-        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Element"/>
+    <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 ]
+
+prov:involved should not be used without also using the subproperty.</rdfs:comment>
+        <rdfs:domain rdf:resource="&prov;Element"/>
+        <rdfs:range rdf:resource="&prov;Element"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov#qualified -->
 
-    <owl:ObjectProperty rdf:about="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="http://www.w3.org/ns/prov#Element"/>
-        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Involvement"/>
+        <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="http://www.w3.org/ns/prov#specializationOf">
+    <owl:ObjectProperty rdf:about="&prov;specializationOf">
+        <rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#SpecializationOf"/>
-        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
-        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
-        <rdfs:seeAlso rdf:resource="http://www.w3.org/ns/prov#alternateOf"/>
-        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#tracedTo"/>
+        <rdfs:domain rdf:resource="&prov;Entity"/>
+        <rdfs:range rdf:resource="&prov;Entity"/>
+        <rdfs:seeAlso rdf:resource="&prov;alternateOf"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov#startedAt -->
 
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#startedAt">
+    <owl:ObjectProperty rdf:about="&prov;startedAt">
         <rdf:type rdf:resource="&owl;FunctionalProperty"/>
         <rdfs:comment>TODO: range should be an xsd:dateTime directly to avoid proliferation of bnodes and to keep it simple. The elaborate form should also be permitted, but more practical uses will want it directly.</rdfs:comment>
         <rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Activity"/>
-        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Activity"/>
-        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#TimeInstant"/>
+        <rdfs:domain rdf:resource="&prov;Activity"/>
+        <rdfs:range rdf:resource="&prov;TimeInstant"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov#tracedTo -->
 
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#tracedTo">
+    <owl:ObjectProperty rdf:about="&prov;tracedTo">
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Attribution"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Traceability"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#imprecise-1"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#imprecise-n"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#not_in_DM:_consolidated_derivation_signature"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#precise-1"/>
-        <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:range rdf:resource="&prov;Entity"/>
+        <rdfs:domain rdf:resource="&prov;Entity"/>
+        <involvementClass rdf:resource="&prov;Trace"/>
+        <rdfs:subPropertyOf rdf:resource="&prov;involved"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov#used -->
 
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#used">
+    <owl:ObjectProperty rdf:about="&prov;used">
         <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
         <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
         <rdfs:label xml:lang="en">used</rdfs:label>
         <rdfs:comment xml:lang="en">A prov:Entity that was used by this prov:Activity. For example, :baking prov:used :spoon, :egg, :oven .</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Usage"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#not_in_DM:_consolidated_derivation_signature"/>
-        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Activity"/>
-        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
-        <rdfs:seeAlso rdf:resource="http://www.w3.org/ns/prov#Usage"/>
-        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#involved"/>
+        <rdfs:domain rdf:resource="&prov;Activity"/>
+        <rdfs:range rdf:resource="&prov;Entity"/>
+        <involvementClass rdf:resource="&prov;Usage"/>
+        <rdfs:seeAlso rdf:resource="&prov;Usage"/>
+        <rdfs:subPropertyOf rdf:resource="&prov;involved"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov#wasAssociatedWith -->
 
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#wasAssociatedWith">
+    <owl:ObjectProperty rdf:about="&prov;wasAssociatedWith">
         <rdfs:comment xml:lang="en">A prov:Agent that had some (unspecified) responsibility for the occurrence of this prov:Activity.</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Agent_Association"/>
-        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Activity"/>
-        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Agent"/>
-        <rdfs:seeAlso rdf:resource="http://www.w3.org/ns/prov#Association"/>
-        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#involved"/>
+        <rdfs:domain rdf:resource="&prov;Activity"/>
+        <rdfs:range rdf:resource="&prov;Agent"/>
+        <rdfs:seeAlso rdf:resource="&prov;Association"/>
+        <involvementClass rdf:resource="&prov;Association"/>
+        <rdfs:subPropertyOf rdf:resource="&prov;involved"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov#wasAttributedTo -->
 
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#wasAttributedTo">
+    <owl:ObjectProperty rdf:about="&prov;wasAttributedTo">
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Attribution"/>
-        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Agent"/>
-        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
-        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#tracedTo"/>
+        <rdfs:range rdf:resource="&prov;Agent"/>
+        <involvementClass rdf:resource="&prov;Attribution"/>
+        <rdfs:domain rdf:resource="&prov;Entity"/>
+        <rdfs:subPropertyOf rdf:resource="&prov;tracedTo"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov#wasDerivedFrom -->
 
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#wasDerivedFrom">
+    <owl:ObjectProperty rdf:about="&prov;wasDerivedFrom">
         <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
         <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
         <rdfs:label xml:lang="en">was derived from</rdfs:label>
@@ -366,25 +376,27 @@
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#imprecise-n"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#not_in_DM:_consolidated_derivation_signature"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#precise-1"/>
-        <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#tracedTo"/>
+        <involvementClass rdf:resource="&prov;Derivation"/>
+        <rdfs:range rdf:resource="&prov;Entity"/>
+        <rdfs:domain rdf:resource="&prov;Entity"/>
+        <rdfs:subPropertyOf rdf:resource="&prov;tracedTo"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov#wasEndedBy -->
 
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#wasEndedBy">
+    <owl:ObjectProperty rdf:about="&prov;wasEndedBy">
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Ending"/>
-        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#wasAssociatedWith"/>
+        <involvementClass rdf:resource="&prov;End"/>
+        <rdfs:subPropertyOf rdf:resource="&prov;wasAssociatedWith"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov#wasGeneratedBy -->
 
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#wasGeneratedBy">
+    <owl:ObjectProperty rdf:about="&prov;wasGeneratedBy">
         <rdf:type rdf:resource="&owl;AsymmetricProperty"/>
         <rdf:type rdf:resource="&owl;FunctionalProperty"/>
         <rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
@@ -392,77 +404,84 @@
         <rdfs:comment xml:lang="en">wasGeneratedBy links Entitites with Activity representing that entity was generated as a result of Activity</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Generation"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#not_in_DM:_consolidated_derivation_signature"/>
-        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Activity"/>
-        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
-        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#involved"/>
+        <rdfs:range rdf:resource="&prov;Activity"/>
+        <rdfs:domain rdf:resource="&prov;Entity"/>
+        <involvementClass rdf:resource="&prov;Generation"/>
+        <rdfs:subPropertyOf rdf:resource="&prov;involved"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov#wasInformedBy -->
 
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#wasInformedBy">
+    <owl:ObjectProperty rdf:about="&prov;wasInformedBy">
         <rdfs:label xml:lang="en">was informed by</rdfs:label>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Activity_Ordering"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Starting_again"/>
-        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Activity"/>
-        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Activity"/>
-        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#involved"/>
+        <rdfs:domain rdf:resource="&prov;Activity"/>
+        <rdfs:range rdf:resource="&prov;Activity"/>
+        <involvementClass rdf:resource="&prov;Inform"/>
+        <rdfs:subPropertyOf rdf:resource="&prov;involved"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov#wasQuotedFrom -->
 
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#wasQuotedFrom">
+    <owl:ObjectProperty rdf:about="&prov;wasQuotedFrom">
         <rdfs:comment xml:lang="en">Different from wasAttributedTo?</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Quotation"/>
-        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
-        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
-        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#involved"/>
+        <rdfs:domain rdf:resource="&prov;Entity"/>
+        <rdfs:range rdf:resource="&prov;Entity"/>
+        <involvementClass rdf:resource="&prov;Quotation"/>
+        <rdfs:subPropertyOf rdf:resource="&prov;involved"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov#wasRevisionOf -->
 
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#wasRevisionOf">
+    <owl:ObjectProperty rdf:about="&prov;wasRevisionOf">
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Revision"/>
-        <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#wasDerivedFrom"/>
+        <rdfs:range rdf:resource="&prov;Entity"/>
+        <rdfs:domain rdf:resource="&prov;Entity"/>
+        <involvementClass rdf:resource="&prov;Revision"/>
+        <rdfs:subPropertyOf rdf:resource="&prov;wasDerivedFrom"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov#wasStartedBy -->
 
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#wasStartedBy">
+    <owl:ObjectProperty rdf:about="&prov;wasStartedBy">
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Starting"/>
-        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Element"/>
-        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#wasAssociatedWith"/>
+        <rdfs:range rdf:resource="&prov;Element"/>
+        <involvementClass rdf:resource="&prov;Start"/>
+        <rdfs:subPropertyOf rdf:resource="&prov;wasAssociatedWith"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov#wasStartedByActivity -->
 
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#wasStartedByActivity">
+    <owl:ObjectProperty rdf:about="&prov;wasStartedByActivity">
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Started_by_activity"/>
-        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Activity"/>
-        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Activity"/>
-        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#involved"/>
+        <rdfs:range rdf:resource="&prov;Activity"/>
+        <rdfs:domain rdf:resource="&prov;Activity"/>
+        <involvementClass rdf:resource="&prov;StartByActivity"/>
+        <rdfs:subPropertyOf rdf:resource="&prov;involved"/>
     </owl:ObjectProperty>
     
 
 
     <!-- http://www.w3.org/ns/prov#wasSummaryOf -->
 
-    <owl:ObjectProperty rdf:about="http://www.w3.org/ns/prov#wasSummaryOf">
+    <owl:ObjectProperty rdf:about="&prov;wasSummaryOf">
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Summary"/>
-        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Entity"/>
-        <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
-        <rdfs:subPropertyOf rdf:resource="http://www.w3.org/ns/prov#involved"/>
+        <rdfs:domain rdf:resource="&prov;Entity"/>
+        <rdfs:range rdf:resource="&prov;Entity"/>
+        <involvementClass rdf:resource="&prov;Summarization"/>
+        <rdfs:subPropertyOf rdf:resource="&prov;involved"/>
     </owl:ObjectProperty>
     
 
@@ -480,9 +499,9 @@
 
     <!-- http://www.w3.org/ns/prov#inXSDDateTime -->
 
-    <owl:DatatypeProperty rdf:about="http://www.w3.org/ns/prov#inXSDDateTime">
+    <owl:DatatypeProperty rdf:about="&prov;inXSDDateTime">
         <rdfs:range rdf:resource="&xsd;dateTime"/>
-        <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#TimeInstant"/>
+        <rdfs:domain rdf:resource="&prov;TimeInstant"/>
     </owl:DatatypeProperty>
     
 
@@ -506,9 +525,9 @@
 
     <!-- http://www.w3.org/ns/prov#Activity -->
 
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#Activity">
+    <owl:Class rdf:about="&prov;Activity">
         <rdfs:label xml:lang="en">Activity</rdfs:label>
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Element"/>
+        <rdfs:subClassOf rdf:resource="&prov;Element"/>
         <rdfs:comment xml:lang="en">Activity is defined to be &#39;an identifiable activity, which performs a piece of work.&#39;</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Activity"/>
     </owl:Class>
@@ -517,9 +536,9 @@
 
     <!-- http://www.w3.org/ns/prov#ActivityInvolvement -->
 
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#ActivityInvolvement">
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Involvement"/>
-        <owl:disjointWith rdf:resource="http://www.w3.org/ns/prov#EntityInvolvement"/>
+    <owl:Class rdf:about="&prov;ActivityInvolvement">
+        <rdfs:subClassOf rdf:resource="&prov;Involvement"/>
+        <owl:disjointWith rdf:resource="&prov;EntityInvolvement"/>
         <rdfs:comment xml:lang="en">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>
     </owl:Class>
     
@@ -527,9 +546,9 @@
 
     <!-- http://www.w3.org/ns/prov#Agent -->
 
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#Agent">
+    <owl:Class rdf:about="&prov;Agent">
         <rdfs:label xml:lang="en">Agent</rdfs:label>
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Entity"/>
+        <rdfs:subClassOf rdf:resource="&prov;Entity"/>
         <rdfs:comment xml:lang="en">An agent represents a characterized entity capable of activity.</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Agent"/>
     </owl:Class>
@@ -538,16 +557,16 @@
 
     <!-- http://www.w3.org/ns/prov#AgentInvolvement -->
 
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#AgentInvolvement">
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#EntityInvolvement"/>
+    <owl:Class rdf:about="&prov;AgentInvolvement">
+        <rdfs:subClassOf rdf:resource="&prov;EntityInvolvement"/>
     </owl:Class>
     
 
 
     <!-- http://www.w3.org/ns/prov#Association -->
 
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#Association">
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#AgentInvolvement"/>
+    <owl:Class rdf:about="&prov;Association">
+        <rdfs:subClassOf rdf:resource="&prov;AgentInvolvement"/>
         <rdfs:comment>An instance of prov:Association provides additional descriptions about the binary prov:wasAssociatedWith relation from a prov:Activity to some prov:Agent that is responsible for it. For example, :baking prov:wasAssociatedWith :baker; prov:qualified [ a prov:Association; prov:entity :baker; :foo :bar ].</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Agent_Association"/>
     </owl:Class>
@@ -556,8 +575,8 @@
 
     <!-- http://www.w3.org/ns/prov#Attribution -->
 
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#Attribution">
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#AgentInvolvement"/>
+    <owl:Class rdf:about="&prov;Attribution">
+        <rdfs:subClassOf rdf:resource="&prov;AgentInvolvement"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Attribution"/>
     </owl:Class>
     
@@ -565,7 +584,7 @@
 
     <!-- http://www.w3.org/ns/prov#Bundle -->
 
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#Bundle">
+    <owl:Class rdf:about="&prov;Bundle">
         <rdfs:comment xml:lang="en">A prov:Bundle is a group of PROV statements.</rdfs:comment>
         <rdfs:comment xml:lang="en">prov:Bundles are best modeled using sd:NamedGraphs.</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Bundle"/>
@@ -575,8 +594,8 @@
 
     <!-- http://www.w3.org/ns/prov#Derivation -->
 
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#Derivation">
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#EntityInvolvement"/>
+    <owl:Class rdf:about="&prov;Derivation">
+        <rdfs:subClassOf rdf:resource="&prov;EntityInvolvement"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Revision"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Traceability"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#not_in_DM:_consolidated_derivation_signature"/>
@@ -586,16 +605,18 @@
 
     <!-- http://www.w3.org/ns/prov#Element -->
 
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#Element">
-        <rdfs:comment xml:lang="en">Element is the union of Activity and Entity, which are the principal topics of PROV.</rdfs:comment>
+    <owl:Class rdf:about="&prov;Element">
+        <rdfs:comment xml:lang="en">Element is the union of Activity and Entity, which are the principal topics of PROV.
+
+(Due to OWL-RL restriction this union is not specified here)</rdfs:comment>
     </owl:Class>
     
 
 
     <!-- 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#Association"/>
+    <owl:Class rdf:about="&prov;End">
+        <rdfs:subClassOf rdf:resource="&prov;Association"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Ending"/>
     </owl:Class>
     
@@ -603,9 +624,9 @@
 
     <!-- http://www.w3.org/ns/prov#Entity -->
 
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#Entity">
+    <owl:Class rdf:about="&prov;Entity">
         <rdfs:label xml:lang="en">Entity</rdfs:label>
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Element"/>
+        <rdfs:subClassOf rdf:resource="&prov;Element"/>
         <rdfs:comment xml:lang="en">An identifiable characterized entity.</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Entity"/>
     </owl:Class>
@@ -614,8 +635,8 @@
 
     <!-- http://www.w3.org/ns/prov#EntityInvolvement -->
 
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#EntityInvolvement">
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Involvement"/>
+    <owl:Class rdf:about="&prov;EntityInvolvement">
+        <rdfs:subClassOf rdf:resource="&prov;Involvement"/>
         <rdfs:comment xml:lang="en">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>
     
@@ -623,8 +644,8 @@
 
     <!-- http://www.w3.org/ns/prov#Generation -->
 
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#Generation">
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#ActivityInvolvement"/>
+    <owl:Class rdf:about="&prov;Generation">
+        <rdfs:subClassOf rdf:resource="&prov;ActivityInvolvement"/>
         <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>
@@ -633,8 +654,8 @@
 
     <!-- http://www.w3.org/ns/prov#Inform -->
 
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#Inform">
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#ActivityInvolvement"/>
+    <owl:Class rdf:about="&prov;Inform">
+        <rdfs:subClassOf rdf:resource="&prov;ActivityInvolvement"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Activity_Ordering"/>
     </owl:Class>
     
@@ -642,7 +663,7 @@
 
     <!-- http://www.w3.org/ns/prov#Involvement -->
 
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#Involvement">
+    <owl:Class rdf:about="&prov;Involvement">
         <rdfs:comment xml:lang="en">An instance of prov:Involvement is used to provide additional descriptions of a prov:qualifiable binary involvement. A description (via prov:Involvement) of the binary involvement implies the assertion of the binary involvement.</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Agent_Association"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Generation"/>
@@ -654,27 +675,27 @@
 
     <!-- http://www.w3.org/ns/prov#Location -->
 
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#Location">
+    <owl:Class rdf:about="&prov;Location">
         <rdfs:label xml:lang="en">Location</rdfs:label>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Location"/>
-        <rdfs:seeAlso rdf:resource="http://www.w3.org/ns/prov#hadSpatialExtent"/>
+        <rdfs:seeAlso rdf:resource="&prov;hadSpatialExtent"/>
     </owl:Class>
     
 
 
     <!-- http://www.w3.org/ns/prov#Note -->
 
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#Note">
+    <owl:Class rdf:about="&prov;Note">
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Note"/>
-        <rdfs:seeAlso rdf:resource="http://www.w3.org/ns/prov#hadNote"/>
+        <rdfs:seeAlso rdf:resource="&prov;hadNote"/>
     </owl:Class>
     
 
 
     <!-- http://www.w3.org/ns/prov#Organization -->
 
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#Organization">
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Agent"/>
+    <owl:Class rdf:about="&prov;Organization">
+        <rdfs:subClassOf rdf:resource="&prov;Agent"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Organization"/>
     </owl:Class>
     
@@ -682,8 +703,8 @@
 
     <!-- http://www.w3.org/ns/prov#Person -->
 
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#Person">
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Agent"/>
+    <owl:Class rdf:about="&prov;Person">
+        <rdfs:subClassOf rdf:resource="&prov;Agent"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Person"/>
     </owl:Class>
     
@@ -691,9 +712,9 @@
 
     <!-- http://www.w3.org/ns/prov#Plan -->
 
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#Plan">
+    <owl:Class rdf:about="&prov;Plan">
         <rdfs:label xml:lang="en">Plan</rdfs:label>
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Entity"/>
+        <rdfs:subClassOf rdf:resource="&prov;Entity"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Agent_Association"/>
     </owl:Class>
     
@@ -701,8 +722,8 @@
 
     <!-- http://www.w3.org/ns/prov#Quotation -->
 
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#Quotation">
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#EntityInvolvement"/>
+    <owl:Class rdf:about="&prov;Quotation">
+        <rdfs:subClassOf rdf:resource="&prov;EntityInvolvement"/>
         <rdfs:comment xml:lang="en">TODO: Shouldn&#39;t Quotation be a subtype of Derivation (and same for the binary relations?) -Tim</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Quotation"/>
     </owl:Class>
@@ -711,8 +732,8 @@
 
     <!-- http://www.w3.org/ns/prov#Responsibility -->
 
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#Responsibility">
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#AgentInvolvement"/>
+    <owl:Class rdf:about="&prov;Responsibility">
+        <rdfs:subClassOf rdf:resource="&prov;AgentInvolvement"/>
         <rdfs:comment xml:lang="en">An instance of prov:Responsibility provides additional descriptions about the binary prov:actedOnBehalfOf relation from a performing prov:Agent to some prov:Agent for whom it was performed. For example, :mixing prov:wasAssociatedWith :toddler . :toddler prov:actedOnBehalfOf :mother; prov:qualified [ a prov:Responsiblity; prov:entity :mother; :foo :bar ].</rdfs:comment>
         <rdfs:comment rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Responsibility"/>
     </owl:Class>
@@ -721,8 +742,8 @@
 
     <!-- http://www.w3.org/ns/prov#Revision -->
 
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#Revision">
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Derivation"/>
+    <owl:Class rdf:about="&prov;Revision">
+        <rdfs:subClassOf rdf:resource="&prov;Derivation"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Revision"/>
     </owl:Class>
     
@@ -730,17 +751,17 @@
 
     <!-- http://www.w3.org/ns/prov#Role -->
 
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#Role">
+    <owl:Class rdf:about="&prov;Role">
         <rdfs:comment rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Attribute"/>
-        <rdfs:seeAlso rdf:resource="http://www.w3.org/ns/prov#hadRole"/>
+        <rdfs:seeAlso rdf:resource="&prov;hadRole"/>
     </owl:Class>
     
 
 
     <!-- http://www.w3.org/ns/prov#Source -->
 
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#Source">
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Derivation"/>
+    <owl:Class rdf:about="&prov;Source">
+        <rdfs:subClassOf rdf:resource="&prov;Derivation"/>
         <rdfs:comment rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Original_Source"/>
     </owl:Class>
     
@@ -748,8 +769,8 @@
 
     <!-- http://www.w3.org/ns/prov#Start -->
 
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#Start">
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Association"/>
+    <owl:Class rdf:about="&prov;Start">
+        <rdfs:subClassOf rdf:resource="&prov;Association"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Starting"/>
     </owl:Class>
     
@@ -757,8 +778,8 @@
 
     <!-- http://www.w3.org/ns/prov#StartByActivity -->
 
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#StartByActivity">
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#ActivityInvolvement"/>
+    <owl:Class rdf:about="&prov;StartByActivity">
+        <rdfs:subClassOf rdf:resource="&prov;ActivityInvolvement"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Started_by_activity"/>
     </owl:Class>
     
@@ -766,8 +787,8 @@
 
     <!-- http://www.w3.org/ns/prov#Summarization -->
 
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#Summarization">
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#EntityInvolvement"/>
+    <owl:Class rdf:about="&prov;Summarization">
+        <rdfs:subClassOf rdf:resource="&prov;EntityInvolvement"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Summary"/>
     </owl:Class>
     
@@ -775,8 +796,8 @@
 
     <!-- http://www.w3.org/ns/prov#System -->
 
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#System">
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#Agent"/>
+    <owl:Class rdf:about="&prov;System">
+        <rdfs:subClassOf rdf:resource="&prov;Agent"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#SoftwareAgent"/>
     </owl:Class>
     
@@ -784,21 +805,21 @@
 
     <!-- http://www.w3.org/ns/prov#TimeInstant -->
 
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#TimeInstant">
+    <owl:Class rdf:about="&prov;TimeInstant">
         <rdfs:comment xml:lang="en">&#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:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Activity"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Generation"/>
         <rdfs:comment rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Usage"/>
-        <rdfs:seeAlso rdf:resource="http://www.w3.org/ns/prov#hadTemporalExtent"/>
+        <rdfs:seeAlso rdf:resource="&prov;hadTemporalExtent"/>
     </owl:Class>
     
 
 
     <!-- http://www.w3.org/ns/prov#Trace -->
 
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#Trace">
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#EntityInvolvement"/>
+    <owl:Class rdf:about="&prov;Trace">
+        <rdfs:subClassOf rdf:resource="&prov;EntityInvolvement"/>
         <rdfs:comment xml:lang="en">A prov:Trace can be from any prov:Element to any prov:Element, so it cannot be a subclass of prov:EntityInvolvement or prov:ActivityInvolvement.</rdfs:comment>
         <rdfs:comment xml:lang="en">An instance of prov:Trace provides additional descriptions about the binary prov:tracedTo relation from some prov:Element (Entity or Activity) to some other prov:Element. For example, :stomach_ache prov:tracedTo :spoon; prov:qualified [ a prov:Trace; prov:entity :spoon; :foo :bar ].</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Revision"/>
@@ -809,8 +830,8 @@
 
     <!-- http://www.w3.org/ns/prov#Usage -->
 
-    <owl:Class rdf:about="http://www.w3.org/ns/prov#Usage">
-        <rdfs:subClassOf rdf:resource="http://www.w3.org/ns/prov#EntityInvolvement"/>
+    <owl:Class rdf:about="&prov;Usage">
+        <rdfs:subClassOf rdf:resource="&prov;EntityInvolvement"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Usage"/>
     </owl:Class>
 </rdf:RDF>