update to alternate
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Mon, 02 Apr 2012 20:46:15 +0100
changeset 2227 22b8b4ede4ed
parent 2226 c79d599d159d (current diff)
parent 2225 4f608f21a603 (diff)
child 2228 37529d61e1b3
update to alternate
--- a/ontology/spwd/for-internal-wg-review/prov-o.html	Mon Apr 02 20:23:08 2012 +0100
+++ b/ontology/spwd/for-internal-wg-review/prov-o.html	Mon Apr 02 20:46:15 2012 +0100
@@ -76,6 +76,12 @@
          border:1px solid gray;
          background-color: #FCE1CE;
       }
+      span.repeated {
+         font-family: monospace;
+      }
+      a.qname {
+         font-family: monospace;
+      }
      </style>
 
     
@@ -725,15 +731,12 @@
 </dl><p class="copyright"><a href="http://www.w3.org/Consortium/Legal/ipr-notice#Copyright">Copyright</a> © 2012 <a href="http://www.w3.org/"><acronym title="World Wide Web Consortium">W3C</acronym></a><sup>®</sup> (<a href="http://www.csail.mit.edu/"><acronym title="Massachusetts Institute of Technology">MIT</acronym></a>, <a href="http://www.ercim.eu/"><acronym title="European Research Consortium for Informatics and Mathematics">ERCIM</acronym></a>, <a href="http://www.keio.ac.jp/">Keio</a>), All Rights Reserved. <acronym title="World Wide Web Consortium">W3C</acronym> <a href="http://www.w3.org/Consortium/Legal/ipr-notice#Legal_Disclaimer">liability</a>, <a href="http://www.w3.org/Consortium/Legal/ipr-notice#W3C_Trademarks">trademark</a> and <a href="http://www.w3.org/Consortium/Legal/copyright-documents">document use</a> rules apply.</p><hr></div>
 
     <div class="introductory section" id="abstract"><h2>Abstract</h2>
-      <p>
-	  The PROV Ontology (also PROV-O) encodes the PROV Data Model [<cite><a href="#bib-PROV-DM" rel="biblioentry" class="bibref">PROV-DM</a></cite>]
- in the OWL2 Web Ontology Language (OWL2). The PROV ontology consists of
- a set of classes, properties, and restrictions that can be used to 
-represent and interchange provenance information. The PROV ontology can 
-also be specialized to create new classes and properties for modeling 
-provenance information specific to different domain applications. The 
-PROV ontology supports a set of entailments based on OWL2 formal 
-semantics. The PROV ontology is available for download as a separate <a href="http://www.w3.org/ns/prov#">OWL2 document</a>.
+      <p>The <a href="http://dvcs.w3.org/hg/prov/raw-file/default/ontology/ProvenanceOntology.owl">PROV Ontology</a> (also PROV-O) encodes the PROV Data Model [<cite><a href="#bib-PROV-DM" rel="biblioentry" class="bibref">PROV-DM</a></cite>]
+ in the OWL2 Web Ontology Language (OWL2). It provides a set of classes,
+ properties, and restrictions that can be used to represent and 
+interchange provenance information. It can also be specialized to create
+ new classes and properties for modeling provenance information specific
+ to different domain applications.
 	  </p>
 
     </div><div id="sotd" class="introductory section"><h2>Status of This Document</h2><p><em>This
@@ -761,8 +764,7 @@
 
      <div class="section" id="introduction">    
       <!--OddPage--><h2><span class="secno">1. </span>Introduction</h2>  
-      <p>
-        PROV Ontology (also PROV-O) defines the normative modeling of the PROV Data Model [<cite><a href="#bib-PROV-DM" rel="biblioentry" class="bibref">PROV-DM</a></cite>] using the <acronym title="World Wide Web Consortium">W3C</acronym>
+      <p>The PROV Ontology (also PROV-O) defines the normative modeling of the PROV Data Model [<cite><a href="#bib-PROV-DM" rel="biblioentry" class="bibref">PROV-DM</a></cite>] using the <acronym title="World Wide Web Consortium">W3C</acronym>
  OWL2 Web Ontology Language. This document specification describes the 
 set of classes, properties, and restrictions that constitute the PROV 
 ontology, which have been introduced in the PROV Data Model [<cite><a href="#bib-PROV-DM" rel="biblioentry" class="bibref">PROV-DM</a></cite>].
@@ -781,15 +783,11 @@
 be both directly usable in applications as well as serve as a <i>reference model</i>
  for creation of domain-specific provenance ontology and thereby 
 facilitate interoperable provenance modeling. This document uses an 
-example <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/#a-file-scenario"> provenance scenario </a> introduced in the PROV Data Model [<cite><a href="#bib-PROV-DM" rel="biblioentry" class="bibref">PROV-DM</a></cite>] to demonstrate the use PROV-O classes and properties to model provenance information. 
+example provenance scenario introduced in the PROV-Primer [<cite><a href="#bib-PROV-PRIMER" rel="biblioentry" class="bibref">PROV-PRIMER</a></cite>] to demonstrate the use PROV-O classes and properties to model provenance information. 
 	  </p>
-	  <p>
-		Finally, this document describes the formal semantics of the PROV ontology using the OWL2 semantics, [<cite><a href="#bib-OWL2-DIRECT-SEMANTICS" rel="biblioentry" class="bibref">OWL2-DIRECT-SEMANTICS</a></cite>], [<cite><a href="#bib-OWL2-RDF-BASED-SEMANTICS" rel="biblioentry" class="bibref">OWL2-RDF-BASED-SEMANTICS</a></cite>],
- and a set of provenance-specific inference rules. This is expected to 
-support provenance implementations to automatically check for 
-consistency of provenance information represented using PROV ontology 
-and explicitly assert implicit provenance knowledge. 
-	  </p>
+	  <!--p>
+		Finally, this document describes the formal semantics of the PROV ontology using the OWL2 semantics, [[!OWL2-DIRECT-SEMANTICS]], [[!OWL2-RDF-BASED-SEMANTICS]], and a set of provenance-specific inference rules. This is expected to support provenance implementations to automatically check for consistency of provenance information represented using PROV ontology and explicitly assert implicit provenance knowledge. 
+	  </p-->
 	  <p>The key words "<em title="must" class="rfc2119">must</em>", "<em title="must not" class="rfc2119">must not</em>", "<em title="required" class="rfc2119">required</em>", "<em title="shall" class="rfc2119">shall</em>", "<em title="shall not" class="rfc2119">shall not</em>", "<em title="should" class="rfc2119">should</em>", "<em title="should not" class="rfc2119">should not</em>", "<em title="recommended" class="rfc2119">recommended</em>",  "<em title="may" class="rfc2119">may</em>", and       "<em title="optional" class="rfc2119">optional</em>" in this document are to be interpreted as described in [<cite><a href="#bib-RFC2119" rel="biblioentry" class="bibref">RFC2119</a></cite>].</p>
 
       <p>PROV-O is a lightweight OWL-RL ontology designed to represent 
@@ -843,7 +841,7 @@
       </p>
       <p><strong>Starting Point classes and properties</strong> provide 
 the basis for the rest of the PROV ontology and thus it is recommended 
-that readers are comfortable with how to apply these terms before 
+that readers become comfortable with how to apply these terms before 
 continuing to the remaining categories. These terms are used to create 
 simple provenance descriptions that can be elaborated using terms from 
 other categories. The classes and properties in this category are listed
@@ -967,14 +965,16 @@
 </div>
 
 
-      <p><strong>Qualified classes and properties</strong> are applied 
-using a pattern that differs from those in the Starting Point and 
-Expanded categories. While those terms are applied using direct, binary 
-assertions, these terms are used to describe the relations asserted 
-using Starting Point and Expanded properties. The pattern used in this 
-category allows users to provide elaborate details that are not 
-available using only Starting Point and Expanded terms. The classes and 
-properties in this category are listed below and are discussed in <a href="#description-qualified-terms">Section 3.3</a>.</p>
+      <p><strong>Qualified classes and properties</strong> provide 
+elaborated information about relations among classes in the Starting 
+Point and Expanded categories. Thus, these terms are applied using a 
+pattern that differs from those in the Starting Point and Expanded 
+categories. While those relations are applied using direct, binary 
+assertions, these terms are used to provide additional attributes on the
+ binary relations. The pattern used in this category allows users to 
+provide elaborate details that are not available using only Starting 
+Point and Expanded terms. The classes and properties in this category 
+are listed below and are discussed in <a href="#description-qualified-terms">Section 3.3</a>.</p>
       
 <div id="prov-qualified-owl-classes-at-a-glance" class="prov-qualified owl-classes at-a-glance">
   <ul class="hlist">
@@ -1131,9 +1131,10 @@
 </div>
 
 
+      <!-- Khalid's desired take away: Relations between the starting point classes can be specified using the starting object properties. However, in certain cases, users may want to provide elaborated information about such relations. Qualified classes and properties provides users with the means to do so. -->
       <p><strong>Collection classes and properties</strong> are 
 specializations of the Starting Point and Qualified terms that describe 
-the provenance of collections as key-value pairs are inserted and 
+the provenance of collections as key-value pairs that are inserted and 
 removed to create new collections. The classes and properties in this 
 category are listed below and are discussed in <a href="#description-collections">Section 3.4</a>.</p>
       
@@ -1228,16 +1229,17 @@
 descriptions.
          Three classes provide a basis for the rest of PROV-O:  
          </p><ul>
-            <li> <a href="#Entity">prov:Entity</a>: An entity is a thing one wants to provide provenance for. Things can be physical, digital, conceptual, or otherwise.
-            </li>
-            <li> <a href="#Activity">prov:Activity</a>: An activity is 
-something that occurs over a period of time and acts upon or with 
-entities. This action can take multiple forms: consuming, processing, 
-transforming, modifying, relocating, using, generating, etc.
-            </li>
-            <li> <a href="#Agent">prov:Agent</a>: An agent bears some 
-form of responsibility for an activity taking place. Further, an agent 
-may act on behalf of another agent when involved with an activity.
+            <li> <a class="qname" href="#Entity">prov:Entity</a>: An entity is a thing one wants to provide provenance for. Things can be physical, digital, conceptual, or otherwise.
+            </li>
+            <li> <a class="qname" href="#Activity">prov:Activity</a>: An
+ activity is something that occurs over a period of time and acts upon 
+or with entities. This action can take multiple forms: consuming, 
+processing, transforming, modifying, relocating, using, generating, etc.
+            </li>
+            <li> <a class="qname" href="#Agent">prov:Agent</a>: An agent
+ bears some form of responsibility for an activity taking place. 
+Further, an agent may act on behalf of another agent when involved with 
+an activity.
             </li>
          </ul> 
       These three classes and the properties that relate them are illustrated in the following figure. 
@@ -1361,13 +1363,11 @@
       <p>The example states that the agent <code>ex:derek</code> was associated with two 
       activities: <code>ex:aggregationActivity</code> and <code>ex:illustrationActivity</code>. The 
       activity <code>ex:aggregationActivity</code> used 
-      the entity <code>ex:crimeData</code> (a crime statistics dataset) and the
-       entity <code>ex:nationalRegionsList</code> (a list of national regions), and 
+      the entities <code>ex:crimeData</code> (a crime statistics dataset) and <code>ex:nationalRegionsList</code> (a list of national regions), and 
       generated a new entity, <code>ex:aggregatedByRegions</code>, that aggregates the statistics in
-       <code>ex:dataset1</code> according to the regions in <code>ex:nationalRegionsList</code>. The entity 
-      <code>ex:aggregate</code>; was then used by the <code>ex:IllustrationActivity</code> activity, 
-      which generated a new entity, <code>ex:chart1</code>, a chart that depicts the 
-      statistics in <code>ex:aggregatedByRegions</code>.
+       <code>ex:crimeData</code> according to the regions in <code>ex:nationalRegionsList</code>. 
+      The <code>ex:aggregatedByRegions</code> entity was then used by the <code>ex:illustrationActivity</code> activity, 
+      to generate a new entity <code>ex:chart1</code> that depicts the aggregated statistics.
       </p>
 
       <p> The example also states that the activity <code>ex:illustrationActivity</code> was 
@@ -1400,19 +1400,15 @@
 *****End comments*********
        -->
 
-        <p>This section defines additional terms to describe provenance 
-at a greater level of specificity (for example, prov:Person or 
-prov:SoftwareAgent in place of prov:Agent) and with more details (for 
-example, prov:Location to describe address of a prov:Organization). In 
-addition, the new terms in this section facilitate modeling of common 
-provenance assertions related to web resources. For example, different 
-version of a web page can be represented using the prov:wasRevisionOf 
-property and the prov:hadOriginalSource property can be used to 
-reference the original source of information used in a web resource. 
-Many of the properties introduced in this section are also "shortcut" 
-notations for combining the PROV-O terms introduced in Section 3.1 
-"Starting Point Terms", which make it easier for provenance annotation 
-of a resource. 
+        <p>This section defines additional terms to describe provenance at a greater level of specificity (for example, <a href="#Person" class="qname">prov:Person</a> or <a href="#SoftwareAgent" class="qname">prov:SoftwareAgent</a> in place of <a href="#Agent" class="qname">prov:Agent</a>) and with more details (for example, <a href="#Location" class="qname">prov:Location</a> to describe address of a <a href="#Organization" class="qname">prov:Organization</a>).
+ In addition, the new terms in this section facilitate modeling of 
+common provenance assertions related to web resources. For example, 
+different version of a web page can be represented using the <a href="#wasRevisionOf" class="qname">prov:wasRevisionOf</a> property and the <a href="#hadOriginalSource" class="qname">prov:hadOriginalSource</a>
+ property can be used to reference the original source of information 
+used in a web resource. Many of the properties introduced in this 
+section are also "shortcut" notations for combining the PROV-O terms 
+introduced in Section 3.1 "Starting Point Terms", which make it easier 
+for provenance annotation of a resource. 
         </p>
 
         <div class="exampleOuter">
@@ -1444,34 +1440,22 @@
 relationships between entities, activities, and agents. The terms in 
 this category are the result of applying the <strong>Qualification Pattern</strong> to the simple relations available in the <a href="#prov-starting-point-owl-properties-at-a-glance">Starting Point</a> and <a href="#prov-expanded-owl-properties-at-a-glance">Expanded</a> categories.
       </p>
-      <p>For example, Figure 2 illustrates the classes and properties needed to fulfill the qualification pattern for the <a href="#used">prov:used</a> and <a href="#wasAssociatedWith">prov:wasAssociatedWith</a>
- properties. While prov:qualifiedUsage, prov:Usage, and prov:entity are 
-needed to qualify prov:used relations, prov:qualifiedAssociation, 
-prov:Association, and prov:agent are needed to qualify 
-prov:wasAssociatedWith relations. This pattern applies to the twelve 
-other relations that can be qualified.
+      <p>For example, Figure 2 illustrates the classes and properties needed to fulfill the qualification pattern for the <a class="qname" href="#used">prov:used</a> and <a class="qname" href="#wasAssociatedWith">prov:wasAssociatedWith</a> properties. While <a class="qname" href="#qualifiedUsage">prov:qualifiedUsage</a>, <a class="qname" href="#Usage">prov:Usage</a>, and <a class="qname" href="#entity">prov:entity</a> are used to qualify <span class="repeated">prov:used</span> relations, <a class="qname" href="#qualifiedAssociation">prov:qualifiedAssociation</a>, <a class="qname" href="#Association">prov:Association</a>, and <a class="qname" href="#agent">prov:agent</a> are used to qualify <span class="repeated">prov:wasAssociatedWith</span> relations. This pattern applies to the twelve other relations that can be qualified.
       </p>
-      <p>In the example, the prov:qualifiedUsage property parallels the 
-prov:used property, and references an instance of prov:Usage that 
-provides attributes of the prov:used relation between the Activity and 
-Entity. The prov:entity property is used to cite the Entity that was 
-used by the Activity. In this case, the time that the Activity used the 
-Entity is provided using the prov:atTime property and a literal 
-xsd:dateTime value.
+      <p>In the example, the <span class="repeated">prov:qualifiedUsage</span> property parallels the <span class="repeated">prov:used</span> property, and references an instance of <span class="repeated">prov:Usage</span> that provides attributes of the <span class="repeated">prov:used</span> relation between the Activity and Entity. The <span class="repeated">prov:entity</span>
+ property is used to cite the Entity that was used by the Activity. In 
+this case, the time that the Activity used the Entity is provided using 
+the <span class="repeated">prov:atTime</span> property and a literal <span class="repeated">xsd:dateTime</span> value.
       </p>
-      <p>Similarly, the prov:qualifiedAssociation property parallels the
- prov:wasAssociatedWith property, and references an instance of 
-prov:Association that provides attributes of the prov:wasAssociatedWith 
-relation between the Activity and Agent. The prov:agent property is used
- to cite the Agent that was involved in the Activity. In this case, the 
-plan that the Agent used is provided using the prov:hadPlan property and
- an instance of prov:Plan.
+      <p>Similarly, the <span class="repeated">prov:qualifiedAssociation</span> property parallels the <span class="repeated">prov:wasAssociatedWith</span> property, and references an instance of <span class="repeated">prov:Association</span> that provides attributes of the <span class="repeated">prov:wasAssociatedWith</span> relation between the Activity and Agent. The <span class="repeated">prov:agent</span>
+ property is used to cite the Agent that was involved in the Activity. 
+In this case, the plan that the Agent used is provided using the <span class="repeated">prov:hadPlan</span> property and an instance of <span class="repeated">prov:Plan</span>.
       </p>
 
        <div style="text-align: center;">
          <figure>
             <img src="prov-o_files/Qualified-Association.png" style="width: 50%; min-width: 25em; max-width: 60em;" alt="Express association between an activity and an agent using a binary relationship and an alternatie qualified relationship">
-            <figcaption>Figure 2. An illustration of the qualification pattern applied to the Starting Point properties <a href="#used">prov:used</a> and <a href="#wasAssociatedWith">prov:wasAssociatedWith</a>.</figcaption>
+            <figcaption>Figure 2. An illustration of the qualification pattern applied to the Starting Point properties <a class="qname" href="#used">prov:used</a> and <a class="qname" href="#wasAssociatedWith">prov:wasAssociatedWith</a>.</figcaption>
          </figure>
        </div>
 
@@ -1479,11 +1463,7 @@
       </p>
        <div class="exampleOuter">
           <div><b>Qualified Usage</b></div>
-            <p>The prov:qualifiedUsage property parallels the prov:used 
-property to provide an additional description to 
-ex:illustrationActivity. The instance of prov:Usage cites the data used 
-(ex:aggregatedByRegions) and the time the activity used it 
-(2011-07-14T03:03:03Z).
+            <p>The <span class="repeated">prov:qualifiedUsage</span> property parallels the <span class="repeated">prov:used</span> property to provide an additional description to <code>ex:illustrationActivity</code>. The instance of <span class="repeated">prov:Usage</span> cites the data used (<code>ex:aggregatedByRegions</code>) and the time the activity used it (2011-07-14T03:03:03Z).
           </p>
              <pre class="example">@prefix xsd:  &lt;http://www.w3.org/2001/XMLSchema#&gt; .
 @prefix prov: &lt;http://www.w3.org/ns/prov#&gt; .
