Revised PROV-DICTIONARY in response to Luc's review (ISSUE-614)
authorTom De Nies <tom.denies@ugent.be>
Thu, 24 Jan 2013 13:46:16 +0100
changeset 5436 8b48cc756748
parent 5435 b6c0b79d7374
child 5437 3b2f9e819fcf
Revised PROV-DICTIONARY in response to Luc's review (ISSUE-614)
dictionary/prov-dictionary.html
--- a/dictionary/prov-dictionary.html	Thu Jan 24 12:07:47 2013 +0100
+++ b/dictionary/prov-dictionary.html	Thu Jan 24 13:46:16 2013 +0100
@@ -727,6 +727,7 @@
     </section> 
 
 <section id="sotd">
+This document is to be published as a First Public Working Draft (FPWD). The Provenance Working Group is seeking feedback from the community on the usefulness of the concepts described below in practical scenarios.
 <h4>PROV Family of Documents</h4>
 This document is part of the PROV family of documents, a set of documents defining various aspects that are necessary to achieve the vision of inter-operable
 interchange of provenance information in heterogeneous environments such as the Web.  These documents are:
@@ -779,7 +780,7 @@
 </p>
 <p>[[PROV-DM]] specifies Collection as an entity that provides a structure to some constituents, which are themselves entities. However, some applications may need a mechanism to specify more structure to a Collection, in order to accurately describe its provenance.</p>
 
-<p>Therefore, this document introduces a new concept, <a>Dictionary</a>, that has a logical structure consisting of key-entity pairs. The Provenance Working Group is seeking feedback from the community on its usefulness in practical scenarios.</p>
+<p>Therefore, this document introduces a new concept, <a>Dictionary</a>, that has a logical structure consisting of key-entity pairs.</p>
 </section>
 
 
@@ -832,7 +833,7 @@
 <ul>
 <li><span class='attribute' id="membership-d.dictionary">dictionary</span>: an identifier (<span class="name">d</span>) for the dictionary whose members are asserted; </li>
 <li><span class='attribute' id="membership-d.entity">entity</span>: an entity <span class="name">e_1</span> that is associated with the key and is a member of the dictionary;</li>
-<li><span class='attribute' id="membership-d.key">key</span>: a key <span class="name">key_1</span> that is associated with the specified entity;</li>
+<li><span class='attribute' id="membership-d.key">key</span>: a key <span class="name">key_1</span> that is associated with the specified entity. <span class="name">key_1</a> is a <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#term-value">value</a> ;</li>
 </ul>
 Keys cannot be repeated in the same dictionary. However, a dictionary can contain the same entity more than once, as long as it is associated with different keys.
 </div>
@@ -869,7 +870,7 @@
 <li><span class='attribute' id="insertion.id">id</span>:  an OPTIONAL identifier identifying the relation;</li>
 <li><span class='attribute' id="insertion.after">after</span>: an identifier (<span class="name">d2</span>) for the dictionary <em>after</em> insertion; </li>
 <li><span class='attribute' id="insertion.before">before</span>: an identifier (<span class="name">d1</span>) for the dictionary <em>before</em> insertion;</li>
-<li><span class='attribute' id="insertion.key-entity-set">key-entity-set</span>: the inserted key-entity pairs <span class="name">(key_1, e_1)</span>, ..., <span class="name">(key_n, e_n)</span> in which each <span class="name">key_i</span> is a <a>value</a>, and <span class="name">e_i</span> is an identifier  for the entity that has been inserted with the key;
+<li><span class='attribute' id="insertion.key-entity-set">key-entity-set</span>: the inserted key-entity pairs <span class="name">(key_1, e_1)</span>, ..., <span class="name">(key_n, e_n)</span> in which each <span class="name">key_i</span> is a <a href="http://www.w3.org/TR/2012/CR-prov-dm-20121211/#term-value">value</a>, and <span class="name">e_i</span> is an identifier  for the entity that has been inserted with the key;
  each <span class="name">key_i</span> is expected to be unique for the key-entity-set;
 </li>
 <li><span class='attribute' id="insertion.attributes">attributes</span>: an OPTIONAL set (<span class="name">attrs</span>) of attribute-value pairs representing additional information about this relation.</li>
