Merged
authorTrung Dong Huynh <tdh@ecs.soton.ac.uk>
Thu, 10 Jan 2013 17:09:54 +0000
changeset 5417 dea26bd536cf
parent 5416 c20664aa85fd (current diff)
parent 5415 eedf09ddfda6 (diff)
child 5418 b3bdc7cf24c1
Merged
--- a/dictionary/prov-dictionary.html	Thu Jan 10 17:06:54 2013 +0000
+++ b/dictionary/prov-dictionary.html	Thu Jan 10 17:09:54 2013 +0000
@@ -1170,41 +1170,34 @@
 Specifically, a dictionary is composed of set of key-value pairs, where a
 literal key is used to identify a constituent entity within the dictionary. 
 
-To illustrate this, the example below describes a dictionary <code>:c1</code>
-that has as members the two key value pairs <code>("k1", :e1)</code>
-and <code>("k2", :e2)</code>.
+
 </p>
-
 <div about="#narrative-example-dictionaries-1" typeof="prov:Entity" class="exampleOuter" xmlns:prov="http://www.w3.org/ns/prov#">
    <pre rel="prov:wasQuotedFrom" resource="http://dvcs.w3.org/hg/prov/raw-file/tip/examples/eg-26-provo-collections-narrative/rdf/membership.ttl"
-        class="example">@prefix prov: &lt;http://www.w3.org/ns/prov#&gt; .
+        class="example">
[email protected] 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; .
 
 :e1 a prov:Entity .
 :e2 a prov:Entity .
 
-:c1 a prov:Dictionary;
-   prov:membership [ 
-      a prov:Membership;
-      prov:member [ 
-         a prov:KeyValuePair;
-         prov:key   &quot;k1&quot;^^xsd:string;
-         prov:value :e1
-      ], [ 
-         a prov:KeyValuePair;
-         prov:key   &quot;k2&quot;^^xsd:string;
-         prov:value :e2
-      ];
-   ];
+:d1 a prov:Dictionary;
+    prov:hadDictionaryMember [ 
+       a prov:KeyValuePair;
+       prov:key   &quot;k1&quot;^^xsd:string
+	   prov:value :e1
+     ], [ 
+       a prov:KeyValuePair;
+       prov:key   &quot;k2&quot;^^xsd:string;
+       prov:value :e2
+     ];
 .
 </pre>
 </div>
 
-<p>It is worth noting that <code>:c1</code> MAY also
-have other members (i.e. <code class="repeated">prov:knownMembership</code> is
-not functional).  A dictionary MAY be empty and thus not have any known
-memberships, in which case it SHOULD be described as an instance of the
+<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
 subclass <a class="qname"
 href='#EmptyDictionary'><code>prov:EmptyDictionary</code></a>.
 </p>
@@ -1291,9 +1284,6 @@
       <a href="#Dictionary">prov:Dictionary</a>
     </li>
     <li>
-      <a href="#DictionaryInvolvement">prov:DictionaryInvolvement</a>
-    </li>
-    <li>
       <a href="#EmptyDictionary">prov:EmptyDictionary</a>
     </li>
     <li>
@@ -1303,9 +1293,6 @@
       <a href="#KeyValuePair">prov:KeyValuePair</a>
     </li>
     <li>
-      <a href="#Membership">prov:Membership</a>
-    </li>
-    <li>
       <a href="#Removal">prov:Removal</a>
     </li>
   </ul>
@@ -1324,19 +1311,16 @@
       <a href="#dictionary">prov:dictionary</a>
     </li>
     <li class="object-property">
-      <a href="#inserted">prov:inserted</a>
-    </li>
-    <li class="object-property">
-      <a href="#member">prov:member</a>
+      <a href="#inserted">prov:insertedKeyValuePair</a>
     </li>
     <li class="object-property">
-      <a href="#membership">prov:membership</a>
+      <a href="#member">prov:hadDictionaryMember</a>
     </li>
     <li class="datatype-property">
-      <a href="#pairKey">prov:pairKey</a>
+      <a href="#key">prov:key</a>
     </li>
     <li class="object-property">
-      <a href="#pairValue">prov:pairValue</a>
+      <a href="#value">prov:value</a>
     </li>
     <li class="object-property">
       <a href="#qualifiedInsertion">prov:qualifiedInsertion</a>
