--- a/ontology/ProvenanceOntology.owl	Sat Mar 03 17:47:57 2012 -0500
+++ b/ontology/ProvenanceOntology.owl	Sat Mar 03 18:03:10 2012 -0500
@@ -40,10 +40,14 @@
      -->
 
     <owl:AnnotationProperty rdf:about="&rdfs;seeAlso"/>
+    <owl:AnnotationProperty rdf:about="&prov;involvementProperty">
+        <rdfs:subPropertyOf rdf:resource="&rdfs;seeAlso"/>
+         <rdfs:comment xml:lang="en">This annotation property links a subclass of prov:Involvement to a subproperty of prov:involved. It serves as the inverse of prov:involvementClass.</rdfs:comment>
+    </owl:AnnotationProperty>
     <owl:AnnotationProperty rdf:about="&rdfs;label"/>
     <owl:AnnotationProperty rdf:about="&rdfs;comment"/>
     <owl:AnnotationProperty rdf:about="&prov;involvementClass">
-        <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. 
+        <rdfs:comment xml:lang="en">This annotation property links a prov:involved subproperty with a prov:Involvement subclass. This indicates that the property can be qualified by using prov:qualified. 
 
 Example:
     prov:wasGeneratedBy prov:involvementClass prov:Generation .
@@ -587,6 +591,7 @@
         <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"/>
+        <prov:involvementProperty rdf:resource="&prov;wasAssociatedWith"/>
     </owl:Class>
     
 
@@ -597,6 +602,7 @@
         <rdfs:subClassOf rdf:resource="&prov;AgentInvolvement"/>
         <rdfs:comment>An instance of prov:Attribution provides additional descriptions about the binary prov:wasAttributedTo relation from a prov:Entity to some prov:Agent that is responsible for it. For example, :cake prov:wasAttributedTo :baker; prov:qualified [ a prov:Attribution; prov:entity :baker; :foo :bar ].</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Attribution"/>
+        <prov:involvementProperty rdf:resource="&prov;wasAttributedTo"/>
     </owl:Class>
     
 
@@ -618,6 +624,7 @@
         <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"/>
+        <prov:involvementProperty rdf:resource="&prov;wasDerivedFrom"/>
     </owl:Class>
     
 
@@ -645,6 +652,7 @@
         <rdfs:subClassOf rdf:resource="&prov;InstantaneousEvent"/>
         <rdfs:comment>An Agent ends an Activity, optionally at a particular TimeInstant.</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Ending"/>
+        <prov:involvementProperty rdf:resource="&prov;wasEndedBy"/>
     </owl:Class>
     
 
@@ -676,6 +684,7 @@
         <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"/>
+        <prov:involvementProperty rdf:resource="&prov;wasGeneratedBy"/>
     </owl:Class>
     
 
@@ -686,6 +695,7 @@
         <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"/>
+        <prov:involvementProperty rdf:resource="&prov;wasInformedBy"/>
     </owl:Class>
     
 
@@ -704,6 +714,7 @@
         <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#Responsibility"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Usage"/>
+        <prov:involvementProperty rdf:resource="&prov;involved"/>
     </owl:Class>
     
 
@@ -759,6 +770,7 @@
         <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"/>
+        <prov:involvementProperty rdf:resource="&prov;wasQuotedFrom"/>
     </owl:Class>
     
 
@@ -769,6 +781,7 @@
         <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"/>
+        <prov:involvementProperty rdf:resource="&prov;actedOnBehalfOf"/>
     </owl:Class>
     
 
@@ -778,6 +791,7 @@
     <owl:Class rdf:about="&prov;Revision">
         <rdfs:subClassOf rdf:resource="&prov;Source"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Revision"/>
+        <prov:involvementProperty rdf:resource="&prov;wasRevisionOf"/>
     </owl:Class>
     
 
@@ -802,6 +816,7 @@
     <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"/>
+        <prov:involvementProperty rdf:resource="&prov;hadOriginalSource"/>
     </owl:Class>
     
 
@@ -813,6 +828,7 @@
         <rdfs:subClassOf rdf:resource="&prov;InstantaneousEvent"/>
         <rdfs:comment>An Agent starts an Activity, optionally at a particular TimeInstant.</rdfs:comment>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Starting"/>
+        <prov:involvementProperty rdf:resource="&prov;wasStartedBy"/>
     </owl:Class>
     
 
@@ -823,6 +839,7 @@
         <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"/>
+        <prov:involvementProperty rdf:resource="&prov;wasStartedByActivity"/>
     </owl:Class>
     
 
@@ -832,6 +849,7 @@
     <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"/>
+        <prov:involvementProperty rdf:resource="&prov;wasSummaryOf"/>
     </owl:Class>
     
 
@@ -883,6 +901,7 @@
         <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"/>
         <rdfs:seeAlso rdf:resource="http://www.w3.org/2011/prov/wiki/ProvRDF#Traceability"/>
+        <prov:involvementProperty rdf:resource="&prov;tracedTo"/>
     </owl:Class>
     
 
@@ -894,6 +913,7 @@
         <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"/>
+        <prov:involvementProperty rdf:resource="&prov;used"/>
     </owl:Class>
 </rdf:RDF>