Updated PROV-Dictionary in response to Simon's review
authorTom De Nies <tom.denies@ugent.be>
Wed, 10 Apr 2013 11:19:45 +0200
changeset 6117 dd20b8e41fff
parent 6114 d3308ed33073
child 6118 fbb49a9e39d5
Updated PROV-Dictionary in response to Simon's review
dictionary/Overview.html
--- a/dictionary/Overview.html	Tue Apr 09 16:39:04 2013 -0400
+++ b/dictionary/Overview.html	Wed Apr 10 11:19:45 2013 +0200
@@ -2,7 +2,7 @@
 >
 
 <html><head> 
-    <title>PROV Dictionary</title> 
+    <title>PROV-Dictionary: Modeling Provenance for Dictionary Data Structures</title> 
     <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> 
 <link rel="http://www.w3.org/ns/prov#has_provenance" href="http://www.w3.org/2011/prov/provenance/prov-dictionary"/>
 
@@ -618,7 +618,7 @@
       };
       var respecConfig = {
           // specification status (e.g. WD, LCWD, NOTE, etc.). If in doubt use ED.
-          specStatus:           "ED", //WD-NOTE
+          specStatus:           "NOTE", //WD-NOTE
           
           // the specification's short name, as in http://www.w3.org/TR/short-name/
           shortName:            "prov-dictionary",
@@ -629,7 +629,7 @@
 
  
           // if you wish the publication date to be other than today, set this
-          //publishDate:  "2013-03-12",
+          publishDate:  "2013-04-30",
  
           // if the specification's copyright date is a range of years, specify
           // the start date here:
@@ -637,8 +637,8 @@
  
           // if there is a previously published draft, uncomment this and set its YYYY-MM-DD date
           // and its maturity status
-          //previousPublishDate:  "2012-07-24",
-          //previousMaturity:  "ED",
+          previousPublishDate:  "2013-03-12",
+          previousMaturity:  "FPWD",
  
           // if there a publicly available Editor's Draft, this is the link
           edDraftURI:           "http://dvcs.w3.org/hg/prov/raw-file/default/dictionary/Overview.html",
@@ -718,31 +718,31 @@
 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 listed below. Please consult the [[PROV-OVERVIEW]] for a guide to reading these documents. 
 <ul>
-<li> <a href="http://www.w3.org/TR/2013/WD-prov-overview-20130312/">PROV-OVERVIEW</a> (To be published as Note), an overview of the PROV family of documents [[PROV-OVERVIEW]];</li>
-<li> <a href="http://www.w3.org/TR/2013/WD-prov-primer-20130312/">PROV-PRIMER</a> (To be published as Note), a primer for the PROV data model [[PROV-PRIMER]];</li>
-<li> <a href="http://www.w3.org/TR/2013/PR-prov-o-20130312/">PROV-O</a> (Proposed Recommendation), the PROV ontology, an OWL2 ontology allowing the mapping of PROV to RDF [[PROV-O]];</li>
-<li> <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/">PROV-DM</a> (Proposed Recommendation), the PROV data model for provenance [[PROV-DM]];</li>
-<li> <a href="http://www.w3.org/TR/2013/PR-prov-n-20130312/">PROV-N</a> (Proposed Recommendation), a notation for provenance aimed at human consumption [[PROV-N]];</li>
-<li> <a href="http://www.w3.org/TR/2013/PR-prov-constraints-20130312/">PROV-CONSTRAINTS</a> (Proposed Recommendation), a set of constraints applying to the PROV data model [[PROV-CONSTRAINTS]];</li>
-<li> <a href="http://www.w3.org/TR/2013/WD-prov-xml-20130312/">PROV-XML</a> (To be published as Note),  an XML schema for the PROV data model [[PROV-XML]];</li>
-<li> <a href="http://www.w3.org/TR/2013/WD-prov-aq-20130312/">PROV-AQ</a> (To be published as Note), the mechanisms for accessing and querying provenance [[PROV-AQ]]; </li>
-<li> <a href="http://www.w3.org/TR/2013/WD-prov-dictionary-20130312/">PROV-DICTIONARY</a> (To be published as Note) introduces a specific type of collection, consisting of key-entity pairs [[PROV-DICTIONARY]];</li>
-<li> <a href="http://www.w3.org/TR/2013/WD-prov-dc-20130312/">PROV-DC</a> (To be published as Note) provides a mapping between PROV and Dublic Core Terms [[PROV-DC]];</li>
-<li> <a href="http://www.w3.org/TR/2013/WD-prov-sem-20130312/">PROV-SEM</a> (To be published as Note), a declarative specification in terms of first-order logic of the PROV data model [[PROV-SEM]];</li>
-<li> <a href="http://www.w3.org/TR/2013/WD-prov-links-20130312/">PROV-LINKS</a> (To be published as Note) introduces a mechanism to link across bundles (this document).</li>
+<li> <a href="http://www.w3.org/TR/2013/NOTE-prov-overview-20130430/">PROV-OVERVIEW</a> (Note), an overview of the PROV family of documents [[PROV-OVERVIEW]];</li>
+<li> <a href="http://www.w3.org/TR/2013/NOTE-prov-primer-20130430/">PROV-PRIMER</a> (Note), a primer for the PROV data model [[PROV-PRIMER]];</li>
+<li> <a href="http://www.w3.org/TR/2013/REC-prov-o-20130430/">PROV-O</a> (Recommendation), the PROV ontology, an OWL2 ontology allowing the mapping of the PROV data model to RDF [[PROV-O]];</li>
+<li> <a href="http://www.w3.org/TR/2013/REC-prov-dm-20130430/">PROV-DM</a> (Recommendation), the PROV data model for provenance [[PROV-DM]];</li>
+<li> <a href="http://www.w3.org/TR/2013/REC-prov-n-20130430/">PROV-N</a> (Recommendation), a notation for provenance aimed at human consumption [[PROV-N]];</li>
+<li> <a href="http://www.w3.org/TR/2013/REC-prov-constraints-20130430/">PROV-CONSTRAINTS</a> (Recommendation), a set of constraints applying to the PROV data model [[PROV-CONSTRAINTS]];</li>
+<li> <a href="http://www.w3.org/TR/2013/NOTE-prov-xml-20130430/">PROV-XML</a> (Note),  an XML schema for the PROV data model [[PROV-XML]];</li>
+<li> <a href="http://www.w3.org/TR/2013/NOTE-prov-aq-20130430/">PROV-AQ</a> (Note), mechanisms for accessing and querying provenance [[PROV-AQ]]; </li>
+<li> <a href="http://www.w3.org/TR/2013/NOTE-prov-dictionary-20130430/">PROV-DICTIONARY</a> (Note) introduces a specific type of collection, consisting of key-entity pairs (this document);</li>
+<li> <a href="http://www.w3.org/TR/2013/NOTE-prov-dc-20130430/">PROV-DC</a> (Note) provides a mapping between PROV-O and Dublic Core Terms [[PROV-DC]];</li>
+<li> <a href="http://www.w3.org/TR/2013/NOTE-prov-sem-20130430/">PROV-SEM</a> (Note), a declarative specification in terms of first-order logic of the PROV data model [[PROV-SEM]];</li>
+<li> <a href="http://www.w3.org/TR/2013/NOTE-prov-links-20130430/">PROV-LINKS</a> (Note) introduces a mechanism to link across bundles [[PROV-LINKS]].</li>
 </ul>
 
+<h4>Implementations Encouraged</h4>
+<p>
+The Provenance Working Group encourages implementation of the material defined in this document.
+     Although work on this document by the Provenance Working Group is complete, 
+errors may be recorded in the  <a href="http://www.w3.org/2011/prov/errata.html">errata</a> or and these may be addressed in future revisions. 
+</p>
+
+<h4>Please Send Comments</h4>
+
 </section>
 
-
-
-
-
-
-
-
-
-
     <section id="introduction"> 
 <h2>Introduction</h2> 
 
@@ -794,7 +794,7 @@
   <li><span class="name">prov:EmptyDictionary</span> is a subtype of both <span class="name">prov:EmptyCollection</span> and <span class="name">prov:Dictionary</span>. It denotes an empty dictionary.</li>
 </ul>
 
-<p>Note that the complete content of a dictionary is unknown unless it can be traced back to an empty dictionary through a series of insertions and removals. If an asserter wants to explicitly state that a dictionary is empty, it is recommended that the <span class="name">prov:type</span> <span class="name">prov:EmptyCollection</span> is used.
+<p>Note that the complete content of a dictionary is unknown unless it can be traced back to an empty dictionary through a series of insertions and removals. If an asserter wants to explicitly state that a dictionary is empty, it is recommended that the <span class="name">prov:type</span> <span class="name">prov:EmptyDictionary</span> is used.
 
 <div class="anexample">
 <pre class="codeexample">
@@ -827,7 +827,7 @@
 
 <div class="anexample">
 <pre class="codeexample">
-entity(d, [prov:type='prov:Dictionary' ])    // d1 is a dictionary, with (so far) unknown content
+entity(d, [prov:type='prov:Dictionary' ])    // d is a dictionary, with (so far) unknown content
 
 entity(e1)
 entity(e2)
@@ -866,10 +866,8 @@
 
 <p>
 An Insertion relation <span class="name">prov:derivedByInsertionFrom(id; d2, d1,  {(key_1, e_1), ..., (key_n, e_n)})</span> states that  <span class="name">d2</span> is the dictionary
-following the insertion of pairs <span class="name">(key_1, e_1)</span>, ..., <span class="name">(key_n, e_n)</span> into dictionary  <span class="name">d1</span>. 
-Note that insertion and the specified key-entity-set are considered to be complete. This means that we assume that no unknown keys were inserted in or removed from a dictionary after an insertion. This is formalized in <a href="#insertion-removal-membership-inference">Inference D8</a>.</p>
-
-
+following the insertion of key-entity pairs <span class="name">(key_1, e_1)</span>, ..., <span class="name">(key_n, e_n)</span> into dictionary  <span class="name">d1</span>. In other words, the set of key-entity pairs <span class="name">(key_1, e_1)</span>, ..., <span class="name">(key_n, e_n)</span> is to be seen as the difference between <span class="name">d1</span> and <span class="name">d2</span>.
+Note that this key-entity-set is considered to be complete. This means that we assume that no unknown keys were inserted in or removed from a dictionary derived by an insertion relation. This is formalized in <a href="#insertion-removal-membership-inference">Inference D8</a>.</p>
 
 <div class="anexample">
 <pre class="codeexample">
@@ -972,14 +970,11 @@
 <section id="dictionary-notation"> 
 <h2>PROV-N Notation of Dictionary Concepts</h2>
 The notation used for dictionaries in this document extends the standard PROV-N according to the principles described in <a href="http://www.w3.org/TR/2013/PR-prov-n-20130312/#extensibility">the PROV-N extensibility chapter</a>.
-However, because dictionaries are defined in the same namespace as the rest of PROV-N, the terms in this document do not have a non-empty prefix. For the remainder of this document, we will assume that the default namespace http://www.w3.org/ns/prov# is used, and thus, no prefix is specified for the terms associated with dictionaries.
-<div class="note">Note that the use of a non-empty prefix for extensions of PROV-N is technically not valid. The terms used in this document can be made valid by the addition of a prefix "prov:" to all PROV-Dictionary terms. However, this would greatly reduce the readability of this document.
-  The Working Group is currently discussing how to address this issue before the next Working Draft of this document.</div>
-The [<a href="http://dvcs.w3.org/hg/prov/raw-file/default/dictionary/prov-dictionary-grammar.txt">Grammar for PROV-Dictionary</a>] is available for download.
+The [<a href="prov-dictionary-grammar.txt">Grammar for PROV-Dictionary</a>] is available for download.
 
 <section id="expression-dictionary">
   <h3>Dictionary and EmptyDictionary Expression</h3>
-    PROV-Dictionary provides no dedicated syntax for Collection and EmptyCollection. Dictionaries are declared in <a href="http://www.w3.org/TR/2013/PR-prov-n-20130312/#expression-collection">the same way</a> as Collections. A Dictionary or an EmptyDictionary MUST be expressed as an
+    PROV-Dictionary provides no dedicated syntax for Dictionary and EmptyDictionary. Dictionaries are declared in <a href="http://www.w3.org/TR/2013/PR-prov-n-20130312/#expression-collection">the same way</a> as Collections. A Dictionary or an EmptyDictionary MUST be expressed as an
 <code class="content"><a class="grammarRef" href="http://www.w3.org/TR/2013/PR-prov-n-20130312/#prod-entityExpression">entityExpression</a></code> with attribute 
 <span  id="provn-type-Dictionary"><code>prov:type='prov:Dictionary'</code></span>, or
 <span  id="provn-type-EmptyDictionary"><code>prov:type='prov:EmptyDictionary'</code></span>, respectively.
@@ -1148,7 +1143,7 @@
   </pre>
 <p>  Here
     <span class="name">id</span> is the optional removal identifier,
-  <span class="name">d1</span> is the  identifier for the collection after the removal,
+  <span class="name">d3</span> is the  identifier for the collection after the removal,
   <span class="name">d</span> is the  identifier for the collection before the removal,
   <span class="name"> {"k1", "k2"}</span> is the set of keys that have been removed from
   <span class="name">d</span>,
@@ -1195,7 +1190,7 @@
 <p>In this section, the ontological definition of <code>prov:Dictionary</code> is given, in order to extend [[PROV-O]] with dictionaries. For more information on the terminology, syntax and conventions used in this section, we refer to [[PROV-O]].</p>
 <p>The classes and properties defined in this document will be included in the default namespace of PROV.
   Users of the ontology have the option of importing <code>&lt;http://www.w3.org/ns/prov#&gt;</code>, which includes all extensions, including PROV-Dictionary, or if they wish to have only [[PROV-O]] terms, they can import <code>&lt;http://www.w3.org/ns/prov-o#&gt;</code>. Similarly, <code>&lt;http://www.w3.org/ns/prov-dictionary#&gt;</code> holds only the PROV-Dictionary terms.
-The [<a href="https://dvcs.w3.org/hg/prov/raw-file/default/dictionary/prov-dictionary.owl">OWL file for PROV-Dictionary</a>] is available for download. (Note that this file is unfinished at the time of this working draft, and may be subject to change.)</p>
+The [<a href="prov-dictionary.owl">OWL file for PROV-Dictionary</a>] is available for download.</p>
   
   <p> A <code><a class="qname"
 	href='#Dictionary'>prov:Dictionary</a></code> is a <code
@@ -1363,12 +1358,12 @@
   <div id="Dictionary" class="entity">
     <h3>
       Class: <a href="#Dictionary"><span class="dotted" title="http://www.w3.org/ns/prov#Dictionary">prov:Dictionary</span></a>
-      <span class="backlink">
+    </h3>
+    <span class="backlink">
          back to <a href="#prov-dictionary-owl-terms-at-a-glance">overview</a>
       </span>
-    </h3>
     <p><strong>IRI:</strong>http://www.w3.org/ns/prov#Dictionary</p>
-    <div class="definition"><p>A dictionary is an entity that provides a structure to some constituents, which are themselves entities. These constituents are said to be member of the dictionary.</p>
+    <div class="definition"><p>A dictionary is an entity that provides a structure to some constituents, which are themselves entities. These constituents are said to be members of the dictionary.</p>
     </div>
 
     <div class="example">
@@ -1427,10 +1422,10 @@
   <div id="EmptyDictionary" class="entity">
     <h3>
       Class: <a href="#EmptyDictionary"><span class="dotted" title="http://www.w3.org/ns/prov#EmptyDictionary">prov:EmptyDictionary</span></a>
-      <span class="backlink">
+    </h3>
+    <span class="backlink">
          back to <a href="#prov-dictionary-owl-terms-at-a-glance">overview</a>
-      </span>
-    </h3>
+    </span>
     <p><strong>IRI:</strong>http://www.w3.org/ns/prov#EmptyDictionary</p>
 
     <div class="example">
@@ -1458,13 +1453,68 @@
     </dl>
   </div>
 
+  <div id="KeyEntityPair" class="entity">
+    <h3>
+      Class: <a href="#KeyEntityPair"><span class="dotted" title="http://www.w3.org/ns/prov#KeyEntityPair">prov:KeyEntityPair</span></a>
+    </h3>
+      <span class="backlink">
+         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="example">
+      <strong>Example</strong>
+      <pre>@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; .
+
+
+:our-baseball-team-field-positions
+   a prov:Dictionary, 
+         :FieldPositions;
+    prov:hadDictionaryMember [
+       a prov:KeyEntityPair;
+       prov:pairKey &quot;first-baseman&quot;^^xsd:string;
+       prov:pairEntity :george;
+    ];
+    prov:hadDictionaryMember [
+       a prov:KeyEntityPair;
+       prov:pairKey &quot;pitcher&quot;^^xsd:string;
+       prov:pairEntity :carl;
+    ];
+.
+
+:george a prov:Entity .
+:carl   a prov:Entity . 
+</pre>
+    </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>
+
+      <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#pairEntity" href="#pairEntity">prov:pairEntity</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#hadDictionaryMember" href="#hadDictionaryMember">prov:hadDictionaryMember</a><sup class="type-op" title="object property">op</sup>
+        <a title="http://www.w3.org/ns/prov#insertedKeyEntityPair" href="#insertedKeyEntityPair">prov:insertedKeyEntityPair</a><sup class="type-op" title="object property">op</sup>
+      </dd>
+    </dl>
+  </div>
   <div id="Insertion" class="entity">
     <h3>
       Class: <a href="#Insertion"><span class="dotted" title="http://www.w3.org/ns/prov#Insertion">prov:Insertion</span></a>
+    </h3>
       <span class="backlink">
          back to <a href="#prov-dictionary-owl-terms-at-a-glance">overview</a>
       </span>
-    </h3>
     <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>
@@ -1523,70 +1573,13 @@
       </dd>
     </dl>
   </div>
-
-  <div id="KeyEntityPair" class="entity">
+  <div id="Removal" class="entity">
     <h3>
-      Class: <a href="#KeyEntityPair"><span class="dotted" title="http://www.w3.org/ns/prov#KeyEntityPair">prov:KeyEntityPair</span></a>
+      Class: <a href="#Removal"><span class="dotted" title="http://www.w3.org/ns/prov#Removal">prov:Removal</span></a>
+    </h3>
       <span class="backlink">
          back to <a href="#prov-dictionary-owl-terms-at-a-glance">overview</a>
       </span>
-    </h3>
-    <p><strong>IRI:</strong>http://www.w3.org/ns/prov#KeyEntityPair</p>
-
-    <div class="example">
-      <strong>Example</strong>
-      <pre>@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; .
-
-
-:our-baseball-team-field-positions
-   a prov:Dictionary, 
-         :FieldPositions;
-    prov:hadDictionaryMember [
-       a prov:KeyEntityPair;
-       prov:pairKey &quot;first-baseman&quot;^^xsd:string;
-       prov:pairEntity :george;
-    ];
-    prov:hadDictionaryMember [
-       a prov:KeyEntityPair;
-       prov:pairKey &quot;pitcher&quot;^^xsd:string;
-       prov:pairEntity :carl;
-    ];
-.
-
-:george a prov:Entity .
-:carl   a prov:Entity . 
-</pre>
-    </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>
-
-      <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#pairEntity" href="#pairEntity">prov:pairEntity</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#hadDictionaryMember" href="#hadDictionaryMember">prov:hadDictionaryMember</a><sup class="type-op" title="object property">op</sup>
-        <a title="http://www.w3.org/ns/prov#insertedKeyEntityPair" href="#insertedKeyEntityPair">prov:insertedKeyEntityPair</a><sup class="type-op" title="object property">op</sup>
-      </dd>
-    </dl>
-  </div>
-
-  <div id="Removal" class="entity">
-    <h3>
-      Class: <a href="#Removal"><span class="dotted" title="http://www.w3.org/ns/prov#Removal">prov:Removal</span></a>
-      <span class="backlink">
-         back to <a href="#prov-dictionary-owl-terms-at-a-glance">overview</a>
-      </span>
-    </h3>
     <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>
@@ -1652,6 +1645,9 @@
       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>
       
     </h3>
+      <span class="backlink">
+         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="example">
@@ -1739,6 +1735,9 @@
       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>
       
     </h3>
+      <span class="backlink">
+         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="example">
@@ -1817,6 +1816,9 @@
       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>
       
     </h3>
+      <span class="backlink">
+         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="example">
@@ -1886,6 +1888,9 @@
       Property: <a href="#insertedKeyEntityPair"><span class="dotted" title="http://www.w3.org/ns/prov#insertedKeyEntityPair">prov:insertedKeyEntityPair</span></a><sup class="type-op" title="object property">op</sup>
       
     </h3>
+      <span class="backlink">
+         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="example">
@@ -1949,6 +1954,9 @@
       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>
+      <span class="backlink">
+         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="example">
@@ -2011,6 +2019,9 @@
       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>
+      <span class="backlink">
+         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="example">
@@ -2073,6 +2084,9 @@
       Property: <a href="#pairEntity"><span class="dotted" title="http://www.w3.org/ns/prov#pairEntity">prov:pairEntity</span></a><sup class="type-op" title="object property">op</sup>
       
     </h3>
+      <span class="backlink">
+         back to <a href="#prov-dictionary-owl-terms-at-a-glance">overview</a>
+      </span>
     <p><strong>IRI:</strong>http://www.w3.org/ns/prov#pairEntity</p>
 
     <div class="example">
@@ -2135,6 +2149,9 @@
       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>
       
     </h3>
+      <span class="backlink">
+         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="example">
@@ -2215,6 +2232,9 @@
       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>
       
     </h3>
+      <span class="backlink">
+         back to <a href="#prov-dictionary-owl-terms-at-a-glance">overview</a>
+      </span>
     <p><strong>IRI:</strong>http://www.w3.org/ns/prov#qualifiedRemoval</p>
 
     <div class="example">
@@ -2284,6 +2304,9 @@
       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>
       
     </h3>
+      <span class="backlink">
+         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="example">
@@ -2344,8 +2367,7 @@
 <section id="dictionary-xml-schema"> 
 <h2>PROV-XML Representation of Dictionary</h2>
 This section details how to describe dictionaries with
-the [[PROV-XML]] serialization. The [<a href="http://dvcs.w3.org/hg/prov/raw-file/default/xml/schema/prov-dictionary.xsd">XML schema for PROV-Dictionary</a>] is available for download. 
-<div class="note">The Working Group is currently discussing the best way of disseminating the XML Schema for PROV-DM and its extensions. For now, we recommend importing both the [<a href="https://dvcs.w3.org/hg/prov/raw-file/default/xml/prov-xml.html#prov-xml-schema">PROV-XML Schema</a>] and the [<a href="https://dvcs.w3.org/hg/prov/raw-file/default/xml/schema/prov-dictionary.xsd">XML schema for PROV-Dictionary</a>].</div>
+the [[PROV-XML]] serialization. The [<a href="http://www.w3.org/TR/2013/WD-prov-xml-20130312/schema/prov-dictionary.xsd">XML schema for PROV-Dictionary</a>] is available for download, and includes <a href="http://www.w3.org/TR/2013/WD-prov-xml-20130312/schema/prov-core.xsd">prov-core.xsd</a>, the core schema of PROV. Alternatively, the default schema, <a href="http://www.w3.org/TR/2013/WD-prov-xml-20130312/schema/prov.xsd">prov.xsd</a> can be used, which imports <a href="http://www.w3.org/TR/2013/WD-prov-xml-20130312/schema/prov-core.xsd">prov-core.xsd</a> and all extension schemas developed by the Working Group.
 <section id="term-Dictionary">
 <h3>Dictionary</h3>
 <div class="glossary-ref" data-ref="glossary-dictionary"></div>
@@ -2658,14 +2680,6 @@
    and <span class="name">prov:derivedByInsertionFrom(d2, d1, KV1)</span> and <span class="name">k</span> &notin; <span class="name">K1</span>
    <span class='conditional'>THEN</span> <span class="name">prov:hadDictionaryMember(d2, e, k)</span>
 </p></div>
-<!--REMOVED CONSTRAINT <p id="membership-update-membership-inference_text">Insertion provides an "update semantics" for the keys that are already present in a dictionary. A new pair replaces an existing pair with the same key in the new dictionary. </p>
-	 <div class='inference' id='membership-update-membership-inference'>
-<p>
-<span class="conditional">IF</span>  <span class="name">hadDictionaryMember(d1, e1, "k1")</span>
-   and <span class="name">derivedByInsertionFrom(d2, d1, {("k1", e2)})</span>
-   <span class='conditional'>THEN</span> <span class="name">hadDictionaryMember(d2, e2, "k1"))</span>
-</p></div>
-/REMOVED CONSTRAINT-->
 
 <p id="insertion-membership-inference_text">A dictionary that was derived by an insertion of key-entity pairs, holds all these specified key-entity pairs. This inference also means that Insertion provides an "update semantics" for the keys that are already present in a dictionary.</p>
 	 <div class='inference' id='insertion-membership-inference'>