@@ -945,7 +946,7 @@
 </ul>
 </div>
 
-<p>A Removal relation <span class="name">derivedByRemovalFrom(id; d2,d1, {key_1, ..., key_n})</span> states that  <span class="name">d2</span> is  the  dictionary following the removal of the set of pairs corresponding to keys  <span class="name">key_1...key_n</span> from  <span class="name">d1</span>.
+<p>A Removal relation <span class="name">derivedByRemovalFrom(id; d2,d1, {key_1, ..., key_n})</span> states that  <span class="name">d2</span> is  the  dictionary following the removal of the set of pairs corresponding to keys  <span class="name">key_1...key_n</span> from  <span class="name">d1</span>. If a key that is not present in the dictionary is removed, the dictionary remains unchanged.
 </p>
 
 <div class="anexample">
@@ -956,10 +957,13 @@
 entity(e3)
 entity(d1, [prov:type="prov:Dictionary"])
 entity(d2, [prov:type="prov:Dictionary"])
+entity(d3, [prov:type="prov:Dictionary"])
+entity(d4, [prov:type="prov:Dictionary"])
 
 derivedByInsertionFrom(d1, d0, {("k1", e1), ("k2",e2)})       
 derivedByInsertionFrom(d2, d1, {("k3", e3)})
 derivedByRemovalFrom(d3, d2, {"k1", "k3"})   
+derivedByRemovalFrom(d4, d3, {"k1"})   
 </pre>
 From this set of descriptions, we conclude:
 <ul>
@@ -967,7 +971,9 @@
 <li><span class="name">d1</span> is the set <span class="name">{ ("k1", e1), ("k2", e2)  }</span> </li>
 <li><span class="name">d2</span> is the set <span class="name">{ ("k1", e1), ("k2", e2), ("k3", e3) }</span> </li>
 <li><span class="name">d3</span> is the set <span class="name">{ ("k2", e2) }</span> </li>
+<li><span class="name">d4</span> is the set <span class="name">{ ("k2", e2) }</span> </li>
 </ul>
+Note that "k1" was not present in d3, and thus its removal to obtain d4 did not change the contents of the dictionary.
 </div>
 
 </section>  <!-- end removal -->
@@ -976,7 +982,7 @@
 <p>Further considerations: </p>
 
 <ul>
-<li>The representation of a dictionary through these relations makes no assumption regarding the underlying data structure used to store and manage dictionaries. In particular, no assumptions are needed regarding the mutability of a data structure that is subject to updates. Entities, however, are immutable and this applies  to those entities that represent dictionaries. This is reflected in the constraints listed in [[PROV-CONSTRAINTS]].  </li>
+<li>The representation of a dictionary through these relations makes no assumption regarding the underlying data structure used to store and manage dictionaries. In particular, no assumptions are needed regarding the mutability of a data structure that is subject to updates. Entities, however, have some fixed aspects and this applies  to those entities that represent dictionaries. This is reflected in the constraints listed in [[PROV-CONSTRAINTS]].  </li>
 </ul>
 
 </section> <!-- end conceptual definition dictionary -->
@@ -1186,25 +1192,25 @@
 :d1 a prov:Dictionary;
     prov:hadDictionaryMember [ 
        a prov:KeyValuePair;
-       prov:key   &quot;k1&quot;^^xsd:string
-	   prov:value :e1
+       prov:pairKey   &quot;k1&quot;^^xsd:string
+	   prov:pairValue :e1
      ], [ 
        a prov:KeyValuePair;
-       prov:key   &quot;k2&quot;^^xsd:string;
-       prov:value :e2
+       prov:pairKey   &quot;k2&quot;^^xsd:string;
+       prov:pairValue :e2
      ];
 .
 </pre>
 </div>
 
 <p>It is worth noting that <code>:d1</code> MAY also
-have other members.  A dictionary MAY be empty, in which case it SHOULD be described as an instance of the
+have other members.  If one wants to explicitly state that a dictionary has no members, that dictionary can be described as an instance of the
 subclass <a class="qname"
 href='#EmptyDictionary'><code>prov:EmptyDictionary</code></a>.
 </p>
 
 	<p> To describe the provenance of a dictionary, PROV-O provides two