@@ -1377,7 +1361,7 @@
 @prefix :     &lt;http://example.com/&gt; .
 
 :studentRegister_2012
-   a prov:Dictionary, prov:Entity;
+   a prov:Dictionary, prov:Collection, prov:Entity;
    prov:derivedByInsertionFrom :studentRegister_2011;
    :hasTotalStudents 45;
    :wasCreatedBy    :bob;
@@ -1393,20 +1377,15 @@
 
       <dt>is subclass of</dt>
       <dd>
-        <a title="http://www.w3.org/ns/prov#Entity" href="#Entity" class="owlclass">prov:Entity</a>
+        <a title="http://www.w3.org/ns/prov#Collection" href="http://www.w3.org/TR/2012/CR-prov-o-20121211/#Collection" class="owlclass">prov:Collection</a>
       </dd>
 
-      <dt>in domain of</dt>
+      <dt>described with properties</dt>
       <dd>
         <a title="http://www.w3.org/ns/prov#derivedByInsertionFrom" href="#derivedByInsertionFrom">prov:derivedByInsertionFrom</a><sup class="type-op" title="object property">op</sup>
         <a title="http://www.w3.org/ns/prov#qualifiedRemoval" href="#qualifiedRemoval">prov:qualifiedRemoval</a><sup class="type-op" title="object property">op</sup>
         <a title="http://www.w3.org/ns/prov#qualifiedInsertion" href="#qualifiedInsertion">prov:qualifiedInsertion</a><sup class="type-op" title="object property">op</sup>
         <a title="http://www.w3.org/ns/prov#derivedByRemovalFrom" href="#derivedByRemovalFrom">prov:derivedByRemovalFrom</a><sup class="type-op" title="object property">op</sup>
-        <a title="http://www.w3.org/ns/prov#membership" href="#membership">prov:membership</a><sup class="type-op" title="object property">op</sup>
-      </dd>
-
-      <dt>parent is in domain of</dt>
-      <dd>
       </dd>
 
       <dt>in range of</dt>
@@ -1423,7 +1402,7 @@
     </dl>
   </div>
 
-  <div id="DictionaryInvolvement" class="entity">
+ <!-- TO BE DELETED AFTER REVIEW <div id="DictionaryInvolvement" class="entity">
     <h3>
       Class: <a href="#DictionaryInvolvement"><span class="dotted" title="http://www.w3.org/ns/prov#DictionaryInvolvement">prov:DictionaryInvolvement</span></a>
       <span class="backlink">
@@ -1481,7 +1460,7 @@
         <a title="http://www.w3.org/ns/prov#Removal" href="#Removal" class="owlclass">prov:Removal</a>
       </dd>
     </dl>
-  </div>
+ </div> -->
 
   <div id="EmptyDictionary" class="entity">
     <h3>
@@ -1503,14 +1482,14 @@
 :e1 a prov:Entity .
 :e2 a prov:Entity .
 
