Updates to PROV-DICTIONARY ontology
authorTom De Nies <tom.denies@ugent.be>
Thu, 10 Jan 2013 17:02:54 +0100
changeset 5414 9d566dff7260
parent 5413 b3f397c7b15c
child 5415 eedf09ddfda6
Updates to PROV-DICTIONARY ontology
dictionary/prov-dictionary.html
--- a/dictionary/prov-dictionary.html	Thu Jan 10 15:44:39 2013 +0100
+++ b/dictionary/prov-dictionary.html	Thu Jan 10 17:02:54 2013 +0100
@@ -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">
+@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; .
 
 :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; .
-@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 [ 
-         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; .
-@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
+
+: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;