-kinds of involvements: <code><a class="qname"
+kinds of influence: <code><a class="qname"
 href="#qualifiedInsertion">prov:qualifiedInsertion</a></code> is used to
 describe that a dictionary was obtained from an existing dictionary by
 <em>inserting</em> a set of key-value pairs.  <code><a class="qname"
@@ -1234,12 +1240,12 @@
       prov:dictionary :c;
       prov:inserted [ 
          a prov:KeyValuePair;
-         prov:key   &quot;k1&quot;^^xsd:string;
-         prov:value :e1;
+         prov:pairKey   &quot;k1&quot;^^xsd:string;
+         prov:pairValue :e1;
       ], [ 
          a prov:KeyValuePair;
-         prov:key   &quot;k2&quot;^^xsd:string;
-         prov:value :e2;
+         prov:pairKey   &quot;k2&quot;^^xsd:string;
+         prov:pairValue :e2;
       ];
    ]; 
 . 
@@ -1312,16 +1318,16 @@
       <a href="#dictionary">prov:dictionary</a>
     </li>
     <li class="object-property">
-      <a href="#inserted">prov:insertedKeyValuePair</a>
+      <a href="#insertedKeyValuePair">prov:insertedKeyValuePair</a>
     </li>
     <li class="object-property">
-      <a href="#member">prov:hadDictionaryMember</a>
+      <a href="#hadDictionaryMember">prov:hadDictionaryMember</a>
     </li>
     <li class="datatype-property">
-      <a href="#key">prov:key</a>
+      <a href="#pairKey">prov:pairKey</a>
     </li>
     <li class="object-property">
-      <a href="#value">prov:value</a>
+      <a href="#pairValue">prov:pairValue</a>
     </li>
     <li class="object-property">
       <a href="#qualifiedInsertion">prov:qualifiedInsertion</a>
@@ -1355,7 +1361,7 @@
       <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#Dictionary"></span>
       <strong>Example</strong>
       <pre rel="prov:wasQuotedFrom" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Dictionary.ttl"
-           property="prov:value">@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
+           property="prov:pairValue">@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
 @prefix xsd:  &lt;http://www.w3.org/2001/XMLSchema#&gt; .
 @prefix owl:  &lt;http://www.w3.org/2002/07/owl#&gt; .
 @prefix prov: &lt;http://www.w3.org/ns/prov#&gt; .
@@ -1416,7 +1422,7 @@
       <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#DictionaryInvolvement"></span>
       <strong>Example</strong>
       <pre rel="prov:wasQuotedFrom" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_DictionaryInvolvement.ttl"
-           property="prov:value">@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
+           property="prov:pairValue">@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
 @prefix xsd:  &lt;http://www.w3.org/2001/XMLSchema#&gt; .
 @prefix owl:  &lt;http://www.w3.org/2002/07/owl#&gt; .
 @prefix prov: &lt;http://www.w3.org/ns/prov#&gt; .
@@ -1476,7 +1482,7 @@
       <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#EmptyDictionary"></span>
       <strong>Example</strong>
       <pre rel="prov:wasQuotedFrom" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_EmptyDictionary.ttl"
-           property="prov:value">@prefix prov: &lt;http://www.w3.org/ns/prov#&gt; .
+           property="prov:pairValue">@prefix prov: &lt;http://www.w3.org/ns/prov#&gt; .
 @prefix xsd:  &lt;http://www.w3.org/2001/XMLSchema#&gt; .
 @prefix :     &lt;http://example.org/&gt; .
 
@@ -1492,12 +1498,12 @@
       prov:dictionary :d;
       prov:insertedKeyValuePair [ 
          a prov:KeyValuePair;
-         prov:key   &quot;k1&quot;^^xsd:string;
-         prov:value :e1;
+         prov:pairKey   &quot;k1&quot;^^xsd:string;
+         prov:pairValue :e1;
       ], [ 
          a prov:KeyValuePair;
-         prov:key   &quot;k2&quot;^^xsd:string;
-         prov:value :e2;
+         prov:pairKey   &quot;k2&quot;^^xsd:string;
+         prov:pairValue :e2;
       ];
    ]; 
 . </pre>
