--- a/dictionary/Overview.html	Wed Apr 10 11:45:02 2013 +0200
+++ b/dictionary/Overview.html	Wed Apr 10 12:14:56 2013 +0200
@@ -779,7 +779,7 @@
 	This document provides a mechanism to assert the provenance for these types of data structures, in the most general way, as a collection of key-entity pairs, modified through insertions and deletions. Any more specialized structures can be modeled to some extent in terms of these key-entity pairs. 
 	Here, we will discuss the provenance of dictionaries structured in terms of key-entity pairs. However, how this key-entity pair structure is translated to more specialized data structures, is beyond the scope of this document.</p>
 
-<p>In this document, a dictionary is viewed as a snapshot of a data structure with key-entity pairs, following a sequence of state-changing insertion and removal operations. These  operations result in new snapshots, each snapshot forming a distinct and identifiable dictionary entity. Thus, when the structure of a dictionary changes (through insertions or removals), a new dictionary entity is defined, whereas the older dictionary entity remains the same.</p>
+<p>In this document, a dictionary is viewed as a snapshot of a data structure with key-entity pairs, following a sequence of state-changing insertion and removal operations. These  operations result in new snapshots, each snapshot forming a distinct and identifiable dictionary entity. Thus, when the structure of a dictionary changes (through insertions or removals), a new dictionary entity is defined, whereas the older dictionary entity remains the same. The concepts defined in this document can be used to specify the differences between these dictionary entities.</p>
 
 <!--
 <span class="glossary-ref" data-ref="glossary-empty-dictionary"></span>
@@ -1427,7 +1427,8 @@
          back to <a href="#prov-dictionary-owl-terms-at-a-glance">overview</a>
     </span>
     <p><strong>IRI:</strong>http://www.w3.org/ns/prov#EmptyDictionary</p>
-
+    <div class="definition">
+<p>An empty dictionary is a dictionary that has no members.</p></div>
     <div class="example">
       <strong>Example</strong>
       <pre>@prefix prov: &lt;http://www.w3.org/ns/prov#&gt; .
@@ -1442,7 +1443,7 @@
     </div>
 
     <dl class="description">
-    <dd class="comment"><p>An empty dictionary (i.e. has no members).</p>
+    <dd class="comment">
     </dd>
 
       <dt>is subclass of</dt>
@@ -1461,7 +1462,8 @@
          back to <a href="#prov-dictionary-owl-terms-at-a-glance">overview</a>
       </span>
     <p><strong>IRI:</strong>http://www.w3.org/ns/prov#KeyEntityPair</p>
-
+<div class="definition"><p>A key-entity pair. Part of a prov:Dictionary through prov:hadDictionaryMember. The key is any RDF Literal, the value is a prov:Entity.</p>
+    </div>
     <div class="example">
       <strong>Example</strong>
       <pre>@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
@@ -1492,8 +1494,7 @@
     </div>
 
     <dl class="description">
-    <dd class="comment"><p>A key-entity pair. Part of a prov:Dictionary through prov:hadDictionaryMember. The key is any RDF Literal, the value is a prov:Entity.</p>
-    </dd>
+    <dd class="comment"></dd>
 
       <dt>described with properties</dt>
       <dd>
@@ -1516,7 +1517,7 @@
          back to <a href="#prov-dictionary-owl-terms-at-a-glance">overview</a>
       </span>
     <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Insertion</p>
-    <div class="definition"><p>Insertion is a derivation that transforms a dictionary into another, by insertion of one or more key-entity pairs.</p>
+    <div class="definition"><p>Insertion is a derivation that describes the transformation of a dictionary into another, by insertion of one or more key-entity pairs.</p>
     </div>
 
     <div class="example">
@@ -1549,8 +1550,7 @@
     </div>
 
     <dl class="description">
-    <dd class="comment"><p>Insertion is a derivation that transforms a dictionary into another, by insertion of one or more key-entity pairs.</p>
-    </dd>
+    <dd class="comment"></dd>
 
       <dt>is subclass of</dt>
       <dd>