@@ -1507,10 +1487,7 @@
 
         <div class="exampleOuter">
            <div><b>Qualified Association</b></div>
-            <p>The prov:qualifiedAssociation property parallels the 
-prov:wasAssociatedWith property to provide an additional description to 
-ex:illustrationActivity. The instance of prov:Association cites the 
-agent (ex:derek) that followed the instructions (ex:tutorial_blog).
+            <p>The <span class="repeated">prov:qualifiedAssociation</span> property parallels the <span class="repeated">prov:wasAssociatedWith</span> property to provide an additional description to <code>ex:illustrationActivity</code>. The instance of <span class="repeated">prov:Association</span> cites the agent (<code>ex:derek</code>) that followed the instructions (<code>ex:tutorial_blog</code>).
             </p>
               <pre class="example">@prefix prov: &lt;http://www.w3.org/ns/prov#&gt; .
 @prefix ex:   &lt;http://example.org#&gt; .
@@ -1659,11 +1636,7 @@
 
         <div class="exampleOuter">
            <div><b>Qualified Generation</b></div>
-            <p>The prov:qualifiedGeneration property parallels the 
-prov:wasGeneratedBy property to provide an additional description to 
-ex:chart1. The instance of prov:Generation cites the time 
-(2011-07-14T15:52:14Z) that the activity (ex:illustrationActivity) 
-generated the chart (ex:chart1).
+            <p>The <span class="repeated">prov:qualifiedGeneration</span> property parallels the <span class="repeated">prov:wasGeneratedBy</span> property to provide an additional description to <code>ex:chart1</code>. The instance of <span class="repeated">prov:Generation</span> cites the time (2011-07-14T15:52:14Z) that the activity (<code>ex:illustrationActivity</code>) generated the chart (<code>ex:chart1</code>).
             </p>
               <pre class="example">@prefix xsd:  &lt;http://www.w3.org/2001/XMLSchema#&gt; .
 @prefix prov: &lt;http://www.w3.org/ns/prov#&gt; .
@@ -1687,11 +1660,7 @@
 
         <div class="exampleOuter">
            <div><b>Qualified Derivation</b></div>
-            <p>The prov:qualifiedDerivation property parallels the 
-prov:wasDerivedFrom property to provide an additional description to 
-ex:chart1. The instance of prov:Derivation cites the activity 
-(ex:illustrationActivity) and the Usages and Generations that the 
-activity conduced to create the chart (ex:chart1).
+            <p>The <span class="repeated">prov:qualifiedDerivation</span> property parallels the <span class="repeated">prov:wasDerivedFrom</span> property to provide an additional description to <code>ex:chart1</code>. The instance of <span class="repeated">prov:Derivation</span> cites the activity (<code>ex:illustrationActivity</code>) and the Usages and Generations that the activity conduced to create the chart (<code>ex:chart1</code>).
             </p>
               <pre class="example">@prefix xsd:  &lt;http://www.w3.org/2001/XMLSchema#&gt; .
 @prefix prov: &lt;http://www.w3.org/ns/prov#&gt; .
@@ -1746,32 +1715,33 @@
        </p>
        <p>
        In PROV-O, an entity is indicated to be a collection by using the
-       subclass <a href="#Collection">prov:Collection</a>. Its subclass <a href="#EmptyCollection">prov:EmptyCollection</a> indicates
+       subclass <a class="qname" href="#Collection">prov:Collection</a>. Its subclass <a class="qname" href="#EmptyCollection">prov:EmptyCollection</a> indicates
        that the collection has no members. 
-       Members of a collection are expressed through <a href="#KeyValuePair">prov:KeyValuePair</a>s. 
-       The members can be expressed explicitly using <a href="#knownMembership">prov:knownMembership</a>, and indirectly
+       Members of a collection are expressed through <a class="qname" href="#KeyValuePair">prov:KeyValuePair</a>s. 
+       The members can be expressed explicitly using <a class="qname" href="#knownMembership">prov:knownMembership</a>, and indirectly
        through a series of collection derivations of insertions and
-       removals, using <a href="#derivedByInsertionFrom">prov:derivedByInsertionFrom</a>
-       and <a href="#derivedByRemovalFrom">prov:derivedByRemovalFrom</a>. 
+       removals, using <a class="qname" href="#derivedByInsertionFrom">prov:derivedByInsertionFrom</a>
+       and <a class="qname" href="#derivedByRemovalFrom">prov:derivedByRemovalFrom</a>. 
        </p>
        <p>
        To specify the key-value pairs inserted,
-       <code>prov:derivedByInsertionFrom</code> must be qualified using <a href="#qualifiedInsertion">prov:qualifiedInsertion</a> to a
-       <a href="#Insertion">Insertion</a>, which indicates the pairs
-       using <a href="#inserted">prov:inserted</a> to some <a href="#KeyValuePair">prov:KeyValuePair</a>. Its <a href="#key">prov:key</a> is any RDF literal, while the <a href="#value">prov:value</a> is a <a href="#Entity">prov:Entity</a>. 
-       Likewise, removal are qualified using <a href="#qualifiedRemoval">prov:qualifiedRemoval</a> to a <a href="#Removal">Removal</a>, which <a href="#removedKey">prov:removedKey</a>
-   points to the removed key. <code>prov:Insertion</code>, 
-   <code>prov:Removal</code> and <code>prov:Membership</code> can have
+       <span class="repeated">prov:derivedByInsertionFrom</span> must be qualified using <a class="qname" href="#qualifiedInsertion">prov:qualifiedInsertion</a> to a
+       <a class="qname" href="#Insertion">Insertion</a>, which indicates the pairs
+       using <a class="qname" href="#inserted">prov:inserted</a> to some <a class="qname" href="#KeyValuePair">prov:KeyValuePair</a>. Its <a class="qname" href="#key">prov:key</a> is any RDF literal, while the <a class="qname" href="#value">prov:value</a> is a <a class="qname" href="#Entity">prov:Entity</a>. 
+       Likewise, removal are qualified using <a class="qname" href="#qualifiedRemoval">prov:qualifiedRemoval</a> to a <a class="qname" href="#Removal">Removal</a>, which <a class="qname" href="#removedKey">prov:removedKey</a>
+   points to the removed key. <span class="repeated">prov:Insertion</span>, 
+   <span class="repeated">prov:Removal</span> and <span class="repeated">prov:Membership</span> can have
    custom properties and identifiers, as described in PROV-DM.
        </p>
-     <p>
-     The example below shows how 
-     <code>:c</code> and <code>:c1</code> are
-     collections.  <code>:c</code> is empty, while <code>:c1</code>
-     is derived by inserting the key-value pairs <code>{("k1", :e1),
-     ("k2", :e2)}</code>.</p>
-       <div class="anExample">
-           <pre>@prefix prov:    &lt;http://www.w3.org/ns/prov#&gt; .
+
+       <div class="exampleOuter">
+           <p>
+           The example below shows how 
+           <code>:c</code> and <code>:c1</code> are
+           collections.  <code>:c</code> is empty, while <code>:c1</code>
+           is derived by inserting the key-value pairs <code>{("k1", :e1),
+           ("k2", :e2)}</code>.</p>
+           <pre class="example">@prefix prov:    &lt;http://www.w3.org/ns/prov#&gt; .
 @prefix xsd:     &lt;http://www.w3.org/2001/XMLSchema#&gt; .
 
 :e1 a prov:Entity .
@@ -1788,17 +1758,16 @@
             prov:key "k2"^^xsd:string ;
             prov:value :e2 ;
           ]
-      ] .
-           </pre>
+      ] .</pre>
        </div>
-    <p>
-    The following example shows how <code>:c3</code> has been derived from
-    <code>:c2</code>, which content is not asserted. The keys
-    <code>"k1"</code> and <code>"k3"</code> and their corresponding
-    values have been removed in <code>:c3</code>. 
-    </p>
-       <div class="anExample">
-           <pre>@prefix prov:    &lt;http://www.w3.org/ns/prov#&gt; .
+       <div class="exampleOuter">
+          <p>
+          The following example shows how <code>:c3</code> has been derived from
+          <code>:c2</code>, which content is not asserted. The keys
+          <code>"k1"</code> and <code>"k3"</code> and their corresponding
+          values have been removed in <code>:c3</code>. 
+          </p>
+           <pre class="example">@prefix prov:    &lt;http://www.w3.org/ns/prov#&gt; .
 @prefix xsd:     &lt;http://www.w3.org/2001/XMLSchema#&gt; .
            
 :c2 a prov:Collection .
@@ -1807,17 +1776,16 @@
     prov:qualifiedRemoval [ a prov:Removal ;
          prov:collection :c2 ;
          prov:removed "k1"^^xsd:string, "k3"^^xsd:string 
-      ] .  
-           </pre>
+      ] .  </pre>
        </div>
-    <p>
-    The next example shows how the members of
-    <code>:c1</code> has been described as the key-value
-    pairs <code>{("k1", :e1), ("k2", :e2)}</code>. Note that this
-    assertion does not claim there are not other members.
-    </p>
-    <div class="anExample">
-            <pre>@prefix prov:    &lt;http://www.w3.org/ns/prov#&gt; .
+    <div class="exampleOuter">
+       <p>
+       The next example shows how the members of
+       <code>:c1</code> has been described as the key-value
+       pairs <code>{("k1", :e1), ("k2", :e2)}</code>. Note that this
+       assertion does not claim there are not other members.
+       </p>
+            <pre class="example">@prefix prov:    &lt;http://www.w3.org/ns/prov#&gt; .
 @prefix xsd:     &lt;http://www.w3.org/2001/XMLSchema#&gt; .
 
 :c1 prov:knownMembership [ a prov:Membership ;
@@ -1827,8 +1795,7 @@
       ] , [ a prov:KeyValuePair;
         prov:key "k2"^^xsd:string ;
         prov:value :e2
-      ] .
-            </pre>
+      ] .</pre>
     </div>
     
      </div>
@@ -1912,15 +1879,36 @@
          back to <a href="#prov-starting-point-owl-classes-at-a-glance">starting-point classes</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Activity</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Activity</p>
+    <div class="definition"><p>An activity is something that occurs over
+ a period of time and acts upon or with entities. This action can take 
+multiple forms: consuming, processing, transforming, modifying, 
+relocating, using, generating, or being associated with entities. 
+Activities that operate on digital entities may for example move, copy, 
+or duplicate them.</p>
+    </div>
     <dl class="description">
+
       <dt>in PROV component</dt>
       <dd class="component-entities-activities">
         <a title="entities-activities" href="#component-entities-activities">entities-activities</a>
       </dd>
+
       <dt>in domain of</dt>
       <dd>
-        <a title="http://www.w3.org/ns/prov#qualifiedEnd" href="#qualifiedEnd">prov:qualifiedEnd</a>
+        <a title="http://www.w3.org/ns/prov#qualifiedCommunication" href="#qualifiedCommunication">prov:qualifiedCommunication</a>
+        <sup class="type-op" title="object property">op</sup>
+        <a title="http://www.w3.org/ns/prov#wasStartedByActivity" href="#wasStartedByActivity">prov:wasStartedByActivity</a>
+        <sup class="type-op" title="object property">op</sup>
+        <a title="http://www.w3.org/ns/prov#qualifiedStart" href="#qualifiedStart">prov:qualifiedStart</a>
+        <sup class="type-op" title="object property">op</sup>
+        <a title="http://www.w3.org/ns/prov#wasInformedBy" href="#wasInformedBy">prov:wasInformedBy</a>
+        <sup class="type-op" title="object property">op</sup>
+        <a title="http://www.w3.org/ns/prov#startedAtTime" href="#startedAtTime">prov:startedAtTime</a>
+        <sup class="type-dp" title="data property">dp</sup>
+        <a title="http://www.w3.org/ns/prov#wasEndedBy" href="#wasEndedBy">prov:wasEndedBy</a>
+        <sup class="type-op" title="object property">op</sup>
+        <a title="http://www.w3.org/ns/prov#qualifiedStartByActivity" href="#qualifiedStartByActivity">prov:qualifiedStartByActivity</a>
         <sup class="type-op" title="object property">op</sup>
         <a title="http://www.w3.org/ns/prov#generated" href="#generated">prov:generated</a>
         <sup class="type-op" title="object property">op</sup>
@@ -1928,43 +1916,32 @@
         <sup class="type-op" title="object property">op</sup>
         <a title="http://www.w3.org/ns/prov#wasAssociatedWith" href="#wasAssociatedWith">prov:wasAssociatedWith</a>
         <sup class="type-op" title="object property">op</sup>
+        <a title="http://www.w3.org/ns/prov#qualifiedEnd" href="#qualifiedEnd">prov:qualifiedEnd</a>
+        <sup class="type-op" title="object property">op</sup>
+        <a title="http://www.w3.org/ns/prov#wasStartedBy" href="#wasStartedBy">prov:wasStartedBy</a>
+        <sup class="type-op" title="object property">op</sup>
         <a title="http://www.w3.org/ns/prov#endedAtTime" href="#endedAtTime">prov:endedAtTime</a>
         <sup class="type-dp" title="data property">dp</sup>
-        <a title="http://www.w3.org/ns/prov#wasEndedBy" href="#wasEndedBy">prov:wasEndedBy</a>
-        <sup class="type-op" title="object property">op</sup>
         <a title="http://www.w3.org/ns/prov#qualifiedUsage" href="#qualifiedUsage">prov:qualifiedUsage</a>
         <sup class="type-op" title="object property">op</sup>
         <a title="http://www.w3.org/ns/prov#used" href="#used">prov:used</a>
         <sup class="type-op" title="object property">op</sup>
+      </dd>
+
+      <dt>in range of</dt>
+      <dd>
         <a title="http://www.w3.org/ns/prov#wasStartedByActivity" href="#wasStartedByActivity">prov:wasStartedByActivity</a>
         <sup class="type-op" title="object property">op</sup>
-        <a title="http://www.w3.org/ns/prov#qualifiedStartByActivity" href="#qualifiedStartByActivity">prov:qualifiedStartByActivity</a>
-        <sup class="type-op" title="object property">op</sup>
-        <a title="http://www.w3.org/ns/prov#qualifiedStart" href="#qualifiedStart">prov:qualifiedStart</a>
-        <sup class="type-op" title="object property">op</sup>
-        <a title="http://www.w3.org/ns/prov#wasStartedBy" href="#wasStartedBy">prov:wasStartedBy</a>
+        <a title="http://www.w3.org/ns/prov#activity" href="#activity">prov:activity</a>
         <sup class="type-op" title="object property">op</sup>
         <a title="http://www.w3.org/ns/prov#wasInformedBy" href="#wasInformedBy">prov:wasInformedBy</a>
         <sup class="type-op" title="object property">op</sup>
-        <a title="http://www.w3.org/ns/prov#startedAtTime" href="#startedAtTime">prov:startedAtTime</a>
-        <sup class="type-dp" title="data property">dp</sup>
-        <a title="http://www.w3.org/ns/prov#qualifiedCommunication" href="#qualifiedCommunication">prov:qualifiedCommunication</a>
-        <sup class="type-op" title="object property">op</sup>
-      </dd>
-      <dt>in range of</dt>
-      <dd>
         <a title="http://www.w3.org/ns/prov#hadActivity" href="#hadActivity">prov:hadActivity</a>
         <sup class="type-op" title="object property">op</sup>
         <a title="http://www.w3.org/ns/prov#responsibleForActivity" href="#responsibleForActivity">prov:responsibleForActivity</a>
         <sup class="type-op" title="object property">op</sup>
         <a title="http://www.w3.org/ns/prov#wasGeneratedBy" href="#wasGeneratedBy">prov:wasGeneratedBy</a>
         <sup class="type-op" title="object property">op</sup>
-        <a title="http://www.w3.org/ns/prov#wasStartedByActivity" href="#wasStartedByActivity">prov:wasStartedByActivity</a>
-        <sup class="type-op" title="object property">op</sup>
-        <a title="http://www.w3.org/ns/prov#activity" href="#activity">prov:activity</a>
-        <sup class="type-op" title="object property">op</sup>
-        <a title="http://www.w3.org/ns/prov#wasInformedBy" href="#wasInformedBy">prov:wasInformedBy</a>
-        <sup class="type-op" title="object property">op</sup>
       </dd>
     </dl>
   </div>
@@ -1976,16 +1953,21 @@
          back to <a href="#prov-starting-point-owl-classes-at-a-glance">starting-point classes</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Agent</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Agent</p>
+    <div class="definition"><p>An agent is a type of entity that bears some form of responsibility for an activity taking place.</p>
+    </div>
     <dl class="description">
+
       <dt>in PROV component</dt>
       <dd class="component-agents-responsibility">
         <a title="agents-responsibility" href="#component-agents-responsibility">agents-responsibility</a>
       </dd>
+
       <dt>is subclass of</dt>
       <dd>
         <a title="http://www.w3.org/2002/07/owl#Thing" href="#Thing" class="owlclass">prov:Thing</a>
       </dd>
+
       <dt>in domain of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#actedOnBehalfOf" href="#actedOnBehalfOf">prov:actedOnBehalfOf</a>
@@ -1993,8 +1975,13 @@
         <a title="http://www.w3.org/ns/prov#qualifiedResponsibility" href="#qualifiedResponsibility">prov:qualifiedResponsibility</a>
         <sup class="type-op" title="object property">op</sup>
       </dd>
+
       <dt>in range of</dt>
       <dd>
+        <a title="http://www.w3.org/ns/prov#actedOnBehalfOf" href="#actedOnBehalfOf">prov:actedOnBehalfOf</a>
+        <sup class="type-op" title="object property">op</sup>
+        <a title="http://www.w3.org/ns/prov#hadQuoter" href="#hadQuoter">prov:hadQuoter</a>
+        <sup class="type-op" title="object property">op</sup>
         <a title="http://www.w3.org/ns/prov#agent" href="#agent">prov:agent</a>
         <sup class="type-op" title="object property">op</sup>
         <a title="http://www.w3.org/ns/prov#wasAssociatedWith" href="#wasAssociatedWith">prov:wasAssociatedWith</a>
@@ -2003,11 +1990,8 @@
         <sup class="type-op" title="object property">op</sup>
         <a title="http://www.w3.org/ns/prov#hadQuoted" href="#hadQuoted">prov:hadQuoted</a>
         <sup class="type-op" title="object property">op</sup>
-        <a title="http://www.w3.org/ns/prov#actedOnBehalfOf" href="#actedOnBehalfOf">prov:actedOnBehalfOf</a>
-        <sup class="type-op" title="object property">op</sup>
-        <a title="http://www.w3.org/ns/prov#hadQuoter" href="#hadQuoter">prov:hadQuoter</a>
-        <sup class="type-op" title="object property">op</sup>
-      </dd>
+      </dd>
+
       <dt>has subclasses</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#Organization" href="#Organization" class="owlclass">prov:Organization</a>
@@ -2024,34 +2008,23 @@
          back to <a href="#prov-starting-point-owl-classes-at-a-glance">starting-point classes</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Entity</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Entity</p>
+    <div class="definition"><p>An entity is a thing one wants to provide
+ provenance for. For the purpose of this specification, things can be 
+physical, digital, conceptual, or otherwise; things may be real or 
+imaginary.</p>
+    </div>
     <dl class="description">