@@ -1530,7 +1536,7 @@
       <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#Insertion"></span>
       <strong>Example</strong>
       <pre rel="prov:wasQuotedFrom" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Insertion.ttl"
-           property="prov:value">@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
+           property="prov:pairValue">@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
 @prefix xsd:  &lt;http://www.w3.org/2001/XMLSchema#&gt; .
 @prefix owl:  &lt;http://www.w3.org/2002/07/owl#&gt; .
 @prefix prov: &lt;http://www.w3.org/ns/prov#&gt; .
@@ -1545,8 +1551,8 @@
       prov:dictionary :our-old-baseball-team-field-positions;
       prov:insertedKeyValuePair [ 
          a prov:KeyValuePair;
-         prov:key   &quot;first-baseman&quot;^^xsd:string;
-         prov:value &lt;http://dbpedia.org/resource/Jim_Thorpe&gt;;
+         prov:pairKey   &quot;first-baseman&quot;^^xsd:string;
+         prov:pairValue &lt;http://dbpedia.org/resource/Jim_Thorpe&gt;;
       ];
    ];
 .
@@ -1596,7 +1602,7 @@
       <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#KeyValuePair"></span>
       <strong>Example</strong>
       <pre rel="prov:wasQuotedFrom" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_KeyValuePair.ttl"
-           property="prov:value">@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
+           property="prov:pairValue">@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
 @prefix xsd:  &lt;http://www.w3.org/2001/XMLSchema#&gt; .
 @prefix owl:  &lt;http://www.w3.org/2002/07/owl#&gt; .
 @prefix prov: &lt;http://www.w3.org/ns/prov#&gt; .
@@ -1608,13 +1614,13 @@
          :FieldPositions;
     prov:hadDictionaryMember [
        a prov:KeyValuePair;
-       prov:key &quot;first-baseman&quot;^^xsd:string;
-       prov:value :george;
+       prov:pairKey &quot;first-baseman&quot;^^xsd:string;
+       prov:pairValue :george;
     ];
     prov:hadDictionaryMember [
        a prov:KeyValuePair;
-       prov:key &quot;pitcher&quot;^^xsd:string;
-       prov:value :carl;
+       prov:pairKey &quot;pitcher&quot;^^xsd:string;
+       prov:pairValue :carl;
     ];
 .
 
@@ -1629,8 +1635,8 @@
 
       <dt>described with properties</dt>
       <dd>
-        <a title="http://www.w3.org/ns/prov#key" href="#pairKey">prov:key</a><sup class="type-dp" title="data property">dp</sup>
-        <a title="http://www.w3.org/ns/prov#value" href="#pairValue">prov:value</a><sup class="type-op" title="object property">op</sup>
+        <a title="http://www.w3.org/ns/prov#pairKey" href="#pairKey">prov:pairKey</a><sup class="type-dp" title="data property">dp</sup>
+        <a title="http://www.w3.org/ns/prov#pairValue" href="#pairValue">prov:pairValue</a><sup class="type-op" title="object property">op</sup>
       </dd>
 
       <dt>in range of</dt>
@@ -1656,7 +1662,7 @@
       <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#Removal"></span>
       <strong>Example</strong>
       <pre rel="prov:wasQuotedFrom" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/class_Removal.ttl"
-           property="prov:value">@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
+           property="prov:pairValue">@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
 @prefix xsd:  &lt;http://www.w3.org/2001/XMLSchema#&gt; .
 @prefix owl:  &lt;http://www.w3.org/2002/07/owl#&gt; .
 @prefix prov: &lt;http://www.w3.org/ns/prov#&gt; .
@@ -1719,7 +1725,7 @@
       <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#derivedByInsertionFrom"></span>
       <strong>Example</strong>
       <pre rel="prov:wasQuotedFrom" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_derivedByInsertionFrom.ttl"
-           property="prov:value">@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
+           property="prov:pairValue">@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
 @prefix xsd:  &lt;http://www.w3.org/2001/XMLSchema#&gt; .
 @prefix owl:  &lt;http://www.w3.org/2002/07/owl#&gt; .
 @prefix prov: &lt;http://www.w3.org/ns/prov#&gt; .