@@ -2676,26 +2690,17 @@
    <span class='conditional'>THEN</span> <span class="name">prov:hadDictionaryMember(d2, e, k) for each (e, k) &in; KV1</span>
 </p></div>
 
-
-<!--REMOVED CONSTRAINT <p id="removal-membership-inference_text">Only keys that actually mapped to an entity in a dictionary can be removed from it.</p>
-	 <div class='inference' id='removal-membership-inference'>
-<p>
-<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>
-/REMOVED CONSTRAINT-->
-
 <p id="insertion-derivation-inference_text">Insertion and removal are special cases of derivation.</p>
 	 <div class='inference' id='insertion-derivation-inference'>
 	<span class='ruleTitle'><a class="internalDFN" href="#insertion-derivation-inference">Inference D6 (insertion-derivation)</a></span>
- <p>Here, KV1 is a set of key-entity pairs and K1 is a set of keys.</p>
+ <p>Here, KV1 is a set of key-entity pairs.</p>
  <p>
 <span class="conditional">IF</span> <span class="name">prov:derivedByInsertionFrom(d2, d1, KV1)</span> 
    <span class='conditional'>THEN</span> <span class="name">prov:wasDerivedFrom(d2, d1)</span>
 </p></div>
 	 <div class='inference' id='removal-derivation-inference'>
 	<span class='ruleTitle'><a class="internalDFN" href="#removal-derivation-inference">Inference D7 (removal-derivation)</a></span>