@@ -1581,7 +1581,7 @@
          back to <a href="#prov-dictionary-owl-terms-at-a-glance">overview</a>
       </span>
     <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Removal</p>
-    <div class="definition"><p>Removal is a derivation that transforms a dictionary into another, by removing one or more key-entity pairs.</p>
+    <div class="definition"><p>Removal is a derivation that describes the transformation of a dictionary into another, by removing one or more keys.</p>
     </div>
 
     <div class="example">
@@ -1609,8 +1609,7 @@
     </div>
 <div>
     <dl class="description">
-    <dd class="comment"><p>Removal is a derivation that transforms a dictionary into another, by removing one or more key-entity pairs specified by <a title="http://www.w3.org/ns/prov#removedKey" href="#removedKey">prov:removedKey</a>.</p>
-    </dd>
+    <dd class="comment"></dd>
 
       <dt>is subclass of</dt>
       <dd>
@@ -1649,7 +1648,8 @@
          back to <a href="#prov-dictionary-owl-terms-at-a-glance">overview</a>
       </span>
     <p><strong>IRI:</strong>http://www.w3.org/ns/prov#derivedByInsertionFrom</p>
-
+<div class="definition"><p>The dictionary was derived from the other by insertion. Can be qualified with prov:qualifiedInsertion, which shows details of the insertion, in particular the inserted key-entity pairs.</p>
+      </div>
     <div class="example">
       <strong>Example</strong>
       <pre>@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
@@ -1683,8 +1683,7 @@
     </div>
 
     <div class="description">
-      <div class="comment"><p>The dictionary was derived from the other by insertion. prov:qualifiedInsertion shows details of the insertion, in particular the inserted key-entity pairs.</p>
-      </div>
+      <div class="comment"></div>
       <dl>
 
         <dt>has super-properties</dt>
@@ -1739,7 +1738,8 @@
          back to <a href="#prov-dictionary-owl-terms-at-a-glance">overview</a>
       </span>
     <p><strong>IRI:</strong>http://www.w3.org/ns/prov#derivedByRemovalFrom</p>
-
+<div class="definition"><p>The dictionary was derived from the other by removal. Can be qualified with prov:qualifiedRemoval, which shows details of the removal, in particular the removed keys.</p>
+      </div>
     <div class="example">
       <strong>Example</strong>
       <pre>@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
@@ -1764,8 +1764,7 @@
     </div>
 
     <div class="description">
-      <div class="comment"><p>The dictionary was derived from the other by removal. prov:qualifiedRemoval shows details of the removal, in particular the removed key-entity pairs.</p>
-      </div>
+      <div class="comment"></div>
       <dl>
 
         <dt>has super-properties</dt>
@@ -1820,7 +1819,8 @@
          back to <a href="#prov-dictionary-owl-terms-at-a-glance">overview</a>
       </span>
     <p><strong>IRI:</strong>http://www.w3.org/ns/prov#dictionary</p>
-
+    <div class="definition"><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>
     <div class="example">
       <strong>Example</strong>
       <pre>@prefix prov: &lt;http://www.w3.org/ns/prov#&gt; .
@@ -1847,8 +1847,7 @@
     </div>
 
     <div class="description">
-      <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>
+      <div class="comment"></div>
       <dl>
 
         <dt>has super-properties</dt>
@@ -1892,7 +1891,8 @@
          back to <a href="#prov-dictionary-owl-terms-at-a-glance">overview</a>
       </span>
     <p><strong>IRI:</strong>http://www.w3.org/ns/prov#insertedKeyEntityPair</p>
-
+<div class="definition"><p>An object property to refer to the prov:KeyEntityPair inserted into a prov:Dictionary.</p>
+      </div>
     <div class="example">
       <strong>Example</strong>
       <pre>@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
@@ -1923,7 +1923,7 @@
     </div>
 
     <div class="description">
-      <div class="comment"><p>An object property to refer to the prov:KeyEntityPair inserted into a prov:Dictionary.</p>
+      <div class="comment">
       </div>
       <dl>
 