+
       <dt>in PROV component</dt>
       <dd class="component-entities-activities">
         <a title="entities-activities" href="#component-entities-activities">entities-activities</a>
       </dd>
+
       <dt>in domain of</dt>
       <dd>
-        <a title="http://www.w3.org/ns/prov#tracedTo" href="#tracedTo">prov:tracedTo</a>
-        <sup class="type-op" title="object property">op</sup>
-        <a title="http://www.w3.org/ns/prov#qualifiedTrace" href="#qualifiedTrace">prov:qualifiedTrace</a>
-        <sup class="type-op" title="object property">op</sup>
-        <a title="http://www.w3.org/ns/prov#qualifiedRevision" href="#qualifiedRevision">prov:qualifiedRevision</a>
-        <sup class="type-op" title="object property">op</sup>
-        <a title="http://www.w3.org/ns/prov#wasAttributedTo" href="#wasAttributedTo">prov:wasAttributedTo</a>
-        <sup class="type-op" title="object property">op</sup>
-        <a title="http://www.w3.org/ns/prov#wasDerivedFrom" href="#wasDerivedFrom">prov:wasDerivedFrom</a>
-        <sup class="type-op" title="object property">op</sup>
-        <a title="http://www.w3.org/ns/prov#qualifiedDerivation" href="#qualifiedDerivation">prov:qualifiedDerivation</a>
-        <sup class="type-op" title="object property">op</sup>
-        <a title="http://www.w3.org/ns/prov#wasGeneratedBy" href="#wasGeneratedBy">prov:wasGeneratedBy</a>
-        <sup class="type-op" title="object property">op</sup>
-        <a title="http://www.w3.org/ns/prov#specializationOf" href="#specializationOf">prov:specializationOf</a>
-        <sup class="type-op" title="object property">op</sup>
         <a title="http://www.w3.org/ns/prov#alternateOf" href="#alternateOf">prov:alternateOf</a>
         <sup class="type-op" title="object property">op</sup>
-        <a title="http://www.w3.org/ns/prov#qualifiedQuotation" href="#qualifiedQuotation">prov:qualifiedQuotation</a>
-        <sup class="type-op" title="object property">op</sup>
         <a title="http://www.w3.org/ns/prov#qualifiedSource" href="#qualifiedSource">prov:qualifiedSource</a>
         <sup class="type-op" title="object property">op</sup>
         <a title="http://www.w3.org/ns/prov#qualifiedGeneration" href="#qualifiedGeneration">prov:qualifiedGeneration</a>
@@ -2060,25 +2033,32 @@
         <sup class="type-op" title="object property">op</sup>
         <a title="http://www.w3.org/ns/prov#wasQuotedFrom" href="#wasQuotedFrom">prov:wasQuotedFrom</a>
         <sup class="type-op" title="object property">op</sup>
+        <a title="http://www.w3.org/ns/prov#wasAttributedTo" href="#wasAttributedTo">prov:wasAttributedTo</a>
+        <sup class="type-op" title="object property">op</sup>
         <a title="http://www.w3.org/ns/prov#hadOriginalSource" href="#hadOriginalSource">prov:hadOriginalSource</a>
         <sup class="type-op" title="object property">op</sup>
+        <a title="http://www.w3.org/ns/prov#qualifiedQuotation" href="#qualifiedQuotation">prov:qualifiedQuotation</a>
+        <sup class="type-op" title="object property">op</sup>
         <a title="http://www.w3.org/ns/prov#wasRevisionOf" href="#wasRevisionOf">prov:wasRevisionOf</a>
         <sup class="type-op" title="object property">op</sup>
-      </dd>
-      <dt>in range of</dt>
-      <dd>
-        <a title="http://www.w3.org/ns/prov#generated" href="#generated">prov:generated</a>
+        <a title="http://www.w3.org/ns/prov#tracedTo" href="#tracedTo">prov:tracedTo</a>
+        <sup class="type-op" title="object property">op</sup>
+        <a title="http://www.w3.org/ns/prov#qualifiedTrace" href="#qualifiedTrace">prov:qualifiedTrace</a>
+        <sup class="type-op" title="object property">op</sup>
+        <a title="http://www.w3.org/ns/prov#qualifiedRevision" href="#qualifiedRevision">prov:qualifiedRevision</a>
+        <sup class="type-op" title="object property">op</sup>
+        <a title="http://www.w3.org/ns/prov#wasGeneratedBy" href="#wasGeneratedBy">prov:wasGeneratedBy</a>
         <sup class="type-op" title="object property">op</sup>
         <a title="http://www.w3.org/ns/prov#wasDerivedFrom" href="#wasDerivedFrom">prov:wasDerivedFrom</a>
         <sup class="type-op" title="object property">op</sup>
-        <a title="http://www.w3.org/ns/prov#entity" href="#entity">prov:entity</a>
+        <a title="http://www.w3.org/ns/prov#qualifiedDerivation" href="#qualifiedDerivation">prov:qualifiedDerivation</a>
         <sup class="type-op" title="object property">op</sup>
         <a title="http://www.w3.org/ns/prov#specializationOf" href="#specializationOf">prov:specializationOf</a>
         <sup class="type-op" title="object property">op</sup>
-        <a title="http://www.w3.org/ns/prov#tracedTo" href="#tracedTo">prov:tracedTo</a>
-        <sup class="type-op" title="object property">op</sup>
-        <a title="http://www.w3.org/ns/prov#used" href="#used">prov:used</a>
-        <sup class="type-op" title="object property">op</sup>
+      </dd>
+
+      <dt>in range of</dt>
+      <dd>
         <a title="http://www.w3.org/ns/prov#alternateOf" href="#alternateOf">prov:alternateOf</a>
         <sup class="type-op" title="object property">op</sup>
         <a title="http://www.w3.org/ns/prov#value" href="#value">prov:value</a>
@@ -2089,9 +2069,22 @@
         <sup class="type-op" title="object property">op</sup>
         <a title="http://www.w3.org/ns/prov#hadOriginalSource" href="#hadOriginalSource">prov:hadOriginalSource</a>
         <sup class="type-op" title="object property">op</sup>
+        <a title="http://www.w3.org/ns/prov#tracedTo" href="#tracedTo">prov:tracedTo</a>
+        <sup class="type-op" title="object property">op</sup>
         <a title="http://www.w3.org/ns/prov#wasRevisionOf" href="#wasRevisionOf">prov:wasRevisionOf</a>
         <sup class="type-op" title="object property">op</sup>
-      </dd>
+        <a title="http://www.w3.org/ns/prov#generated" href="#generated">prov:generated</a>
+        <sup class="type-op" title="object property">op</sup>
+        <a title="http://www.w3.org/ns/prov#wasDerivedFrom" href="#wasDerivedFrom">prov:wasDerivedFrom</a>
+        <sup class="type-op" title="object property">op</sup>
+        <a title="http://www.w3.org/ns/prov#entity" href="#entity">prov:entity</a>
+        <sup class="type-op" title="object property">op</sup>
+        <a title="http://www.w3.org/ns/prov#specializationOf" href="#specializationOf">prov:specializationOf</a>
+        <sup class="type-op" title="object property">op</sup>
+        <a title="http://www.w3.org/ns/prov#used" href="#used">prov:used</a>
+        <sup class="type-op" title="object property">op</sup>
+      </dd>
+
       <dt>has subclasses</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#Collection" href="#Collection" class="owlclass">prov:Collection</a>
@@ -2110,37 +2103,54 @@
          back to <a href="#prov-starting-point-owl-properties-at-a-glance">starting-point properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#actedOnBehalfOf</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#actedOnBehalfOf</p>
     <div class="description">
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-agents-responsibility">
         <a title="agents-responsibility" href="#component-agents-responsibility">agents-responsibility</a>
       </dd>
-      <dl>
-      <dt>has super-properties</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#involved" href="#involved" class="owlclass">prov:involved</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Agent" href="#Agent" class="owlclass">prov:Agent</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Agent" href="#Agent" class="owlclass">prov:Agent</a>
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has super-properties</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#involved" href="#involved" class="owlclass">prov:involved</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Agent" href="#Agent" class="owlclass">prov:Agent</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Agent" href="#Agent" class="owlclass">prov:Agent</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>can be qualified with</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Responsibility" href="#Responsibility" class="owlclass">prov:Responsibility</a>
+            </li>
+            <li>
+              <a title="http://www.w3.org/ns/prov#qualifiedResponsibility" href="#qualifiedResponsibility" class="owlproperty">prov:qualifiedResponsibility</a>
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -2153,32 +2163,34 @@
          back to <a href="#prov-starting-point-owl-properties-at-a-glance">starting-point properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#endedAtTime</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#endedAtTime</p>
     <div class="description">
+      <p><strong>has characteristics</strong>  Functional       </p>
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-entities-activities">
         <a title="entities-activities" href="#component-entities-activities">entities-activities</a>
       </dd>
-      <p><strong>has characteristics</strong>
-  Functional
-      </p>
-      <dl>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            http://www.w3.org/2001/XMLSchema#dateTime
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              http://www.w3.org/2001/XMLSchema#dateTime
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -2191,32 +2203,34 @@
          back to <a href="#prov-starting-point-owl-properties-at-a-glance">starting-point properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#startedAtTime</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#startedAtTime</p>
     <div class="description">
+      <p><strong>has characteristics</strong>  Functional       </p>
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-entities-activities">
         <a title="entities-activities" href="#component-entities-activities">entities-activities</a>
       </dd>
-      <p><strong>has characteristics</strong>
-  Functional
-      </p>
-      <dl>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            http://www.w3.org/2001/XMLSchema#dateTime
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              http://www.w3.org/2001/XMLSchema#dateTime
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -2229,43 +2243,57 @@
          back to <a href="#prov-starting-point-owl-properties-at-a-glance">starting-point properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#used</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#used</p>
     <div class="description">
-    <div class="comment"><p>A prov:Entity that was used by this prov:Activity. For example, :baking prov:used :spoon, :egg, :oven .</p>
-    </div>
+      <div class="comment"><p>A prov:Entity that was used by this prov:Activity. For example, :baking prov:used :spoon, :egg, :oven .</p>
+      </div>
+      <p><strong>has characteristics</strong> Asymmetric , Irreflexive       </p>
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-entities-activities">
         <a title="entities-activities" href="#component-entities-activities">entities-activities</a>
       </dd>
-      <p><strong>has characteristics</strong>
- Asymmetric
-, Irreflexive
-      </p>
-      <dl>
-      <dt>has super-properties</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#involved" href="#involved" class="owlclass">prov:involved</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has super-properties</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#involved" href="#involved" class="owlclass">prov:involved</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>can be qualified with</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Usage" href="#Usage" class="owlclass">prov:Usage</a>
+            </li>
+            <li>
+              <a title="http://www.w3.org/ns/prov#qualifiedUsage" href="#qualifiedUsage" class="owlproperty">prov:qualifiedUsage</a>
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -2278,50 +2306,68 @@
          back to <a href="#prov-starting-point-owl-properties-at-a-glance">starting-point properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#wasAssociatedWith</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#wasAssociatedWith</p>
     <div class="description">
-    <div class="comment"><p>A prov:Agent that had some (unspecified) responsibility for the occurrence of this prov:Activity.</p>
-    </div>
+      <div class="comment"><p>A prov:Agent that had some (unspecified) responsibility for the occurrence of this prov:Activity.</p>
+      </div>
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-agents-responsibility">
         <a title="agents-responsibility" href="#component-agents-responsibility">agents-responsibility</a>
       </dd>
-      <dl>
-      <dt>has super-properties</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#involved" href="#involved" class="owlclass">prov:involved</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Agent" href="#Agent" class="owlclass">prov:Agent</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has sub-properties</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#wasStartedBy" href="#wasStartedBy" class="owlclass">prov:wasStartedBy</a>
-          </li>
-          <li>
-            <a title="http://www.w3.org/ns/prov#wasEndedBy" href="#wasEndedBy" class="owlclass">prov:wasEndedBy</a>
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has super-properties</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#involved" href="#involved" class="owlclass">prov:involved</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Agent" href="#Agent" class="owlclass">prov:Agent</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has sub-properties</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#wasStartedBy" href="#wasStartedBy" class="owlclass">prov:wasStartedBy</a>
+            </li>
+            <li>
+              <a title="http://www.w3.org/ns/prov#wasEndedBy" href="#wasEndedBy" class="owlclass">prov:wasEndedBy</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>can be qualified with</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Association" href="#Association" class="owlclass">prov:Association</a>
+            </li>
+            <li>
+              <a title="http://www.w3.org/ns/prov#qualifiedAssociation" href="#qualifiedAssociation" class="owlproperty">prov:qualifiedAssociation</a>
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -2334,37 +2380,54 @@
          back to <a href="#prov-starting-point-owl-properties-at-a-glance">starting-point properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#wasAttributedTo</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#wasAttributedTo</p>
     <div class="description">
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-agents-responsibility">
         <a title="agents-responsibility" href="#component-agents-responsibility">agents-responsibility</a>
       </dd>
-      <dl>
-      <dt>has super-properties</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#tracedTo" href="#tracedTo" class="owlclass">prov:tracedTo</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Agent" href="#Agent" class="owlclass">prov:Agent</a>
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has super-properties</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#tracedTo" href="#tracedTo" class="owlclass">prov:tracedTo</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Agent" href="#Agent" class="owlclass">prov:Agent</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>can be qualified with</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#qualifiedAttribution" href="#qualifiedAttribution" class="owlproperty">prov:qualifiedAttribution</a>
+            </li>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Attribution" href="#Attribution" class="owlclass">prov:Attribution</a>
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -2377,61 +2440,76 @@
          back to <a href="#prov-starting-point-owl-properties-at-a-glance">starting-point properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#wasDerivedFrom</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#wasDerivedFrom</p>
     <div class="description">
+      <p><strong>has characteristics</strong> Asymmetric , Irreflexive       </p>
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-derivations">
         <a title="derivations" href="#component-derivations">derivations</a>
       </dd>
-      <p><strong>has characteristics</strong>
- Asymmetric
-, Irreflexive
-      </p>
-      <dl>
-      <dt>has super-properties</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#tracedTo" href="#tracedTo" class="owlclass">prov:tracedTo</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has sub-properties</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#hadOriginalSource" href="#hadOriginalSource" class="owlclass">prov:hadOriginalSource</a>
-          </li>
-          <li>
-            <a title="http://www.w3.org/ns/prov#wasQuotedFrom" href="#wasQuotedFrom" class="owlclass">prov:wasQuotedFrom</a>
-          </li>
-          <li>
-            <a title="http://www.w3.org/ns/prov#derivedByRemovalFrom" href="#derivedByRemovalFrom" class="owlclass">prov:derivedByRemovalFrom</a>
-          </li>
-          <li>
-            <a title="http://www.w3.org/ns/prov#wasRevisionOf" href="#wasRevisionOf" class="owlclass">prov:wasRevisionOf</a>
-          </li>
-          <li>
-            <a title="http://www.w3.org/ns/prov#derivedByInsertionFrom" href="#derivedByInsertionFrom" class="owlclass">prov:derivedByInsertionFrom</a>
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has super-properties</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#tracedTo" href="#tracedTo" class="owlclass">prov:tracedTo</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has sub-properties</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#derivedByInsertionFrom" href="#derivedByInsertionFrom" class="owlclass">prov:derivedByInsertionFrom</a>
+            </li>
+            <li>
+              <a title="http://www.w3.org/ns/prov#derivedByRemovalFrom" href="#derivedByRemovalFrom" class="owlclass">prov:derivedByRemovalFrom</a>
+            </li>
+            <li>
+              <a title="http://www.w3.org/ns/prov#hadOriginalSource" href="#hadOriginalSource" class="owlclass">prov:hadOriginalSource</a>
+            </li>
+            <li>
+              <a title="http://www.w3.org/ns/prov#wasQuotedFrom" href="#wasQuotedFrom" class="owlclass">prov:wasQuotedFrom</a>
+            </li>
+            <li>
+              <a title="http://www.w3.org/ns/prov#wasRevisionOf" href="#wasRevisionOf" class="owlclass">prov:wasRevisionOf</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>can be qualified with</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Derivation" href="#Derivation" class="owlclass">prov:Derivation</a>
+            </li>
+            <li>
+              <a title="http://www.w3.org/ns/prov#qualifiedDerivation" href="#qualifiedDerivation" class="owlproperty">prov:qualifiedDerivation</a>
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -2444,44 +2522,57 @@
          back to <a href="#prov-starting-point-owl-properties-at-a-glance">starting-point properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#wasGeneratedBy</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#wasGeneratedBy</p>
     <div class="description">
-    <div class="comment"><p>wasGeneratedBy links Entitites with Activity representing that entity was generated as a result of Activity</p>
-    </div>
+      <div class="comment"><p>wasGeneratedBy links Entitites with Activity representing that entity was generated as a result of Activity</p>
+      </div>
+      <p><strong>has characteristics</strong>  Functional , Asymmetric , Irreflexive       </p>
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-entities-activities">
         <a title="entities-activities" href="#component-entities-activities">entities-activities</a>
       </dd>
-      <p><strong>has characteristics</strong>
-  Functional
-, Asymmetric
-, Irreflexive
-      </p>
-      <dl>
-      <dt>has super-properties</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#involved" href="#involved" class="owlclass">prov:involved</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has super-properties</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#involved" href="#involved" class="owlclass">prov:involved</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>can be qualified with</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Generation" href="#Generation" class="owlclass">prov:Generation</a>
+            </li>
+            <li>
+              <a title="http://www.w3.org/ns/prov#qualifiedGeneration" href="#qualifiedGeneration" class="owlproperty">prov:qualifiedGeneration</a>
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -2494,37 +2585,54 @@
          back to <a href="#prov-starting-point-owl-properties-at-a-glance">starting-point properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#wasInformedBy</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#wasInformedBy</p>
     <div class="description">
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-entities-activities">
         <a title="entities-activities" href="#component-entities-activities">entities-activities</a>
       </dd>
-      <dl>
-      <dt>has super-properties</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#involved" href="#involved" class="owlclass">prov:involved</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has super-properties</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#involved" href="#involved" class="owlclass">prov:involved</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>can be qualified with</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Communication" href="#Communication" class="owlclass">prov:Communication</a>
+            </li>
+            <li>
+              <a title="http://www.w3.org/ns/prov#qualifiedCommunication" href="#qualifiedCommunication" class="owlproperty">prov:qualifiedCommunication</a>
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -2537,37 +2645,54 @@
          back to <a href="#prov-starting-point-owl-properties-at-a-glance">starting-point properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#wasStartedByActivity</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#wasStartedByActivity</p>
     <div class="description">
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-entities-activities">
         <a title="entities-activities" href="#component-entities-activities">entities-activities</a>
       </dd>
-      <dl>
-      <dt>has super-properties</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#involved" href="#involved" class="owlclass">prov:involved</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has super-properties</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#involved" href="#involved" class="owlclass">prov:involved</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>can be qualified with</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#qualifiedStartByActivity" href="#qualifiedStartByActivity" class="owlproperty">prov:qualifiedStartByActivity</a>
+            </li>
+            <li>
+              <a title="http://www.w3.org/ns/prov#StartByActivity" href="#StartByActivity" class="owlclass">prov:StartByActivity</a>
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -2650,12 +2775,15 @@
          back to <a href="#prov-expanded-owl-classes-at-a-glance">expanded classes</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Account</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Account</p>