@@ -1738,12 +1744,12 @@
       prov:dictionary :d;
       prov:insertedKeyValuePair [ 
          a prov:KeyValuePair;
-         prov:key   &quot;k1&quot;^^xsd:string;
-         prov:value :e1;
+         prov:pairKey   &quot;k1&quot;^^xsd:string;
+         prov:pairValue :e1;
       ], [ 
          a prov:KeyValuePair;
-         prov:key   &quot;k2&quot;^^xsd:string;
-         prov:value :e2;
+         prov:pairKey   &quot;k2&quot;^^xsd:string;
+         prov:pairValue :e2;
       ];
    ]; 
 . </pre>
@@ -1808,7 +1814,7 @@
       <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#derivedByRemovalFrom"></span>
       <strong>Example</strong>
       <pre rel="prov:wasQuotedFrom" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_derivedByRemovalFrom.ttl"
-           property="prov:value">@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
+           property="prov:pairValue">@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
 @prefix xsd:  &lt;http://www.w3.org/2001/XMLSchema#&gt; .
 @prefix owl:  &lt;http://www.w3.org/2002/07/owl#&gt; .
 @prefix prov: &lt;http://www.w3.org/ns/prov#&gt; .
@@ -1888,7 +1894,7 @@
       <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#dictionary"></span>
       <strong>Example</strong>
       <pre rel="prov:wasQuotedFrom" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_dictionary.ttl"
-           property="prov:value">@prefix prov: &lt;http://www.w3.org/ns/prov#&gt; .
+           property="prov:pairValue">@prefix prov: &lt;http://www.w3.org/ns/prov#&gt; .
 @prefix xsd:  &lt;http://www.w3.org/2001/XMLSchema#&gt; .
 @prefix :     &lt;http://example.org/&gt; .
 
@@ -1903,8 +1909,8 @@
       prov:dictionary :d;
       prov:insertedKeyValuePair [ 
          a prov:KeyValuePair;
-         prov:key   &quot;k1&quot;^^xsd:string;
-         prov:value :e1;
+         prov:pairKey   &quot;k1&quot;^^xsd:string;
+         prov:pairValue :e1;
       ];
    ]; 
 . 
@@ -1950,7 +1956,7 @@
     </div>
   </div>
 
-  <div id="inserted" class="entity">
+  <div id="insertedKeyValuePair" class="entity">
     <h3>
       Property: <a href="#insertedKeyValuePair"><span class="dotted" title="http://www.w3.org/ns/prov#insertedKeyValuePair">prov:insertedKeyValuePair</span></a><sup class="type-op" title="object property">op</sup>
       
@@ -1961,7 +1967,7 @@
       <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#insertedKeyValuePair"></span>
       <strong>Example</strong>
       <pre rel="prov:wasQuotedFrom" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_inserted.ttl"
-           property="prov:value">@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
+           property="prov:pairValue">@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
 @prefix xsd:  &lt;http://www.w3.org/2001/XMLSchema#&gt; .
 @prefix owl:  &lt;http://www.w3.org/2002/07/owl#&gt; .
 @prefix prov: &lt;http://www.w3.org/ns/prov#&gt; .
@@ -1976,8 +1982,8 @@
       prov:dictionary :our-old-baseball-team-field-positions;
       prov:insertedKeyValuePair [ 
          a prov:KeyValuePair;
-         prov:key   &quot;first-baseman&quot;^^xsd:string;
-         prov:value &lt;http://dbpedia.org/resource/Jim_Thorpe&gt;;
+         prov:pairKey   &quot;first-baseman&quot;^^xsd:string;
+         prov:pairValue &lt;http://dbpedia.org/resource/Jim_Thorpe&gt;;
       ];
    ];
 .
@@ -2026,7 +2032,7 @@
       <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#hadDictionaryMember"></span>
       <strong>Example</strong>
       <pre rel="prov:wasQuotedFrom" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_member.ttl"