@@ -1958,7 +1958,8 @@
          back to <a href="#prov-dictionary-owl-terms-at-a-glance">overview</a>
       </span>
     <p><strong>IRI:</strong>http://www.w3.org/ns/prov#hadDictionaryMember</p>
-
+<div class="definition"><p>Describes the key-entity pair that was member of a prov:Dictionary. A dictionary can have multiple members.</p>
+      </div>
     <div class="example">
       <strong>Example</strong>
       <pre>@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
@@ -1987,7 +1988,7 @@
     </div>
 
     <div class="description">
-      <div class="comment"><p>Describes the key-entity pair that was member of a prov:Dictionary. A dictionary can have multiple members.</p>
+      <div class="comment">
       </div>
       <dl>
 
@@ -2023,7 +2024,7 @@
          back to <a href="#prov-dictionary-owl-terms-at-a-glance">overview</a>
       </span>
     <p><strong>IRI:</strong>http://www.w3.org/ns/prov#pairKey</p>
-
+    <div class="definition"><p>The key of a prov:KeyEntityPair, which is an element of a prov:Dictionary.</p></div>
     <div class="example">
       <strong>Example</strong>
       <pre>@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
@@ -2052,7 +2053,7 @@
     </div>
 
     <div class="description">
-      <div class="comment"><p>The key of a KeyEntityPair, which is an element of a prov:Dictionary.</p>
+      <div class="comment">
       </div>
       <p><strong>has characteristics</strong> <a href="http://www.w3.org/TR/owl2-syntax/#Functional_Object_Properties"> Functional</a>      </p>
       <dl>
@@ -2089,6 +2090,7 @@
       </span>
     <p><strong>IRI:</strong>http://www.w3.org/ns/prov#pairEntity</p>
 
+    <div class="definition"><p>The entity of a prov:KeyEntityPair, which is an element of a prov:Dictionary.</p></div>
     <div class="example">
       <strong>Example</strong>
       <pre>@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
@@ -2117,8 +2119,6 @@
     </div>
 
     <div class="description">
-      <div class="comment"><p>The value of a KeyEntityPair.</p>
-      </div>
       <p><strong>has characteristics</strong> <a href="http://www.w3.org/TR/owl2-syntax/#Functional_Object_Properties"> Functional</a>      </p>
       <dl>
 
@@ -2153,7 +2153,7 @@
          back to <a href="#prov-dictionary-owl-terms-at-a-glance">overview</a>
       </span>
     <p><strong>IRI:</strong>http://www.w3.org/ns/prov#qualifiedInsertion</p>
-
+    <div class="definition"><p>prov:qualifiedInsertion shows the details of an insertion, in particular the inserted key-entity pairs.</p></div>
     <div class="example">
       <strong>Example</strong>
       <pre>@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
@@ -2187,8 +2187,7 @@
     </div>
 
     <div class="description">
-      <div class="comment"><p>The dictionary was derived from the other by insertion. prov:qualifiedInsertion shows details of the insertion, in particular the inserted key-entity pairs.</p>
-      </div>
+      <div class="comment"></div>
       <dl>
 
         <dt>has super-properties</dt>
@@ -2237,6 +2236,7 @@
       </span>
     <p><strong>IRI:</strong>http://www.w3.org/ns/prov#qualifiedRemoval</p>
 
+    <div class="definition"><p>prov:qualifiedRemoval shows the details of a removal, in particular the removed keys.</p></div>
     <div class="example">
       <strong>Example</strong>
       <pre>@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
@@ -2308,7 +2308,7 @@
          back to <a href="#prov-dictionary-owl-terms-at-a-glance">overview</a>
       </span>
     <p><strong>IRI:</strong>http://www.w3.org/ns/prov#removedKey</p>
-
+    <div class="definition"><p>The key removed in a Removal.</p></div>
     <div class="example">
       <strong>Example</strong>
       <pre>@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
@@ -2334,7 +2334,7 @@
     </div>
 
     <div class="description">
-      <div class="comment"><p>The key removed in a Removal.</p>
+      <div class="comment">
       </div>
       <dl>
 