+   <p>Here, K1 is a set of keys.</p>
 <p>
 <span class="conditional">IF</span> <span class="name">prov:derivedByRemovalFrom(d2, d1, K1)</span> 
    <span class='conditional'>THEN</span> <span class="name">prov:wasDerivedFrom(d2, d1)</span>
@@ -2749,7 +2754,7 @@
 	 class="conditional">INVALID</span>
 </p></div>
 <div class='constraint' id='impossible-insertion-insertion-constraint'>
-	<span class='ruleTitle'><a class="internalDFN" href="#impossible-insertion-insertion-constraint">Constraint D10 (impossible-insertion-insertion)</a></span>
+	<span class='ruleTitle'><a class="internalDFN" href="#impossible-insertion-insertion-constraint">Constraint D11 (impossible-insertion-insertion)</a></span>
 <p>Here, <span class="name">KV1</span> and <span class="name">KV2</span> are sets of key-entity pairs.</p>
 <p>
 <span class="conditional">IF</span> <span class="name">prov:derivedByInsertionFrom(d2, d1, KV1)</span> and 
@@ -2824,6 +2829,24 @@
 	
 </section>
 
+<section class="appendix"> 
+<h2>Change Log</h2>
+<section>
+      <h3>Change Log Since First Public Working Draft</h3> 
+<ul>
+<li>Added namespace and convention sections.</li>
+<li>Made <span class="name">prov:</span> prefix explicit.</li>
+<li>Changed all mentions of "key-value pair" to the more accurate "key-entity pair".</li>
+<li>Clarified that insertions and removals are to be seen as differences rather than as operations in the context of provenance.</li>
+<li>Updated PROV-N grammar.</li>
+<li>Made <a href="#qualifiedInsertion">prov:qualifiedInsertion</a> and <a href="#qualifiedRemoval">prov:qualifiedRemoval</a> sub-properties of <a href="http://www.w3.org/TR/2013/PR-prov-o-20130312/#qualifiedDerivation">qualifiedDerivation</a>.</li>
+<li>Updated XML schema definition.</li>
+<li>Added an notations and conventions paragraph to the constraints.</li>
+<li>Added <a href="#cmembership-dmembership-inference">inference D2</a> (collection-membership-dictionary-membership).</li>
+<li>Various corrections</li>
+</ul>
+</section>
+</section>
 
 
 <section class="appendix">