-           property="prov:value">@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
+           property="prov:pairValue">@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
 @prefix xsd:  &lt;http://www.w3.org/2001/XMLSchema#&gt; .
 @prefix owl:  &lt;http://www.w3.org/2002/07/owl#&gt; .
 @prefix prov: &lt;http://www.w3.org/ns/prov#&gt; .
@@ -2037,13 +2043,13 @@
          :FieldPositions;
       prov:hadDictionaryMember [
          a prov:KeyValuePair;
-         prov:key &quot;first-baseman&quot;^^xsd:string;
-         prov:value :george;
+         prov:pairKey &quot;first-baseman&quot;^^xsd:string;
+         prov:pairValue :george;
       ],
       prov:hadDictionaryMember [
          a prov:KeyValuePair;
-         prov:key &quot;pitcher&quot;^^xsd:string;
-         prov:value :carl;
+         prov:pairKey &quot;pitcher&quot;^^xsd:string;
+         prov:pairValue :carl;
       ];
 .
 
@@ -2080,18 +2086,18 @@
   </div>
 
 
-  <div id="key" class="entity">
+  <div id="pairKey" class="entity">
     <h3>
-      Property: <a href="#key"><span class="dotted" title="http://www.w3.org/ns/prov#key">prov:key</span></a><sup class="type-dp" title="data property">dp</sup>
+      Property: <a href="#pairKey"><span class="dotted" title="http://www.w3.org/ns/prov#pairKey">prov:pairKey</span></a><sup class="type-dp" title="data property">dp</sup>
       
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#key</p>
+    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#pairKey</p>
 
     <div about="#example-for-property-key" typeof="prov:Entity" class="example">
-      <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#key"></span>
+      <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#pairKey"></span>
       <strong>Example</strong>
       <pre rel="prov:wasQuotedFrom" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_key.ttl"
-           property="prov:value">@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
+           property="prov:pairValue">@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
 @prefix xsd:  &lt;http://www.w3.org/2001/XMLSchema#&gt; .
 @prefix owl:  &lt;http://www.w3.org/2002/07/owl#&gt; .
 @prefix prov: &lt;http://www.w3.org/ns/prov#&gt; .
@@ -2102,13 +2108,13 @@
          :FieldPositions;
       prov:hadDictionaryMember [
          a prov:KeyValuePair;
-         prov:key &quot;first-baseman&quot;^^xsd:string;
-         prov:value :george;
+         prov:pairKey &quot;first-baseman&quot;^^xsd:string;
+         prov:pairValue :george;
       ],
       prov:hadDictionaryMember [
          a prov:KeyValuePair;
-         prov:key &quot;pitcher&quot;^^xsd:string;
-         prov:value :carl;
+         prov:pairKey &quot;pitcher&quot;^^xsd:string;
+         prov:pairValue :carl;
       ];
 .
 
@@ -2145,18 +2151,18 @@
     </div>
   </div>
 
-  <div id="value" class="entity">
+  <div id="pairValue" class="entity">
     <h3>
-      Property: <a href="#value"><span class="dotted" title="http://www.w3.org/ns/prov#value">prov:value</span></a><sup class="type-op" title="object property">op</sup>
+      Property: <a href="#pairValue"><span class="dotted" title="http://www.w3.org/ns/prov#pairValue">prov:pairValue</span></a><sup class="type-op" title="object property">op</sup>
       
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#value</p>
+    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#pairValue</p>
 
     <div about="#example-for-property-pairValue" typeof="prov:Entity" class="example">
-      <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#value"></span>
+      <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#pairValue"></span>
       <strong>Example</strong>
       <pre rel="prov:wasQuotedFrom" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_value.ttl"
-           property="prov:value">@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
+           property="prov:pairValue">@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
 @prefix xsd:  &lt;http://www.w3.org/2001/XMLSchema#&gt; .
 @prefix owl:  &lt;http://www.w3.org/2002/07/owl#&gt; .
 @prefix prov: &lt;http://www.w3.org/ns/prov#&gt; .