+    <div class="definition"><p>An account is any mechanism by which a set of provenance descriptions can be bundled up and named.</p>
+    </div>
+    <dl class="description">
     <div class="comment"><p>Note that there are kinds of accounts (e.g. 
 handwritten letters, audio recordings, etc.) that are not expressed in 
 PROV-O, but can be still be described by PROV-O.</p>
     </div>
-    <dl class="description">
+
       <dt>is subclass of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
@@ -2670,8 +2798,15 @@
          back to <a href="#prov-expanded-owl-classes-at-a-glance">expanded classes</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Location</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Location</p>
+    <div class="definition"><p>A location can be an identifiable 
+geographic place (ISO 19112), but it can also be a non-geographic place 
+such as a directory, row, or column. As such, there are numerous ways in
+ which location can be expressed, such as by a coordinate, address, 
+landmark, and so forth.</p>
+    </div>
     <dl class="description">
+
       <dt>in range of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#hadLocation" href="#hadLocation">prov:hadLocation</a>
@@ -2687,12 +2822,16 @@
          back to <a href="#prov-expanded-owl-classes-at-a-glance">expanded classes</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Note</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Note</p>
+    <div class="definition"><p>Attribute-value pairs occurring in notes are application specific.</p>
+    </div>
     <dl class="description">
+
       <dt>in PROV component</dt>
       <dd class="component-annotations">
         <a title="annotations" href="#component-annotations">annotations</a>
       </dd>
+
       <dt>in range of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#hasAnnotation" href="#hasAnnotation">prov:hasAnnotation</a>
@@ -2708,12 +2847,16 @@
          back to <a href="#prov-expanded-owl-classes-at-a-glance">expanded classes</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Organization</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Organization</p>
+    <div class="definition"><p>Agents of type Organization are social institutions such as companies, societies etc.</p>
+    </div>
     <dl class="description">
+
       <dt>in PROV component</dt>
       <dd class="component-agents-responsibility">
         <a title="agents-responsibility" href="#component-agents-responsibility">agents-responsibility</a>
       </dd>
+
       <dt>is subclass of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#Agent" href="#Agent" class="owlclass">prov:Agent</a>
@@ -2728,12 +2871,16 @@
          back to <a href="#prov-expanded-owl-classes-at-a-glance">expanded classes</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Person</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Person</p>
+    <div class="definition"><p>Agents of type Person are people.</p>
+    </div>
     <dl class="description">
+
       <dt>in PROV component</dt>
       <dd class="component-agents-responsibility">
         <a title="agents-responsibility" href="#component-agents-responsibility">agents-responsibility</a>
       </dd>
+
       <dt>is subclass of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#Agent" href="#Agent" class="owlclass">prov:Agent</a>
@@ -2748,12 +2895,16 @@
          back to <a href="#prov-expanded-owl-classes-at-a-glance">expanded classes</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#SoftwareAgent</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#SoftwareAgent</p>
+    <div class="definition"><p>A software agent is running software.</p>
+    </div>
     <dl class="description">
+
       <dt>in PROV component</dt>
       <dd class="component-agents-responsibility">
         <a title="agents-responsibility" href="#component-agents-responsibility">agents-responsibility</a>
       </dd>
+
       <dt>is subclass of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#Agent" href="#Agent" class="owlclass">prov:Agent</a>
@@ -2770,29 +2921,33 @@
          back to <a href="#prov-expanded-owl-properties-at-a-glance">expanded properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#alternateOf</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#alternateOf</p>
     <div class="description">
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-alternate">
         <a title="alternate" href="#component-alternate">alternate</a>
       </dd>
-      <dl>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -2805,51 +2960,57 @@
          back to <a href="#prov-expanded-owl-properties-at-a-glance">expanded properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#generated</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#generated</p>
     <div class="description">
-    <div class="comment"><p>This inverse of prov:wasGeneratedBy is 
+      <div class="comment"><p>This inverse of prov:wasGeneratedBy is 
 defined so that Activities being described can reference their generated
  outputs directly without needing to 'stop' and start describing the 
 Entity. This helps 'Activity-centric' modeling as opposed to 
 'Entity-centric' modeling.</p>
-    </div>
+      </div>
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-entities-activities">
         <a title="entities-activities" href="#component-entities-activities">entities-activities</a>
       </dd>
-      <dl>
-      <dt>has super-properties</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#involved" href="#involved" class="owlclass">prov:involved</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has inverse</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#wasGeneratedBy" href="#wasGeneratedBy" class="owlclass">prov:wasGeneratedBy</a>
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has super-properties</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#involved" href="#involved" class="owlclass">prov:involved</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has inverse</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#wasGeneratedBy" href="#wasGeneratedBy" class="owlclass">prov:wasGeneratedBy</a>
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -2862,23 +3023,22 @@
          back to <a href="#prov-expanded-owl-properties-at-a-glance">expanded properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#hadLocation</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#hadLocation</p>
     <div class="description">
-    <div class="comment"><p>Location is an optional attribute of Entity and Activity.</p>
-    </div>
-      <p><strong>has characteristics</strong>
- Asymmetric
-, Irreflexive
-      </p>
+      <div class="comment"><p>Location is an optional attribute of Entity and Activity.</p>
+      </div>
+      <p><strong>has characteristics</strong> Asymmetric , Irreflexive       </p>
       <dl>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Location" href="#Location" class="owlclass">prov:Location</a>
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Location" href="#Location" class="owlclass">prov:Location</a>
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -2891,37 +3051,54 @@
          back to <a href="#prov-expanded-owl-properties-at-a-glance">expanded properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#hadOriginalSource</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#hadOriginalSource</p>
     <div class="description">
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-derivations">
         <a title="derivations" href="#component-derivations">derivations</a>
       </dd>
-      <dl>
-      <dt>has super-properties</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#wasDerivedFrom" href="#wasDerivedFrom" class="owlclass">prov:wasDerivedFrom</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has super-properties</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#wasDerivedFrom" href="#wasDerivedFrom" class="owlclass">prov:wasDerivedFrom</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>can be qualified with</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Source" href="#Source" class="owlclass">prov:Source</a>
+            </li>
+            <li>
+              <a title="http://www.w3.org/ns/prov#qualifiedSource" href="#qualifiedSource" class="owlproperty">prov:qualifiedSource</a>
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -2934,21 +3111,24 @@
          back to <a href="#prov-expanded-owl-properties-at-a-glance">expanded properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#hasAnnotation</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#hasAnnotation</p>
     <div class="description">
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-annotations">
         <a title="annotations" href="#component-annotations">annotations</a>
       </dd>
-      <dl>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Note" href="#Note" class="owlclass">prov:Note</a>
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Note" href="#Note" class="owlclass">prov:Note</a>
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -2961,29 +3141,33 @@
          back to <a href="#prov-expanded-owl-properties-at-a-glance">expanded properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#specializationOf</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#specializationOf</p>
     <div class="description">
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-alternate">
         <a title="alternate" href="#component-alternate">alternate</a>
       </dd>
-      <dl>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -2996,51 +3180,67 @@
          back to <a href="#prov-expanded-owl-properties-at-a-glance">expanded properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#tracedTo</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#tracedTo</p>
     <div class="description">
+      <p><strong>has characteristics</strong> Transitive       </p>
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-derivations">
         <a title="derivations" href="#component-derivations">derivations</a>
       </dd>
-      <p><strong>has characteristics</strong>
- Transitive
-      </p>
-      <dl>
-      <dt>has super-properties</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#involved" href="#involved" class="owlclass">prov:involved</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has sub-properties</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#wasDerivedFrom" href="#wasDerivedFrom" class="owlclass">prov:wasDerivedFrom</a>
-          </li>
-          <li>
-            <a title="http://www.w3.org/ns/prov#wasAttributedTo" href="#wasAttributedTo" class="owlclass">prov:wasAttributedTo</a>
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has super-properties</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#involved" href="#involved" class="owlclass">prov:involved</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has sub-properties</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#wasDerivedFrom" href="#wasDerivedFrom" class="owlclass">prov:wasDerivedFrom</a>
+            </li>
+            <li>
+              <a title="http://www.w3.org/ns/prov#wasAttributedTo" href="#wasAttributedTo" class="owlclass">prov:wasAttributedTo</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>can be qualified with</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Trace" href="#Trace" class="owlclass">prov:Trace</a>
+            </li>
+            <li>
+              <a title="http://www.w3.org/ns/prov#qualifiedTrace" href="#qualifiedTrace" class="owlproperty">prov:qualifiedTrace</a>
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -3053,29 +3253,45 @@
          back to <a href="#prov-expanded-owl-properties-at-a-glance">expanded properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#wasEndedBy</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#wasEndedBy</p>
     <div class="description">
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-entities-activities">
         <a title="entities-activities" href="#component-entities-activities">entities-activities</a>
       </dd>
-      <dl>
-      <dt>has super-properties</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#wasAssociatedWith" href="#wasAssociatedWith" class="owlclass">prov:wasAssociatedWith</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has super-properties</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#wasAssociatedWith" href="#wasAssociatedWith" class="owlclass">prov:wasAssociatedWith</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>can be qualified with</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#End" href="#End" class="owlclass">prov:End</a>
+            </li>
+            <li>
+              <a title="http://www.w3.org/ns/prov#qualifiedEnd" href="#qualifiedEnd" class="owlproperty">prov:qualifiedEnd</a>
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -3088,37 +3304,54 @@
          back to <a href="#prov-expanded-owl-properties-at-a-glance">expanded properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#wasQuotedFrom</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#wasQuotedFrom</p>
     <div class="description">
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-derivations">
         <a title="derivations" href="#component-derivations">derivations</a>
       </dd>
-      <dl>
-      <dt>has super-properties</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#wasDerivedFrom" href="#wasDerivedFrom" class="owlclass">prov:wasDerivedFrom</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has super-properties</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#wasDerivedFrom" href="#wasDerivedFrom" class="owlclass">prov:wasDerivedFrom</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>can be qualified with</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#qualifiedQuotation" href="#qualifiedQuotation" class="owlproperty">prov:qualifiedQuotation</a>
+            </li>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Quotation" href="#Quotation" class="owlclass">prov:Quotation</a>
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -3131,37 +3364,54 @@
          back to <a href="#prov-expanded-owl-properties-at-a-glance">expanded properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#wasRevisionOf</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#wasRevisionOf</p>
     <div class="description">
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-derivations">
         <a title="derivations" href="#component-derivations">derivations</a>
       </dd>
-      <dl>
-      <dt>has super-properties</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#wasDerivedFrom" href="#wasDerivedFrom" class="owlclass">prov:wasDerivedFrom</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has super-properties</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#wasDerivedFrom" href="#wasDerivedFrom" class="owlclass">prov:wasDerivedFrom</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>can be qualified with</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Revision" href="#Revision" class="owlclass">prov:Revision</a>
+            </li>
+            <li>
+              <a title="http://www.w3.org/ns/prov#qualifiedRevision" href="#qualifiedRevision" class="owlproperty">prov:qualifiedRevision</a>
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -3174,37 +3424,54 @@
          back to <a href="#prov-expanded-owl-properties-at-a-glance">expanded properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#wasStartedBy</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#wasStartedBy</p>
     <div class="description">
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-entities-activities">
         <a title="entities-activities" href="#component-entities-activities">entities-activities</a>
       </dd>
-      <dl>
-      <dt>has super-properties</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#wasAssociatedWith" href="#wasAssociatedWith" class="owlclass">prov:wasAssociatedWith</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has super-properties</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#wasAssociatedWith" href="#wasAssociatedWith" class="owlclass">prov:wasAssociatedWith</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>can be qualified with</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Start" href="#Start" class="owlclass">prov:Start</a>
+            </li>
+            <li>
+              <a title="http://www.w3.org/ns/prov#qualifiedStart" href="#qualifiedStart" class="owlproperty">prov:qualifiedStart</a>
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -3380,19 +3647,22 @@
          back to <a href="#prov-qualified-owl-classes-at-a-glance">qualified classes</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#ActivityInvolvement</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#ActivityInvolvement</p>
+    <dl class="description">
     <div class="comment"><p>prov:ActivityInvolvement provides descriptions of any binary involvement between any instance and an prov:Activity.</p>
     </div>
-    <dl class="description">
+
       <dt>is subclass of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#Involvement" href="#Involvement" class="owlclass">prov:Involvement</a>
       </dd>
+
       <dt>in domain of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#activity" href="#activity">prov:activity</a>
         <sup class="type-op" title="object property">op</sup>
       </dd>
+
       <dt>has subclasses</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#Generation" href="#Generation" class="owlclass">prov:Generation</a>
@@ -3409,26 +3679,29 @@
          back to <a href="#prov-qualified-owl-classes-at-a-glance">qualified classes</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#AgentInvolvement</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#AgentInvolvement</p>
+    <dl class="description">
     <div class="comment"><p>prov:AgentInvolvement provides descriptions of any binary involvement between any instance and an prov:Agent.</p>
     </div>
-    <dl class="description">
+
       <dt>is subclass of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#Involvement" href="#Involvement" class="owlclass">prov:Involvement</a>
       </dd>
+
       <dt>in domain of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#agent" href="#agent">prov:agent</a>
         <sup class="type-op" title="object property">op</sup>
       </dd>
+
       <dt>has subclasses</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#End" href="#End" class="owlclass">prov:End</a>
-        <a title="http://www.w3.org/ns/prov#Start" href="#Start" class="owlclass">prov:Start</a>
+        <a title="http://www.w3.org/ns/prov#Responsibility" href="#Responsibility" class="owlclass">prov:Responsibility</a>
         <a title="http://www.w3.org/ns/prov#Association" href="#Association" class="owlclass">prov:Association</a>
         <a title="http://www.w3.org/ns/prov#Attribution" href="#Attribution" class="owlclass">prov:Attribution</a>
-        <a title="http://www.w3.org/ns/prov#Responsibility" href="#Responsibility" class="owlclass">prov:Responsibility</a>
+        <a title="http://www.w3.org/ns/prov#Start" href="#Start" class="owlclass">prov:Start</a>
       </dd>
     </dl>
   </div>
@@ -3440,32 +3713,47 @@
          back to <a href="#prov-qualified-owl-classes-at-a-glance">qualified classes</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Association</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Association</p>
+    <div class="definition"><p>An activity association is an assignment 
+of responsibility to an agent for an activity, indicating that the agent
+ had a role in the activity. It further allows for a plan to be 
+specified, which is the plan intended by the agent to achieve some goals
+ in the context of this activity.</p>
+    </div>
+    <dl class="description">
     <div class="comment"><p>An instance of prov:Association provides 
 additional descriptions about the binary prov:wasAssociatedWith relation
  from an 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 ].</p>
     </div>
-    <dl class="description">
+
       <dt>in PROV component</dt>
       <dd class="component-agents-responsibility">
         <a title="agents-responsibility" href="#component-agents-responsibility">agents-responsibility</a>
       </dd>
+
       <dt>is subclass of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#AgentInvolvement" href="#AgentInvolvement" class="owlclass">prov:AgentInvolvement</a>
       </dd>
+
       <dt>in domain of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#hadPlan" href="#hadPlan">prov:hadPlan</a>
         <sup class="type-op" title="object property">op</sup>
       </dd>
+
       <dt>in range of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#qualifiedAssociation" href="#qualifiedAssociation">prov:qualifiedAssociation</a>
         <sup class="type-op" title="object property">op</sup>
       </dd>
+
+      <dt>qualifies</dt>
+      <dd>
+        <a title="http://www.w3.org/ns/prov#wasAssociatedWith" href="#wasAssociatedWith" class="owlproperty">prov:wasAssociatedWith</a>
+      </dd>
     </dl>
   </div>
 
@@ -3476,27 +3764,37 @@
          back to <a href="#prov-qualified-owl-classes-at-a-glance">qualified classes</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Attribution</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Attribution</p>
+    <div class="definition"><p>Attribution is the ascribing of an entity to an agent.</p>
+    </div>
+    <dl class="description">
     <div class="comment"><p>An instance of prov:Attribution provides 
 additional descriptions about the binary prov:wasAttributedTo relation 
 from an 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 ].</p>
     </div>
-    <dl class="description">
+
       <dt>in PROV component</dt>
       <dd class="component-agents-responsibility">
         <a title="agents-responsibility" href="#component-agents-responsibility">agents-responsibility</a>
       </dd>
+
       <dt>is subclass of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#AgentInvolvement" href="#AgentInvolvement" class="owlclass">prov:AgentInvolvement</a>
       </dd>
+
       <dt>in range of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#qualifiedAttribution" href="#qualifiedAttribution">prov:qualifiedAttribution</a>
         <sup class="type-op" title="object property">op</sup>
       </dd>
+
+      <dt>qualifies</dt>
+      <dd>
+        <a title="http://www.w3.org/ns/prov#wasAttributedTo" href="#wasAttributedTo" class="owlproperty">prov:wasAttributedTo</a>
+      </dd>
     </dl>
   </div>
 
@@ -3507,7 +3805,10 @@
          back to <a href="#prov-qualified-owl-classes-at-a-glance">qualified classes</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Communication</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Communication</p>
+    <div class="definition"><p>Communication is the exchange of an entity by two activities, one activity using the entity generated by the other.</p>
+    </div>
+    <dl class="description">
     <div class="comment"><p>An instance of prov:Communication provides 
 additional descriptions about the binary prov:wasInformedBy relation 
 from an informed prov:Activity to the prov:Activity that informed it. 
@@ -3516,20 +3817,27 @@
 prov:Communication; prov:entity :everyone_else_jumping_off_bridge; :foo 
 :bar ].</p>
     </div>
-    <dl class="description">
+
       <dt>in PROV component</dt>
       <dd class="component-entities-activities">
         <a title="entities-activities" href="#component-entities-activities">entities-activities</a>
       </dd>
+
       <dt>is subclass of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#ActivityInvolvement" href="#ActivityInvolvement" class="owlclass">prov:ActivityInvolvement</a>
       </dd>
+
       <dt>in range of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#qualifiedCommunication" href="#qualifiedCommunication">prov:qualifiedCommunication</a>
         <sup class="type-op" title="object property">op</sup>
       </dd>
+
+      <dt>qualifies</dt>
+      <dd>
+        <a title="http://www.w3.org/ns/prov#wasInformedBy" href="#wasInformedBy" class="owlproperty">prov:wasInformedBy</a>
+      </dd>
     </dl>
   </div>
 
@@ -3540,7 +3848,12 @@
          back to <a href="#prov-qualified-owl-classes-at-a-glance">qualified classes</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Derivation</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Derivation</p>
+    <div class="definition"><p>A derivation is a transformation of an 
+entity into another, a construction of an entity into another, or an 
+update of an entity, resulting in a new one.</p>
+    </div>
+    <dl class="description">
     <div class="comment"><p>An instance of prov:Derivation provides 
 additional descriptions about the binary prov:wasDerivedFrom relation 
 from some prov:Entity to another prov:Entity. For example, 
