--- a/dictionary/Overview.html Wed Apr 17 11:14:40 2013 +0200
+++ b/dictionary/Overview.html Wed Apr 17 11:25:23 2013 +0200
@@ -705,11 +705,11 @@
<p>
Provenance is information about entities, activities, and people
involved in producing a piece of data or thing, which can be used to
-form assessments about its quality, reliability or trustworthiness. This document describes extensions to PROV to facilitate the modeling of provenance for dictionary data structures. [[PROV-DM]] specifies a <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/Overview.html#component6">Collection</a> as an entity that provides a structure to some constituents, which are themselves entities. However, some applications may need a mechanism to specify more structure to a Collection, in order to accurately describe its provenance.
+form assessments about its quality, reliability or trustworthiness. This document describes extensions to PROV to facilitate the modeling of provenance for dictionary data structures. [[PROV-DM]] specifies a <a href="http://www.w3.org/TR/2013/REC-prov-dm-20130430/Overview.html#component6">Collection</a> as an entity that provides a structure to some constituents, which are themselves entities. However, some applications may need a mechanism to specify more structure to a Collection, in order to accurately describe its provenance.
Therefore, in this document, we introduce Dictionary, a specific type of Collection with a logical structure consisting of key-entity pairs.
</p>
-<p>The <a href="http://www.w3.org/TR/2013/WD-prov-overview-20130312/">PROV Document Overview</a> describes the overall state of PROV, and should be read before other PROV documents.</p>
+<p>The <a href="http://www.w3.org/TR/2013/NOTE-prov-overview-20130430/">PROV Document Overview</a> describes the overall state of PROV, and should be read before other PROV documents.</p>
</section>
@@ -747,7 +747,7 @@
<h2>Introduction</h2>
<p>
-<a href=" http://www.w3.org/TR/2013/PR-prov-dm-20130312/">Provenance</a>
+<a href=" http://www.w3.org/TR/2013/REC-prov-dm-20130430/">Provenance</a>
is a record that describes the people, institutions, entities, and
activities involved in producing, influencing, or delivering a piece
of data or a thing. The specifications [[PROV-O]], [[PROV-DM]],
@@ -770,7 +770,7 @@
<section id="dictionary-conceptual-definition">
<h2>Conceptual Definition of Dictionary</h2>
-<p>In this section a specific type of <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#component6">collection</a>, as specified in [[PROV-DM]], is introduced. This new type of collection, Dictionary, is specified as follows.</p>
+<p>In this section a specific type of <a href="http://www.w3.org/TR/2013/REC-prov-dm-20130430/#component6">collection</a>, as specified in [[PROV-DM]], is introduced. This new type of collection, Dictionary, is specified as follows.</p>
<span class="glossary-ref" data-ref="glossary-dictionary"></span>
@@ -786,7 +786,7 @@
-->
-<p>Following the <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#term-collection">definition of prov:Collection</a>, PROV-Dictionary defines the following types related to dictionaries:</p>
+<p>Following the <a href="http://www.w3.org/TR/2013/REC-prov-dm-20130430/#term-collection">definition of prov:Collection</a>, PROV-Dictionary defines the following types related to dictionaries:</p>
<ul>
<li> <span class="name">prov:Dictionary</span> is a subtype of <span class="name">prov:Collection</span>. It denotes an entity of type dictionary, i.e. an entity that can participate in relations that involve dictionaries and their member entities;</li>
@@ -809,8 +809,8 @@
<span class="glossary-ref" data-ref="glossary-dictionary-membership"></span>
-<p>Similar to the <a href=" http://www.w3.org/TR/2013/PR-prov-dm-20130312/#term-membership">collection membership</a> relation, the <strong>dictionary membership</strong> allows stating the members of a Dictionary. However, it provides additional structure.
- Note that <a href="#term-dictionary-membership">dictionary membership</a> implies <a href=" http://www.w3.org/TR/2013/PR-prov-dm-20130312/#term-membership">collection membership</a>, but not vice versa. This implication is formalized in <a href="#dmembership-cmembership-inference">Inference D1</a>.
+<p>Similar to the <a href=" http://www.w3.org/TR/2013/REC-prov-dm-20130430/#term-membership">collection membership</a> relation, the <strong>dictionary membership</strong> allows stating the members of a Dictionary. However, it provides additional structure.
+ Note that <a href="#term-dictionary-membership">dictionary membership</a> implies <a href=" http://www.w3.org/TR/2013/REC-prov-dm-20130430/#term-membership">collection membership</a>, but not vice versa. This implication is formalized in <a href="#dmembership-cmembership-inference">Inference D1</a>.
</p>
<div class="attributes" id="attributes-hadMember-d">
@@ -818,10 +818,10 @@
<ul>
<li><span class='attribute' id="membership-d.dictionary">dictionary</span>: an identifier (<span class="name">d</span>) for the dictionary whose members are asserted; </li>
<li><span class='attribute' id="membership-d.entity">entity</span>: an entity <span class="name">e_1</span> that is associated with the key and is a member of the dictionary;</li>
-<li><span class='attribute' id="membership-d.key">key</span>: a key <span class="name">key_1</span> that is associated with the specified entity. <span class="name">key_1</span> is a <a href=" http://www.w3.org/TR/2013/PR-prov-dm-20130312/#term-value">value</a> ;</li>
+<li><span class='attribute' id="membership-d.key">key</span>: a key <span class="name">key_1</span> that is associated with the specified entity. <span class="name">key_1</span> is a <a href=" http://www.w3.org/TR/2013/REC-prov-dm-20130430/#term-value">value</a> ;</li>
</ul>
<p>Keys cannot be repeated in the same dictionary. However, a dictionary can contain the same entity more than once, as long as it is associated with different keys.</p>
-<p>Note that the <a href=" http://www.w3.org/TR/2013/PR-prov-dm-20130312/#term-membership">collection membership</a> relation, written <span class="name">hadMember(c, e)</span>, can be used when <span class="name">c</span> has <span class="name">prov:type = 'prov:Collection'</span> or <span class="name">prov:type = 'prov:Dictionary'</span>. However, the <a href="#term-dictionary-membership">dictionary membership</a>, written <span class="name">hadDictionaryMember(d, e, "k")</span>, can only be used when <span class="name">d</span> has <span class="name">prov:type = 'prov:Dictionary'</span>. </p>
+<p>Note that the <a href=" http://www.w3.org/TR/2013/REC-prov-dm-20130430/#term-membership">collection membership</a> relation, written <span class="name">hadMember(c, e)</span>, can be used when <span class="name">c</span> has <span class="name">prov:type = 'prov:Collection'</span> or <span class="name">prov:type = 'prov:Dictionary'</span>. However, the <a href="#term-dictionary-membership">dictionary membership</a>, written <span class="name">hadDictionaryMember(d, e, "k")</span>, can only be used when <span class="name">d</span> has <span class="name">prov:type = 'prov:Dictionary'</span>. </p>
</div>
@@ -857,7 +857,7 @@
<li><span class='attribute' id="insertion.id">id</span>: an OPTIONAL identifier identifying the relation;</li>
<li><span class='attribute' id="insertion.after">after</span>: an identifier (<span class="name">d2</span>) for the dictionary <em>after</em> insertion; </li>
<li><span class='attribute' id="insertion.before">before</span>: an identifier (<span class="name">d1</span>) for the dictionary <em>before</em> insertion;</li>
-<li><span class='attribute' id="insertion.key-entity-set">key-entity-set</span>: all inserted key-entity pairs <span class="name">(key_1, e_1)</span>, ..., <span class="name">(key_n, e_n)</span>. Here, each <span class="name">key_i</span> is a <a href=" http://www.w3.org/TR/2013/PR-prov-dm-20130312/#term-value">value</a>, and <span class="name">e_i</span> is an identifier for the entity that has been inserted with the key;
+<li><span class='attribute' id="insertion.key-entity-set">key-entity-set</span>: all inserted key-entity pairs <span class="name">(key_1, e_1)</span>, ..., <span class="name">(key_n, e_n)</span>. Here, each <span class="name">key_i</span> is a <a href=" http://www.w3.org/TR/2013/REC-prov-dm-20130430/#term-value">value</a>, and <span class="name">e_i</span> is an identifier for the entity that has been inserted with the key;
each <span class="name">key_i</span> is expected to be unique for the key-entity-set, as formalized in <a href="#key-single-entity-inference">Inference D3</a>;
</li>
<li><span class='attribute' id="insertion.attributes">attributes</span>: an OPTIONAL set (<span class="name">attrs</span>) of attribute-value pairs representing additional information about this relation.</li>
@@ -927,7 +927,7 @@
<li><span class='attribute' id="removal.id">id</span>: an OPTIONAL identifier identifying the relation;</li>
<li><span class='attribute' id="removal.after">after</span>: an identifier (<span class="name">d2</span>) for the dictionary <em>after</em> the deletion; </li>
<li><span class='attribute' id="removal.before">before</span>: an identifier (<span class="name">d1</span>) for the dictionary <em>before</em> the deletion;</li>
-<li><span class='attribute' id="removal.key-set">key-set</span>: the set of deleted keys <span class="name">key_1</span>, ..., <span class="name">key_n</span>. Here, each <span class="name">key_i</span> is a <a href=" http://www.w3.org/TR/2013/PR-prov-dm-20130312/#term-value">value</a>;</li>
+<li><span class='attribute' id="removal.key-set">key-set</span>: the set of deleted keys <span class="name">key_1</span>, ..., <span class="name">key_n</span>. Here, each <span class="name">key_i</span> is a <a href=" http://www.w3.org/TR/2013/REC-prov-dm-20130430/#term-value">value</a>;</li>
<li><span class='attribute' id="removal.attributes">attributes</span>: an OPTIONAL set (<span class="name">attrs</span>) of attribute-value pairs representing additional information about this relation.</li>
</ul>
</div>
@@ -969,13 +969,13 @@
<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>.
+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/REC-prov-n-20130430/#extensibility">the PROV-N extensibility chapter</a>.
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 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
+ PROV-Dictionary provides no dedicated syntax for Dictionary and EmptyDictionary. Dictionaries are declared in <a href="http://www.w3.org/TR/2013/REC-prov-n-20130430/#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/REC-prov-n-20130430/#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.
<div class="anexample">
@@ -996,7 +996,7 @@
<td> ::= </td>
<td><code class="content">"prov:hadDictionaryMember" "(" <span class="prod"><a class="grammarRef" href="#prod-dIdentifier">dIdentifier</a></span>
","
- <span class="prod"><a class="grammarRef" href="http://www.w3.org/TR/2013/PR-prov-n-20130312/#prod-eIdentifier">eIdentifier</a></span>
+ <span class="prod"><a class="grammarRef" href="http://www.w3.org/TR/2013/REC-prov-n-20130430/#prod-eIdentifier">eIdentifier</a></span>
","
<span class="prod"><a class="grammarRef" href="#prod-key">key</a></span>
")"
@@ -1015,7 +1015,7 @@
<tr><td><a href="#term-dictionary-membership"><span class='attribute' id="provn-membership-d.dictionary">dictionary</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-dIdentifier">dIdentifier</a></code></td></tr>
-<tr><td><a href="#term-dictionary-membership"><span class='attribute' id="provn-membership-d.entity">entity</span></a></td><td><code class="content"><a class="grammarRef" href="http://www.w3.org/TR/2013/PR-prov-n-20130312/#prod-eIdentifier">eIdentifier</a></code></td></tr>
+<tr><td><a href="#term-dictionary-membership"><span class='attribute' id="provn-membership-d.entity">entity</span></a></td><td><code class="content"><a class="grammarRef" href="http://www.w3.org/TR/2013/REC-prov-n-20130430/#prod-eIdentifier">eIdentifier</a></code></td></tr>
<tr><td><a href="#term-dictionary-membership"><span class='attribute' id="provn-membership-d.key">key</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-key">key</a></code></td></tr>
@@ -1044,7 +1044,7 @@
<td><code class="production prod">derivationByInsertionFromExpression</code></td>
<td> ::= </td>
<td><code class="content">"prov:derivedByInsertionFrom" "("
- (<span class="prod"><a class="grammarRef" href="http://www.w3.org/TR/2013/PR-prov-n-20130312/#prod-optionalIdentifier">optionalIdentifier</a></span>
+ (<span class="prod"><a class="grammarRef" href="http://www.w3.org/TR/2013/REC-prov-n-20130430/#prod-optionalIdentifier">optionalIdentifier</a></span>
";")?
<span class="prod"><a class="grammarRef" href="#prod-dIdentifier">dIdentifier</a></span>
","
@@ -1052,7 +1052,7 @@
"," "{"
<span class="prod"><a class="grammarRef" href="#prod-keyEntityPairs">keyEntityPairs</a></span>
"}"
- <span class="prod"><a class="grammarRef" href="http://www.w3.org/TR/2013/PR-prov-n-20130312/#prod-optionalAttributeValuePairs">optionalAttributeValuePairs</a></span>
+ <span class="prod"><a class="grammarRef" href="http://www.w3.org/TR/2013/REC-prov-n-20130430/#prod-optionalAttributeValuePairs">optionalAttributeValuePairs</a></span>
")"
</code>
</td>
@@ -1067,7 +1067,7 @@
<tr><td><b>Insertion</b></td><td><b>Non-Terminal</b></td></tr>
<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
-<tr><td><a href="#term-dictionary-insertion"><span class='attribute' id="provn-insertion.id">id</span></a></td><td><code class="content"><a class="grammarRef" href="http://www.w3.org/TR/2013/PR-prov-n-20130312/#prod-optionalIdentifier">optionalIdentifier</a></code></td></tr>
+<tr><td><a href="#term-dictionary-insertion"><span class='attribute' id="provn-insertion.id">id</span></a></td><td><code class="content"><a class="grammarRef" href="http://www.w3.org/TR/2013/REC-prov-n-20130430/#prod-optionalIdentifier">optionalIdentifier</a></code></td></tr>
<tr><td><a href="#term-dictionary-insertion"><span class='attribute' id="provn-insertion.after">after</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-dIdentifier">dIdentifier</a></code></td></tr>
@@ -1076,7 +1076,7 @@
<tr><td><a href="#term-dictionary-insertion"><span class='attribute' id="provn-insertion.key-entity-pairs">key-entity-pairs</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-keyEntityPairs">keyEntityPairs</a></code></td></tr>
-<tr><td><a href="#term-dictionary-insertion"><span class='attribute' id="provn-insertion.attributes">attributes</span></a></td><td><code class="content"><a class="grammarRef" href="http://www.w3.org/TR/2013/PR-prov-n-20130312/#prod-optionalAttributeValuePairs">optionalAttributeValuePairs</a></code></td></tr>
+<tr><td><a href="#term-dictionary-insertion"><span class='attribute' id="provn-insertion.attributes">attributes</span></a></td><td><code class="content"><a class="grammarRef" href="http://www.w3.org/TR/2013/REC-prov-n-20130430/#prod-optionalAttributeValuePairs">optionalAttributeValuePairs</a></code></td></tr>
</table>
</div>
@@ -1112,7 +1112,7 @@
<td><code class="production prod">derivationByRemovalFromExpression</code></td>
<td> ::= </td>
<td><code class="content">"prov:derivedByRemovalFrom" "("
- (<span class="prod"><a class="grammarRef" href="http://www.w3.org/TR/2013/PR-prov-n-20130312/#prod-optionalIdentifier">optionalIdentifier</a></span>
+ (<span class="prod"><a class="grammarRef" href="http://www.w3.org/TR/2013/REC-prov-n-20130430/#prod-optionalIdentifier">optionalIdentifier</a></span>
";")?
<span class="prod"><a class="grammarRef" href="#prod-dIdentifier">dIdentifier</a></span>
","
@@ -1120,7 +1120,7 @@
"," "{"
<span class="prod"><a class="grammarRef" href="#prod-keySet">keySet</a></span>
"}"
- <span class="prod"><a class="grammarRef" href="http://www.w3.org/TR/2013/PR-prov-n-20130312/#prod-optionalAttributeValuePairs">optionalAttributeValuePairs</a></span>
+ <span class="prod"><a class="grammarRef" href="http://www.w3.org/TR/2013/REC-prov-n-20130430/#prod-optionalAttributeValuePairs">optionalAttributeValuePairs</a></span>
")"
</code>
</td>
@@ -1135,7 +1135,7 @@
<tr><td><b>Removal</b></td><td><b>Non-Terminal</b></td></tr>
<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
-<tr><td><a href="#term-dictionary-removal"><span class='attribute' id="provn-removal.id">id</span></a></td><td><code class="content"><a class="grammarRef" href="http://www.w3.org/TR/2013/PR-prov-n-20130312/#prod-optionalIdentifier">optionalIdentifier</a></code></td></tr>
+<tr><td><a href="#term-dictionary-removal"><span class='attribute' id="provn-removal.id">id</span></a></td><td><code class="content"><a class="grammarRef" href="http://www.w3.org/TR/2013/REC-prov-n-20130430/#prod-optionalIdentifier">optionalIdentifier</a></code></td></tr>
<tr><td><a href="#term-dictionary-removal"><span class='attribute' id="provn-removal.after">after</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-dIdentifier">dIdentifier</a></code></td></tr>
@@ -1144,7 +1144,7 @@
<tr><td><a href="#term-dictionary-removal"><span class='attribute' id="provn-removal.key-set">key-set</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-keySet">keySet</a></code></td></tr>
-<tr><td><a href="#term-dictionary-removal"><span class='attribute' id="provn-removal.attributes">attributes</span></a></td><td><code class="content"><a class="grammarRef" href="http://www.w3.org/TR/2013/PR-prov-n-20130312/#prod-optionalAttributeValuePairs">optionalAttributeValuePairs</a></code></td></tr>
+<tr><td><a href="#term-dictionary-removal"><span class='attribute' id="provn-removal.attributes">attributes</span></a></td><td><code class="content"><a class="grammarRef" href="http://www.w3.org/TR/2013/REC-prov-n-20130430/#prod-optionalAttributeValuePairs">optionalAttributeValuePairs</a></code></td></tr>
</table>
</div>
@@ -1184,7 +1184,7 @@
<td><a id="prod-dIdentifier" data-name="prod-dIdentifier"></a>[<span class="prodNo">4</span>] </td>
<td><code class="production prod">dIdentifier</code></td>
<td> ::= </td>
- <td><code class="content"><span class="prod"><a href="http://www.w3.org/TR/2013/PR-prov-n-20130312/#prod-identifier" class="nonterminal">identifier</a></span>
+ <td><code class="content"><span class="prod"><a href="http://www.w3.org/TR/2013/REC-prov-n-20130430/#prod-identifier" class="nonterminal">identifier</a></span>
</code></td>
</tr>
@@ -1192,7 +1192,7 @@
<td><a id="prod-key" data-name="prod-key"></a>[<span class="prodNo">5</span>] </td>
<td><code class="production prod">key</code></td>
<td> ::= </td>
- <td><code class="content"><span class="prod"><a href="http://www.w3.org/TR/2013/PR-prov-n-20130312/#prod-literal" class="nonterminal">literal</a></span> </code>
+ <td><code class="content"><span class="prod"><a href="http://www.w3.org/TR/2013/REC-prov-n-20130430/#prod-literal" class="nonterminal">literal</a></span> </code>
</td>
</tr>
@@ -1210,7 +1210,7 @@
<td><code class="production prod">keyEntityPair</code></td>
<td> ::= </td>
<td><code class="content">"(" <span class="prod"><a href="#prod-key" class="nonterminal">key</a> </span>
- "," <span class="prod"><a href="http://www.w3.org/TR/2013/PR-prov-n-20130312/#prod-eIdentifier" class="nonterminal">eIdentifier</a></span> ")"</code>
+ "," <span class="prod"><a href="http://www.w3.org/TR/2013/REC-prov-n-20130430/#prod-eIdentifier" class="nonterminal">eIdentifier</a></span> ")"</code>
</td>
</tr>
@@ -1435,7 +1435,7 @@
<dt>is subclass of</dt>
<dd>
- <a title="http://www.w3.org/ns/prov#Collection" href="http://www.w3.org/TR/2013/PR-prov-o-20130312/#Collection" class="owlclass">prov:Collection</a>
+ <a title="http://www.w3.org/ns/prov#Collection" href="http://www.w3.org/TR/2013/REC-prov-o-20130430/#Collection" class="owlclass">prov:Collection</a>
</dd>
<dt>described with properties</dt>
@@ -1491,7 +1491,7 @@
<dt>is subclass of</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#EmptyCollection" href="http://www.w3.org/TR/2013/PR-prov-o-20130312/#EmptyCollection" class="owlclass">prov:EmptyCollection</a>
+ <a title="http://www.w3.org/ns/prov#EmptyCollection" href="http://www.w3.org/TR/2013/REC-prov-o-20130430/#EmptyCollection" class="owlclass">prov:EmptyCollection</a>
</dd>
</dl>
</div>
@@ -1596,7 +1596,7 @@
<dt>is subclass of</dt>
<dd>
- <a title="http://www.w3.org/ns/prov#Derivation" href="http://www.w3.org/TR/2013/PR-prov-o-20130312/#Derivation" class="owlclass">prov:Derivation</a>
+ <a title="http://www.w3.org/ns/prov#Derivation" href="http://www.w3.org/TR/2013/REC-prov-o-20130430/#Derivation" class="owlclass">prov:Derivation</a>
</dd>
<dt>described with properties</dt>
<dd>
@@ -1655,7 +1655,7 @@
<dt>is subclass of</dt>
<dd>
- <a title="http://www.w3.org/ns/prov#Derivation" href="http://www.w3.org/TR/2013/PR-prov-o-20130312/#Derivation" class="owlclass">prov:Derivation</a>
+ <a title="http://www.w3.org/ns/prov#Derivation" href="http://www.w3.org/TR/2013/REC-prov-o-20130430/#Derivation" class="owlclass">prov:Derivation</a>
</dd>
<dt>described with properties</dt>
@@ -1732,7 +1732,7 @@
<dd>
<ul>
<li>
- <a title="http://www.w3.org/ns/prov#wasDerivedFrom" href="http://www.w3.org/TR/2013/PR-prov-o-20130312/#wasDerivedFrom" class="owlclass">prov:wasDerivedFrom</a>
+ <a title="http://www.w3.org/ns/prov#wasDerivedFrom" href="http://www.w3.org/TR/2013/REC-prov-o-20130430/#wasDerivedFrom" class="owlclass">prov:wasDerivedFrom</a>
</li>
</ul>
</dd>
@@ -1813,7 +1813,7 @@
<dd>
<ul>
<li>
- <a title="http://www.w3.org/ns/prov#wasDerivedFrom" href="http://www.w3.org/TR/2013/PR-prov-o-20130312/#wasDerivedFrom" class="owlclass">prov:wasDerivedFrom</a>
+ <a title="http://www.w3.org/ns/prov#wasDerivedFrom" href="http://www.w3.org/TR/2013/REC-prov-o-20130430/#wasDerivedFrom" class="owlclass">prov:wasDerivedFrom</a>
</li>
</ul>
</dd>
@@ -1896,7 +1896,7 @@
<dd>
<ul>
<li>
- <a title="http://www.w3.org/ns/prov#entity" href="http://www.w3.org/TR/2013/PR-prov-o-20130312/#p_entity" class="owlclass">prov:entity</a>
+ <a title="http://www.w3.org/ns/prov#entity" href="http://www.w3.org/TR/2013/REC-prov-o-20130430/#p_entity" class="owlclass">prov:entity</a>
</li>
</ul>
</dd>
@@ -2177,7 +2177,7 @@
<dd>
<ul>
<li>
- <a title="http://www.w3.org/ns/prov#Entity" href="http://www.w3.org/TR/2013/PR-prov-o-20130312/#Entity" class="owlclass">prov:Entity</a>
+ <a title="http://www.w3.org/ns/prov#Entity" href="http://www.w3.org/TR/2013/REC-prov-o-20130430/#Entity" class="owlclass">prov:Entity</a>
</li>
</ul>
</dd>
@@ -2236,7 +2236,7 @@
<dd>
<ul>
<li>
- <a title="http://www.w3.org/ns/prov#qualifiedDerivation" href="http://www.w3.org/TR/2013/PR-prov-o-20130312/#qualifiedDerivation" class="owlclass">prov:qualifiedDerivation</a>
+ <a title="http://www.w3.org/ns/prov#qualifiedDerivation" href="http://www.w3.org/TR/2013/REC-prov-o-20130430/#qualifiedDerivation" class="owlclass">prov:qualifiedDerivation</a>
</li>
</ul>
</dd>
@@ -2310,7 +2310,7 @@
<dd>
<ul>
<li>
- <a title="http://www.w3.org/ns/prov#qualifiedDerivation" href="http://www.w3.org/TR/2013/PR-prov-o-20130312/#qualifiedDerivation" class="owlclass">prov:qualifiedDerivation</a>
+ <a title="http://www.w3.org/ns/prov#qualifiedDerivation" href="http://www.w3.org/TR/2013/REC-prov-o-20130430/#qualifiedDerivation" class="owlclass">prov:qualifiedDerivation</a>
</li>
</ul>
</dd>
@@ -2409,7 +2409,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://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.
+the [[PROV-XML]] serialization. The [<a href="http://www.w3.org/TR/2013/NOTE-prov-xml-20130430/schema/prov-dictionary.xsd">XML schema for PROV-Dictionary</a>] is available for download, and includes <a href="http://www.w3.org/TR/2013/NOTE-prov-xml-20130430/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/NOTE-prov-xml-20130430/schema/prov.xsd">prov.xsd</a> can be used, which imports <a href="http://www.w3.org/TR/2013/NOTE-prov-xml-20130430/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>
@@ -2663,7 +2663,7 @@
<section id="dictionary-constraints">
<h2>Constraints Associated with Dictionary</h2>
-In this section, we specify some inferences and constraints associated with dictionaries. These inferences and constraints MAY be applied to obtain valid provenance when using dictionaries. For more information about valid provenance and its purpose, we refer to the <a href="http://www.w3.org/TR/2013/PR-prov-constraints-20130312/#purpose">disclaimer</a> in [[PROV-CONSTRAINTS]].
+In this section, we specify some inferences and constraints associated with dictionaries. These inferences and constraints MAY be applied to obtain valid provenance when using dictionaries. For more information about valid provenance and its purpose, we refer to the <a href="http://www.w3.org/TR/2013/REC-prov-constraints-20130430/#purpose">disclaimer</a> in [[PROV-CONSTRAINTS]].
Whereas collections were deliberately left unconstrained in [[PROV-DM]] and [[PROV-CONSTRAINTS]] to remain as general as possible, dictionaries are intended to provide more structure, and thus, are constrained more strictly.
For more information on how to read this section, we refer to [[PROV-CONSTRAINTS]].
<section id="dictionary-constraints-notation">
@@ -2677,7 +2677,7 @@
</section>
<section id="dictionary-constraints-inferences">
<h3>Inferences</h3>
- <p id="dmembership-cmembership-inference_text"><a href="#term-dictionary-membership">Dictionary membership</a> implies <a href=" http://www.w3.org/TR/2013/PR-prov-dm-20130312/#term-membership">collection membership</a>.</p>
+ <p id="dmembership-cmembership-inference_text"><a href="#term-dictionary-membership">Dictionary membership</a> implies <a href=" http://www.w3.org/TR/2013/REC-prov-dm-20130430/#term-membership">collection membership</a>.</p>
<div class='inference' id='dmembership-cmembership-inference'>
<span class='ruleTitle'><a class="internalDFN" href="#dmembership-cmembership-inference">Inference D1 (dictionary-membership-collection-membership)</a></span>
<p>
@@ -2685,7 +2685,7 @@
<span class='conditional'>THEN</span> <span class="name">hadMember(d, e1)</span>
</p></div>
-<p id="cmembership-dmembership-inference_text"><a href=" http://www.w3.org/TR/2013/PR-prov-dm-20130312/#term-membership">Collection membership</a> for collections that are dictionaries implies <a href="#term-dictionary-membership">dictionary membership</a>.</p>
+<p id="cmembership-dmembership-inference_text"><a href=" http://www.w3.org/TR/2013/REC-prov-dm-20130430/#term-membership">Collection membership</a> for collections that are dictionaries implies <a href="#term-dictionary-membership">dictionary membership</a>.</p>
<div class='inference' id='cmembership-dmembership-inference'>
<span class='ruleTitle'><a class="internalDFN" href="#cmembership-dmembership-inference">Inference D2 (collection-membership-dictionary-membership)</a></span>
<p>
@@ -2735,7 +2735,7 @@
Note that inferences <a class="internalDFN" href="#membership-insertion-membership-inference">D4</a> and
<a class="internalDFN" href="#membership-removal-membership-inference">D5</a>, together with constraints
<a class="internalDFN" href="#impossible-removal-insertion-constraint">D9</a>, <a class="internalDFN" href="#unique-insertion-constraint">D10</a>
- , <a class="internalDFN" href="#unique-insertion-constraint">D11</a> and <a class="internalDFN" href="#unique-removal-constraint">D12</a>, and the fact that an EmptyDictionary does not contain any key-entity pairs (as formalized in <a href="http://www.w3.org/TR/2013/PR-prov-constraints-20130312/#membership-empty-collection">PROV-Constraints</a>),
+ , <a class="internalDFN" href="#unique-insertion-constraint">D11</a> and <a class="internalDFN" href="#unique-removal-constraint">D12</a>, and the fact that an EmptyDictionary does not contain any key-entity pairs (as formalized in <a href="http://www.w3.org/TR/2013/REC-prov-constraints-20130430/#membership-empty-collection">PROV-Constraints</a>),
guarantee <b>completeness</b> of a dictionary, if it can be traced back to an EmptyDictionary through insertions and removals.
Here, completeness means that all key-entity pairs of the dictionary are known through a hadDictionaryMember statement.
</div>
@@ -3323,7 +3323,7 @@
xmlns:dbpedia="http://dbpedia.org/resource/"
xmlns:ex="http://example.com/"
xsi:schemaLocation="http://www.w3.org/ns/prov#
-http://www.w3.org/TR/2013/WD-prov-xml-20130312/schema/prov.xsd ">
+http://www.w3.org/TR/2013/NOTE-prov-xml-20130430/schema/prov.xsd ">
<!-- All Player Entities -->
... <!-- See complete provenance file -->
<!-- 2011 Roster -->
@@ -3568,7 +3568,7 @@
<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 (renaming of concepts and restyling).</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>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/REC-prov-o-20130430/#qualifiedDerivation">qualifiedDerivation</a>.</li>
<li>Updated XML schema definition.</li>
<li>Added an notations and conventions paragraph to the constraints.</li>
<li>Updated constraints after discussion within the Working Group.</li>
--- a/dictionary/releases/NOTE-prov-dictionary-20130430/Overview.html Wed Apr 17 11:14:40 2013 +0200
+++ b/dictionary/releases/NOTE-prov-dictionary-20130430/Overview.html Wed Apr 17 11:25:23 2013 +0200
@@ -788,11 +788,11 @@
<p>
Provenance is information about entities, activities, and people
involved in producing a piece of data or thing, which can be used to
-form assessments about its quality, reliability or trustworthiness. This document describes extensions to PROV to facilitate the modeling of provenance for dictionary data structures. [<cite><a href="#bib-PROV-DM" class="bibref">PROV-DM</a></cite>] specifies a <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/Overview.html#component6">Collection</a> as an entity that provides a structure to some constituents, which are themselves entities. However, some applications may need a mechanism to specify more structure to a Collection, in order to accurately describe its provenance.
+form assessments about its quality, reliability or trustworthiness. This document describes extensions to PROV to facilitate the modeling of provenance for dictionary data structures. [<cite><a href="#bib-PROV-DM" class="bibref">PROV-DM</a></cite>] specifies a <a href="http://www.w3.org/TR/2013/REC-prov-dm-20130430/Overview.html#component6">Collection</a> as an entity that provides a structure to some constituents, which are themselves entities. However, some applications may need a mechanism to specify more structure to a Collection, in order to accurately describe its provenance.
Therefore, in this document, we introduce Dictionary, a specific type of Collection with a logical structure consisting of key-entity pairs.
</p>
-<p>The <a href="http://www.w3.org/TR/2013/WD-prov-overview-20130312/">PROV Document Overview</a> describes the overall state of PROV, and should be read before other PROV documents.</p>
+<p>The <a href="http://www.w3.org/TR/2013/NOTE-prov-overview-20130430/">PROV Document Overview</a> describes the overall state of PROV, and should be read before other PROV documents.</p>
</section><section id="sotd" class="introductory"><h2>Status of This Document</h2>
@@ -885,7 +885,7 @@
<!--OddPage--><h2><span class="secno">1. </span>Introduction</h2>
<p>
-<a href=" http://www.w3.org/TR/2013/PR-prov-dm-20130312/">Provenance</a>
+<a href=" http://www.w3.org/TR/2013/REC-prov-dm-20130430/">Provenance</a>
is a record that describes the people, institutions, entities, and
activities involved in producing, influencing, or delivering a piece
of data or a thing. The specifications [<cite><a href="#bib-PROV-O" class="bibref">PROV-O</a></cite>], [<cite><a href="#bib-PROV-DM" class="bibref">PROV-DM</a></cite>],
@@ -908,7 +908,7 @@
<section id="dictionary-conceptual-definition">
<!--OddPage--><h2><span class="secno">3. </span>Conceptual Definition of Dictionary</h2>
-<p>In this section a specific type of <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#component6">collection</a>, as specified in [<cite><a href="#bib-PROV-DM" class="bibref">PROV-DM</a></cite>], is introduced. This new type of collection, Dictionary, is specified as follows.</p>
+<p>In this section a specific type of <a href="http://www.w3.org/TR/2013/REC-prov-dm-20130430/#component6">collection</a>, as specified in [<cite><a href="#bib-PROV-DM" class="bibref">PROV-DM</a></cite>], is introduced. This new type of collection, Dictionary, is specified as follows.</p>
<span class="glossary-ref"></span>
@@ -924,7 +924,7 @@
-->
-<p>Following the <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#term-collection">definition of prov:Collection</a>, PROV-Dictionary defines the following types related to dictionaries:</p>
+<p>Following the <a href="http://www.w3.org/TR/2013/REC-prov-dm-20130430/#term-collection">definition of prov:Collection</a>, PROV-Dictionary defines the following types related to dictionaries:</p>
<ul>
<li> <span class="name">prov:Dictionary</span> is a subtype of <span class="name">prov:Collection</span>. It denotes an entity of type dictionary, i.e. an entity that can participate in relations that involve dictionaries and their member entities;</li>
@@ -946,8 +946,8 @@
<span class="glossary-ref"></span>
-<p>Similar to the <a href=" http://www.w3.org/TR/2013/PR-prov-dm-20130312/#term-membership">collection membership</a> relation, the <strong>dictionary membership</strong> allows stating the members of a Dictionary. However, it provides additional structure.
- Note that <a href="#term-dictionary-membership">dictionary membership</a> implies <a href=" http://www.w3.org/TR/2013/PR-prov-dm-20130312/#term-membership">collection membership</a>, but not vice versa. This implication is formalized in <a href="#dmembership-cmembership-inference">Inference D1</a>.
+<p>Similar to the <a href=" http://www.w3.org/TR/2013/REC-prov-dm-20130430/#term-membership">collection membership</a> relation, the <strong>dictionary membership</strong> allows stating the members of a Dictionary. However, it provides additional structure.
+ Note that <a href="#term-dictionary-membership">dictionary membership</a> implies <a href=" http://www.w3.org/TR/2013/REC-prov-dm-20130430/#term-membership">collection membership</a>, but not vice versa. This implication is formalized in <a href="#dmembership-cmembership-inference">Inference D1</a>.
</p>
<div class="attributes" id="attributes-hadMember-d">
@@ -955,10 +955,10 @@
<ul>
<li><span class="attribute" id="membership-d.dictionary">dictionary</span>: an identifier (<span class="name">d</span>) for the dictionary whose members are asserted; </li>
<li><span class="attribute" id="membership-d.entity">entity</span>: an entity <span class="name">e_1</span> that is associated with the key and is a member of the dictionary;</li>
-<li><span class="attribute" id="membership-d.key">key</span>: a key <span class="name">key_1</span> that is associated with the specified entity. <span class="name">key_1</span> is a <a href=" http://www.w3.org/TR/2013/PR-prov-dm-20130312/#term-value">value</a> ;</li>
+<li><span class="attribute" id="membership-d.key">key</span>: a key <span class="name">key_1</span> that is associated with the specified entity. <span class="name">key_1</span> is a <a href=" http://www.w3.org/TR/2013/REC-prov-dm-20130430/#term-value">value</a> ;</li>
</ul>
<p>Keys cannot be repeated in the same dictionary. However, a dictionary can contain the same entity more than once, as long as it is associated with different keys.</p>
-<p>Note that the <a href=" http://www.w3.org/TR/2013/PR-prov-dm-20130312/#term-membership">collection membership</a> relation, written <span class="name">hadMember(c, e)</span>, can be used when <span class="name">c</span> has <span class="name">prov:type = 'prov:Collection'</span> or <span class="name">prov:type = 'prov:Dictionary'</span>. However, the <a href="#term-dictionary-membership">dictionary membership</a>, written <span class="name">hadDictionaryMember(d, e, "k")</span>, can only be used when <span class="name">d</span> has <span class="name">prov:type = 'prov:Dictionary'</span>. </p>
+<p>Note that the <a href=" http://www.w3.org/TR/2013/REC-prov-dm-20130430/#term-membership">collection membership</a> relation, written <span class="name">hadMember(c, e)</span>, can be used when <span class="name">c</span> has <span class="name">prov:type = 'prov:Collection'</span> or <span class="name">prov:type = 'prov:Dictionary'</span>. However, the <a href="#term-dictionary-membership">dictionary membership</a>, written <span class="name">hadDictionaryMember(d, e, "k")</span>, can only be used when <span class="name">d</span> has <span class="name">prov:type = 'prov:Dictionary'</span>. </p>
</div>
@@ -993,7 +993,7 @@
<li><span class="attribute" id="insertion.id">id</span>: an <em title="OPTIONAL" class="rfc2119">OPTIONAL</em> identifier identifying the relation;</li>
<li><span class="attribute" id="insertion.after">after</span>: an identifier (<span class="name">d2</span>) for the dictionary <em>after</em> insertion; </li>
<li><span class="attribute" id="insertion.before">before</span>: an identifier (<span class="name">d1</span>) for the dictionary <em>before</em> insertion;</li>
-<li><span class="attribute" id="insertion.key-entity-set">key-entity-set</span>: all inserted key-entity pairs <span class="name">(key_1, e_1)</span>, ..., <span class="name">(key_n, e_n)</span>. Here, each <span class="name">key_i</span> is a <a href=" http://www.w3.org/TR/2013/PR-prov-dm-20130312/#term-value">value</a>, and <span class="name">e_i</span> is an identifier for the entity that has been inserted with the key;
+<li><span class="attribute" id="insertion.key-entity-set">key-entity-set</span>: all inserted key-entity pairs <span class="name">(key_1, e_1)</span>, ..., <span class="name">(key_n, e_n)</span>. Here, each <span class="name">key_i</span> is a <a href=" http://www.w3.org/TR/2013/REC-prov-dm-20130430/#term-value">value</a>, and <span class="name">e_i</span> is an identifier for the entity that has been inserted with the key;
each <span class="name">key_i</span> is expected to be unique for the key-entity-set, as formalized in <a href="#key-single-entity-inference">Inference D3</a>;
</li>
<li><span class="attribute" id="insertion.attributes">attributes</span>: an <em title="OPTIONAL" class="rfc2119">OPTIONAL</em> set (<span class="name">attrs</span>) of attribute-value pairs representing additional information about this relation.</li>
@@ -1061,7 +1061,7 @@
<li><span class="attribute" id="removal.id">id</span>: an <em title="OPTIONAL" class="rfc2119">OPTIONAL</em> identifier identifying the relation;</li>
<li><span class="attribute" id="removal.after">after</span>: an identifier (<span class="name">d2</span>) for the dictionary <em>after</em> the deletion; </li>
<li><span class="attribute" id="removal.before">before</span>: an identifier (<span class="name">d1</span>) for the dictionary <em>before</em> the deletion;</li>
-<li><span class="attribute" id="removal.key-set">key-set</span>: the set of deleted keys <span class="name">key_1</span>, ..., <span class="name">key_n</span>. Here, each <span class="name">key_i</span> is a <a href=" http://www.w3.org/TR/2013/PR-prov-dm-20130312/#term-value">value</a>;</li>
+<li><span class="attribute" id="removal.key-set">key-set</span>: the set of deleted keys <span class="name">key_1</span>, ..., <span class="name">key_n</span>. Here, each <span class="name">key_i</span> is a <a href=" http://www.w3.org/TR/2013/REC-prov-dm-20130430/#term-value">value</a>;</li>
<li><span class="attribute" id="removal.attributes">attributes</span>: an <em title="OPTIONAL" class="rfc2119">OPTIONAL</em> set (<span class="name">attrs</span>) of attribute-value pairs representing additional information about this relation.</li>
</ul>
</div>
@@ -1102,13 +1102,13 @@
<section id="dictionary-notation">
<!--OddPage--><h2><span class="secno">4. </span>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>.
+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/REC-prov-n-20130430/#extensibility">the PROV-N extensibility chapter</a>.
The [<a href="prov-dictionary-grammar.txt">Grammar for PROV-Dictionary</a>] is available for download.
<section id="expression-dictionary">
<h3><span class="secno">4.1 </span>Dictionary and EmptyDictionary Expression</h3>
- 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 <em title="MUST" class="rfc2119">MUST</em> 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
+ PROV-Dictionary provides no dedicated syntax for Dictionary and EmptyDictionary. Dictionaries are declared in <a href="http://www.w3.org/TR/2013/REC-prov-n-20130430/#expression-collection">the same way</a> as Collections. A Dictionary or an EmptyDictionary <em title="MUST" class="rfc2119">MUST</em> be expressed as an
+<code class="content"><a class="grammarRef" href="http://www.w3.org/TR/2013/REC-prov-n-20130430/#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.
<div id="example_6" class="anexample"><div class="anexampleTitle">Example 6<sup><a href="#example_6" class="internalDFN"><span class="diamond"> ◊</span></a></sup></div>
@@ -1128,7 +1128,7 @@
<td> ::= </td>
<td><code class="content">"prov:hadDictionaryMember" "(" <span class="prod"><a class="grammarRef" href="#prod-dIdentifier">dIdentifier</a></span>
","
- <span class="prod"><a class="grammarRef" href="http://www.w3.org/TR/2013/PR-prov-n-20130312/#prod-eIdentifier">eIdentifier</a></span>
+ <span class="prod"><a class="grammarRef" href="http://www.w3.org/TR/2013/REC-prov-n-20130430/#prod-eIdentifier">eIdentifier</a></span>
","
<span class="prod"><a class="grammarRef" href="#prod-key">key</a></span>
")"
@@ -1147,7 +1147,7 @@
<tr><td><a href="#term-dictionary-membership"><span class="attribute" id="provn-membership-d.dictionary">dictionary</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-dIdentifier">dIdentifier</a></code></td></tr>
-<tr><td><a href="#term-dictionary-membership"><span class="attribute" id="provn-membership-d.entity">entity</span></a></td><td><code class="content"><a class="grammarRef" href="http://www.w3.org/TR/2013/PR-prov-n-20130312/#prod-eIdentifier">eIdentifier</a></code></td></tr>
+<tr><td><a href="#term-dictionary-membership"><span class="attribute" id="provn-membership-d.entity">entity</span></a></td><td><code class="content"><a class="grammarRef" href="http://www.w3.org/TR/2013/REC-prov-n-20130430/#prod-eIdentifier">eIdentifier</a></code></td></tr>
<tr><td><a href="#term-dictionary-membership"><span class="attribute" id="provn-membership-d.key">key</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-key">key</a></code></td></tr>
@@ -1175,7 +1175,7 @@
<td><code class="production prod">derivationByInsertionFromExpression</code></td>
<td> ::= </td>
<td><code class="content">"prov:derivedByInsertionFrom" "("
- (<span class="prod"><a class="grammarRef" href="http://www.w3.org/TR/2013/PR-prov-n-20130312/#prod-optionalIdentifier">optionalIdentifier</a></span>
+ (<span class="prod"><a class="grammarRef" href="http://www.w3.org/TR/2013/REC-prov-n-20130430/#prod-optionalIdentifier">optionalIdentifier</a></span>
";")?
<span class="prod"><a class="grammarRef" href="#prod-dIdentifier">dIdentifier</a></span>
","
@@ -1183,7 +1183,7 @@
"," "{"
<span class="prod"><a class="grammarRef" href="#prod-keyEntityPairs">keyEntityPairs</a></span>
"}"
- <span class="prod"><a class="grammarRef" href="http://www.w3.org/TR/2013/PR-prov-n-20130312/#prod-optionalAttributeValuePairs">optionalAttributeValuePairs</a></span>
+ <span class="prod"><a class="grammarRef" href="http://www.w3.org/TR/2013/REC-prov-n-20130430/#prod-optionalAttributeValuePairs">optionalAttributeValuePairs</a></span>
")"
</code>
</td>
@@ -1198,7 +1198,7 @@
<tbody><tr><td><b>Insertion</b></td><td><b>Non-Terminal</b></td></tr>
<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
-<tr><td><a href="#term-dictionary-insertion"><span class="attribute" id="provn-insertion.id">id</span></a></td><td><code class="content"><a class="grammarRef" href="http://www.w3.org/TR/2013/PR-prov-n-20130312/#prod-optionalIdentifier">optionalIdentifier</a></code></td></tr>
+<tr><td><a href="#term-dictionary-insertion"><span class="attribute" id="provn-insertion.id">id</span></a></td><td><code class="content"><a class="grammarRef" href="http://www.w3.org/TR/2013/REC-prov-n-20130430/#prod-optionalIdentifier">optionalIdentifier</a></code></td></tr>
<tr><td><a href="#term-dictionary-insertion"><span class="attribute" id="provn-insertion.after">after</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-dIdentifier">dIdentifier</a></code></td></tr>
@@ -1207,7 +1207,7 @@
<tr><td><a href="#term-dictionary-insertion"><span class="attribute" id="provn-insertion.key-entity-pairs">key-entity-pairs</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-keyEntityPairs">keyEntityPairs</a></code></td></tr>
-<tr><td><a href="#term-dictionary-insertion"><span class="attribute" id="provn-insertion.attributes">attributes</span></a></td><td><code class="content"><a class="grammarRef" href="http://www.w3.org/TR/2013/PR-prov-n-20130312/#prod-optionalAttributeValuePairs">optionalAttributeValuePairs</a></code></td></tr>
+<tr><td><a href="#term-dictionary-insertion"><span class="attribute" id="provn-insertion.attributes">attributes</span></a></td><td><code class="content"><a class="grammarRef" href="http://www.w3.org/TR/2013/REC-prov-n-20130430/#prod-optionalAttributeValuePairs">optionalAttributeValuePairs</a></code></td></tr>
</tbody></table>
</div>
@@ -1241,7 +1241,7 @@
<td><code class="production prod">derivationByRemovalFromExpression</code></td>
<td> ::= </td>
<td><code class="content">"prov:derivedByRemovalFrom" "("
- (<span class="prod"><a class="grammarRef" href="http://www.w3.org/TR/2013/PR-prov-n-20130312/#prod-optionalIdentifier">optionalIdentifier</a></span>
+ (<span class="prod"><a class="grammarRef" href="http://www.w3.org/TR/2013/REC-prov-n-20130430/#prod-optionalIdentifier">optionalIdentifier</a></span>
";")?
<span class="prod"><a class="grammarRef" href="#prod-dIdentifier">dIdentifier</a></span>
","
@@ -1249,7 +1249,7 @@
"," "{"
<span class="prod"><a class="grammarRef" href="#prod-keySet">keySet</a></span>
"}"
- <span class="prod"><a class="grammarRef" href="http://www.w3.org/TR/2013/PR-prov-n-20130312/#prod-optionalAttributeValuePairs">optionalAttributeValuePairs</a></span>
+ <span class="prod"><a class="grammarRef" href="http://www.w3.org/TR/2013/REC-prov-n-20130430/#prod-optionalAttributeValuePairs">optionalAttributeValuePairs</a></span>
")"
</code>
</td>
@@ -1264,7 +1264,7 @@
<tbody><tr><td><b>Removal</b></td><td><b>Non-Terminal</b></td></tr>
<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
-<tr><td><a href="#term-dictionary-removal"><span class="attribute" id="provn-removal.id">id</span></a></td><td><code class="content"><a class="grammarRef" href="http://www.w3.org/TR/2013/PR-prov-n-20130312/#prod-optionalIdentifier">optionalIdentifier</a></code></td></tr>
+<tr><td><a href="#term-dictionary-removal"><span class="attribute" id="provn-removal.id">id</span></a></td><td><code class="content"><a class="grammarRef" href="http://www.w3.org/TR/2013/REC-prov-n-20130430/#prod-optionalIdentifier">optionalIdentifier</a></code></td></tr>
<tr><td><a href="#term-dictionary-removal"><span class="attribute" id="provn-removal.after">after</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-dIdentifier">dIdentifier</a></code></td></tr>
@@ -1273,7 +1273,7 @@
<tr><td><a href="#term-dictionary-removal"><span class="attribute" id="provn-removal.key-set">key-set</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-keySet">keySet</a></code></td></tr>
-<tr><td><a href="#term-dictionary-removal"><span class="attribute" id="provn-removal.attributes">attributes</span></a></td><td><code class="content"><a class="grammarRef" href="http://www.w3.org/TR/2013/PR-prov-n-20130312/#prod-optionalAttributeValuePairs">optionalAttributeValuePairs</a></code></td></tr>
+<tr><td><a href="#term-dictionary-removal"><span class="attribute" id="provn-removal.attributes">attributes</span></a></td><td><code class="content"><a class="grammarRef" href="http://www.w3.org/TR/2013/REC-prov-n-20130430/#prod-optionalAttributeValuePairs">optionalAttributeValuePairs</a></code></td></tr>
</tbody></table>
</div>
@@ -1311,7 +1311,7 @@
<td><a id="prod-dIdentifier" data-name="prod-dIdentifier"></a>[<span class="prodNo">4</span>] </td>
<td><code class="production prod">dIdentifier</code></td>
<td> ::= </td>
- <td><code class="content"><span class="prod"><a href="http://www.w3.org/TR/2013/PR-prov-n-20130312/#prod-identifier" class="nonterminal">identifier</a></span>
+ <td><code class="content"><span class="prod"><a href="http://www.w3.org/TR/2013/REC-prov-n-20130430/#prod-identifier" class="nonterminal">identifier</a></span>
</code></td>
</tr>
@@ -1319,7 +1319,7 @@
<td><a id="prod-key" data-name="prod-key"></a>[<span class="prodNo">5</span>] </td>
<td><code class="production prod">key</code></td>
<td> ::= </td>
- <td><code class="content"><span class="prod"><a href="http://www.w3.org/TR/2013/PR-prov-n-20130312/#prod-literal" class="nonterminal">literal</a></span> </code>
+ <td><code class="content"><span class="prod"><a href="http://www.w3.org/TR/2013/REC-prov-n-20130430/#prod-literal" class="nonterminal">literal</a></span> </code>
</td>
</tr>
@@ -1337,7 +1337,7 @@
<td><code class="production prod">keyEntityPair</code></td>
<td> ::= </td>
<td><code class="content">"(" <span class="prod"><a href="#prod-key" class="nonterminal">key</a> </span>
- "," <span class="prod"><a href="http://www.w3.org/TR/2013/PR-prov-n-20130312/#prod-eIdentifier" class="nonterminal">eIdentifier</a></span> ")"</code>
+ "," <span class="prod"><a href="http://www.w3.org/TR/2013/REC-prov-n-20130430/#prod-eIdentifier" class="nonterminal">eIdentifier</a></span> ")"</code>
</td>
</tr>
@@ -1553,7 +1553,7 @@
<dt>is subclass of</dt>
<dd>
- <a title="http://www.w3.org/ns/prov#Collection" href="http://www.w3.org/TR/2013/PR-prov-o-20130312/#Collection" class="owlclass">prov:Collection</a>
+ <a title="http://www.w3.org/ns/prov#Collection" href="http://www.w3.org/TR/2013/REC-prov-o-20130430/#Collection" class="owlclass">prov:Collection</a>
</dd>
<dt>described with properties</dt>
@@ -1609,7 +1609,7 @@
<dt>is subclass of</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#EmptyCollection" href="http://www.w3.org/TR/2013/PR-prov-o-20130312/#EmptyCollection" class="owlclass">prov:EmptyCollection</a>
+ <a title="http://www.w3.org/ns/prov#EmptyCollection" href="http://www.w3.org/TR/2013/REC-prov-o-20130430/#EmptyCollection" class="owlclass">prov:EmptyCollection</a>
</dd>
</dl>
</div>
@@ -1714,7 +1714,7 @@
<dt>is subclass of</dt>
<dd>
- <a title="http://www.w3.org/ns/prov#Derivation" href="http://www.w3.org/TR/2013/PR-prov-o-20130312/#Derivation" class="owlclass">prov:Derivation</a>
+ <a title="http://www.w3.org/ns/prov#Derivation" href="http://www.w3.org/TR/2013/REC-prov-o-20130430/#Derivation" class="owlclass">prov:Derivation</a>
</dd>
<dt>described with properties</dt>
<dd>
@@ -1773,7 +1773,7 @@
<dt>is subclass of</dt>
<dd>
- <a title="http://www.w3.org/ns/prov#Derivation" href="http://www.w3.org/TR/2013/PR-prov-o-20130312/#Derivation" class="owlclass">prov:Derivation</a>
+ <a title="http://www.w3.org/ns/prov#Derivation" href="http://www.w3.org/TR/2013/REC-prov-o-20130430/#Derivation" class="owlclass">prov:Derivation</a>
</dd>
<dt>described with properties</dt>
@@ -1849,7 +1849,7 @@
<dd>
<ul>
<li>
- <a title="http://www.w3.org/ns/prov#wasDerivedFrom" href="http://www.w3.org/TR/2013/PR-prov-o-20130312/#wasDerivedFrom" class="owlclass">prov:wasDerivedFrom</a>
+ <a title="http://www.w3.org/ns/prov#wasDerivedFrom" href="http://www.w3.org/TR/2013/REC-prov-o-20130430/#wasDerivedFrom" class="owlclass">prov:wasDerivedFrom</a>
</li>
</ul>
</dd>
@@ -1930,7 +1930,7 @@
<dd>
<ul>
<li>
- <a title="http://www.w3.org/ns/prov#wasDerivedFrom" href="http://www.w3.org/TR/2013/PR-prov-o-20130312/#wasDerivedFrom" class="owlclass">prov:wasDerivedFrom</a>
+ <a title="http://www.w3.org/ns/prov#wasDerivedFrom" href="http://www.w3.org/TR/2013/REC-prov-o-20130430/#wasDerivedFrom" class="owlclass">prov:wasDerivedFrom</a>
</li>
</ul>
</dd>
@@ -2013,7 +2013,7 @@
<dd>
<ul>
<li>
- <a title="http://www.w3.org/ns/prov#entity" href="http://www.w3.org/TR/2013/PR-prov-o-20130312/#p_entity" class="owlclass">prov:entity</a>
+ <a title="http://www.w3.org/ns/prov#entity" href="http://www.w3.org/TR/2013/REC-prov-o-20130430/#p_entity" class="owlclass">prov:entity</a>
</li>
</ul>
</dd>
@@ -2294,7 +2294,7 @@
<dd>
<ul>
<li>
- <a title="http://www.w3.org/ns/prov#Entity" href="http://www.w3.org/TR/2013/PR-prov-o-20130312/#Entity" class="owlclass">prov:Entity</a>
+ <a title="http://www.w3.org/ns/prov#Entity" href="http://www.w3.org/TR/2013/REC-prov-o-20130430/#Entity" class="owlclass">prov:Entity</a>
</li>
</ul>
</dd>
@@ -2353,7 +2353,7 @@
<dd>
<ul>
<li>
- <a title="http://www.w3.org/ns/prov#qualifiedDerivation" href="http://www.w3.org/TR/2013/PR-prov-o-20130312/#qualifiedDerivation" class="owlclass">prov:qualifiedDerivation</a>
+ <a title="http://www.w3.org/ns/prov#qualifiedDerivation" href="http://www.w3.org/TR/2013/REC-prov-o-20130430/#qualifiedDerivation" class="owlclass">prov:qualifiedDerivation</a>
</li>
</ul>
</dd>
@@ -2427,7 +2427,7 @@
<dd>
<ul>
<li>
- <a title="http://www.w3.org/ns/prov#qualifiedDerivation" href="http://www.w3.org/TR/2013/PR-prov-o-20130312/#qualifiedDerivation" class="owlclass">prov:qualifiedDerivation</a>
+ <a title="http://www.w3.org/ns/prov#qualifiedDerivation" href="http://www.w3.org/TR/2013/REC-prov-o-20130430/#qualifiedDerivation" class="owlclass">prov:qualifiedDerivation</a>
</li>
</ul>
</dd>
@@ -2526,7 +2526,7 @@
<section id="dictionary-xml-schema">
<!--OddPage--><h2><span class="secno">6. </span>PROV-XML Representation of Dictionary</h2>
This section details how to describe dictionaries with
-the [<cite><a href="#bib-PROV-XML" class="bibref">PROV-XML</a></cite>] 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.
+the [<cite><a href="#bib-PROV-XML" class="bibref">PROV-XML</a></cite>] serialization. The [<a href="http://www.w3.org/TR/2013/NOTE-prov-xml-20130430/schema/prov-dictionary.xsd">XML schema for PROV-Dictionary</a>] is available for download, and includes <a href="http://www.w3.org/TR/2013/NOTE-prov-xml-20130430/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/NOTE-prov-xml-20130430/schema/prov.xsd">prov.xsd</a> can be used, which imports <a href="http://www.w3.org/TR/2013/NOTE-prov-xml-20130430/schema/prov-core.xsd">prov-core.xsd</a> and all extension schemas developed by the Working Group.
<section id="term-Dictionary">
<h3><span class="secno">6.1 </span>Dictionary</h3>
<div class="glossary-ref"></div>
@@ -2758,7 +2758,7 @@
<section id="dictionary-constraints">
<!--OddPage--><h2><span class="secno">7. </span>Constraints Associated with Dictionary</h2>
-In this section, we specify some inferences and constraints associated with dictionaries. These inferences and constraints <em title="MAY" class="rfc2119">MAY</em> be applied to obtain valid provenance when using dictionaries. For more information about valid provenance and its purpose, we refer to the <a href="http://www.w3.org/TR/2013/PR-prov-constraints-20130312/#purpose">disclaimer</a> in [<cite><a href="#bib-PROV-CONSTRAINTS" class="bibref">PROV-CONSTRAINTS</a></cite>].
+In this section, we specify some inferences and constraints associated with dictionaries. These inferences and constraints <em title="MAY" class="rfc2119">MAY</em> be applied to obtain valid provenance when using dictionaries. For more information about valid provenance and its purpose, we refer to the <a href="http://www.w3.org/TR/2013/REC-prov-constraints-20130430/#purpose">disclaimer</a> in [<cite><a href="#bib-PROV-CONSTRAINTS" class="bibref">PROV-CONSTRAINTS</a></cite>].
Whereas collections were deliberately left unconstrained in [<cite><a href="#bib-PROV-DM" class="bibref">PROV-DM</a></cite>] and [<cite><a href="#bib-PROV-CONSTRAINTS" class="bibref">PROV-CONSTRAINTS</a></cite>] to remain as general as possible, dictionaries are intended to provide more structure, and thus, are constrained more strictly.
For more information on how to read this section, we refer to [<cite><a href="#bib-PROV-CONSTRAINTS" class="bibref">PROV-CONSTRAINTS</a></cite>].
<section id="dictionary-constraints-notation">
@@ -2772,7 +2772,7 @@
</section>
<section id="dictionary-constraints-inferences">
<h3><span class="secno">7.2 </span>Inferences</h3>
- <p id="dmembership-cmembership-inference_text"><a href="#term-dictionary-membership">Dictionary membership</a> implies <a href=" http://www.w3.org/TR/2013/PR-prov-dm-20130312/#term-membership">collection membership</a>.</p>
+ <p id="dmembership-cmembership-inference_text"><a href="#term-dictionary-membership">Dictionary membership</a> implies <a href=" http://www.w3.org/TR/2013/REC-prov-dm-20130430/#term-membership">collection membership</a>.</p>
<div class="inference" id="dmembership-cmembership-inference">
<span class="ruleTitle"><a class="internalDFN" href="#dmembership-cmembership-inference">Inference D1 (dictionary-membership-collection-membership)</a></span>
<p>
@@ -2780,7 +2780,7 @@
<span class="conditional">THEN</span> <span class="name">hadMember(d, e1)</span>
</p></div>
-<p id="cmembership-dmembership-inference_text"><a href=" http://www.w3.org/TR/2013/PR-prov-dm-20130312/#term-membership">Collection membership</a> for collections that are dictionaries implies <a href="#term-dictionary-membership">dictionary membership</a>.</p>
+<p id="cmembership-dmembership-inference_text"><a href=" http://www.w3.org/TR/2013/REC-prov-dm-20130430/#term-membership">Collection membership</a> for collections that are dictionaries implies <a href="#term-dictionary-membership">dictionary membership</a>.</p>
<div class="inference" id="cmembership-dmembership-inference">
<span class="ruleTitle"><a class="internalDFN" href="#cmembership-dmembership-inference">Inference D2 (collection-membership-dictionary-membership)</a></span>
<p>
@@ -2830,7 +2830,7 @@
Note that inferences <a class="internalDFN" href="#membership-insertion-membership-inference">D4</a> and
<a class="internalDFN" href="#membership-removal-membership-inference">D5</a>, together with constraints
<a class="internalDFN" href="#impossible-removal-insertion-constraint">D9</a>, <a class="internalDFN" href="#unique-insertion-constraint">D10</a>
- , <a class="internalDFN" href="#unique-insertion-constraint">D11</a> and <a class="internalDFN" href="#unique-removal-constraint">D12</a>, and the fact that an EmptyDictionary does not contain any key-entity pairs (as formalized in <a href="http://www.w3.org/TR/2013/PR-prov-constraints-20130312/#membership-empty-collection">PROV-Constraints</a>),
+ , <a class="internalDFN" href="#unique-insertion-constraint">D11</a> and <a class="internalDFN" href="#unique-removal-constraint">D12</a>, and the fact that an EmptyDictionary does not contain any key-entity pairs (as formalized in <a href="http://www.w3.org/TR/2013/REC-prov-constraints-20130430/#membership-empty-collection">PROV-Constraints</a>),
guarantee <b>completeness</b> of a dictionary, if it can be traced back to an EmptyDictionary through insertions and removals.
Here, completeness means that all key-entity pairs of the dictionary are known through a hadDictionaryMember statement.
</div>
@@ -3409,7 +3409,7 @@
xmlns:dbpedia="http://dbpedia.org/resource/"
xmlns:ex="http://example.com/"
xsi:schemaLocation="http://www.w3.org/ns/prov#
-http://www.w3.org/TR/2013/WD-prov-xml-20130312/schema/prov.xsd ">
+http://www.w3.org/TR/2013/NOTE-prov-xml-20130430/schema/prov.xsd ">
<!-- All Player Entities -->
... <!-- See complete provenance file -->
<!-- 2011 Roster -->
@@ -3654,7 +3654,7 @@
<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 (renaming of concepts and restyling).</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>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/REC-prov-o-20130430/#qualifiedDerivation">qualifiedDerivation</a>.</li>
<li>Updated XML schema definition.</li>
<li>Added an notations and conventions paragraph to the constraints.</li>
<li>Updated constraints after discussion within the Working Group.</li>