@@ -2167,13 +2173,13 @@
          :FieldPositions;
       prov:hadDictionaryMember [
          a prov:KeyValuePair;
-         prov:key &quot;first-baseman&quot;^^xsd:string;
-         prov:value :george;
+         prov:pairKey &quot;first-baseman&quot;^^xsd:string;
+         prov:pairValue :george;
       ],
       prov:hadDictionaryMember [
          a prov:KeyValuePair;
-         prov:key &quot;pitcher&quot;^^xsd:string;
-         prov:value :carl;
+         prov:pairKey &quot;pitcher&quot;^^xsd:string;
+         prov:pairValue :carl;
       ];
 .
 
@@ -2221,7 +2227,7 @@
       <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#qualifiedInsertion"></span>
       <strong>Example</strong>
       <pre rel="prov:wasQuotedFrom" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedInsertion.ttl"
-           property="prov:value">@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
+           property="prov:pairValue">@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
 @prefix xsd:  &lt;http://www.w3.org/2001/XMLSchema#&gt; .
 @prefix owl:  &lt;http://www.w3.org/2002/07/owl#&gt; .
 @prefix prov: &lt;http://www.w3.org/ns/prov#&gt; .
@@ -2236,8 +2242,8 @@
       prov:dictionary :our-old-baseball-team-field-positions;
       prov:insertedKeyValuePair [ 
          a prov:KeyValuePair;
-         prov:key   &quot;first-baseman&quot;^^xsd:string;
-         prov:value &lt;http://dbpedia.org/resource/Jim_Thorpe&gt;;
+         prov:pairKey   &quot;first-baseman&quot;^^xsd:string;
+         prov:pairValue &lt;http://dbpedia.org/resource/Jim_Thorpe&gt;;
       ];
    ];
 .
@@ -2249,13 +2255,13 @@
          :FieldPositions;
       prov:hadDictionaryMember [
          a prov:KeyValuePair;
-         prov:key &quot;first-baseman&quot;^^xsd:string;
-         prov:value :george;
+         prov:pairKey &quot;first-baseman&quot;^^xsd:string;
+         prov:pairValue :george;
       ],
       prov:hadDictionaryMember [
          a prov:KeyValuePair;
-         prov:key &quot;pitcher&quot;^^xsd:string;
-         prov:value :carl;
+         prov:pairKey &quot;pitcher&quot;^^xsd:string;
+         prov:pairValue :carl;
       ];
 .
 
@@ -2265,7 +2271,7 @@
     </div>
 
     <div class="description">
-      <div class="comment"><p>If this Dictionary prov:derivedByInsertionFrom another Dictionary :e, then it can qualify how it did perform the Insertion using prov:qualifiedInsertion [ a prov:Insertion;  prov:dictionary :e; prov:inserted [a prov:KeyValuePair; prov:key "k1"^^xsd:string; prov:value :foo] ].</p>
+      <div class="comment"><p>If this Dictionary prov:derivedByInsertionFrom another Dictionary :e, then it can qualify how it did perform the Insertion using prov:qualifiedInsertion [ a prov:Insertion;  prov:dictionary :e; prov:inserted [a prov:KeyValuePair; prov:pairKey "k1"^^xsd:string; prov:pairValue :foo] ].</p>
       </div>
       <dl>
 
@@ -2307,7 +2313,7 @@
       <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#qualifiedRemoval"></span>
       <strong>Example</strong>
       <pre rel="prov:wasQuotedFrom" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_qualifiedRemoval.ttl"
-           property="prov:value">@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
+           property="prov:pairValue">@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
 @prefix xsd:  &lt;http://www.w3.org/2001/XMLSchema#&gt; .
 @prefix owl:  &lt;http://www.w3.org/2002/07/owl#&gt; .
 @prefix prov: &lt;http://www.w3.org/ns/prov#&gt; .
@@ -2371,7 +2377,7 @@
       <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#removedKey"></span>
       <strong>Example</strong>
       <pre rel="prov:wasQuotedFrom" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_removedKey.ttl"
-           property="prov:value">@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
+           property="prov:pairValue">@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
 @prefix xsd:  &lt;http://www.w3.org/2001/XMLSchema#&gt; .
 @prefix owl:  &lt;http://www.w3.org/2002/07/owl#&gt; .
 @prefix prov: &lt;http://www.w3.org/ns/prov#&gt; .