@@ -3548,29 +3861,37 @@
 prov:qualified [ a prov:Derivation; prov:entity :unwrapped_bubble_gum; 
 :foo :bar ].</p>
     </div>
-    <dl class="description">
+
       <dt>in PROV component</dt>
       <dd class="component-derivations">
         <a title="derivations" href="#component-derivations">derivations</a>
       </dd>
+
       <dt>is subclass of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#EntityInvolvement" href="#EntityInvolvement" class="owlclass">prov:EntityInvolvement</a>
       </dd>
+
       <dt>in domain of</dt>
       <dd>
-        <a title="http://www.w3.org/ns/prov#hadGeneration" href="#hadGeneration">prov:hadGeneration</a>
+        <a title="http://www.w3.org/ns/prov#hadUsage" href="#hadUsage">prov:hadUsage</a>
         <sup class="type-op" title="object property">op</sup>
         <a title="http://www.w3.org/ns/prov#hadActivity" href="#hadActivity">prov:hadActivity</a>
         <sup class="type-op" title="object property">op</sup>
-        <a title="http://www.w3.org/ns/prov#hadUsage" href="#hadUsage">prov:hadUsage</a>
+        <a title="http://www.w3.org/ns/prov#hadGeneration" href="#hadGeneration">prov:hadGeneration</a>
         <sup class="type-op" title="object property">op</sup>
       </dd>
+
       <dt>in range of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#qualifiedDerivation" href="#qualifiedDerivation">prov:qualifiedDerivation</a>
         <sup class="type-op" title="object property">op</sup>
       </dd>
+
+      <dt>qualifies</dt>
+      <dd>
+        <a title="http://www.w3.org/ns/prov#wasDerivedFrom" href="#wasDerivedFrom" class="owlproperty">prov:wasDerivedFrom</a>
+      </dd>
     </dl>
   </div>
 
@@ -3581,7 +3902,10 @@
          back to <a href="#prov-qualified-owl-classes-at-a-glance">qualified classes</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#End</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#End</p>
+    <div class="definition"><p>An activity end event is the instantaneous event that marks the instant an activity ends.</p>
+    </div>
+    <dl class="description">
     <div class="comment"><p>An instance of prov:End provides additional 
 descriptions about the binary prov:wasEndedBy relation from some ended 
 prov:Activity to an prov:Entity that ended it. For example, :ball_game 
@@ -3589,21 +3913,28 @@
 :buzzer; :foo :bar; prov:atTime 
 '2012-03-09T08:05:08-05:00'^^xsd:dateTime ].</p>
     </div>
-    <dl class="description">
+
       <dt>in PROV component</dt>
       <dd class="component-entities-activities">
         <a title="entities-activities" href="#component-entities-activities">entities-activities</a>
       </dd>
+
       <dt>is subclass of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#InstantaneousEvent" href="#InstantaneousEvent" class="owlclass">prov:InstantaneousEvent</a>
         <a title="http://www.w3.org/ns/prov#AgentInvolvement" href="#AgentInvolvement" class="owlclass">prov:AgentInvolvement</a>
       </dd>
+
       <dt>in range of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#qualifiedEnd" href="#qualifiedEnd">prov:qualifiedEnd</a>
         <sup class="type-op" title="object property">op</sup>
       </dd>
+
+      <dt>qualifies</dt>
+      <dd>
+        <a title="http://www.w3.org/ns/prov#wasEndedBy" href="#wasEndedBy" class="owlproperty">prov:wasEndedBy</a>
+      </dd>
     </dl>
   </div>
 
@@ -3614,27 +3945,30 @@
          back to <a href="#prov-qualified-owl-classes-at-a-glance">qualified classes</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#EntityInvolvement</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#EntityInvolvement</p>
+    <dl class="description">
     <div class="comment"><p>prov:EntityInvolvement provides descriptions of any binary involvement between any instance and an prov:Entity.</p>
     </div>
-    <dl class="description">
+
       <dt>is subclass of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#Involvement" href="#Involvement" class="owlclass">prov:Involvement</a>
       </dd>
+
       <dt>in domain of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#entity" href="#entity">prov:entity</a>
         <sup class="type-op" title="object property">op</sup>
       </dd>
+
       <dt>has subclasses</dt>
       <dd>
-        <a title="http://www.w3.org/ns/prov#Derivation" href="#Derivation" class="owlclass">prov:Derivation</a>
-        <a title="http://www.w3.org/ns/prov#Trace" href="#Trace" class="owlclass">prov:Trace</a>
         <a title="http://www.w3.org/ns/prov#Usage" href="#Usage" class="owlclass">prov:Usage</a>
         <a title="http://www.w3.org/ns/prov#Source" href="#Source" class="owlclass">prov:Source</a>
         <a title="http://www.w3.org/ns/prov#Revision" href="#Revision" class="owlclass">prov:Revision</a>
         <a title="http://www.w3.org/ns/prov#Quotation" href="#Quotation" class="owlclass">prov:Quotation</a>
+        <a title="http://www.w3.org/ns/prov#Derivation" href="#Derivation" class="owlclass">prov:Derivation</a>
+        <a title="http://www.w3.org/ns/prov#Trace" href="#Trace" class="owlclass">prov:Trace</a>
       </dd>
     </dl>
   </div>
@@ -3646,23 +3980,30 @@
          back to <a href="#prov-qualified-owl-classes-at-a-glance">qualified classes</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Generation</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Generation</p>
+    <div class="definition"><p>An entity generation event is the 
+instantaneous event that marks the final instant of an entity's creation
+ timespan, after which it is no longer available for use.</p>
+    </div>
+    <dl class="description">
     <div class="comment"><p>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:qualifiedGeneration [ a
  prov:Generation; prov:entity :baking; :foo :bar ].</p>
     </div>
-    <dl class="description">
+
       <dt>in PROV component</dt>
       <dd class="component-entities-activities">
         <a title="entities-activities" href="#component-entities-activities">entities-activities</a>
       </dd>
+
       <dt>is subclass of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#InstantaneousEvent" href="#InstantaneousEvent" class="owlclass">prov:InstantaneousEvent</a>
         <a title="http://www.w3.org/ns/prov#ActivityInvolvement" href="#ActivityInvolvement" class="owlclass">prov:ActivityInvolvement</a>
       </dd>
+
       <dt>in range of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#hadGeneration" href="#hadGeneration">prov:hadGeneration</a>
@@ -3670,6 +4011,11 @@
         <a title="http://www.w3.org/ns/prov#qualifiedGeneration" href="#qualifiedGeneration">prov:qualifiedGeneration</a>
         <sup class="type-op" title="object property">op</sup>
       </dd>
+
+      <dt>qualifies</dt>
+      <dd>
+        <a title="http://www.w3.org/ns/prov#wasGeneratedBy" href="#wasGeneratedBy" class="owlproperty">prov:wasGeneratedBy</a>
+      </dd>
     </dl>
   </div>
 
@@ -3680,23 +4026,32 @@
          back to <a href="#prov-qualified-owl-classes-at-a-glance">qualified classes</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#InstantaneousEvent</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#InstantaneousEvent</p>
+    <div class="definition"><p>An instantaneous event, or event for 
+short, happens in the world and marks a change in the world, in its 
+activities and in its entities. The term 'event' is commonly used in 
+process algebra with a similar meaning. Events represent communications 
+or interactions; they are assumed to be atomic and instantaneous.</p>
+    </div>
     <dl class="description">
+
       <dt>in PROV component</dt>
       <dd class="component-entities-activities">
         <a title="entities-activities" href="#component-entities-activities">entities-activities</a>
       </dd>
+
       <dt>in domain of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#atTime" href="#atTime">prov:atTime</a>
         <sup class="type-dp" title="data property">dp</sup>
       </dd>
+
       <dt>has subclasses</dt>
       <dd>
+        <a title="http://www.w3.org/ns/prov#Generation" href="#Generation" class="owlclass">prov:Generation</a>
         <a title="http://www.w3.org/ns/prov#End" href="#End" class="owlclass">prov:End</a>
+        <a title="http://www.w3.org/ns/prov#Usage" href="#Usage" class="owlclass">prov:Usage</a>
         <a title="http://www.w3.org/ns/prov#Start" href="#Start" class="owlclass">prov:Start</a>
-        <a title="http://www.w3.org/ns/prov#Generation" href="#Generation" class="owlclass">prov:Generation</a>
-        <a title="http://www.w3.org/ns/prov#Usage" href="#Usage" class="owlclass">prov:Usage</a>
       </dd>
     </dl>
   </div>
@@ -3708,7 +4063,8 @@
          back to <a href="#prov-qualified-owl-classes-at-a-glance">qualified classes</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Involvement</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Involvement</p>
+    <dl class="description">
     <div class="comment"><p>Any resource that involved an prov:Activity,
  prov:Entity, or prov:Agent can qualify its involvement by also 
 referencing an instance of prov:Involvement. Instances of 
@@ -3719,19 +4075,25 @@
 prov:atTime, prov:hadLocation). A description (via prov:Involvement) of 
 the binary involvement implies the assertion of the binary involvement.</p>
     </div>
-    <dl class="description">
+
       <dt>in domain of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#hadRole" href="#hadRole">prov:hadRole</a>
         <sup class="type-op" title="object property">op</sup>
       </dd>
+
       <dt>has subclasses</dt>
       <dd>
-        <a title="http://www.w3.org/ns/prov#AgentInvolvement" href="#AgentInvolvement" class="owlclass">prov:AgentInvolvement</a>
         <a title="http://www.w3.org/ns/prov#CollectionInvolvement" href="#CollectionInvolvement" class="owlclass">prov:CollectionInvolvement</a>
         <a title="http://www.w3.org/ns/prov#EntityInvolvement" href="#EntityInvolvement" class="owlclass">prov:EntityInvolvement</a>
+        <a title="http://www.w3.org/ns/prov#AgentInvolvement" href="#AgentInvolvement" class="owlclass">prov:AgentInvolvement</a>
         <a title="http://www.w3.org/ns/prov#ActivityInvolvement" href="#ActivityInvolvement" class="owlclass">prov:ActivityInvolvement</a>
       </dd>
+
+      <dt>qualifies</dt>
+      <dd>
+        <a title="http://www.w3.org/ns/prov#involved" href="#involved" class="owlproperty">prov:involved</a>
+      </dd>
     </dl>
   </div>
 
@@ -3742,7 +4104,10 @@
          back to <a href="#prov-qualified-owl-classes-at-a-glance">qualified classes</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Plan</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Plan</p>
+    <div class="definition"><p>A plan is an entity that represents a set of actions or steps intended by one or more agents to achieve some goals.</p>
+    </div>
+    <dl class="description">
     <div class="comment"><p>There exist no prescriptive requirement on 
 the nature of plans, their representation, the actions or steps they 
 consist of, or their intended goals. Since plans may evolve over time, 
@@ -3752,15 +4117,17 @@
 represented in the provenance record, to manage expectation failures, or
  to provide explanations.</p>
     </div>
-    <dl class="description">
+
       <dt>in PROV component</dt>
       <dd class="component-agents-responsibility">
         <a title="agents-responsibility" href="#component-agents-responsibility">agents-responsibility</a>
       </dd>
+
       <dt>is subclass of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
       </dd>
+
       <dt>in range of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#hadPlan" href="#hadPlan">prov:hadPlan</a>
@@ -3776,7 +4143,10 @@
          back to <a href="#prov-qualified-owl-classes-at-a-glance">qualified classes</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Quotation</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Quotation</p>
+    <div class="definition"><p>A quotation is the repeat of (some or all of) an entity, such as text or image, by someone other than its original author.</p>
+    </div>
+    <dl class="description">
     <div class="comment"><p>An instance of prov:Quotation provides 
 additional descriptions about the binary prov:wasQuotedFrom relation 
 from some prov:Entity to another prov:Entity. For example, 
@@ -3784,15 +4154,17 @@
 prov:qualified [ a prov:Quotation; prov:entity :casablanca_script; :foo 
 :bar ].</p>
     </div>
-    <dl class="description">
+
       <dt>in PROV component</dt>
       <dd class="component-derivations">
         <a title="derivations" href="#component-derivations">derivations</a>
       </dd>
+
       <dt>is subclass of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#EntityInvolvement" href="#EntityInvolvement" class="owlclass">prov:EntityInvolvement</a>
       </dd>
+
       <dt>in domain of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#hadQuoted" href="#hadQuoted">prov:hadQuoted</a>
@@ -3800,11 +4172,17 @@
         <a title="http://www.w3.org/ns/prov#hadQuoter" href="#hadQuoter">prov:hadQuoter</a>
         <sup class="type-op" title="object property">op</sup>
       </dd>
+
       <dt>in range of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#qualifiedQuotation" href="#qualifiedQuotation">prov:qualifiedQuotation</a>
         <sup class="type-op" title="object property">op</sup>
       </dd>
+
+      <dt>qualifies</dt>
+      <dd>
+        <a title="http://www.w3.org/ns/prov#wasQuotedFrom" href="#wasQuotedFrom" class="owlproperty">prov:wasQuotedFrom</a>
+      </dd>
     </dl>
   </div>
 
@@ -3815,7 +4193,10 @@
          back to <a href="#prov-qualified-owl-classes-at-a-glance">qualified classes</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Responsibility</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Responsibility</p>
+    <div class="definition"><p>Responsibility is the fact that an agent is accountable for the actions of a 'subordinate' agent, in the context of an activity.</p>
+    </div>
+    <dl class="description">
     <div class="comment"><p>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 
@@ -3823,25 +4204,33 @@
 :toddler prov:actedOnBehalfOf :mother; prov:qualified [ a 
 prov:Responsiblity; prov:entity :mother; :foo :bar ].</p>
     </div>
-    <dl class="description">
+
       <dt>in PROV component</dt>
       <dd class="component-agents-responsibility">
         <a title="agents-responsibility" href="#component-agents-responsibility">agents-responsibility</a>
       </dd>
+
       <dt>is subclass of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#AgentInvolvement" href="#AgentInvolvement" class="owlclass">prov:AgentInvolvement</a>
       </dd>
+
       <dt>in domain of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#responsibleForActivity" href="#responsibleForActivity">prov:responsibleForActivity</a>
         <sup class="type-op" title="object property">op</sup>
       </dd>
+
       <dt>in range of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#qualifiedResponsibility" href="#qualifiedResponsibility">prov:qualifiedResponsibility</a>
         <sup class="type-op" title="object property">op</sup>
       </dd>
+
+      <dt>qualifies</dt>
+      <dd>
+        <a title="http://www.w3.org/ns/prov#actedOnBehalfOf" href="#actedOnBehalfOf" class="owlproperty">prov:actedOnBehalfOf</a>
+      </dd>
     </dl>
   </div>
 
@@ -3852,27 +4241,37 @@
          back to <a href="#prov-qualified-owl-classes-at-a-glance">qualified classes</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Revision</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Revision</p>
+    <div class="definition"><p>A revision is a derivation that revises an entity into a revised version.</p>
+    </div>
+    <dl class="description">
     <div class="comment"><p>An instance of prov:Revision provides 
 additional descriptions about the binary prov:wasRevisionOf relation 
 from some prov:Entity to another prov:Entity. For example, :draft_2 
 prov:wasRevisionOf :draft_1; prov:qualified [ a prov:Source; prov:entity
  :draft_1; :foo :bar ].</p>
     </div>
-    <dl class="description">
+
       <dt>in PROV component</dt>
       <dd class="component-derivations">
         <a title="derivations" href="#component-derivations">derivations</a>
       </dd>
+
       <dt>is subclass of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#EntityInvolvement" href="#EntityInvolvement" class="owlclass">prov:EntityInvolvement</a>
       </dd>
+
       <dt>in range of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#qualifiedRevision" href="#qualifiedRevision">prov:qualifiedRevision</a>
         <sup class="type-op" title="object property">op</sup>
       </dd>
+
+      <dt>qualifies</dt>
+      <dd>
+        <a title="http://www.w3.org/ns/prov#wasRevisionOf" href="#wasRevisionOf" class="owlproperty">prov:wasRevisionOf</a>
+      </dd>
     </dl>
   </div>
 
@@ -3883,12 +4282,18 @@
          back to <a href="#prov-qualified-owl-classes-at-a-glance">qualified classes</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Role</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Role</p>
+    <div class="definition"><p>A Role is the function of an entity with 
+respect to an activity, in the context of a usage, generation, 
+association, start, and end.</p>
+    </div>
     <dl class="description">
+
       <dt>in PROV component</dt>
       <dd class="component-agents-responsibility">
         <a title="agents-responsibility" href="#component-agents-responsibility">agents-responsibility</a>
       </dd>
+
       <dt>in range of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#hadRole" href="#hadRole">prov:hadRole</a>
@@ -3904,27 +4309,37 @@
          back to <a href="#prov-qualified-owl-classes-at-a-glance">qualified classes</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Source</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Source</p>
+    <div class="definition"><p>An original source refers to the source material that is closest to the person, information, period, or idea being studied.</p>
+    </div>
+    <dl class="description">
     <div class="comment"><p>An instance of prov:Source provides 
 additional descriptions about the binary prov:hadOriginalSource relation
  from some prov:Entity to another prov:Entity. For example, :blog 
 prov:hadOriginalSource :newsArticle; prov:qualified [ a prov:Source; 
 prov:entity :newsArticle; :foo :bar ].</p>
     </div>
-    <dl class="description">
+
       <dt>in PROV component</dt>
       <dd class="component-derivations">
         <a title="derivations" href="#component-derivations">derivations</a>
       </dd>
+
       <dt>is subclass of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#EntityInvolvement" href="#EntityInvolvement" class="owlclass">prov:EntityInvolvement</a>
       </dd>
+
       <dt>in range of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#qualifiedSource" href="#qualifiedSource">prov:qualifiedSource</a>
         <sup class="type-op" title="object property">op</sup>
       </dd>
+
+      <dt>qualifies</dt>
+      <dd>
+        <a title="http://www.w3.org/ns/prov#hadOriginalSource" href="#hadOriginalSource" class="owlproperty">prov:hadOriginalSource</a>
+      </dd>
     </dl>
   </div>
 
@@ -3935,7 +4350,10 @@
          back to <a href="#prov-qualified-owl-classes-at-a-glance">qualified classes</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Start</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Start</p>
+    <div class="definition"><p>An activity start event is the instantaneous event that marks the instant an activity starts.</p>
+    </div>
+    <dl class="description">
     <div class="comment"><p>An instance of prov:Start provides 
 additional descriptions about the binary prov:wasStartedBy relation from
  some started prov:Activity to an prov:Entity that started it. For 
@@ -3943,21 +4361,28 @@
 prov:Usage; prov:entity :bang; :foo :bar; prov:atTime 
 '2012-03-09T08:05:08-05:00'^^xsd:dateTime ].</p>
     </div>
-    <dl class="description">
+
       <dt>in PROV component</dt>
       <dd class="component-entities-activities">
         <a title="entities-activities" href="#component-entities-activities">entities-activities</a>
       </dd>
+
       <dt>is subclass of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#InstantaneousEvent" href="#InstantaneousEvent" class="owlclass">prov:InstantaneousEvent</a>
         <a title="http://www.w3.org/ns/prov#AgentInvolvement" href="#AgentInvolvement" class="owlclass">prov:AgentInvolvement</a>
       </dd>