-:c  a prov:EmptyDictionary .
-
-:c1 a prov:Dictionary;
-   prov:derivedByInsertionFrom :c;
+:d  a prov:EmptyDictionary .
+
+:d1 a prov:Dictionary;
+   prov:derivedByInsertionFrom :d;
    prov:qualifiedInsertion [ 
       a prov:Insertion;
-      prov:dictionary :c;
-      prov:inserted [ 
+      prov:dictionary :d;
+      prov:insertedKeyValuePair [ 
          a prov:KeyValuePair;
          prov:key   &quot;k1&quot;^^xsd:string;
          prov:value :e1;
@@ -1531,10 +1510,6 @@
       <dd>
         <a title="http://www.w3.org/ns/prov#Dictionary" href="#Dictionary" class="owlclass">prov:Dictionary</a>
       </dd>
-
-      <dt>parent is in domain of</dt>
-      <dd>
-      </dd>
     </dl>
   </div>
 
@@ -1565,8 +1540,8 @@
    prov:derivedByInsertionFrom :our-old-baseball-team-field-positions;
    prov:qualifiedInsertion [ 
       a prov:Insertion;
-      prov:collection :our-old-baseball-team-field-positions;
-      prov:inserted [ 
+      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;;
@@ -1586,18 +1561,14 @@
 
       <dt>is subclass of</dt>
       <dd>
-        <a title="http://www.w3.org/ns/prov#DictionaryInvolvement" href="#DictionaryInvolvement" class="owlclass">prov:DictionaryInvolvement</a>
+        <a title="http://www.w3.org/ns/prov#Derivation" href="http://www.w3.org/TR/2012/CR-prov-o-20121211/#Derivation" class="owlclass">prov:Derivation</a>
       </dd>
-
-      <dt>in domain of</dt>
+      <dt>described with properties</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>
+        <a title="http://www.w3.org/ns/prov#dictionary" href="#dictionary" class="owlclass">prov:dictionary</a>
+        <a title="http://www.w3.org/ns/prov#insertedKeyValuePair" href="#insertedKeyValuePair" class="owlclass">prov:insertedKeyValuePair</a>
       </dd>
 
-      <dt>parent is in domain of</dt>
-      <dd>
-        <a title="http://www.w3.org/ns/prov#dictionary" href="#dictionary">prov:dictionary</a>      </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>
@@ -1629,42 +1600,20 @@
 @prefix prov: &lt;http://www.w3.org/ns/prov#&gt; .
 @prefix :     &lt;http://example.com/&gt; .
 
-:our-NEW-baseball-team-field-positions
+
+:our-baseball-team-field-positions
    a prov:Dictionary, 
          :FieldPositions;
-   prov:derivedByInsertionFrom :our-old-baseball-team-field-positions;
-   prov:qualifiedInsertion [ 
-      a prov:Insertion;
-      prov:collection :our-old-baseball-team-field-positions;
-      prov:inserted [ 
-         a prov:KeyValuePair;
-         prov:key   &quot;first-baseman&quot;^^xsd:string;
-         prov:value &lt;http://dbpedia.org/resource/Jim_Thorpe&gt;;
-      ];
-   ];
-   prov:hadActivity :hiring_jim_thorpe;
-.
-
-&lt;http://dbpedia.org/resource/Jim_Thorpe&gt; a prov:Entity .
-
-:hiring_jim_thorpe a prov:Activity .
-
-:our-old-baseball-team-field-positions
-   a prov:Dictionary, 
-         :FieldPositions;
-   prov:membership [ 
-      a prov:Membership;
-      prov:member [
-         a prov:KeyValuePair;
-         prov:key &quot;first-baseman&quot;^^xsd:string;
-         prov:value :george;
-      ];
-      prov:member [
-         a prov:KeyValuePair;
-         prov:key &quot;pitcher&quot;^^xsd:string;
-         prov:value :carl;
-      ];
-   ];
+    prov:hadDictionaryMember [
+       a prov:KeyValuePair;
+       prov:key &quot;first-baseman&quot;^^xsd:string;
+       prov:value :george;
+    ];
+    prov:hadDictionaryMember [
+       a prov:KeyValuePair;
+       prov:key &quot;pitcher&quot;^^xsd:string;
+       prov:value :carl;
+    ];
 .
 
 :george a prov:Entity .
@@ -1673,83 +1622,19 @@
     </div>
 
     <dl class="description">
-    <dd class="comment"><p>A key-value pair. Part of a prov:Dictionary through prov:Membership. The key is any RDF Literal, the value is a prov:Entity.</p>
+    <dd class="comment"><p>A key-value pair. Part of a prov:Dictionary through prov:hadDictionaryMember. The key is any RDF Literal, the value is a prov:Entity.</p>
     </dd>
 
-      <dt>in domain of</dt>
+      <dt>described with properties</dt>
       <dd>
-        <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>
+        <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>
       </dd>
 
       <dt>in range 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>
-        <a title="http://www.w3.org/ns/prov#inserted" href="#inserted">prov:inserted</a><sup class="type-op" title="object property">op</sup>
-      </dd>
-    </dl>
-  </div>
-
-  <div id="Membership" class="entity">
-    <h3>
-      Class: <a href="#Membership"><span class="dotted" title="http://www.w3.org/ns/prov#Membership">prov:Membership</span></a>
-      <span class="backlink">
-         back to <a href="#prov-collections-owl-terms-at-a-glance">collections classes</a>
-      </span>
-    </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Membership</p>
-
-    <div about="#example-for-class-Membership" typeof="prov:Entity" class="example">
-      <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#Membership"></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_Membership.ttl"
-           property="prov:value">@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
[email protected] xsd:  &lt;http://www.w3.org/2001/XMLSchema#&gt; .
[email protected] owl:  &lt;http://www.w3.org/2002/07/owl#&gt; .
[email protected] prov: &lt;http://www.w3.org/ns/prov#&gt; .
[email protected] :     &lt;http://example.com/&gt; .
-
-
-:e1 a prov:Entity .
-:e2 a prov:Entity .
-
-:c1 
-   a prov:Dictionary, 
-     prov:Entity;
-   prov:membership [ 
-      a prov:Membership;
-      # These are (some of the) members of c1
-      prov:member [ 
-         a prov:KeyValuePair;
-         prov:key   &quot;k1&quot;^^xsd:string;
-         prov:value :e1;
-      ], [ 
-         a prov:KeyValuePair;
-         prov:key   &quot;k2&quot;^^xsd:string;
-         prov:value :e2;
-      ];
-   ];
-.
-</pre>
-    </div>
-
-    <dl class="description">
-    <dd 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>
-    </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#membership" href="#membership">prov:membership</a><sup class="type-op" title="object property">op</sup>
-      </dd>
-
-      <dt>qualifies</dt>
-      <dd>
-        <a title="http://www.w3.org/ns/prov#membership" href="#membership" class="owlproperty">prov:membership</a>
+        <a title="http://www.w3.org/ns/prov#hadDictionaryMember" href="#hadDictionaryMember">prov:hadDictionaryMember</a><sup class="type-op" title="object property">op</sup>
+        <a title="http://www.w3.org/ns/prov#insertedKeyValuePair" href="#insertedKeyValuePair">prov:insertedKeyValuePair</a><sup class="type-op" title="object property">op</sup>
       </dd>
     </dl>
   </div>
@@ -1775,15 +1660,15 @@
 @prefix prov: &lt;http://www.w3.org/ns/prov#&gt; .
 @prefix :     &lt;http://example.com/&gt; .
 
-:c1 a prov:Dictionary .
-
-:c2 
+:d1 a prov:Dictionary .
+
+:d2 
    a prov:Dictionary, 
      prov:Entity;
-   prov:derivedByRemovalFrom :c1;
+   prov:derivedByRemovalFrom :d1;
    prov:qualifiedRemoval [
       a prov:Removal, prov:DictionaryInvolvement;
-      prov:dictionary :c1;
+      prov:dictionary :d1;
       prov:removedKey &quot;k1&quot;^^xsd:string, 
                       &quot;k2&quot;^^xsd:string;
    ];
@@ -1797,18 +1682,15 @@
 
       <dt>is subclass of</dt>
       <dd>
-        <a title="http://www.w3.org/ns/prov#DictionaryInvolvement" href="#DictionaryInvolvement" class="owlclass">prov:DictionaryInvolvement</a>
+        <a title="http://www.w3.org/ns/prov#Derivation" href="http://www.w3.org/TR/2012/CR-prov-o-20121211/#Derivation" class="owlclass">prov:Derivation</a>
       </dd>
 
-      <dt>in domain of</dt>
+      <dt>described with properties</dt>
       <dd>
+        <a title="http://www.w3.org/ns/prov#dictionary" href="#dictionary" class="owlclass">prov:dictionary</a>
         <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>parent is in domain of</dt>
-      <dd>
-        <a title="http://www.w3.org/ns/prov#dictionary" href="#dictionary">prov:dictionary</a>      </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>
@@ -1827,9 +1709,7 @@
   <div id="derivedByInsertionFrom" class="entity">
     <h3>
       Property: <a href="#derivedByInsertionFrom"><span class="dotted" title="http://www.w3.org/ns/prov#derivedByInsertionFrom">prov:derivedByInsertionFrom</span></a><sup class="type-op" title="object property">op</sup>
-      <span class="backlink">
-         back to <a href="#prov-collections-owl-terms-at-a-glance">collections properties</a>
-      </span>
+      
     </h3>
     <p><strong>IRI:</strong>http://www.w3.org/ns/prov#derivedByInsertionFrom</p>
 
@@ -1847,14 +1727,14 @@
 :e1 a prov:Entity .
 :e2 a prov:Entity .
 
-:c  a prov:EmptyDictionary .
-
-:c1 a prov:Dictionary;
-   prov:derivedByInsertionFrom :c;
+:d  a prov:EmptyDictionary .
+
+:d1 a prov:Dictionary;
+   prov:derivedByInsertionFrom :d;
    prov:qualifiedInsertion [ 
       a prov:Insertion;
-      prov:dictionary :c;
-      prov:inserted [ 
+      prov:dictionary :d;
+      prov:insertedKeyValuePair [ 
          a prov:KeyValuePair;
          prov:key   &quot;k1&quot;^^xsd:string;
          prov:value :e1;
@@ -1876,7 +1756,7 @@
         <dd>
           <ul>
             <li>
-              <a title="http://www.w3.org/ns/prov#wasDerivedFrom" href="#wasDerivedFrom" class="owlclass">prov:wasDerivedFrom</a>
+              <a title="http://www.w3.org/ns/prov#wasDerivedFrom" href="http://www.w3.org/TR/2012/CR-prov-o-20121211/#wasDerivedFrom" class="owlclass">prov:wasDerivedFrom</a>
             </li>
           </ul>
         </dd>
@@ -1918,9 +1798,7 @@
   <div id="derivedByRemovalFrom" class="entity">
     <h3>
       Property: <a href="#derivedByRemovalFrom"><span class="dotted" title="http://www.w3.org/ns/prov#derivedByRemovalFrom">prov:derivedByRemovalFrom</span></a><sup class="type-op" title="object property">op</sup>
-      <span class="backlink">
-         back to <a href="#prov-collections-owl-terms-at-a-glance">collections properties</a>
-      </span>
+      
     </h3>
     <p><strong>IRI:</strong>http://www.w3.org/ns/prov#derivedByRemovalFrom</p>
 
@@ -1934,14 +1812,14 @@
 @prefix prov: &lt;http://www.w3.org/ns/prov#&gt; .
 @prefix :     &lt;http://example.com/&gt; .
 
-:c1 a prov:Dictionary .
-
-:c2 
+:d1 a prov:Dictionary .
+
+:d2 
    a prov:Dictionary, prov:Entity;
-   prov:derivedByRemovalFrom :c1;
+   prov:derivedByRemovalFrom :d1;
    prov:qualifiedRemoval [
-      a prov:Removal, prov:DictionaryInvolvement;
-      prov:dictionary :c1;
+      a prov:Removal;
+      prov:dictionary :d1;
       prov:removedKey &quot;k1&quot;^^xsd:string, 
                       &quot;k2&quot;^^xsd:string;
    ];
@@ -1958,7 +1836,7 @@
         <dd>
           <ul>
             <li>
-              <a title="http://www.w3.org/ns/prov#wasDerivedFrom" href="#wasDerivedFrom" class="owlclass">prov:wasDerivedFrom</a>
+              <a title="http://www.w3.org/ns/prov#wasDerivedFrom" href="http://www.w3.org/TR/2012/CR-prov-o-20121211/#wasDerivedFrom" class="owlclass">prov:wasDerivedFrom</a>
             </li>
           </ul>
         </dd>
@@ -2000,9 +1878,7 @@
   <div id="dictionary" class="entity">
     <h3>
       Property: <a href="#dictionary"><span class="dotted" title="http://www.w3.org/ns/prov#dictionary">prov:dictionary</span></a><sup class="type-op" title="object property">op</sup>
-      <span class="backlink">
-         back to <a href="#prov-collections-owl-terms-at-a-glance">collections properties</a>
-      </span>
+      
     </h3>
     <p><strong>IRI:</strong>http://www.w3.org/ns/prov#dictionary</p>
 
@@ -2016,14 +1892,14 @@
 
 :e1 a prov:Entity .
 
-:c  a prov:EmptyDictionary .
-
-:c1 a prov:Dictionary;
-   prov:derivedByInsertionFrom :c;
+:d  a prov:EmptyDictionary .
+
+:d1 a prov:Dictionary;
+   prov:derivedByInsertionFrom :d;
    prov:qualifiedInsertion [ 
       a prov:Insertion;
-      prov:dictionary :c;
-      prov:inserted [ 
+      prov:dictionary :d;
+      prov:insertedKeyValuePair [ 
          a prov:KeyValuePair;
          prov:key   &quot;k1&quot;^^xsd:string;
          prov:value :e1;
@@ -2034,7 +1910,7 @@
     </div>
 
     <div class="description">
-      <div class="comment"><p>The property used by a prov:DictionaryInvolvement to cite the prov:Dictionary that was prov:involved in insertion or removal of elements of a collection. </p>
+      <div class="comment"><p>The property used by a prov:Insertion and prov:Removal to cite the prov:Dictionary that was prov:derivedByInsertionFrom or prov:derivedByRemovalFrom another dictionary. </p>
       </div>
       <dl>
 
@@ -2042,7 +1918,7 @@
         <dd>
           <ul>
             <li>
-              <a title="http://www.w3.org/ns/prov#involvee" href="#involvee" class="owlclass">prov:involvee</a>
+              <a title="http://www.w3.org/ns/prov#entity" href="http://www.w3.org/TR/2012/CR-prov-o-20121211/#entity" class="owlclass">prov:entity</a>
             </li>
           </ul>
         </dd>
@@ -2051,7 +1927,10 @@
         <dd>
           <ul>
             <li>
-              <a title="http://www.w3.org/ns/prov#DictionaryInvolvement" href="#DictionaryInvolvement" class="owlclass">prov:DictionaryInvolvement</a>
+              <a title="http://www.w3.org/ns/prov#Insertion" href="#Insertion" class="owlclass">prov:Insertion</a>
+            </li>
+            <li>
+              <a title="http://www.w3.org/ns/prov#Removal" href="#Removal" class="owlclass">prov:Removal</a>
             </li>
           </ul>
         </dd>
@@ -2071,15 +1950,13 @@
 
   <div id="inserted" class="entity">
     <h3>
-      Property: <a href="#inserted"><span class="dotted" title="http://www.w3.org/ns/prov#inserted">prov:inserted</span></a><sup class="type-op" title="object property">op</sup>
-      <span class="backlink">
-         back to <a href="#prov-collections-owl-terms-at-a-glance">collections properties</a>
-      </span>
+      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>
+      
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#inserted</p>
+    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#insertedKeyValuePair</p>
 
     <div about="#example-for-property-inserted" typeof="prov:Entity" class="example">
-      <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#inserted"></span>
+      <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; .
@@ -2094,8 +1971,8 @@
    prov:derivedByInsertionFrom :our-old-baseball-team-field-positions;
    prov:qualifiedInsertion [ 
       a prov:Insertion;
-      prov:collection :our-old-baseball-team-field-positions;
-      prov:inserted [ 
+      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;;
@@ -2136,17 +2013,15 @@
     </div>
   </div>
 
-  <div id="member" class="entity">
+  <div id="hadDictionaryMember" class="entity">
     <h3>
-      Property: <a href="#member"><span class="dotted" title="http://www.w3.org/ns/prov#member">prov:member</span></a><sup class="type-op" title="object property">op</sup>
-      <span class="backlink">
-         back to <a href="#prov-collections-owl-terms-at-a-glance">collections properties</a>
-      </span>
+      Property: <a href="#hadDictionaryMember"><span class="dotted" title="http://www.w3.org/ns/prov#hadDictionaryMember">prov:hadDictionaryMember</span></a><sup class="type-op" title="object property">op</sup>
+      
     </h3>
     <p><strong>IRI:</strong>http://www.w3.org/ns/prov#member</p>
 
     <div about="#example-for-property-member" typeof="prov:Entity" class="example">
-      <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#member"></span>
+      <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; .
@@ -2158,19 +2033,16 @@
 :our-old-baseball-team-field-positions
    a prov:Dictionary, 
          :FieldPositions;
-   prov:membership [ 
-      a prov:Membership;
-      prov:member [
+      prov:hadDictionaryMember [
          a prov:KeyValuePair;
          prov:key &quot;first-baseman&quot;^^xsd:string;
          prov:value :george;
-      ];
-      prov:member [
+      ],
+      prov:hadDictionaryMember [
          a prov:KeyValuePair;
          prov:key &quot;pitcher&quot;^^xsd:string;
          prov:value :carl;
-      ]
-   ];
+      ];
 .
 
 :george a prov:Entity .
@@ -2179,7 +2051,7 @@
     </div>
 
     <div class="description">
-      <div class="comment"><p>The key-value pair was part of the membership. A membership can have multiple members.</p>
+      <div class="comment"><p>Describes the key-value pair that was member of a prov:Dictionary. A dictionary can have multiple members.</p>
       </div>
       <dl>
 
@@ -2187,7 +2059,7 @@
         <dd>
           <ul>
             <li>
-              <a title="http://www.w3.org/ns/prov#Membership" href="#Membership" class="owlclass">prov:Membership</a>
+              <a title="http://www.w3.org/ns/prov#Dictionary" href="#Dictionary" class="owlclass">prov:Dictionary</a>
             </li>
           </ul>
         </dd>
@@ -2205,93 +2077,41 @@
     </div>
   </div>
 
-  <div id="membership" class="entity">
+
+  <div id="key" class="entity">
     <h3>
-      Property: <a href="#membership"><span class="dotted" title="http://www.w3.org/ns/prov#membership">prov:membership</span></a><sup class="type-op" title="object property">op</sup>
-      <span class="backlink">
-         back to <a href="#prov-collections-owl-terms-at-a-glance">collections properties</a>
-      </span>
+      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>
+      
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#membership</p>
-
-    <div about="#example-for-property-membership" typeof="prov:Entity" class="example">
-      <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#membership"></span>
+    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#key</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>
       <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_membership.ttl"
+      <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; .
 @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; .
 @prefix :     &lt;http://example.com/&gt; .
 
-:e1 a prov:Entity .
-:e2 a prov:Entity .
-
-:c1 a prov:Dictionary, prov:Entity;
-   prov:membership [ 
-      a prov:Membership;
-      # These are (some of the) members of c1
-      prov:member [ 
+:our-old-baseball-team-field-positions
+   a prov:Dictionary, 
+         :FieldPositions;
+      prov:hadDictionaryMember [
          a prov:KeyValuePair;
-         prov:key   &quot;k1&quot;^^xsd:string;
-         prov:value :e1
-      ], [ 
+         prov:key &quot;first-baseman&quot;^^xsd:string;
+         prov:value :george;
+      ],
+      prov:hadDictionaryMember [
          a prov:KeyValuePair;
-         prov:key   &quot;k2&quot;^^xsd:string;
-         prov:value :e2
+         prov:key &quot;pitcher&quot;^^xsd:string;
+         prov:value :carl;
       ];
-   ];
 .
-</pre>
-    </div>
-
-    <div class="description">
-      <div class="comment"><p>The collection included the specified membership of keys-values.</p>
-      </div>
-      <dl>
-
-        <dt>has domain</dt>
-        <dd>
-          <ul>
-            <li>
-              <a title="http://www.w3.org/ns/prov#Dictionary" href="#Dictionary" class="owlclass">prov:Dictionary</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>
-
-  <div id="pairKey" class="entity">
-    <h3>
-      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>
-      <span class="backlink">
-         back to <a href="#prov-collections-owl-terms-at-a-glance">collections properties</a>
-      </span>
-    </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#pairKey</p>
-
-    <div about="#example-for-property-pairKey" typeof="prov:Entity" class="example">
-      <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_pairKey.ttl"
-           property="prov:value">@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
[email protected] xsd:  &lt;http://www.w3.org/2001/XMLSchema#&gt; .
[email protected] owl:  &lt;http://www.w3.org/2002/07/owl#&gt; .
[email protected] prov: &lt;http://www.w3.org/ns/prov#&gt; .
[email protected] :     &lt;http://example.com/&gt; .
-
-# TODO
+
+:george a prov:Entity .
+:carl   a prov:Entity . 
 </pre>
     </div>
 
@@ -2323,26 +2143,40 @@
     </div>
   </div>
 
-  <div id="pairValue" class="entity">
+  <div id="value" class="entity">
     <h3>
-      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>
-      <span class="backlink">
-         back to <a href="#prov-collections-owl-terms-at-a-glance">collections properties</a>
-      </span>
+      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>
+      
     </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#pairValue</p>
+    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#value</p>
 
     <div about="#example-for-property-pairValue" typeof="prov:Entity" class="example">
-      <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#pairValue"></span>
+      <span rel="dcterms:subject" resource="http://www.w3.org/ns/prov#value"></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_pairValue.ttl"
+      <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; .
 @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; .
 @prefix :     &lt;http://example.com/&gt; .
 
-# TODO
+:our-old-baseball-team-field-positions
+   a prov:Dictionary, 
+         :FieldPositions;
+      prov:hadDictionaryMember [
+         a prov:KeyValuePair;
+         prov:key &quot;first-baseman&quot;^^xsd:string;
+         prov:value :george;
+      ],
+      prov:hadDictionaryMember [
+         a prov:KeyValuePair;
+         prov:key &quot;pitcher&quot;^^xsd:string;
+         prov:value :carl;
+      ];
+.
+
+:george a prov:Entity .
+:carl   a prov:Entity . 
 </pre>
     </div>
 
@@ -2377,9 +2211,7 @@
   <div id="qualifiedInsertion" class="entity">
     <h3>
       Property: <a href="#qualifiedInsertion"><span class="dotted" title="http://www.w3.org/ns/prov#qualifiedInsertion">prov:qualifiedInsertion</span></a><sup class="type-op" title="object property">op</sup>
-      <span class="backlink">
-         back to <a href="#prov-collections-owl-terms-at-a-glance">collections properties</a>
-      </span>
+      
     </h3>
     <p><strong>IRI:</strong>http://www.w3.org/ns/prov#qualifiedInsertion</p>
 
@@ -2399,8 +2231,8 @@
    prov:derivedByInsertionFrom :our-old-baseball-team-field-positions;
    prov:qualifiedInsertion [ 
       a prov:Insertion;
-      prov:collection :our-old-baseball-team-field-positions;
-      prov:inserted [ 
+      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;;
@@ -2413,19 +2245,16 @@
 :our-old-baseball-team-field-positions
    a prov:Dictionary, 
          :FieldPositions;
-   prov:membership [ 
-      a prov:Membership;
-      prov:member [
+      prov:hadDictionaryMember [
          a prov:KeyValuePair;
          prov:key &quot;first-baseman&quot;^^xsd:string;
          prov:value :george;
-      ];
-      prov:member [
+      ],
+      prov:hadDictionaryMember [
          a prov:KeyValuePair;
          prov:key &quot;pitcher&quot;^^xsd:string;
          prov:value :carl;
       ];
-   ];
 .
 
 :george a prov:Entity .
@@ -2468,9 +2297,7 @@
   <div id="qualifiedRemoval" class="entity">
     <h3>
       Property: <a href="#qualifiedRemoval"><span class="dotted" title="http://www.w3.org/ns/prov#qualifiedRemoval">prov:qualifiedRemoval</span></a><sup class="type-op" title="object property">op</sup>
-      <span class="backlink">
-         back to <a href="#prov-collections-owl-terms-at-a-glance">collections properties</a>
-      </span>
+      
     </h3>
     <p><strong>IRI:</strong>http://www.w3.org/ns/prov#qualifiedRemoval</p>
 
@@ -2534,9 +2361,7 @@
   <div id="removedKey" class="entity">
     <h3>
       Property: <a href="#removedKey"><span class="dotted" title="http://www.w3.org/ns/prov#removedKey">prov:removedKey</span></a><sup class="type-dp" title="data property">dp</sup>
-      <span class="backlink">
-         back to <a href="#prov-collections-owl-terms-at-a-glance">collections properties</a>
-      </span>
+      
     </h3>
     <p><strong>IRI:</strong>http://www.w3.org/ns/prov#removedKey</p>
 
@@ -2550,14 +2375,14 @@
 @prefix prov: &lt;http://www.w3.org/ns/prov#&gt; .
 @prefix :     &lt;http://example.com/&gt; .
 
-:c2 
+:d2 
    a prov:Dictionary, 
      prov:Entity;
-   prov:derivedByRemovalFrom :c1;
+   prov:derivedByRemovalFrom :d1;
    prov:qualifiedRemoval [
       a prov:Removal, 
         prov:DictionaryInvolvement;
-      prov:dictionary :c1;
+      prov:dictionary :d1;
       prov:removedKey &quot;k1&quot;^^xsd:string, 
                        1337, 
                        3.14;
@@ -2654,6 +2479,7 @@
 <span class="conditional">IF</span> <span class="name">derivedByRemovalFrom(d2, d1, {"k1"})</span> 
    <span class='conditional'>THEN</span> <span class="name">hadDictionaryMember(d1, e1, "k1")</span>
 </p></div>
+  <div class="remark"><b>Note from the editors:</b> this constraint seems too restrictive for some implementations, and the editors would like to remove it, unless there is strong consensus to keep it. Removal of this constraint would also allow for duplicate dictionaries to be derived by "removal" of a non-existing key.</div>
 
 <p id="insertion-derivation-inference_text">Insertion and removal are special cases of derivation.</p>
 	 <div class='inference' id='insertion-derivation-inference'>