--- a/dictionary/prov-dictionary.owl	Wed Apr 10 11:45:02 2013 +0200
+++ b/dictionary/prov-dictionary.owl	Wed Apr 10 12:14:56 2013 +0200
@@ -46,7 +46,7 @@
         <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
         <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-insertion</n>
         <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-insertion</dm>
-        <definition>The dictionary was derived from the other by insertion. prov:qualifiedInsertion shows details of the insertion, in particular the inserted key-entity pairs.</definition>
+        <definition>The dictionary was derived from the other by insertion. Can be qualified with prov:qualifiedInsertion, which shows details of the insertion, in particular the inserted key-entity pairs.</definition>
         <component>collections</component>
         <category>collections</category>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
@@ -65,7 +65,7 @@
         <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-removal</n>
         <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-removal</dm>
         <component>collections</component>
-        <definition>The dictionary was derived from the other by removal. prov:qualifiedRemoval shows details of the removal, in particular the removed key-entity pairs.</definition>
+        <definition>The dictionary was derived from the other by removal. Can be qualified with prov:qualifiedRemoval, which shows details of the removal, in particular the removed keys.</definition>
         <category>collections</category>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
@@ -139,7 +139,7 @@
         <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-membership</dm>
         <category>collections</category>
         <component>collections</component>
-        <definition>The value of a KeyEntityPair.</definition>
+        <definition>The entity of a prov:KeyEntityPair, which is an element of a prov:Dictionary.</definition>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Entity"/>
         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#KeyEntityPair"/>
@@ -154,7 +154,7 @@
         <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
         <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-insertion</n>
         <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-insertion</dm>
-        <definition>The dictionary was derived from the other by insertion. prov:qualifiedInsertion shows details of the insertion, in particular the inserted key-entity pairs.</definition>
+        <definition>prov:qualifiedInsertion shows the details of an insertion, in particular the inserted key-entity pairs.</definition>
         <category>collections</category>
         <component>collections</component>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
@@ -174,7 +174,7 @@
         <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-removal</dm>
         <category>collections</category>
         <component>collections</component>
-        <definition>The dictionary was derived from the other by removal. prov:qualifiedRemoval shows details of the removal, in particular the removed keys.</definition>
+        <definition>prov:qualifiedRemoval shows the details of a removal, in particular the removed keys.</definition>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
         <rdfs:domain rdf:resource="http://www.w3.org/ns/prov#Dictionary"/>
         <rdfs:range rdf:resource="http://www.w3.org/ns/prov#Removal"/>
@@ -202,7 +202,7 @@
         <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-membership</n>
         <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-membership</dm>
         <component>collections</component>
-        <definition>The key of a KeyEntityPair, which is an element of a prov:Dictionary.</definition>
+        <definition>The key of a prov:KeyEntityPair, which is an element of a prov:Dictionary.</definition>
         <category>collections</category>
         <rdfs:range rdf:resource="&rdfs;Literal"/>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
@@ -291,7 +291,7 @@
         <constraints rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#dictionary-constraints</constraints>
         <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-insertion</n>
         <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-insertion</dm>
-        <definition>Insertion is a derivation that transforms a dictionary into another, by insertion of one or more key-entity pairs.</definition>
+        <definition>Insertion is a derivation that describes the transformation of a dictionary into another, by insertion of one or more key-entity pairs.</definition>
         <category>collections</category>
         <component>collections</component>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
@@ -348,7 +348,7 @@
         <n rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#expression-dictionary-removal</n>
         <dm rdf:datatype="&xsd;anyURI">http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/#term-dictionary-removal</dm>
         <category>collections</category>
-        <definition>Removal is a derivation that transforms a dictionary into another, by removing one or more key-entity pairs.</definition>
+        <definition>Removal is a derivation that describes the transformation of a dictionary into another, by removing one or more keys.</definition>
         <component>collections</component>
         <rdfs:isDefinedBy rdf:resource="http://www.w3.org/ns/prov#"/>
         <unqualifiedForm rdf:resource="http://www.w3.org/ns/prov#derivedByRemovalFrom"/>