+
       <dt>in range of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#qualifiedStart" href="#qualifiedStart">prov:qualifiedStart</a>
         <sup class="type-op" title="object property">op</sup>
       </dd>
+
+      <dt>qualifies</dt>
+      <dd>
+        <a title="http://www.w3.org/ns/prov#wasStartedBy" href="#wasStartedBy" class="owlproperty">prov:wasStartedBy</a>
+      </dd>
     </dl>
   </div>
 
@@ -3968,7 +4393,10 @@
          back to <a href="#prov-qualified-owl-classes-at-a-glance">qualified classes</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#StartByActivity</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#StartByActivity</p>
+    <div class="definition"><p>Start by Activity is the start of an activity with an implicit trigger generated by another activity.</p>
+    </div>
+    <dl class="description">
     <div class="comment"><p>An instance of prov:StartedByActivity 
 provides additional descriptions about the binary 
 prov:wasStartedByActivity relation from some started prov:Activity to 
@@ -3977,20 +4405,27 @@
 prov:entity :handed_baton; :foo :bar; prov:atTime 
 '2012-03-09T08:05:08-05:00'^^xsd:dateTime ].</p>
     </div>
-    <dl class="description">
+
       <dt>in PROV component</dt>
       <dd class="component-entities-activities">
         <a title="entities-activities" href="#component-entities-activities">entities-activities</a>
       </dd>
+
       <dt>is subclass of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#ActivityInvolvement" href="#ActivityInvolvement" class="owlclass">prov:ActivityInvolvement</a>
       </dd>
+
       <dt>in range of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#qualifiedStartByActivity" href="#qualifiedStartByActivity">prov:qualifiedStartByActivity</a>
         <sup class="type-op" title="object property">op</sup>
       </dd>
+
+      <dt>qualifies</dt>
+      <dd>
+        <a title="http://www.w3.org/ns/prov#wasStartedByActivity" href="#wasStartedByActivity" class="owlproperty">prov:wasStartedByActivity</a>
+      </dd>
     </dl>
   </div>
 
@@ -4001,27 +4436,39 @@
          back to <a href="#prov-qualified-owl-classes-at-a-glance">qualified classes</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Trace</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Trace</p>
+    <div class="definition"><p>Traceability is the ability to link back 
+an entity to another by means of derivation or responsibility relations,
+ possibly repeatedly traversed.</p>
+    </div>
+    <dl class="description">
     <div class="comment"><p>An instance of prov:Trace provides 
 additional descriptions about the binary prov:tracedTo relation from 
 some prov:Entity to some other prov:Element. For example, :stomach_ache 
 prov:tracedTo :spoon; prov:qualified [ a prov:Trace; prov:entity :spoon;
  :foo :bar ].</p>
     </div>
-    <dl class="description">
+
       <dt>in PROV component</dt>
       <dd class="component-derivations">
         <a title="derivations" href="#component-derivations">derivations</a>
       </dd>
+
       <dt>is subclass of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#EntityInvolvement" href="#EntityInvolvement" class="owlclass">prov:EntityInvolvement</a>
       </dd>
+
       <dt>in range of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#qualifiedTrace" href="#qualifiedTrace">prov:qualifiedTrace</a>
         <sup class="type-op" title="object property">op</sup>
       </dd>
+
+      <dt>qualifies</dt>
+      <dd>
+        <a title="http://www.w3.org/ns/prov#tracedTo" href="#tracedTo" class="owlproperty">prov:tracedTo</a>
+      </dd>
     </dl>
   </div>
 
@@ -4032,23 +4479,30 @@
          back to <a href="#prov-qualified-owl-classes-at-a-glance">qualified classes</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Usage</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Usage</p>
+    <div class="definition"><p>A usage is an instantaneous world event: 
+an activity beginning to consume an entity. Before this event, the 
+activity had not begun to consume or use to this entity.</p>
+    </div>
+    <dl class="description">
     <div class="comment"><p>An instance of prov:Usage provides 
 additional descriptions about the binary prov:used relation from some 
 prov:Activity to an prov:Entity that it used. For example, :keynote 
 prov:used :podium; prov:qualified [ a prov:Usage; prov:entity :podium; 
 :foo :bar ].</p>
     </div>
-    <dl class="description">
+
       <dt>in PROV component</dt>
       <dd class="component-entities-activities">
         <a title="entities-activities" href="#component-entities-activities">entities-activities</a>
       </dd>
+
       <dt>is subclass of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#InstantaneousEvent" href="#InstantaneousEvent" class="owlclass">prov:InstantaneousEvent</a>
         <a title="http://www.w3.org/ns/prov#EntityInvolvement" href="#EntityInvolvement" class="owlclass">prov:EntityInvolvement</a>
       </dd>
+
       <dt>in range of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#hadUsage" href="#hadUsage">prov:hadUsage</a>
@@ -4056,6 +4510,11 @@
         <a title="http://www.w3.org/ns/prov#qualifiedUsage" href="#qualifiedUsage">prov:qualifiedUsage</a>
         <sup class="type-op" title="object property">op</sup>
       </dd>
+
+      <dt>qualifies</dt>
+      <dd>
+        <a title="http://www.w3.org/ns/prov#used" href="#used" class="owlproperty">prov:used</a>
+      </dd>
     </dl>
   </div>
 </div>
@@ -4068,27 +4527,30 @@
          back to <a href="#prov-qualified-owl-properties-at-a-glance">qualified properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#activity</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#activity</p>
     <div class="description">
-    <div class="comment"><p>The property used by an prov:ActivityInvolvement to cite the Activity that was prov:involved with either an Activity or Entity.</p>
-    </div>
+      <div class="comment"><p>The property used by an prov:ActivityInvolvement to cite the Activity that was prov:involved with either an Activity or Entity.</p>
+      </div>
       <dl>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#ActivityInvolvement" href="#ActivityInvolvement" class="owlclass">prov:ActivityInvolvement</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#ActivityInvolvement" href="#ActivityInvolvement" class="owlclass">prov:ActivityInvolvement</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -4101,31 +4563,35 @@
          back to <a href="#prov-qualified-owl-properties-at-a-glance">qualified properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#agent</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#agent</p>
     <div class="description">
-    <div class="comment"><p>The property used by a prov:AgentInvolvement to cite the Agent that was prov:involved with either an Activity or Entity.</p>
-    </div>
+      <div class="comment"><p>The property used by a prov:AgentInvolvement to cite the Agent that was prov:involved with either an Activity or Entity.</p>
+      </div>
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-alternate">
         <a title="alternate" href="#component-alternate">alternate</a>
       </dd>
-      <dl>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#AgentInvolvement" href="#AgentInvolvement" class="owlclass">prov:AgentInvolvement</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Agent" href="#Agent" class="owlclass">prov:Agent</a>
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#AgentInvolvement" href="#AgentInvolvement" class="owlclass">prov:AgentInvolvement</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Agent" href="#Agent" class="owlclass">prov:Agent</a>
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -4138,32 +4604,34 @@
          back to <a href="#prov-qualified-owl-properties-at-a-glance">qualified properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#atTime</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#atTime</p>
     <div class="description">
+      <p><strong>has characteristics</strong>  Functional       </p>
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-entities-activities">
         <a title="entities-activities" href="#component-entities-activities">entities-activities</a>
       </dd>
-      <p><strong>has characteristics</strong>
-  Functional
-      </p>
-      <dl>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#InstantaneousEvent" href="#InstantaneousEvent" class="owlclass">prov:InstantaneousEvent</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            http://www.w3.org/2001/XMLSchema#dateTime
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#InstantaneousEvent" href="#InstantaneousEvent" class="owlclass">prov:InstantaneousEvent</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              http://www.w3.org/2001/XMLSchema#dateTime
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -4176,27 +4644,30 @@
          back to <a href="#prov-qualified-owl-properties-at-a-glance">qualified properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#entity</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#entity</p>
     <div class="description">
-    <div class="comment"><p>The property used by an prov:EntityInvolvement to cite the Entity that was prov:involved with either an Activity or Entity.</p>
-    </div>
+      <div class="comment"><p>The property used by an prov:EntityInvolvement to cite the Entity that was prov:involved with either an Activity or Entity.</p>
+      </div>
       <dl>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#EntityInvolvement" href="#EntityInvolvement" class="owlclass">prov:EntityInvolvement</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#EntityInvolvement" href="#EntityInvolvement" class="owlclass">prov:EntityInvolvement</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -4209,31 +4680,35 @@
          back to <a href="#prov-qualified-owl-properties-at-a-glance">qualified properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#hadActivity</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#hadActivity</p>
     <div class="description">
-    <div class="comment"><p>The activity generating the derived entity and using the derived-from entity.</p>
-    </div>
+      <div class="comment"><p>The activity generating the derived entity and using the derived-from entity.</p>
+      </div>
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-derivations">
         <a title="derivations" href="#component-derivations">derivations</a>
       </dd>
-      <dl>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Derivation" href="#Derivation" class="owlclass">prov:Derivation</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Derivation" href="#Derivation" class="owlclass">prov:Derivation</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -4246,31 +4721,35 @@
          back to <a href="#prov-qualified-owl-properties-at-a-glance">qualified properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#hadGeneration</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#hadGeneration</p>
     <div class="description">
-    <div class="comment"><p>The generation involving the generated entity and activity.</p>
-    </div>
+      <div class="comment"><p>The generation involving the generated entity and activity.</p>
+      </div>
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-derivations">
         <a title="derivations" href="#component-derivations">derivations</a>
       </dd>
-      <dl>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Derivation" href="#Derivation" class="owlclass">prov:Derivation</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Generation" href="#Generation" class="owlclass">prov:Generation</a>
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Derivation" href="#Derivation" class="owlclass">prov:Derivation</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Generation" href="#Generation" class="owlclass">prov:Generation</a>
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -4283,38 +4762,38 @@
          back to <a href="#prov-qualified-owl-properties-at-a-glance">qualified properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#hadPlan</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#hadPlan</p>
     <div class="description">
-    <div class="comment"><p>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</p>
-    </div>
+      <div class="comment"><p>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</p>
+      </div>
+      <p><strong>has characteristics</strong>  Functional , Asymmetric , Irreflexive       </p>
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-agents-responsibility">
         <a title="agents-responsibility" href="#component-agents-responsibility">agents-responsibility</a>
       </dd>
-      <p><strong>has characteristics</strong>
-  Functional
-, Asymmetric
-, Irreflexive
-      </p>
-      <dl>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Association" href="#Association" class="owlclass">prov:Association</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Plan" href="#Plan" class="owlclass">prov:Plan</a>
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Association" href="#Association" class="owlclass">prov:Association</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Plan" href="#Plan" class="owlclass">prov:Plan</a>
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -4327,31 +4806,35 @@
          back to <a href="#prov-qualified-owl-properties-at-a-glance">qualified properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#hadQuoted</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#hadQuoted</p>
     <div class="description">
-    <div class="comment"><p>The agent who attributed to the original entity.</p>
-    </div>
+      <div class="comment"><p>The agent who attributed to the original entity.</p>
+      </div>
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-derivations">
         <a title="derivations" href="#component-derivations">derivations</a>
       </dd>
-      <dl>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Quotation" href="#Quotation" class="owlclass">prov:Quotation</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Agent" href="#Agent" class="owlclass">prov:Agent</a>
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Quotation" href="#Quotation" class="owlclass">prov:Quotation</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Agent" href="#Agent" class="owlclass">prov:Agent</a>
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -4364,31 +4847,35 @@
          back to <a href="#prov-qualified-owl-properties-at-a-glance">qualified properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#hadQuoter</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#hadQuoter</p>
     <div class="description">
-    <div class="comment"><p>The agent who is doing the quoting.</p>
-    </div>
+      <div class="comment"><p>The agent who is doing the quoting.</p>
+      </div>
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-derivations">
         <a title="derivations" href="#component-derivations">derivations</a>
       </dd>
-      <dl>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Quotation" href="#Quotation" class="owlclass">prov:Quotation</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Agent" href="#Agent" class="owlclass">prov:Agent</a>
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Quotation" href="#Quotation" class="owlclass">prov:Quotation</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Agent" href="#Agent" class="owlclass">prov:Agent</a>
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -4401,38 +4888,40 @@
          back to <a href="#prov-qualified-owl-properties-at-a-glance">qualified properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#hadRole</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#hadRole</p>
     <div class="description">
-    <div class="comment"><p>When an instance of prov:Involvement uses 
+      <div class="comment"><p>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 ].</p>
-    </div>
+      </div>
+      <p><strong>has characteristics</strong> Irreflexive       </p>
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-agents-responsibility">
         <a title="agents-responsibility" href="#component-agents-responsibility">agents-responsibility</a>
       </dd>
-      <p><strong>has characteristics</strong>
- Irreflexive
-      </p>
-      <dl>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Involvement" href="#Involvement" class="owlclass">prov:Involvement</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Role" href="#Role" class="owlclass">prov:Role</a>
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Involvement" href="#Involvement" class="owlclass">prov:Involvement</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Role" href="#Role" class="owlclass">prov:Role</a>
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -4445,31 +4934,35 @@
          back to <a href="#prov-qualified-owl-properties-at-a-glance">qualified properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#hadUsage</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#hadUsage</p>
     <div class="description">
-    <div class="comment"><p>The usage involving the used entity and activity.</p>
-    </div>
+      <div class="comment"><p>The usage involving the used entity and activity.</p>
+      </div>
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-derivations">
         <a title="derivations" href="#component-derivations">derivations</a>
       </dd>
-      <dl>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Derivation" href="#Derivation" class="owlclass">prov:Derivation</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Usage" href="#Usage" class="owlclass">prov:Usage</a>
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Derivation" href="#Derivation" class="owlclass">prov:Derivation</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Usage" href="#Usage" class="owlclass">prov:Usage</a>
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -4482,9 +4975,9 @@
          back to <a href="#prov-qualified-owl-properties-at-a-glance">qualified properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#involved</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#involved</p>
     <div class="description">
-    <div class="comment"><p>Subproperties of prov:involved may be be 
+      <div class="comment"><p>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; 
@@ -4495,37 +4988,39 @@
 
 Subproperties of prov:involved may also be asserted directly without 
 being qualified.</p>
-    </div>
+      </div>
       <dl>
-      <dt>has sub-properties</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#generated" href="#generated" class="owlclass">prov:generated</a>
-          </li>
-          <li>
-            <a title="http://www.w3.org/ns/prov#wasAssociatedWith" href="#wasAssociatedWith" class="owlclass">prov:wasAssociatedWith</a>
-          </li>
-          <li>
-            <a title="http://www.w3.org/ns/prov#wasGeneratedBy" href="#wasGeneratedBy" class="owlclass">prov:wasGeneratedBy</a>
-          </li>
-          <li>
-            <a title="http://www.w3.org/ns/prov#tracedTo" href="#tracedTo" class="owlclass">prov:tracedTo</a>
-          </li>
-          <li>
-            <a title="http://www.w3.org/ns/prov#used" href="#used" class="owlclass">prov:used</a>
-          </li>
-          <li>
-            <a title="http://www.w3.org/ns/prov#actedOnBehalfOf" href="#actedOnBehalfOf" class="owlclass">prov:actedOnBehalfOf</a>
-          </li>
-          <li>
-            <a title="http://www.w3.org/ns/prov#wasStartedByActivity" href="#wasStartedByActivity" class="owlclass">prov:wasStartedByActivity</a>
-          </li>
-          <li>
-            <a title="http://www.w3.org/ns/prov#wasInformedBy" href="#wasInformedBy" class="owlclass">prov:wasInformedBy</a>
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has sub-properties</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#actedOnBehalfOf" href="#actedOnBehalfOf" class="owlclass">prov:actedOnBehalfOf</a>
+            </li>
+            <li>
+              <a title="http://www.w3.org/ns/prov#wasStartedByActivity" href="#wasStartedByActivity" class="owlclass">prov:wasStartedByActivity</a>
+            </li>
+            <li>
+              <a title="http://www.w3.org/ns/prov#wasInformedBy" href="#wasInformedBy" class="owlclass">prov:wasInformedBy</a>
+            </li>
+            <li>
+              <a title="http://www.w3.org/ns/prov#tracedTo" href="#tracedTo" class="owlclass">prov:tracedTo</a>
+            </li>
+            <li>
+              <a title="http://www.w3.org/ns/prov#generated" href="#generated" class="owlclass">prov:generated</a>
+            </li>
+            <li>
+              <a title="http://www.w3.org/ns/prov#wasAssociatedWith" href="#wasAssociatedWith" class="owlclass">prov:wasAssociatedWith</a>
+            </li>
+            <li>
+              <a title="http://www.w3.org/ns/prov#wasGeneratedBy" href="#wasGeneratedBy" class="owlclass">prov:wasGeneratedBy</a>
+            </li>
+            <li>
+              <a title="http://www.w3.org/ns/prov#used" href="#used" class="owlclass">prov:used</a>
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -4538,37 +5033,44 @@
          back to <a href="#prov-qualified-owl-properties-at-a-glance">qualified properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#qualifiedAssociation</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#qualifiedAssociation</p>
     <div class="description">
-    <div class="comment"><p>If this Activity prov:wasAssociatedWith 
+      <div class="comment"><p>If this Activity prov:wasAssociatedWith 
 Agent :ag, then it can qualify the Association using 
 prov:qualifiedAssociation [ a prov:Association;  prov:agent :ag; :foo 
 :bar ].</p>
-    </div>
+      </div>
+      <p><strong>has characteristics</strong> Inverse Functional       </p>
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-agents-responsibility">
         <a title="agents-responsibility" href="#component-agents-responsibility">agents-responsibility</a>
       </dd>
-      <p><strong>has characteristics</strong>
- Inverse Functional
-      </p>
-      <dl>
-      <dt>has domain</dt>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Association" href="#Association" class="owlclass">prov:Association</a>
+            </li>
+          </ul>
+        </dd>
+
+      <dt>qualifies</dt>
       <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Association" href="#Association" class="owlclass">prov:Association</a>
-          </li>
-        </ul>
-      </dd>
+        <a title="http://www.w3.org/ns/prov#wasAssociatedWith" href="#wasAssociatedWith" class="owlproperty">prov:wasAssociatedWith</a>
+      </dd>
+
       </dl>
     </div>
   </div>
@@ -4581,36 +5083,43 @@
          back to <a href="#prov-qualified-owl-properties-at-a-glance">qualified properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#qualifiedAttribution</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#qualifiedAttribution</p>
     <div class="description">
-    <div class="comment"><p>If this Entity prov:wasAttributedTo Agent 
+      <div class="comment"><p>If this Entity prov:wasAttributedTo Agent 
 :ag, then it can qualify how it was  using prov:qualifiedAttribution [ a
  prov:Attribution;  prov:agent :ag; :foo :bar ].</p>
-    </div>
+      </div>
+      <p><strong>has characteristics</strong> Inverse Functional       </p>
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-agents-responsibility">
         <a title="agents-responsibility" href="#component-agents-responsibility">agents-responsibility</a>
       </dd>
