staging provo for w3c publishing
authorTim L <lebot@rpi.edu>
Tue, 29 May 2012 14:01:38 -0400
changeset 3049 38185d6ef150
parent 3048 835215913ce0
child 3050 ec10c5f46a54
staging provo for w3c publishing
ontology/Overview.html
--- a/ontology/Overview.html	Tue May 29 13:59:22 2012 -0400
+++ b/ontology/Overview.html	Tue May 29 14:01:38 2012 -0400
@@ -1725,12 +1725,9 @@
          </p>
 
          <p>
-         Activities may depend on each other. PROV-O distinguishes between two 
-         kinds of dependencies which are specified using the properties 
-         <a class="qname" href="#wasInformedBy">prov:wasInformedBy</a> and <a class="qname" href="#wasStartedByActivity">prov:wasStartedByActivity</a>. 
-         The first is used to specify that an activity used an entity that was 
-         generated by another activity, and the second is used to specify that an
-          activity was started or triggered by another activity. 
+         Activities may depend on each other. This dependency is expressed using the property
+         <a class="qname" href="#wasInformedBy">prov:wasInformedBy</a>, which specifies that one activity used an entity that was 
+         generated by previous activity.
          </p> 
 
         
@@ -1872,8 +1869,6 @@
       (<a class="qname" href="#wasStartedBy">prov:wasStartedBy</a> and (<a class="qname" href="#wasEndedBy">prov:wasEndedBy</a> in activities 
        and <a class="qname" href="#Location">prov:Location</a> in entities).
        
-      Further annotations on provenance records can be done through <a class="qname" href="#Note">prov:Notes</a>, although we can group the provenance statements in 
-      <a class="qname" href="#Account">prov:Accounts</a> in order to keep the record of the provenance metadata itself.
       </p>
       <p>
       The new terms in this section also facilitate the modeling of common provenance assertions related to web resources. 
@@ -2597,28 +2592,28 @@
 
       <dt>in domain of</dt>
       <dd>
-        <a href="#qualifiedCommunication" title="http://www.w3.org/ns/prov#qualifiedCommunication">prov:qualifiedCommunication</a><sup title="object property" class="type-op">op</sup>
+        <a href="#endedAtTime" title="http://www.w3.org/ns/prov#endedAtTime">prov:endedAtTime</a><sup title="data property" class="type-dp">dp</sup>
         <a href="#qualifiedStart" title="http://www.w3.org/ns/prov#qualifiedStart">prov:qualifiedStart</a><sup title="object property" class="type-op">op</sup>
-        <a href="#qualifiedAssociation" title="http://www.w3.org/ns/prov#qualifiedAssociation">prov:qualifiedAssociation</a><sup title="object property" class="type-op">op</sup>
-        <a href="#wasStartedBy" title="http://www.w3.org/ns/prov#wasStartedBy">prov:wasStartedBy</a><sup title="object property" class="type-op">op</sup>
+        <a href="#wasInformedBy" title="http://www.w3.org/ns/prov#wasInformedBy">prov:wasInformedBy</a><sup title="object property" class="type-op">op</sup>
         <a href="#startedAtTime" title="http://www.w3.org/ns/prov#startedAtTime">prov:startedAtTime</a><sup title="data property" class="type-dp">dp</sup>
-        <a href="#wasInformedBy" title="http://www.w3.org/ns/prov#wasInformedBy">prov:wasInformedBy</a><sup title="object property" class="type-op">op</sup>
-        <a href="#wasEndedBy" title="http://www.w3.org/ns/prov#wasEndedBy">prov:wasEndedBy</a><sup title="object property" class="type-op">op</sup>
+        <a href="#qualifiedCommunication" title="http://www.w3.org/ns/prov#qualifiedCommunication">prov:qualifiedCommunication</a><sup title="object property" class="type-op">op</sup>
         <a href="#generated" title="http://www.w3.org/ns/prov#generated">prov:generated</a><sup title="object property" class="type-op">op</sup>
-        <a href="#endedAtTime" title="http://www.w3.org/ns/prov#endedAtTime">prov:endedAtTime</a><sup title="data property" class="type-dp">dp</sup>
+        <a href="#qualifiedAssociation" title="http://www.w3.org/ns/prov#qualifiedAssociation">prov:qualifiedAssociation</a><sup title="object property" class="type-op">op</sup>
         <a href="#wasAssociatedWith" title="http://www.w3.org/ns/prov#wasAssociatedWith">prov:wasAssociatedWith</a><sup title="object property" class="type-op">op</sup>
+        <a href="#wasStartedBy" title="http://www.w3.org/ns/prov#wasStartedBy">prov:wasStartedBy</a><sup title="object property" class="type-op">op</sup>
         <a href="#qualifiedEnd" title="http://www.w3.org/ns/prov#qualifiedEnd">prov:qualifiedEnd</a><sup title="object property" class="type-op">op</sup>
         <a href="#qualifiedUsage" title="http://www.w3.org/ns/prov#qualifiedUsage">prov:qualifiedUsage</a><sup title="object property" class="type-op">op</sup>
+        <a href="#wasEndedBy" title="http://www.w3.org/ns/prov#wasEndedBy">prov:wasEndedBy</a><sup title="object property" class="type-op">op</sup>
         <a href="#used" title="http://www.w3.org/ns/prov#used">prov:used</a><sup title="object property" class="type-op">op</sup>
       </dd>
 
       <dt>in range of</dt>
       <dd>
-        <a href="#wasInformedBy" title="http://www.w3.org/ns/prov#wasInformedBy">prov:wasInformedBy</a><sup title="object property" class="type-op">op</sup>
         <a href="#hadActivity" title="http://www.w3.org/ns/prov#hadActivity">prov:hadActivity</a><sup title="object property" class="type-op">op</sup>
-        <a href="#activity" title="http://www.w3.org/ns/prov#activity">prov:activity</a><sup title="object property" class="type-op">op</sup>
         <a href="#wasGeneratedBy" title="http://www.w3.org/ns/prov#wasGeneratedBy">prov:wasGeneratedBy</a><sup title="object property" class="type-op">op</sup>
         <a href="#wasInvalidatedBy" title="http://www.w3.org/ns/prov#wasInvalidatedBy">prov:wasInvalidatedBy</a><sup title="object property" class="type-op">op</sup>
+        <a href="#wasInformedBy" title="http://www.w3.org/ns/prov#wasInformedBy">prov:wasInformedBy</a><sup title="object property" class="type-op">op</sup>
+        <a href="#activity" title="http://www.w3.org/ns/prov#activity">prov:activity</a><sup title="object property" class="type-op">op</sup>
       </dd>
     </dl>
   </div>
@@ -2723,36 +2718,35 @@
 
       <dt>in domain of</dt>
       <dd>
+        <a href="#alternateOf" title="http://www.w3.org/ns/prov#alternateOf">prov:alternateOf</a><sup title="object property" class="type-op">op</sup>
         <a href="#qualifiedQuotation" title="http://www.w3.org/ns/prov#qualifiedQuotation">prov:qualifiedQuotation</a><sup title="object property" class="type-op">op</sup>
         <a href="#value" title="http://www.w3.org/ns/prov#value">prov:value</a><sup title="data property" class="type-dp">dp</sup>
         <a href="#qualifiedSource" title="http://www.w3.org/ns/prov#qualifiedSource">prov:qualifiedSource</a><sup title="object property" class="type-op">op</sup>
-        <a href="#qualifiedGeneration" title="http://www.w3.org/ns/prov#qualifiedGeneration">prov:qualifiedGeneration</a><sup title="object property" class="type-op">op</sup>
-        <a href="#qualifiedAttribution" title="http://www.w3.org/ns/prov#qualifiedAttribution">prov:qualifiedAttribution</a><sup title="object property" class="type-op">op</sup>
-        <a href="#specializationOf" title="http://www.w3.org/ns/prov#specializationOf">prov:specializationOf</a><sup title="object property" class="type-op">op</sup>
-        <a href="#wasQuotedFrom" title="http://www.w3.org/ns/prov#wasQuotedFrom">prov:wasQuotedFrom</a><sup title="object property" class="type-op">op</sup>
         <a href="#wasInvalidatedBy" title="http://www.w3.org/ns/prov#wasInvalidatedBy">prov:wasInvalidatedBy</a><sup title="object property" class="type-op">op</sup>
+        <a href="#qualifiedAttribution" title="http://www.w3.org/ns/prov#qualifiedAttribution">prov:qualifiedAttribution</a><sup title="object property" class="type-op">op</sup>
+        <a href="#wasQuotedFrom" title="http://www.w3.org/ns/prov#wasQuotedFrom">prov:wasQuotedFrom</a><sup title="object property" class="type-op">op</sup>
+        <a href="#wasGeneratedBy" title="http://www.w3.org/ns/prov#wasGeneratedBy">prov:wasGeneratedBy</a><sup title="object property" class="type-op">op</sup>
         <a href="#hadOriginalSource" title="http://www.w3.org/ns/prov#hadOriginalSource">prov:hadOriginalSource</a><sup title="object property" class="type-op">op</sup>
-        <a href="#alternateOf" title="http://www.w3.org/ns/prov#alternateOf">prov:alternateOf</a><sup title="object property" class="type-op">op</sup>
+        <a href="#tracedTo" title="http://www.w3.org/ns/prov#tracedTo">prov:tracedTo</a><sup title="object property" class="type-op">op</sup>
         <a href="#wasRevisionOf" title="http://www.w3.org/ns/prov#wasRevisionOf">prov:wasRevisionOf</a><sup title="object property" class="type-op">op</sup>
+        <a href="#qualifiedInvalidation" title="http://www.w3.org/ns/prov#qualifiedInvalidation">prov:qualifiedInvalidation</a><sup title="object property" class="type-op">op</sup>
         <a href="#invalidatedAtTime" title="http://www.w3.org/ns/prov#invalidatedAtTime">prov:invalidatedAtTime</a><sup title="data property" class="type-dp">dp</sup>
-        <a href="#tracedTo" title="http://www.w3.org/ns/prov#tracedTo">prov:tracedTo</a><sup title="object property" class="type-op">op</sup>
+        <a href="#qualifiedGeneration" title="http://www.w3.org/ns/prov#qualifiedGeneration">prov:qualifiedGeneration</a><sup title="object property" class="type-op">op</sup>
         <a href="#qualifiedTrace" title="http://www.w3.org/ns/prov#qualifiedTrace">prov:qualifiedTrace</a><sup title="object property" class="type-op">op</sup>
         <a href="#qualifiedRevision" title="http://www.w3.org/ns/prov#qualifiedRevision">prov:qualifiedRevision</a><sup title="object property" class="type-op">op</sup>
+        <a href="#specializationOf" title="http://www.w3.org/ns/prov#specializationOf">prov:specializationOf</a><sup title="object property" class="type-op">op</sup>
         <a href="#wasAttributedTo" title="http://www.w3.org/ns/prov#wasAttributedTo">prov:wasAttributedTo</a><sup title="object property" class="type-op">op</sup>
-        <a href="#wasGeneratedBy" title="http://www.w3.org/ns/prov#wasGeneratedBy">prov:wasGeneratedBy</a><sup title="object property" class="type-op">op</sup>
         <a href="#wasDerivedFrom" title="http://www.w3.org/ns/prov#wasDerivedFrom">prov:wasDerivedFrom</a><sup title="object property" class="type-op">op</sup>
         <a href="#qualifiedDerivation" title="http://www.w3.org/ns/prov#qualifiedDerivation">prov:qualifiedDerivation</a><sup title="object property" class="type-op">op</sup>
         <a href="#generatedAtTime" title="http://www.w3.org/ns/prov#generatedAtTime">prov:generatedAtTime</a><sup title="data property" class="type-dp">dp</sup>
-        <a href="#qualifiedInvalidation" title="http://www.w3.org/ns/prov#qualifiedInvalidation">prov:qualifiedInvalidation</a><sup title="object property" class="type-op">op</sup>
       </dd>
 
       <dt>in range of</dt>
       <dd>
         <a href="#alternateOf" title="http://www.w3.org/ns/prov#alternateOf">prov:alternateOf</a><sup title="object property" class="type-op">op</sup>
-        <a href="#hadOriginalSource" title="http://www.w3.org/ns/prov#hadOriginalSource">prov:hadOriginalSource</a><sup title="object property" class="type-op">op</sup>
         <a href="#wasStartedBy" title="http://www.w3.org/ns/prov#wasStartedBy">prov:wasStartedBy</a><sup title="object property" class="type-op">op</sup>
         <a href="#wasQuotedFrom" title="http://www.w3.org/ns/prov#wasQuotedFrom">prov:wasQuotedFrom</a><sup title="object property" class="type-op">op</sup>
-        <a href="#wasEndedBy" title="http://www.w3.org/ns/prov#wasEndedBy">prov:wasEndedBy</a><sup title="object property" class="type-op">op</sup>
+        <a href="#hadOriginalSource" title="http://www.w3.org/ns/prov#hadOriginalSource">prov:hadOriginalSource</a><sup title="object property" class="type-op">op</sup>
         <a href="#tracedTo" title="http://www.w3.org/ns/prov#tracedTo">prov:tracedTo</a><sup title="object property" class="type-op">op</sup>
         <a href="#wasRevisionOf" title="http://www.w3.org/ns/prov#wasRevisionOf">prov:wasRevisionOf</a><sup title="object property" class="type-op">op</sup>
         <a href="#generated" title="http://www.w3.org/ns/prov#generated">prov:generated</a><sup title="object property" class="type-op">op</sup>
@@ -2760,14 +2754,15 @@
         <a href="#pairValue" title="http://www.w3.org/ns/prov#pairValue">prov:pairValue</a><sup title="object property" class="type-op">op</sup>
         <a href="#entity" title="http://www.w3.org/ns/prov#entity">prov:entity</a><sup title="object property" class="type-op">op</sup>
         <a href="#specializationOf" title="http://www.w3.org/ns/prov#specializationOf">prov:specializationOf</a><sup title="object property" class="type-op">op</sup>
+        <a href="#wasEndedBy" title="http://www.w3.org/ns/prov#wasEndedBy">prov:wasEndedBy</a><sup title="object property" class="type-op">op</sup>
         <a href="#used" title="http://www.w3.org/ns/prov#used">prov:used</a><sup title="object property" class="type-op">op</sup>
       </dd>
 
       <dt>has subclasses</dt>
       <dd>
         <a class="owlclass" href="#Account" title="http://www.w3.org/ns/prov#Account">prov:Account</a>
+        <a class="owlclass" href="#Plan" title="http://www.w3.org/ns/prov#Plan">prov:Plan</a>
         <a class="owlclass" href="#Dictionary" title="http://www.w3.org/ns/prov#Dictionary">prov:Dictionary</a>
-        <a class="owlclass" href="#Plan" title="http://www.w3.org/ns/prov#Plan">prov:Plan</a>
       </dd>
     </dl>
   </div>
@@ -3415,15 +3410,15 @@
         <dd>
           <ul>
             <li>
+              <a class="owlclass" href="#hadOriginalSource" title="http://www.w3.org/ns/prov#hadOriginalSource">prov:hadOriginalSource</a>
+            </li>
+            <li>
               <a class="owlclass" href="#derivedByInsertionFrom" title="http://www.w3.org/ns/prov#derivedByInsertionFrom">prov:derivedByInsertionFrom</a>
             </li>
             <li>
               <a class="owlclass" href="#wasQuotedFrom" title="http://www.w3.org/ns/prov#wasQuotedFrom">prov:wasQuotedFrom</a>
             </li>
             <li>
-              <a class="owlclass" href="#hadOriginalSource" title="http://www.w3.org/ns/prov#hadOriginalSource">prov:hadOriginalSource</a>
-            </li>
-            <li>
               <a class="owlclass" href="#derivedByRemovalFrom" title="http://www.w3.org/ns/prov#derivedByRemovalFrom">prov:derivedByRemovalFrom</a>
             </li>
             <li>
@@ -3883,7 +3878,7 @@
 
       <dt>parent is in domain of</dt>
       <dd>
-        <a href="#qualifiedResponsibility" title="http://www.w3.org/ns/prov#qualifiedResponsibility">prov:qualifiedResponsibility</a>        <a href="#actedOnBehalfOf" title="http://www.w3.org/ns/prov#actedOnBehalfOf">prov:actedOnBehalfOf</a>      </dd>
+        <a href="#actedOnBehalfOf" title="http://www.w3.org/ns/prov#actedOnBehalfOf">prov:actedOnBehalfOf</a>        <a href="#qualifiedResponsibility" title="http://www.w3.org/ns/prov#qualifiedResponsibility">prov:qualifiedResponsibility</a>      </dd>
     </dl>
   </div>
 
@@ -3926,7 +3921,7 @@
 
       <dt>parent is in domain of</dt>
       <dd>
-        <a href="#qualifiedResponsibility" title="http://www.w3.org/ns/prov#qualifiedResponsibility">prov:qualifiedResponsibility</a>        <a href="#actedOnBehalfOf" title="http://www.w3.org/ns/prov#actedOnBehalfOf">prov:actedOnBehalfOf</a>      </dd>
+        <a href="#actedOnBehalfOf" title="http://www.w3.org/ns/prov#actedOnBehalfOf">prov:actedOnBehalfOf</a>        <a href="#qualifiedResponsibility" title="http://www.w3.org/ns/prov#qualifiedResponsibility">prov:qualifiedResponsibility</a>      </dd>
     </dl>
   </div>
 
@@ -3970,7 +3965,7 @@
 
       <dt>parent is in domain of</dt>
       <dd>
-        <a href="#qualifiedResponsibility" title="http://www.w3.org/ns/prov#qualifiedResponsibility">prov:qualifiedResponsibility</a>        <a href="#actedOnBehalfOf" title="http://www.w3.org/ns/prov#actedOnBehalfOf">prov:actedOnBehalfOf</a>      </dd>
+        <a href="#actedOnBehalfOf" title="http://www.w3.org/ns/prov#actedOnBehalfOf">prov:actedOnBehalfOf</a>        <a href="#qualifiedResponsibility" title="http://www.w3.org/ns/prov#qualifiedResponsibility">prov:qualifiedResponsibility</a>      </dd>
     </dl>
   </div>
 </div>
@@ -5036,9 +5031,9 @@
 
       <dt>has subclasses</dt>
       <dd>
+        <a class="owlclass" href="#Invalidation" title="http://www.w3.org/ns/prov#Invalidation">prov:Invalidation</a>
+        <a class="owlclass" href="#Communication" title="http://www.w3.org/ns/prov#Communication">prov:Communication</a>
         <a class="owlclass" href="#Generation" title="http://www.w3.org/ns/prov#Generation">prov:Generation</a>
-        <a class="owlclass" href="#Communication" title="http://www.w3.org/ns/prov#Communication">prov:Communication</a>
-        <a class="owlclass" href="#Invalidation" title="http://www.w3.org/ns/prov#Invalidation">prov:Invalidation</a>
       </dd>
     </dl>
   </div>
@@ -5397,8 +5392,8 @@
 
       <dt>in domain of</dt>
       <dd>
+        <a href="#hadUsage" title="http://www.w3.org/ns/prov#hadUsage">prov:hadUsage</a><sup title="object property" class="type-op">op</sup>
         <a href="#hadGeneration" title="http://www.w3.org/ns/prov#hadGeneration">prov:hadGeneration</a><sup title="object property" class="type-op">op</sup>
-        <a href="#hadUsage" title="http://www.w3.org/ns/prov#hadUsage">prov:hadUsage</a><sup title="object property" class="type-op">op</sup>
       </dd>
 
       <dt>a domain of</dt>
@@ -5680,9 +5675,9 @@
       <dt>has subclasses</dt>
       <dd>
         <a class="owlclass" href="#End" title="http://www.w3.org/ns/prov#End">prov:End</a>
-        <a class="owlclass" href="#Generation" title="http://www.w3.org/ns/prov#Generation">prov:Generation</a>
         <a class="owlclass" href="#Usage" title="http://www.w3.org/ns/prov#Usage">prov:Usage</a>
         <a class="owlclass" href="#Invalidation" title="http://www.w3.org/ns/prov#Invalidation">prov:Invalidation</a>
+        <a class="owlclass" href="#Generation" title="http://www.w3.org/ns/prov#Generation">prov:Generation</a>
         <a class="owlclass" href="#Start" title="http://www.w3.org/ns/prov#Start">prov:Start</a>
       </dd>
     </dl>
@@ -5811,17 +5806,17 @@
 
       <dt>in domain of</dt>
       <dd>
+        <a href="#involvee" title="http://www.w3.org/ns/prov#involvee">prov:involvee</a><sup title="object property" class="type-op">op</sup>
+        <a href="#hadActivity" title="http://www.w3.org/ns/prov#hadActivity">prov:hadActivity</a><sup title="object property" class="type-op">op</sup>
         <a href="#hadRole" title="http://www.w3.org/ns/prov#hadRole">prov:hadRole</a><sup title="object property" class="type-op">op</sup>
-        <a href="#hadActivity" title="http://www.w3.org/ns/prov#hadActivity">prov:hadActivity</a><sup title="object property" class="type-op">op</sup>
-        <a href="#involvee" title="http://www.w3.org/ns/prov#involvee">prov:involvee</a><sup title="object property" class="type-op">op</sup>
       </dd>
 
       <dt>has subclasses</dt>
       <dd>
         <a class="owlclass" href="#AgentInvolvement" title="http://www.w3.org/ns/prov#AgentInvolvement">prov:AgentInvolvement</a>
+        <a class="owlclass" href="#EntityInvolvement" title="http://www.w3.org/ns/prov#EntityInvolvement">prov:EntityInvolvement</a>
+        <a class="owlclass" href="#DictionaryInvolvement" title="http://www.w3.org/ns/prov#DictionaryInvolvement">prov:DictionaryInvolvement</a>
         <a class="owlclass" href="#ActivityInvolvement" title="http://www.w3.org/ns/prov#ActivityInvolvement">prov:ActivityInvolvement</a>
-        <a class="owlclass" href="#DictionaryInvolvement" title="http://www.w3.org/ns/prov#DictionaryInvolvement">prov:DictionaryInvolvement</a>
-        <a class="owlclass" href="#EntityInvolvement" title="http://www.w3.org/ns/prov#EntityInvolvement">prov:EntityInvolvement</a>
       </dd>
 
       <dt>qualifies</dt>
@@ -6756,13 +6751,13 @@
         <dd>
           <ul>
             <li>
+              <a class="owlclass" href="#Involvement" title="http://www.w3.org/ns/prov#Involvement">prov:Involvement</a>
+            </li>
+            <li>
               <a class="owlclass" href="#Derivation" title="http://www.w3.org/ns/prov#Derivation">prov:Derivation</a>
                or <a class="owlclass" href="#Responsibility" title="http://www.w3.org/ns/prov#Responsibility">prov:Responsibility</a>
                or <a class="owlclass" href="#Start" title="http://www.w3.org/ns/prov#Start">prov:Start</a>
             </li>
-            <li>
-              <a class="owlclass" href="#Involvement" title="http://www.w3.org/ns/prov#Involvement">prov:Involvement</a>
-            </li>
           </ul>
         </dd>
 
@@ -7119,27 +7114,27 @@
               <a class="owlclass" href="#wasInvalidatedBy" title="http://www.w3.org/ns/prov#wasInvalidatedBy">prov:wasInvalidatedBy</a>
             </li>
             <li>
+              <a class="owlclass" href="#wasInformedBy" title="http://www.w3.org/ns/prov#wasInformedBy">prov:wasInformedBy</a>
+            </li>
+            <li>
+              <a class="owlclass" href="#wasEndedBy" title="http://www.w3.org/ns/prov#wasEndedBy">prov:wasEndedBy</a>
+            </li>
+            <li>
+              <a class="owlclass" href="#tracedTo" title="http://www.w3.org/ns/prov#tracedTo">prov:tracedTo</a>
+            </li>
+            <li>
+              <a class="owlclass" href="#generated" title="http://www.w3.org/ns/prov#generated">prov:generated</a>
+            </li>
+            <li>
+              <a class="owlclass" href="#wasAssociatedWith" title="http://www.w3.org/ns/prov#wasAssociatedWith">prov:wasAssociatedWith</a>
+            </li>
+            <li>
               <a class="owlclass" href="#wasStartedBy" title="http://www.w3.org/ns/prov#wasStartedBy">prov:wasStartedBy</a>
             </li>
             <li>
               <a class="owlclass" href="#wasGeneratedBy" title="http://www.w3.org/ns/prov#wasGeneratedBy">prov:wasGeneratedBy</a>
             </li>
             <li>
-              <a class="owlclass" href="#wasEndedBy" title="http://www.w3.org/ns/prov#wasEndedBy">prov:wasEndedBy</a>
-            </li>
-            <li>
-              <a class="owlclass" href="#generated" title="http://www.w3.org/ns/prov#generated">prov:generated</a>
-            </li>
-            <li>
-              <a class="owlclass" href="#tracedTo" title="http://www.w3.org/ns/prov#tracedTo">prov:tracedTo</a>
-            </li>
-            <li>
-              <a class="owlclass" href="#wasAssociatedWith" title="http://www.w3.org/ns/prov#wasAssociatedWith">prov:wasAssociatedWith</a>
-            </li>
-            <li>
-              <a class="owlclass" href="#wasInformedBy" title="http://www.w3.org/ns/prov#wasInformedBy">prov:wasInformedBy</a>
-            </li>
-            <li>
               <a class="owlclass" href="#used" title="http://www.w3.org/ns/prov#used">prov:used</a>
             </li>
           </ul>
@@ -8705,14 +8700,14 @@
 
       <dt>in domain of</dt>
       <dd>
+        <a href="#pairKey" title="http://www.w3.org/ns/prov#pairKey">prov:pairKey</a><sup title="data property" class="type-dp">dp</sup>
         <a href="#pairValue" title="http://www.w3.org/ns/prov#pairValue">prov:pairValue</a><sup title="object property" class="type-op">op</sup>
-        <a href="#pairKey" title="http://www.w3.org/ns/prov#pairKey">prov:pairKey</a><sup title="data property" class="type-dp">dp</sup>
       </dd>
 
       <dt>in range of</dt>
       <dd>
+        <a href="#inserted" title="http://www.w3.org/ns/prov#inserted">prov:inserted</a><sup title="object property" class="type-op">op</sup>
         <a href="#member" title="http://www.w3.org/ns/prov#member">prov:member</a><sup title="object property" class="type-op">op</sup>
-        <a href="#inserted" title="http://www.w3.org/ns/prov#inserted">prov:inserted</a><sup title="object property" class="type-op">op</sup>
       </dd>
     </dl>
   </div>