-      <p><strong>has characteristics</strong>
- Inverse Functional
-      </p>
-      <dl>
-      <dt>has domain</dt>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Attribution" href="#Attribution" class="owlclass">prov:Attribution</a>
+            </li>
+          </ul>
+        </dd>
+
+      <dt>qualifies</dt>
       <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Attribution" href="#Attribution" class="owlclass">prov:Attribution</a>
-          </li>
-        </ul>
-      </dd>
+        <a title="http://www.w3.org/ns/prov#wasAttributedTo" href="#wasAttributedTo" class="owlproperty">prov:wasAttributedTo</a>
+      </dd>
+
       </dl>
     </div>
   </div>
@@ -4623,36 +5132,47 @@
          back to <a href="#prov-qualified-owl-properties-at-a-glance">qualified properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#qualifiedCommunication</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#qualifiedCommunication</p>
     <div class="description">
-    <div class="comment"><p>If this Activity prov:wasInformedBy Activity
- :a, then it can qualify how it was Inform[ed] using 
+      <div class="comment"><p>If this Activity prov:wasInformedBy 
+Activity :a, then it can qualify how it was Inform[ed] using 
 prov:qualifiedInform [ a prov:Inform;  prov:activity :a; :foo :bar ].</p>
-    </div>
+      </div>
+      <p><strong>has characteristics</strong> Inverse Functional       </p>
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-entities-activities">
         <a title="entities-activities" href="#component-entities-activities">entities-activities</a>
       </dd>
-      <p><strong>has characteristics</strong>
- Inverse Functional
-      </p>
-      <dl>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Communication" href="#Communication" class="owlclass">prov:Communication</a>
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Communication" href="#Communication" class="owlclass">prov:Communication</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>can be qualified with</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Communication" href="#Communication" class="owlclass">prov:Communication</a>
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -4665,37 +5185,44 @@
          back to <a href="#prov-qualified-owl-properties-at-a-glance">qualified properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#qualifiedDerivation</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#qualifiedDerivation</p>
     <div class="description">
-    <div class="comment"><p>If this Entity prov:wasDerivedFrom Entity 
+      <div class="comment"><p>If this Entity prov:wasDerivedFrom Entity 
 :e, then it can qualify how it was derived using 
 prov:qualifiedDerivation [ a prov:Derivation;  prov:entity :e; :foo :bar
  ].</p>
-    </div>
+      </div>
+      <p><strong>has characteristics</strong> Inverse Functional       </p>
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-derivations">
         <a title="derivations" href="#component-derivations">derivations</a>
       </dd>
-      <p><strong>has characteristics</strong>
- Inverse Functional
-      </p>
-      <dl>
-      <dt>has domain</dt>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Derivation" href="#Derivation" class="owlclass">prov:Derivation</a>
+            </li>
+          </ul>
+        </dd>
+
+      <dt>qualifies</dt>
       <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Derivation" href="#Derivation" class="owlclass">prov:Derivation</a>
-          </li>
-        </ul>
-      </dd>
+        <a title="http://www.w3.org/ns/prov#wasDerivedFrom" href="#wasDerivedFrom" class="owlproperty">prov:wasDerivedFrom</a>
+      </dd>
+
       </dl>
     </div>
   </div>
@@ -4708,36 +5235,43 @@
          back to <a href="#prov-qualified-owl-properties-at-a-glance">qualified properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#qualifiedEnd</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#qualifiedEnd</p>
     <div class="description">
-    <div class="comment"><p>If this Activity prov:wasEndedBy Agent :ag, 
-then it can qualify how it was ended using prov:qualifiedEnd [ a 
+      <div class="comment"><p>If this Activity prov:wasEndedBy Agent 
+:ag, then it can qualify how it was ended using prov:qualifiedEnd [ a 
 prov:End;  prov:agent :ag; :foo :bar ].</p>
-    </div>
+      </div>
+      <p><strong>has characteristics</strong> Inverse Functional       </p>
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-entities-activities">
         <a title="entities-activities" href="#component-entities-activities">entities-activities</a>
       </dd>
-      <p><strong>has characteristics</strong>
- Inverse Functional
-      </p>
-      <dl>
-      <dt>has domain</dt>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#End" href="#End" class="owlclass">prov:End</a>
+            </li>
+          </ul>
+        </dd>
+
+      <dt>qualifies</dt>
       <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#End" href="#End" class="owlclass">prov:End</a>
-          </li>
-        </ul>
-      </dd>
+        <a title="http://www.w3.org/ns/prov#wasEndedBy" href="#wasEndedBy" class="owlproperty">prov:wasEndedBy</a>
+      </dd>
+
       </dl>
     </div>
   </div>
@@ -4750,37 +5284,44 @@
          back to <a href="#prov-qualified-owl-properties-at-a-glance">qualified properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#qualifiedGeneration</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#qualifiedGeneration</p>
     <div class="description">
-    <div class="comment"><p>If this Activity prov:generated Entity :e, 
-then it can qualify how it did performed the Generation using 
+      <div class="comment"><p>If this Activity prov:generated Entity :e,
+ then it can qualify how it did performed the Generation using 
 prov:qualifiedGeneration [ a prov:Generation;  prov:entity :e; :foo :bar
  ].</p>
-    </div>
+      </div>
+      <p><strong>has characteristics</strong> Inverse Functional       </p>
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-entities-activities">
         <a title="entities-activities" href="#component-entities-activities">entities-activities</a>
       </dd>
-      <p><strong>has characteristics</strong>
- Inverse Functional
-      </p>
-      <dl>
-      <dt>has domain</dt>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Generation" href="#Generation" class="owlclass">prov:Generation</a>
+            </li>
+          </ul>
+        </dd>
+
+      <dt>qualifies</dt>
       <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Generation" href="#Generation" class="owlclass">prov:Generation</a>
-          </li>
-        </ul>
-      </dd>
+        <a title="http://www.w3.org/ns/prov#wasGeneratedBy" href="#wasGeneratedBy" class="owlproperty">prov:wasGeneratedBy</a>
+      </dd>
+
       </dl>
     </div>
   </div>
@@ -4793,36 +5334,43 @@
          back to <a href="#prov-qualified-owl-properties-at-a-glance">qualified properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#qualifiedQuotation</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#qualifiedQuotation</p>
     <div class="description">
-    <div class="comment"><p>If this Entity prov:wasQuotedFrom Entity :e,
- then it can qualify how using prov:qualifiedQuotation [ a 
+      <div class="comment"><p>If this Entity prov:wasQuotedFrom Entity 
+:e, then it can qualify how using prov:qualifiedQuotation [ a 
 prov:Quotation;  prov:entity :e; :foo :bar ].</p>
-    </div>
+      </div>
+      <p><strong>has characteristics</strong> Inverse Functional       </p>
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-derivations">
         <a title="derivations" href="#component-derivations">derivations</a>
       </dd>
-      <p><strong>has characteristics</strong>
- Inverse Functional
-      </p>
-      <dl>
-      <dt>has domain</dt>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Quotation" href="#Quotation" class="owlclass">prov:Quotation</a>
+            </li>
+          </ul>
+        </dd>
+
+      <dt>qualifies</dt>
       <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Quotation" href="#Quotation" class="owlclass">prov:Quotation</a>
-          </li>
-        </ul>
-      </dd>
+        <a title="http://www.w3.org/ns/prov#wasQuotedFrom" href="#wasQuotedFrom" class="owlproperty">prov:wasQuotedFrom</a>
+      </dd>
+
       </dl>
     </div>
   </div>
@@ -4835,36 +5383,43 @@
          back to <a href="#prov-qualified-owl-properties-at-a-glance">qualified properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#qualifiedResponsibility</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#qualifiedResponsibility</p>
     <div class="description">
-    <div class="comment"><p>If this Agent prov:actedOnBehalfOf Agent 
+      <div class="comment"><p>If this Agent prov:actedOnBehalfOf Agent 
 :ag, then it can qualify how with prov:qualifiedResponsibility [ a 
 prov:Responsibility;  prov:agent :ag; :foo :bar ].</p>
-    </div>
+      </div>
+      <p><strong>has characteristics</strong> Inverse Functional       </p>
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-agents-responsibility">
         <a title="agents-responsibility" href="#component-agents-responsibility">agents-responsibility</a>
       </dd>
-      <p><strong>has characteristics</strong>
- Inverse Functional
-      </p>
-      <dl>
-      <dt>has domain</dt>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Agent" href="#Agent" class="owlclass">prov:Agent</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Responsibility" href="#Responsibility" class="owlclass">prov:Responsibility</a>
+            </li>
+          </ul>
+        </dd>
+
+      <dt>qualifies</dt>
       <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Agent" href="#Agent" class="owlclass">prov:Agent</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Responsibility" href="#Responsibility" class="owlclass">prov:Responsibility</a>
-          </li>
-        </ul>
-      </dd>
+        <a title="http://www.w3.org/ns/prov#actedOnBehalfOf" href="#actedOnBehalfOf" class="owlproperty">prov:actedOnBehalfOf</a>
+      </dd>
+
       </dl>
     </div>
   </div>
@@ -4877,36 +5432,43 @@
          back to <a href="#prov-qualified-owl-properties-at-a-glance">qualified properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#qualifiedRevision</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#qualifiedRevision</p>
     <div class="description">
-    <div class="comment"><p>If this Entity prov:wasRevisionOf Entity :e,
- then it can qualify how it was  revised using prov:qualifiedRevision [ a
- prov:Revision;  prov:entity :e; :foo :bar ].</p>
-    </div>
+      <div class="comment"><p>If this Entity prov:wasRevisionOf Entity 
+:e, then it can qualify how it was  revised using prov:qualifiedRevision
+ [ a prov:Revision;  prov:entity :e; :foo :bar ].</p>
+      </div>
+      <p><strong>has characteristics</strong> Inverse Functional       </p>
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-derivations">
         <a title="derivations" href="#component-derivations">derivations</a>
       </dd>
-      <p><strong>has characteristics</strong>
- Inverse Functional
-      </p>
-      <dl>
-      <dt>has domain</dt>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Revision" href="#Revision" class="owlclass">prov:Revision</a>
+            </li>
+          </ul>
+        </dd>
+
+      <dt>qualifies</dt>
       <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Revision" href="#Revision" class="owlclass">prov:Revision</a>
-          </li>
-        </ul>
-      </dd>
+        <a title="http://www.w3.org/ns/prov#wasRevisionOf" href="#wasRevisionOf" class="owlproperty">prov:wasRevisionOf</a>
+      </dd>
+
       </dl>
     </div>
   </div>
@@ -4919,36 +5481,43 @@
          back to <a href="#prov-qualified-owl-properties-at-a-glance">qualified properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#qualifiedSource</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#qualifiedSource</p>
     <div class="description">
-    <div class="comment"><p>If this Entity prov:hadOriginalSource Entity
- :e, then it can qualify how using prov:qualifiedSource [ a prov:Source;
- prov:entity :e; :foo :bar ].</p>
-    </div>
+      <div class="comment"><p>If this Entity prov:hadOriginalSource 
+Entity :e, then it can qualify how using prov:qualifiedSource [ a 
+prov:Source; prov:entity :e; :foo :bar ].</p>
+      </div>
+      <p><strong>has characteristics</strong> Inverse Functional       </p>
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-derivations">
         <a title="derivations" href="#component-derivations">derivations</a>
       </dd>
-      <p><strong>has characteristics</strong>
- Inverse Functional
-      </p>
-      <dl>
-      <dt>has domain</dt>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Source" href="#Source" class="owlclass">prov:Source</a>
+            </li>
+          </ul>
+        </dd>
+
+      <dt>qualifies</dt>
       <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Source" href="#Source" class="owlclass">prov:Source</a>
-          </li>
-        </ul>
-      </dd>
+        <a title="http://www.w3.org/ns/prov#hadOriginalSource" href="#hadOriginalSource" class="owlproperty">prov:hadOriginalSource</a>
+      </dd>
+
       </dl>
     </div>
   </div>
@@ -4961,36 +5530,43 @@
          back to <a href="#prov-qualified-owl-properties-at-a-glance">qualified properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#qualifiedStart</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#qualifiedStart</p>
     <div class="description">
-    <div class="comment"><p>If this Activity prov:wasStartedBy Agent 
+      <div class="comment"><p>If this Activity prov:wasStartedBy Agent 
 :ag, then it can qualify how it was started using prov:qualifiedStart [ a
  prov:Start;  prov:agent :ag; :foo :bar ].</p>
-    </div>
+      </div>
+      <p><strong>has characteristics</strong> Inverse Functional       </p>
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-entities-activities">
         <a title="entities-activities" href="#component-entities-activities">entities-activities</a>
       </dd>
-      <p><strong>has characteristics</strong>
- Inverse Functional
-      </p>
-      <dl>
-      <dt>has domain</dt>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Start" href="#Start" class="owlclass">prov:Start</a>
+            </li>
+          </ul>
+        </dd>
+
+      <dt>qualifies</dt>
       <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Start" href="#Start" class="owlclass">prov:Start</a>
-          </li>
-        </ul>
-      </dd>
+        <a title="http://www.w3.org/ns/prov#wasStartedBy" href="#wasStartedBy" class="owlproperty">prov:wasStartedBy</a>
+      </dd>
+
       </dl>
     </div>
   </div>
@@ -5003,36 +5579,43 @@
          back to <a href="#prov-qualified-owl-properties-at-a-glance">qualified properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#qualifiedStartByActivity</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#qualifiedStartByActivity</p>
     <div class="description">
-    <div class="comment"><p>If this Activity prov:wasStartedByActivity 
-:a, then it can qualify how it was started using prov:qualifiedStart [ a
+      <div class="comment"><p>If this Activity prov:wasStartedByActivity
+ :a, then it can qualify how it was started using prov:qualifiedStart [ a
  prov:Start;  prov:activity :a; :foo :bar ].</p>
-    </div>
+      </div>
+      <p><strong>has characteristics</strong> Inverse Functional       </p>
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-entities-activities">
         <a title="entities-activities" href="#component-entities-activities">entities-activities</a>
       </dd>
-      <p><strong>has characteristics</strong>
- Inverse Functional
-      </p>
-      <dl>
-      <dt>has domain</dt>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#StartByActivity" href="#StartByActivity" class="owlclass">prov:StartByActivity</a>
+            </li>
+          </ul>
+        </dd>
+
+      <dt>qualifies</dt>
       <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#StartByActivity" href="#StartByActivity" class="owlclass">prov:StartByActivity</a>
-          </li>
-        </ul>
-      </dd>
+        <a title="http://www.w3.org/ns/prov#wasStartedByActivity" href="#wasStartedByActivity" class="owlproperty">prov:wasStartedByActivity</a>
+      </dd>
+
       </dl>
     </div>
   </div>
@@ -5045,38 +5628,45 @@
          back to <a href="#prov-qualified-owl-properties-at-a-glance">qualified properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#qualifiedTrace</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#qualifiedTrace</p>
     <div class="description">
-    <div class="comment"><p>If this prov:wasAttributedTo Entity :e, then
- it can qualify how using prov:qualifiedTrace [ a prov:Trace;  
+      <div class="comment"><p>If this prov:wasAttributedTo Entity :e, 
+then it can qualify how using prov:qualifiedTrace [ a prov:Trace;  
 prov:entity :e; :foo :bar ]. If this prov:wasAttributedTo Activity :a, 
 then it can qualify how using prov:qualifiedTrace [ a prov:Trace;  
 prov:activity :a; :foo :bar ].</p>
-    </div>
+      </div>
+      <p><strong>has characteristics</strong> Inverse Functional       </p>
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-derivations">
         <a title="derivations" href="#component-derivations">derivations</a>
       </dd>
-      <p><strong>has characteristics</strong>
- Inverse Functional
-      </p>
-      <dl>
-      <dt>has domain</dt>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Trace" href="#Trace" class="owlclass">prov:Trace</a>
+            </li>
+          </ul>
+        </dd>
+
+      <dt>qualifies</dt>
       <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Trace" href="#Trace" class="owlclass">prov:Trace</a>
-          </li>
-        </ul>
-      </dd>
+        <a title="http://www.w3.org/ns/prov#tracedTo" href="#tracedTo" class="owlproperty">prov:tracedTo</a>
+      </dd>
+
       </dl>
     </div>
   </div>
@@ -5089,36 +5679,43 @@
          back to <a href="#prov-qualified-owl-properties-at-a-glance">qualified properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#qualifiedUsage</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#qualifiedUsage</p>
     <div class="description">
-    <div class="comment"><p>If this Activity prov:used Entity :e, then 
-it can qualify how it used it using prov:qualifiedUsage [ a prov:Usage; 
-prov:entity :e; :foo :bar ].</p>
-    </div>
+      <div class="comment"><p>If this Activity prov:used Entity :e, then
+ it can qualify how it used it using prov:qualifiedUsage [ a prov:Usage;
+ prov:entity :e; :foo :bar ].</p>
+      </div>
+      <p><strong>has characteristics</strong> Inverse Functional       </p>
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-entities-activities">
         <a title="entities-activities" href="#component-entities-activities">entities-activities</a>
       </dd>
-      <p><strong>has characteristics</strong>
- Inverse Functional
-      </p>
-      <dl>
-      <dt>has domain</dt>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Usage" href="#Usage" class="owlclass">prov:Usage</a>
+            </li>
+          </ul>
+        </dd>
+
+      <dt>qualifies</dt>
       <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Usage" href="#Usage" class="owlclass">prov:Usage</a>
-          </li>
-        </ul>
-      </dd>
+        <a title="http://www.w3.org/ns/prov#used" href="#used" class="owlproperty">prov:used</a>
+      </dd>
+
       </dl>
     </div>
   </div>
@@ -5131,31 +5728,35 @@
          back to <a href="#prov-qualified-owl-properties-at-a-glance">qualified properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#responsibleForActivity</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#responsibleForActivity</p>
     <div class="description">
-    <div class="comment"><p>An activity for which the responsibility chain holds.</p>
-    </div>
+      <div class="comment"><p>An activity for which the responsibility chain holds.</p>
+      </div>
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-entities-activities">
         <a title="entities-activities" href="#component-entities-activities">entities-activities</a>
       </dd>
-      <dl>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Responsibility" href="#Responsibility" class="owlclass">prov:Responsibility</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Responsibility" href="#Responsibility" class="owlclass">prov:Responsibility</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Activity" href="#Activity" class="owlclass">prov:Activity</a>
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -5241,25 +5842,32 @@
          back to <a href="#prov-collections-owl-classes-at-a-glance">collections classes</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Collection</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Collection</p>
+    <div class="definition"><p>A collection is an entity that provides a
+ structure to some constituents, which are themselves entities. These 
+constituents are said to be member of the collections.</p>
+    </div>
+    <dl class="description">
+    <div class="comment"><p>A given collection forms a given structure 
+for its members. A different structure (obtained either by insertion or 
+removal of members) constitutes a different collection.</p>
+    </div>
     <div class="comment"><p>This concept allows for the provenance of 
 the collection, but also of its constituents to be expressed. Such a 
 notion of collection corresponds to a wide variety of concrete data 
 structures, such as a maps, dictionaries, or associative arrays.</p>
     </div>
-    <div class="comment"><p>A given collection forms a given structure 
-for its members. A different structure (obtained either by insertion or 
-removal of members) constitutes a different collection.</p>
-    </div>
-    <dl class="description">
+
       <dt>in PROV component</dt>
       <dd class="component-collections">
         <a title="collections" href="#component-collections">collections</a>
       </dd>
+
       <dt>is subclass of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
       </dd>
+
       <dt>in domain of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#derivedByInsertionFrom" href="#derivedByInsertionFrom">prov:derivedByInsertionFrom</a>
@@ -5273,6 +5881,7 @@
         <a title="http://www.w3.org/ns/prov#knownMembership" href="#knownMembership">prov:knownMembership</a>
         <sup class="type-op" title="object property">op</sup>
       </dd>
+
       <dt>in range of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#derivedByInsertionFrom" href="#derivedByInsertionFrom">prov:derivedByInsertionFrom</a>
@@ -5282,6 +5891,7 @@
         <a title="http://www.w3.org/ns/prov#derivedByRemovalFrom" href="#derivedByRemovalFrom">prov:derivedByRemovalFrom</a>
         <sup class="type-op" title="object property">op</sup>
       </dd>
+
       <dt>has subclass</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#EmptyCollection" href="#EmptyCollection" class="owlclass">prov:EmptyCollection</a>
@@ -5296,21 +5906,25 @@
          back to <a href="#prov-collections-owl-classes-at-a-glance">collections classes</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#CollectionInvolvement</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#CollectionInvolvement</p>
     <dl class="description">
+
       <dt>in PROV component</dt>
       <dd class="component-collections">
         <a title="collections" href="#component-collections">collections</a>
       </dd>
+
       <dt>is subclass of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#Involvement" href="#Involvement" class="owlclass">prov:Involvement</a>
       </dd>
+
       <dt>in domain of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#collection" href="#collection">prov:collection</a>
         <sup class="type-op" title="object property">op</sup>
       </dd>
+
       <dt>has subclasses</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#Insertion" href="#Insertion" class="owlclass">prov:Insertion</a>
@@ -5326,12 +5940,14 @@
          back to <a href="#prov-collections-owl-classes-at-a-glance">collections classes</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#EmptyCollection</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#EmptyCollection</p>
     <dl class="description">
+
       <dt>in PROV component</dt>
       <dd class="component-collections">
         <a title="collections" href="#component-collections">collections</a>
       </dd>
+
       <dt>is subclass of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#Collection" href="#Collection" class="owlclass">prov:Collection</a>
@@ -5346,26 +5962,37 @@
          back to <a href="#prov-collections-owl-classes-at-a-glance">collections classes</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Insertion</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Insertion</p>
+    <div class="definition"><p>Insertion is a derivation that transforms a collection into another, by insertion of one or more key-value pairs.</p>
+    </div>
     <dl class="description">
+
       <dt>in PROV component</dt>
       <dd class="component-collections">
         <a title="collections" href="#component-collections">collections</a>
       </dd>
+
       <dt>is subclass of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#CollectionInvolvement" href="#CollectionInvolvement" class="owlclass">prov:CollectionInvolvement</a>
       </dd>
+
       <dt>in domain of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#inserted" href="#inserted">prov:inserted</a>
         <sup class="type-op" title="object property">op</sup>
       </dd>
+
       <dt>in range of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#qualifiedInsertion" href="#qualifiedInsertion">prov:qualifiedInsertion</a>
         <sup class="type-op" title="object property">op</sup>
       </dd>
+
+      <dt>qualifies</dt>
+      <dd>
+        <a title="http://www.w3.org/ns/prov#derivedByInsertionFrom" href="#derivedByInsertionFrom" class="owlproperty">prov:derivedByInsertionFrom</a>
+      </dd>
     </dl>
   </div>
 
@@ -5376,17 +6003,19 @@
          back to <a href="#prov-collections-owl-classes-at-a-glance">collections classes</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#KeyValuePair</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#KeyValuePair</p>
+    <dl class="description">
     <div class="comment"><p>A key-value pair. Part of a prov:Collection through prov:Membership. The key is any RDF Literal, the value is a prov:Entity.</p>
     </div>
-    <dl class="description">
+
       <dt>in domain of</dt>
       <dd>
+        <a title="http://www.w3.org/ns/prov#value" href="#value">prov:value</a>
+        <sup class="type-op" title="object property">op</sup>
         <a title="http://www.w3.org/ns/prov#key" href="#key">prov:key</a>
         <sup class="type-dp" title="data property">dp</sup>
-        <a title="http://www.w3.org/ns/prov#value" href="#value">prov:value</a>
-        <sup class="type-op" title="object property">op</sup>
-      </dd>
+      </dd>
+
       <dt>in range of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#member" href="#member">prov:member</a>
@@ -5404,26 +6033,34 @@
          back to <a href="#prov-collections-owl-classes-at-a-glance">collections classes</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Membership</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Membership</p>
+    <dl class="description">
     <div class="comment"><p>Described members of a collection, in the 
 form of key-value pairs. The Membership resource can also be annotated 
 with attributes.</p>
     </div>
-    <dl class="description">
+
       <dt>in PROV component</dt>
       <dd class="component-collections">
         <a title="collections" href="#component-collections">collections</a>
       </dd>
+
       <dt>in domain of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#member" href="#member">prov:member</a>
         <sup class="type-op" title="object property">op</sup>
       </dd>
+
       <dt>in range of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#knownMembership" href="#knownMembership">prov:knownMembership</a>
         <sup class="type-op" title="object property">op</sup>
       </dd>
+
+      <dt>qualifies</dt>
+      <dd>
+        <a title="http://www.w3.org/ns/prov#knownMembership" href="#knownMembership" class="owlproperty">prov:knownMembership</a>
+      </dd>
     </dl>
   </div>
 
@@ -5434,26 +6071,37 @@
          back to <a href="#prov-collections-owl-classes-at-a-glance">collections classes</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Removal</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#Removal</p>
+    <div class="definition"><p>Removal is a derivation that transforms a collection into another, by removing one or more key-value pairs.</p>
+    </div>
     <dl class="description">
+
       <dt>in PROV component</dt>
       <dd class="component-collections">
         <a title="collections" href="#component-collections">collections</a>
       </dd>
+
       <dt>is subclass of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#CollectionInvolvement" href="#CollectionInvolvement" class="owlclass">prov:CollectionInvolvement</a>
       </dd>
+
       <dt>in domain of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#removedKey" href="#removedKey">prov:removedKey</a>
         <sup class="type-dp" title="data property">dp</sup>
       </dd>
+
       <dt>in range of</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#qualifiedRemoval" href="#qualifiedRemoval">prov:qualifiedRemoval</a>
         <sup class="type-op" title="object property">op</sup>
       </dd>
+
+      <dt>qualifies</dt>
+      <dd>
+        <a title="http://www.w3.org/ns/prov#derivedByRemovalFrom" href="#derivedByRemovalFrom" class="owlproperty">prov:derivedByRemovalFrom</a>
+      </dd>
     </dl>
   </div>
 </div>
@@ -5466,29 +6114,33 @@
          back to <a href="#prov-collections-owl-properties-at-a-glance">collections properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#collection</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#collection</p>
     <div class="description">
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-collections">
         <a title="collections" href="#component-collections">collections</a>
       </dd>
-      <dl>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#CollectionInvolvement" href="#CollectionInvolvement" class="owlclass">prov:CollectionInvolvement</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Collection" href="#Collection" class="owlclass">prov:Collection</a>
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#CollectionInvolvement" href="#CollectionInvolvement" class="owlclass">prov:CollectionInvolvement</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Collection" href="#Collection" class="owlclass">prov:Collection</a>
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -5501,41 +6153,58 @@
          back to <a href="#prov-collections-owl-properties-at-a-glance">collections properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#derivedByInsertionFrom</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#derivedByInsertionFrom</p>
     <div class="description">
-    <div class="comment"><p>The collection was derived from the other by
- insertion. prov:qualifiedInsertion shows details of the insertion, in 
-particular the inserted key-value pairs.</p>
-    </div>
+      <div class="comment"><p>The collection was derived from the other 
+by insertion. prov:qualifiedInsertion shows details of the insertion, in
+ particular the inserted key-value pairs.</p>
+      </div>
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-collections">
         <a title="collections" href="#component-collections">collections</a>
       </dd>
-      <dl>
-      <dt>has super-properties</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#wasDerivedFrom" href="#wasDerivedFrom" class="owlclass">prov:wasDerivedFrom</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Collection" href="#Collection" class="owlclass">prov:Collection</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Collection" href="#Collection" class="owlclass">prov:Collection</a>
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has super-properties</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#wasDerivedFrom" href="#wasDerivedFrom" class="owlclass">prov:wasDerivedFrom</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Collection" href="#Collection" class="owlclass">prov:Collection</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Collection" href="#Collection" class="owlclass">prov:Collection</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>can be qualified with</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#qualifiedInsertion" href="#qualifiedInsertion" class="owlproperty">prov:qualifiedInsertion</a>
+            </li>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Insertion" href="#Insertion" class="owlclass">prov:Insertion</a>
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -5548,41 +6217,58 @@
          back to <a href="#prov-collections-owl-properties-at-a-glance">collections properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#derivedByRemovalFrom</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#derivedByRemovalFrom</p>
     <div class="description">
-    <div class="comment"><p>The collection was derived from the other by
- removal. prov:qualifiedRemoval shows details of the removal, in 
+      <div class="comment"><p>The collection was derived from the other 
+by removal. prov:qualifiedRemoval shows details of the removal, in 
 particular the removed key-value pairs.</p>
-    </div>
+      </div>
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-collections">
         <a title="collections" href="#component-collections">collections</a>
       </dd>
-      <dl>
-      <dt>has super-properties</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#wasDerivedFrom" href="#wasDerivedFrom" class="owlclass">prov:wasDerivedFrom</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Collection" href="#Collection" class="owlclass">prov:Collection</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Collection" href="#Collection" class="owlclass">prov:Collection</a>
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has super-properties</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#wasDerivedFrom" href="#wasDerivedFrom" class="owlclass">prov:wasDerivedFrom</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Collection" href="#Collection" class="owlclass">prov:Collection</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Collection" href="#Collection" class="owlclass">prov:Collection</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>can be qualified with</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#qualifiedRemoval" href="#qualifiedRemoval" class="owlproperty">prov:qualifiedRemoval</a>
+            </li>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Removal" href="#Removal" class="owlclass">prov:Removal</a>
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -5595,29 +6281,33 @@
          back to <a href="#prov-collections-owl-properties-at-a-glance">collections properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#inserted</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#inserted</p>
     <div class="description">
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-collections">
         <a title="collections" href="#component-collections">collections</a>
       </dd>
-      <dl>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Insertion" href="#Insertion" class="owlclass">prov:Insertion</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#KeyValuePair" href="#KeyValuePair" class="owlclass">prov:KeyValuePair</a>
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Insertion" href="#Insertion" class="owlclass">prov:Insertion</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#KeyValuePair" href="#KeyValuePair" class="owlclass">prov:KeyValuePair</a>
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -5630,32 +6320,34 @@
          back to <a href="#prov-collections-owl-properties-at-a-glance">collections properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#key</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#key</p>
     <div class="description">
+      <p><strong>has characteristics</strong>  Functional       </p>
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-collections">
         <a title="collections" href="#component-collections">collections</a>
       </dd>
-      <p><strong>has characteristics</strong>
-  Functional
-      </p>
-      <dl>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#KeyValuePair" href="#KeyValuePair" class="owlclass">prov:KeyValuePair</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            http://www.w3.org/2000/01/rdf-schema#Literal
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#KeyValuePair" href="#KeyValuePair" class="owlclass">prov:KeyValuePair</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              http://www.w3.org/2000/01/rdf-schema#Literal
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -5668,31 +6360,35 @@
          back to <a href="#prov-collections-owl-properties-at-a-glance">collections properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#knownMembership</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#knownMembership</p>
     <div class="description">
-    <div class="comment"><p>The collection included the specified membership of keys-values.</p>
-    </div>
+      <div class="comment"><p>The collection included the specified membership of keys-values.</p>
+      </div>
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-collections">
         <a title="collections" href="#component-collections">collections</a>
       </dd>
-      <dl>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Collection" href="#Collection" class="owlclass">prov:Collection</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Membership" href="#Membership" class="owlclass">prov:Membership</a>
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Collection" href="#Collection" class="owlclass">prov:Collection</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Membership" href="#Membership" class="owlclass">prov:Membership</a>
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -5705,31 +6401,35 @@
          back to <a href="#prov-collections-owl-properties-at-a-glance">collections properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#member</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#member</p>
     <div class="description">
-    <div class="comment"><p>The key-value pair was part of the membership. A membership can have multiple members.</p>
-    </div>
+      <div class="comment"><p>The key-value pair was part of the membership. A membership can have multiple members.</p>
+      </div>
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-collections">
         <a title="collections" href="#component-collections">collections</a>
       </dd>
-      <dl>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Membership" href="#Membership" class="owlclass">prov:Membership</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#KeyValuePair" href="#KeyValuePair" class="owlclass">prov:KeyValuePair</a>
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Membership" href="#Membership" class="owlclass">prov:Membership</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#KeyValuePair" href="#KeyValuePair" class="owlclass">prov:KeyValuePair</a>
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -5742,29 +6442,38 @@
          back to <a href="#prov-collections-owl-properties-at-a-glance">collections properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#qualifiedInsertion</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#qualifiedInsertion</p>
     <div class="description">
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-collections">
         <a title="collections" href="#component-collections">collections</a>
       </dd>
-      <dl>
-      <dt>has domain</dt>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Collection" href="#Collection" class="owlclass">prov:Collection</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Insertion" href="#Insertion" class="owlclass">prov:Insertion</a>
+            </li>
+          </ul>
+        </dd>
+
+      <dt>qualifies</dt>
       <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Collection" href="#Collection" class="owlclass">prov:Collection</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Insertion" href="#Insertion" class="owlclass">prov:Insertion</a>
-          </li>
-        </ul>
-      </dd>
+        <a title="http://www.w3.org/ns/prov#derivedByInsertionFrom" href="#derivedByInsertionFrom" class="owlproperty">prov:derivedByInsertionFrom</a>
+      </dd>
+
       </dl>
     </div>
   </div>
@@ -5777,29 +6486,38 @@
          back to <a href="#prov-collections-owl-properties-at-a-glance">collections properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#qualifiedRemoval</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#qualifiedRemoval</p>
     <div class="description">
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-collections">
         <a title="collections" href="#component-collections">collections</a>
       </dd>
-      <dl>
-      <dt>has domain</dt>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Collection" href="#Collection" class="owlclass">prov:Collection</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Removal" href="#Removal" class="owlclass">prov:Removal</a>
+            </li>
+          </ul>
+        </dd>
+
+      <dt>qualifies</dt>
       <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Collection" href="#Collection" class="owlclass">prov:Collection</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Removal" href="#Removal" class="owlclass">prov:Removal</a>
-          </li>
-        </ul>
-      </dd>
+        <a title="http://www.w3.org/ns/prov#derivedByRemovalFrom" href="#derivedByRemovalFrom" class="owlproperty">prov:derivedByRemovalFrom</a>
+      </dd>
+
       </dl>
     </div>
   </div>
@@ -5812,29 +6530,33 @@
          back to <a href="#prov-collections-owl-properties-at-a-glance">collections properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#removedKey</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#removedKey</p>
     <div class="description">
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-collections">
         <a title="collections" href="#component-collections">collections</a>
       </dd>
-      <dl>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Removal" href="#Removal" class="owlclass">prov:Removal</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            http://www.w3.org/2000/01/rdf-schema#Literal
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Removal" href="#Removal" class="owlclass">prov:Removal</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              http://www.w3.org/2000/01/rdf-schema#Literal
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -5847,32 +6569,34 @@
          back to <a href="#prov-collections-owl-properties-at-a-glance">collections properties</a>
       </span>
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#value</p>
+    <p><strong>IRI:</strong> http://www.w3.org/ns/prov#value</p>
     <div class="description">
+      <p><strong>has characteristics</strong>  Functional       </p>
+      <dl>
+
       <dt>in PROV component</dt>
       <dd class="component-collections">
         <a title="collections" href="#component-collections">collections</a>
       </dd>
-      <p><strong>has characteristics</strong>
-  Functional
-      </p>
-      <dl>
-      <dt>has domain</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#KeyValuePair" href="#KeyValuePair" class="owlclass">prov:KeyValuePair</a>
-          </li>
-        </ul>
-      </dd>
-      <dt>has range</dt>
-      <dd>
-        <ul>
-          <li>
-            <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
-          </li>
-        </ul>
-      </dd>
+
+        <dt>has domain</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#KeyValuePair" href="#KeyValuePair" class="owlclass">prov:KeyValuePair</a>
+            </li>
+          </ul>
+        </dd>
+
+        <dt>has range</dt>
+        <dd>
+          <ul>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
+            </li>
+          </ul>
+        </dd>
+
       </dl>
     </div>
   </div>
@@ -6031,4 +6755,7 @@
 </dd><dt id="bib-XMLSCHEMA-2">[XMLSCHEMA-2]</dt><dd>Paul V. Biron; Ashok Malhotra. <a href="http://www.w3.org/TR/2004/REC-xmlschema-2-20041028/"><cite>XML Schema Part 2: Datatypes Second Edition.</cite></a> 28 October 2004. W3C Recommendation. URL: <a href="http://www.w3.org/TR/2004/REC-xmlschema-2-20041028/">http://www.w3.org/TR/2004/REC-xmlschema-2-20041028/</a> 
 </dd></dl></div><div class="section" id="informative-references"><h3><span class="secno">C.2 </span>Informative references</h3><dl class="bibliography"><dt id="bib-PROV-DM">[PROV-DM]</dt><dd>Luc Moreau, Paolo Missier<a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/"><cite>The PROV Data Model and Abstract Syntax Notation</cite></a>. 18 October 2011. W3C Working Draft. (Work in progress.) URL: <a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018/">http://www.w3.org/TR/2011/WD-prov-dm-20111018/</a>
 </dd><dt id="bib-PROV-PAQ">[PROV-PAQ]</dt><dd>Graham Klyne and Paul Groth <a href="http://dvcs.w3.org/hg/prov/raw-file/tip/paq/prov-aq.html"><cite>Provenance Access and Query</cite></a>. 2011, Work in progress. URL: <a href="http://dvcs.w3.org/hg/prov/raw-file/tip/paq/prov-aq.html">http://dvcs.w3.org/hg/prov/tip/paq/prov-aq.html</a>
+</dd><dt id="bib-PROV-PRIMER">[PROV-PRIMER]</dt><dd>Yolanda Gil and 
+Simon Miles (eds.) Khalid Belhajjame, Helena Deus, Daniel Garijo, Graham
+ Klyne, Paolo Missier, Stian Soiland-Reyes, and Stephan Zednik <a href="http://www.w3.org/TR/prov-primer/"><cite>Prov Model Primer</cite></a>. 2011, Working Draft. URL: <a href="http://www.w3.org/TR/prov-primer/">http://www.w3.org/TR/prov-primer/</a>
 </dd></dl></div></div></body></html>
\ No newline at end of file