--- a/model/diff-n.html Mon Mar 04 10:45:22 2013 +0100
+++ b/model/diff-n.html Mon Mar 04 10:17:03 2013 +0000
@@ -1109,10 +1109,10 @@
-<p>The key words "<em class="rfc2119" title="must">must</em>", "<em class="rfc2119" title="must not">must not</em>", "<em class="rfc2119" title="required">required</em>", "<em class="rfc2119" title="shall">shall</em>", "<em class="rfc2119" title="shall
- not">shall
- not</em>", "<em class="rfc2119" title="should">should</em>", "<em class="rfc2119" title="should not">should not</em>", "<em class="rfc2119" title="recommended">recommended</em>", "<em class="rfc2119" title="may">may</em>", and
- "<em class="rfc2119" title="optional">optional</em>" in this document are to be interpreted as described in
+<p>The key words "<span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em>", "<span class="delete">must not</span><em class="rfc2119" title="MUST NOT"><span class="insert">MUST NOT</span></em>", "<span class="delete">required</span><em class="rfc2119" title="REQUIRED"><span class="insert">REQUIRED</span></em>", "<span class="delete">shall</span><em class="rfc2119" title="SHALL"><span class="insert">SHALL</span></em>", "<span class="delete">shall</span><em class="rfc2119" title="SHALL
+ NOT"><span class="insert">SHALL</span>
+ <span class="delete">not</span><span class="insert">NOT</span></em>", "<span class="delete">should</span><em class="rfc2119" title="SHOULD"><span class="insert">SHOULD</span></em>", "<span class="delete">should not</span><em class="rfc2119" title="SHOULD NOT"><span class="insert">SHOULD NOT</span></em>", "<span class="delete">recommended</span><em class="rfc2119" title="RECOMMENDED"><span class="insert">RECOMMENDED</span></em>", "<span class="delete">may</span><em class="rfc2119" title="MAY"><span class="insert">MAY</span></em>", and
+ "<span class="delete">optional</span><em class="rfc2119" title="OPTIONAL"><span class="insert">OPTIONAL</span></em>" in this document are to be interpreted as described in
[<cite><a class="bibref" href="#bib-RFC2119">RFC2119</a></cite>].</p>
@@ -1324,7 +1324,7 @@
<h3><span class="secno">2.5 </span>Identifiers and attributes</h3>
<p>Almost all expressions defined in the grammar include an identifier (see <a href="#expression-identifier">Section 3.7.1</a> for the full syntax of identifiers). Most expressions
-can also include a set of attribute-value pairs, delimited by square brackets. Identifiers are optional except for Entities, Activites, and Agents. Identifiers are always the first term in any expression. <em>Optional</em> identifiers <em class="rfc2119" title="must">must</em> be separated using a semi-colon ';', but where the identifiers are required, a regular comma ',' <em class="rfc2119" title="must">must</em> be used. This makes it possible to completely omit an optional identifier with no ambiguity arising. Also, if the set of attribute-value pairs is present, it is always the last term in any expression.</p>
+can also include a set of attribute-value pairs, delimited by square brackets. Identifiers are optional except for Entities, Activites, and Agents. Identifiers are always the first term in any expression. <em>Optional</em> identifiers <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> be separated using a semi-colon ';', but where the identifiers are required, a regular comma ',' <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> be used. This makes it possible to completely omit an optional identifier with no ambiguity arising. Also, if the set of attribute-value pairs is present, it is always the last term in any expression.</p>
<div class="anexample" id="example_9"><div class="anexampleTitle"><a class="internalDFN" href="#example_9">Example 9</a></div>
<p>Derivation has an optional identifier. In the first expression, the identifier is not available, while it is explicit in the second. The third example shows that one can optionally indicate the missing identifier using the <span class="name">-</span> marker. This is equivalent to the first expression. </p>
@@ -1841,7 +1841,7 @@
<h4><span class="secno">3.2.2 </span>Revision</h4>
<p id="provn-type-Revision">
-PROV-N provides no dedicated syntax for Revision. Instead, a Revision <em class="rfc2119" title="must">must</em> be expressed as a
+PROV-N provides no dedicated syntax for Revision. Instead, a Revision <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> be expressed as a
<code class="content"><a class="grammarRef" href="#prod-derivationExpression">derivationExpression</a></code> with attribute <code>prov:type='prov:Revision'</code>.</p>
@@ -1862,7 +1862,7 @@
<h4><span class="secno">3.2.3 </span>Quotation</h4>
<p id="provn-type-Quotation">
-PROV-N provides no dedicated syntax for Quotation. Instead, a Quotation <em class="rfc2119" title="must">must</em> be expressed as a
+PROV-N provides no dedicated syntax for Quotation. Instead, a Quotation <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> be expressed as a
<code class="content"><a class="grammarRef" href="#prod-derivationExpression">derivationExpression</a></code> with attribute <code>prov:type='prov:Quotation'</code>.</p>
@@ -1886,7 +1886,7 @@
<p id="provn-type-Primary-Source">
-PROV-N provides no dedicated syntax for PrimarySource. Instead, a PrimarySource <em class="rfc2119" title="must">must</em> be expressed as a
+PROV-N provides no dedicated syntax for PrimarySource. Instead, a PrimarySource <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> be expressed as a
<code class="content"><a class="grammarRef" href="#prod-derivationExpression">derivationExpression</a></code> with attribute <code>prov:type='prov:Primary-Source'</code>.</p>
@@ -1928,7 +1928,7 @@
</div>
<p>
-PROV-N provides no dedicated syntax for Person, Organization, SoftwareAgent. Instead, a Person, an Organization, or a SoftwareAgent <em class="rfc2119" title="must">must</em> be expressed as an
+PROV-N provides no dedicated syntax for Person, Organization, SoftwareAgent. Instead, a Person, an Organization, or a SoftwareAgent <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> be expressed as an
<code class="content"><a class="grammarRef" href="#prod-agentExpression">agentExpression</a></code> with attribute
<span id="provn-type-Person"><code>prov:type='prov:Person'</code></span>,
<span id="provn-type-Organization"><code>prov:type='prov:Organization'</code></span>, or
@@ -2024,7 +2024,7 @@
<p id="provn-type-Plan">
-PROV-N provides no dedicated syntax for Plan. Instead, a Plan <em class="rfc2119" title="must">must</em> be expressed as an
+PROV-N provides no dedicated syntax for Plan. Instead, a Plan <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> be expressed as an
<code class="content"><a class="grammarRef" href="#prod-entityExpression">entityExpression</a></code> with attribute <code>prov:type='prov:Plan'</code>.</p>
@@ -2177,7 +2177,7 @@
<p>Bundles cannot be <span class="delete">nested because </span><span class="insert">nested. It is for this reason that </span>a <code><a class="grammarRef" href="#prod-bundle">bundle</a></code> is not <span class="insert">defined as </span>an <code><a class="grammarRef" href="#prod-expression">expression</a></code>,<span class="delete"> and therefore cannot occur</span><span class="insert"> to prevent the occurrence of a </span><code><a class="grammarRef" href="#prod-bundle"><span class="insert">bundle</span></a></code> inside another <code><a class="grammarRef" href="#prod-bundle">bundle</a></code>.</p>
-<p>Each identifier occurring in a bundle, including the bundle identifier itself, <em class="rfc2119" title="must">must</em> be interpreted with respect to the namespace declarations of that bundle, or if the identifier's prefix is not declared in the bundle, with respect to the namespace declarations in the document. </p>
+<p>Each identifier occurring in a bundle, including the bundle identifier itself, <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> be interpreted with respect to the namespace declarations of that bundle, or if the identifier's prefix is not declared in the bundle, with respect to the namespace declarations in the document. </p>
<p>The following table summarizes how each constituent of a PROV-DM bundle maps to a PROV-N syntax element.</p>
@@ -2219,7 +2219,7 @@
<h4><span class="secno">3.4.2 </span>Bundle Type</h4>
<p id="provn-type-Bundle">
-When described, a Bundle <em class="rfc2119" title="must">must</em> be expressed as an <code class="content"><a class="grammarRef" href="#prod-entityExpression">entityExpression</a></code> with attribute <code>prov:type='prov:Bundle'</code>.</p>
+When described, a Bundle <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> be expressed as an <code class="content"><a class="grammarRef" href="#prod-entityExpression">entityExpression</a></code> with attribute <code>prov:type='prov:Bundle'</code>.</p>
<div class="anexample" id="example_30"><div class="anexampleTitle"><a class="internalDFN" href="#example_30">Example 30</a></div>
<p>The bundle of
@@ -2320,7 +2320,7 @@
<p>
-PROV-N provides no dedicated syntax for Collection and EmptyCollection. Instead, a Collection or an EmptyCollection <em class="rfc2119" title="must">must</em> be expressed as an
+PROV-N provides no dedicated syntax for Collection and EmptyCollection. Instead, a Collection or an EmptyCollection <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> be expressed as an
<code class="content"><a class="grammarRef" href="#prod-entityExpression">entityExpression</a></code> with attribute
<span id="provn-type-Collection"><code>prov:type='prov:Collection'</code></span>, or
<span id="provn-type-EmptyCollection"><code>prov:type='prov:EmptyCollection'</code></span>, respectively.</p>
@@ -2414,8 +2414,8 @@
The PROV data model stipulates that a qualified name can be mapped to an IRI
by concatenating the IRI associated with the prefix and the local part. This section provides the exact details of this procedure for qualified names defined by PROV-N. </p>
-<p>A qualified name's prefix is <em class="rfc2119" title="optional">optional</em>. If a prefix occurs in a
- qualified name, the prefix <em class="rfc2119" title="must">must</em> refer to a namespace declared in a namespace declaration. In the absence of prefix, the qualified name
+<p>A qualified name's prefix is <span class="delete">optional</span><em class="rfc2119" title="OPTIONAL"><span class="insert">OPTIONAL</span></em>. If a prefix occurs in a
+ qualified name, the prefix <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> refer to a namespace declared in a namespace declaration. In the absence of prefix, the qualified name
belongs to the default <span class="delete">namespace</span><span class="delete">.</span><span class="insert">namespace.</span></p>
@@ -2718,11 +2718,11 @@
The scope of a prefix-namespace declaration directly occurring in a <code><a class="grammarRef" href="#prod-document">document</a></code> is the <code><a class="grammarRef" href="#prod-document">document</a></code> including the <code><a class="grammarRef" href="#prod-bundle">bundles</a></code> it contains but excluding those <code><a class="grammarRef" href="#prod-bundle">bundles</a></code> that re-declare this prefix.</li>
</ul>
-<p>A set of namespace declarations <code><a class="grammarRef" href="#prod-namespaceDeclarations">namespaceDeclarations</a></code> <em class="rfc2119" title="must not">must not</em> re-declare the same prefix.</p>
-
-<p>A set of namespace declarations <code><a class="grammarRef" href="#prod-namespaceDeclarations">namespaceDeclarations</a></code> occurring in a bundle <em class="rfc2119" title="may">may</em> re-declare a prefix declared in a surrounding document.</p>
-
-<p>A namespace declaration <code><a class="grammarRef" href="#prod-namespaceDeclaration">namespaceDeclaration</a></code> <em class="rfc2119" title="must not">must not</em> declare prefixes <span class="name">prov</span> and <span class="name">xsd</span> (see <a href="#namespace-table">Table 1</a> for their IRI).</p>
+<p>A set of namespace declarations <code><a class="grammarRef" href="#prod-namespaceDeclarations">namespaceDeclarations</a></code> <span class="delete">must not</span><em class="rfc2119" title="MUST NOT"><span class="insert">MUST NOT</span></em> re-declare the same prefix.</p>
+
+<p>A set of namespace declarations <code><a class="grammarRef" href="#prod-namespaceDeclarations">namespaceDeclarations</a></code> occurring in a bundle <span class="delete">may</span><em class="rfc2119" title="MAY"><span class="insert">MAY</span></em> re-declare a prefix declared in a surrounding document.</p>
+
+<p>A namespace declaration <code><a class="grammarRef" href="#prod-namespaceDeclaration">namespaceDeclaration</a></code> <span class="delete">must not</span><em class="rfc2119" title="MUST NOT"><span class="insert">MUST NOT</span></em> declare prefixes <span class="name">prov</span> and <span class="name">xsd</span> (see <a href="#namespace-table">Table 1</a> for their IRI).</p>
@@ -2798,34 +2798,34 @@
<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
<tr><td><a class="grammarRef" href="#prod-generationExpression">Generation expression</a></td>
<td><span class="name">wasGeneratedBy(e2, -, -)</span><br><span class="name">wasGeneratedBy(-; e2, -, -)</span></td>
- <td>At least one of <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#generation.id"><span class="attribute">id</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#generation.activity"><span class="attribute">activity</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#generation.time"><span class="attribute">time</span></a>, and <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#generation.attributes"><span class="attribute">attributes</span></a> <em class="rfc2119" title="must">must</em> be present.</td>
+ <td>At least one of <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#generation.id"><span class="attribute">id</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#generation.activity"><span class="attribute">activity</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#generation.time"><span class="attribute">time</span></a>, and <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#generation.attributes"><span class="attribute">attributes</span></a> <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> be present.</td>
</tr>
<tr><td><a class="grammarRef" href="#prod-usageExpression">Usage expression</a></td>
<td><span class="name">used(a2, -, -)</span><br><span class="name">used(-; a2, -, -)</span></td>
-<td>At least one of <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#usage.id"><span class="attribute">id</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#usage.entity"><span class="attribute">entity</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#usage.time"><span class="attribute">time</span></a>, and <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#usage.attributes"><span class="attribute">attributes</span></a> <em class="rfc2119" title="must">must</em> be present</td>
+<td>At least one of <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#usage.id"><span class="attribute">id</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#usage.entity"><span class="attribute">entity</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#usage.time"><span class="attribute">time</span></a>, and <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#usage.attributes"><span class="attribute">attributes</span></a> <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> be present</td>
</tr>
<tr>
<td><a class="grammarRef" href="#prod-startExpression">Start expression</a></td>
<td> <span class="name">wasStartedBy(e2, -, -, -)</span><br><span class="name">wasStartedBy(-; e2, -, -, -)</span></td>
-<td>At least one of <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#start.id"><span class="attribute">id</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#start.trigger"><span class="attribute">trigger</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#start.starter"><span class="attribute">starter</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#start.time"><span class="attribute">time</span></a>, and <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#start.attributes"><span class="attribute">attributes</span></a> <em class="rfc2119" title="must">must</em> be present</td>
+<td>At least one of <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#start.id"><span class="attribute">id</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#start.trigger"><span class="attribute">trigger</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#start.starter"><span class="attribute">starter</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#start.time"><span class="attribute">time</span></a>, and <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#start.attributes"><span class="attribute">attributes</span></a> <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> be present</td>
</tr>
<tr>
<td><a class="grammarRef" href="#prod-endExpression">End expression</a></td>
<td><span class="name">wasEndedBy(e2, -, -, -)</span><br><span class="name">wasEndedBy(-; e2, -, -, -)</span></td>
-<td>At least one of <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#end.id"><span class="attribute">id</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#end.trigger"><span class="attribute">trigger</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#end.ender"><span class="attribute">ender</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#end.time"><span class="attribute">time</span></a>, and <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#end.attributes"><span class="attribute">attributes</span></a> <em class="rfc2119" title="must">must</em> be present</td>
+<td>At least one of <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#end.id"><span class="attribute">id</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#end.trigger"><span class="attribute">trigger</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#end.ender"><span class="attribute">ender</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#end.time"><span class="attribute">time</span></a>, and <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#end.attributes"><span class="attribute">attributes</span></a> <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> be present</td>
</tr>
<tr>
<td><a class="grammarRef" href="#prod-invalidationExpression">Invalidation expression</a></td>
<td><span class="name">wasInvalidatedBy(e2, -, -)</span> <br><span class="name">wasInvalidatedBy(-; e2, -, -)</span></td>
-<td>At least one of <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#invalidation.id"><span class="attribute">id</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#invalidation.activity"><span class="attribute">activity</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#invalidation.time"><span class="attribute">time</span></a>, and <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#invalidation.attributes"><span class="attribute">attributes</span></a> <em class="rfc2119" title="must">must</em> be present</td>
+<td>At least one of <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#invalidation.id"><span class="attribute">id</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#invalidation.activity"><span class="attribute">activity</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#invalidation.time"><span class="attribute">time</span></a>, and <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#invalidation.attributes"><span class="attribute">attributes</span></a> <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> be present</td>
</tr>
<tr>
<td><a class="grammarRef" href="#prod-associationExpression">Association expression</a></td>
<td><span class="name">wasAssociatedWith(a, -, -)</span> <br><span class="name">wasAssociatedWith(-; a, -, -)</span></td>
-<td>At least one of <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#association.id"><span class="attribute">id</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#association.agent"><span class="attribute">agent</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#association.plan"><span class="attribute">plan</span></a>, and <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#association.attributes"><span class="attribute">attributes</span></a> <em class="rfc2119" title="must">must</em> be present</td>
+<td>At least one of <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#association.id"><span class="attribute">id</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#association.agent"><span class="attribute">agent</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#association.plan"><span class="attribute">plan</span></a>, and <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#association.attributes"><span class="attribute">attributes</span></a> <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> be present</td>
</tr>
</tbody></table>
@@ -2868,7 +2868,7 @@
</ul>
-<p>Thus, bundles <em class="rfc2119" title="may">may</em> occur inside a document, but do not appear inside other bundles.
+<p>Thus, bundles <span class="delete">may</span><em class="rfc2119" title="MAY"><span class="insert">MAY</span></em> occur inside a document, but do not appear inside other bundles.
</p>
@@ -2904,10 +2904,10 @@
<p>The PROV data model is extensible by means of attributes <span class="name">prov:type</span> and <span class="name">prov:role</span> allowing subtyping of expressions. For some applications, novel syntax may also be convenient. Hence, the normative requirements are as follow.</p>
<ul>
-<li> PROV-N compliant parsers <em class="rfc2119" title="must">must</em> be able to parse expressions matching the <code class="content"><a class="grammarRef" href="#prod-extensibilityExpression">extensibilityExpression</a></code> production defined below.
+<li> PROV-N compliant parsers <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> be able to parse expressions matching the <code class="content"><a class="grammarRef" href="#prod-extensibilityExpression">extensibilityExpression</a></code> production defined below.
</li><li> As PROV provides no definition for these expressions, PROV compliant implementations
- <em class="rfc2119" title="may">may</em> ignore these expressions.</li>
-<li> Extensions to PROV and PROV-N <em class="rfc2119" title="may">may</em> specify more specific productions and interpretations for these expressions, which applications <em class="rfc2119" title="may">may</em> elect to follow. </li>
+ <span class="delete">may</span><em class="rfc2119" title="MAY"><span class="insert">MAY</span></em> ignore these expressions.</li>
+<li> Extensions to PROV and PROV-N <span class="delete">may</span><em class="rfc2119" title="MAY"><span class="insert">MAY</span></em> specify more specific productions and interpretations for these expressions, which applications <span class="delete">may</span><em class="rfc2119" title="MAY"><span class="insert">MAY</span></em> elect to follow. </li>
</ul>
@@ -2920,7 +2920,7 @@
</table>
<p>Expressions compatible with the
-<code class="content"><a class="grammarRef" href="#prod-extensibilityExpression">extensibilityExpression</a></code> production follow a general form of functional syntax, in which the predicate <em class="rfc2119" title="must">must</em> be a
+<code class="content"><a class="grammarRef" href="#prod-extensibilityExpression">extensibilityExpression</a></code> production follow a general form of functional syntax, in which the predicate <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> be a
<code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME">qualifiedName</a></code>
with a non-empty <code class="content"><a class="grammarRef" href="http://www.w3.org/TR/rdf-sparql-query/#rPN_PREFIX">prefix</a></code>.</p>
@@ -2976,7 +2976,7 @@
<dt>Subtype name:</dt>
<dd>provenance-notation</dd>
<dt>Required parameters:</dt>
- <dd><kbd>charset</kbd> — the value of <kbd>charset</kbd> <em class="rfc2119" title="must">must</em> always be <kbd>UTF-8</kbd>.</dd>
+ <dd><kbd>charset</kbd> — the value of <kbd>charset</kbd> <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> always be <kbd>UTF-8</kbd>.</dd>
<dt>Optional parameters:</dt>
<dd>None</dd>
@@ -3005,6 +3005,9 @@
Identifiers (IRIs)</a> [<cite><a class="bibref" href="#bib-RFC3987">RFC3987</a></cite>] Section 8.
</dd>
+
+ <dd><span class="insert">PROV-N offers an extensibility mechanism, which in turn may introduce additional security considerations. Predicates in extensibility expressions use qualified names, mappable to IRIs, and appropriate security considerations for IRIs apply too.</span></dd>
+
<dt>Interoperability considerations:</dt>
<dd>There are no known interoperability issues.</dd>
<dt>Published specification:</dt>
@@ -3051,6 +3054,7 @@
</span></li><li><span class="insert"> Changed all URLs to PROV documents.
</span></li><li><span class="insert"> Clarified a sentence about the (non) nesting of bundles.
</span></li><li><span class="insert"> Added html link to provenance.
+</span></li><li><span class="insert"> Updated security consideration for extensibility feature of PROV-N following IANA feedback.
</span></li></ul>
</section>
--- a/model/prov-n.html Mon Mar 04 10:45:22 2013 +0100
+++ b/model/prov-n.html Mon Mar 04 10:17:03 2013 +0000
@@ -2948,6 +2948,7 @@
<a class="norm" href="http://www.ietf.org/rfc/rfc3987.txt">Internationalized Resource
Identifiers (IRIs)</a> [[!RFC3987]] Section 8.
</dd>
+ <dd>PROV-N offers an extensibility mechanism, which in turn may introduce additional security considerations. Predicates in extensibility expressions use qualified names, mappable to IRIs, and appropriate security considerations for IRIs apply too.</dd>
<dt>Interoperability considerations:</dt>
<dd>There are no known interoperability issues.</dd>
@@ -3003,6 +3004,7 @@
<li> Changed all URLs to PROV documents.
<li> Clarified a sentence about the (non) nesting of bundles.
<li> Added html link to provenance.
+<li> Updated security consideration for extensibility feature of PROV-N following IANA feedback.
</ul>
</section>
--- a/model/releases/PR-prov-n-20130312/Overview.html Mon Mar 04 10:45:22 2013 +0100
+++ b/model/releases/PR-prov-n-20130312/Overview.html Mon Mar 04 10:17:03 2013 +0000
@@ -1034,10 +1034,10 @@
<h3><span class="secno">1.4 </span>Notational Conventions</h3>
-<p>The key words "<em class="rfc2119" title="must">must</em>", "<em class="rfc2119" title="must not">must not</em>", "<em class="rfc2119" title="required">required</em>", "<em class="rfc2119" title="shall">shall</em>", "<em class="rfc2119" title="shall
- not">shall
- not</em>", "<em class="rfc2119" title="should">should</em>", "<em class="rfc2119" title="should not">should not</em>", "<em class="rfc2119" title="recommended">recommended</em>", "<em class="rfc2119" title="may">may</em>", and
- "<em class="rfc2119" title="optional">optional</em>" in this document are to be interpreted as described in
+<p>The key words "<em class="rfc2119" title="MUST">MUST</em>", "<em class="rfc2119" title="MUST NOT">MUST NOT</em>", "<em class="rfc2119" title="REQUIRED">REQUIRED</em>", "<em class="rfc2119" title="SHALL">SHALL</em>", "<em class="rfc2119" title="SHALL
+ NOT">SHALL
+ NOT</em>", "<em class="rfc2119" title="SHOULD">SHOULD</em>", "<em class="rfc2119" title="SHOULD NOT">SHOULD NOT</em>", "<em class="rfc2119" title="RECOMMENDED">RECOMMENDED</em>", "<em class="rfc2119" title="MAY">MAY</em>", and
+ "<em class="rfc2119" title="OPTIONAL">OPTIONAL</em>" in this document are to be interpreted as described in
[<cite><a class="bibref" href="#bib-RFC2119">RFC2119</a></cite>].</p>
@@ -1249,7 +1249,7 @@
<h3><span class="secno">2.5 </span>Identifiers and attributes</h3>
<p>Almost all expressions defined in the grammar include an identifier (see <a href="#expression-identifier">Section 3.7.1</a> for the full syntax of identifiers). Most expressions
-can also include a set of attribute-value pairs, delimited by square brackets. Identifiers are optional except for Entities, Activites, and Agents. Identifiers are always the first term in any expression. <em>Optional</em> identifiers <em class="rfc2119" title="must">must</em> be separated using a semi-colon ';', but where the identifiers are required, a regular comma ',' <em class="rfc2119" title="must">must</em> be used. This makes it possible to completely omit an optional identifier with no ambiguity arising. Also, if the set of attribute-value pairs is present, it is always the last term in any expression.</p>
+can also include a set of attribute-value pairs, delimited by square brackets. Identifiers are optional except for Entities, Activites, and Agents. Identifiers are always the first term in any expression. <em>Optional</em> identifiers <em class="rfc2119" title="MUST">MUST</em> be separated using a semi-colon ';', but where the identifiers are required, a regular comma ',' <em class="rfc2119" title="MUST">MUST</em> be used. This makes it possible to completely omit an optional identifier with no ambiguity arising. Also, if the set of attribute-value pairs is present, it is always the last term in any expression.</p>
<div class="anexample" id="example_9"><div class="anexampleTitle"><a class="internalDFN" href="#example_9">Example 9</a></div>
<p>Derivation has an optional identifier. In the first expression, the identifier is not available, while it is explicit in the second. The third example shows that one can optionally indicate the missing identifier using the <span class="name">-</span> marker. This is equivalent to the first expression. </p>
@@ -1761,7 +1761,7 @@
<h4><span class="secno">3.2.2 </span>Revision</h4>
<p id="provn-type-Revision">
-PROV-N provides no dedicated syntax for Revision. Instead, a Revision <em class="rfc2119" title="must">must</em> be expressed as a
+PROV-N provides no dedicated syntax for Revision. Instead, a Revision <em class="rfc2119" title="MUST">MUST</em> be expressed as a
<code class="content"><a class="grammarRef" href="#prod-derivationExpression">derivationExpression</a></code> with attribute <code>prov:type='prov:Revision'</code>.</p>
@@ -1782,7 +1782,7 @@
<h4><span class="secno">3.2.3 </span>Quotation</h4>
<p id="provn-type-Quotation">
-PROV-N provides no dedicated syntax for Quotation. Instead, a Quotation <em class="rfc2119" title="must">must</em> be expressed as a
+PROV-N provides no dedicated syntax for Quotation. Instead, a Quotation <em class="rfc2119" title="MUST">MUST</em> be expressed as a
<code class="content"><a class="grammarRef" href="#prod-derivationExpression">derivationExpression</a></code> with attribute <code>prov:type='prov:Quotation'</code>.</p>
@@ -1806,7 +1806,7 @@
<p id="provn-type-Primary-Source">
-PROV-N provides no dedicated syntax for PrimarySource. Instead, a PrimarySource <em class="rfc2119" title="must">must</em> be expressed as a
+PROV-N provides no dedicated syntax for PrimarySource. Instead, a PrimarySource <em class="rfc2119" title="MUST">MUST</em> be expressed as a
<code class="content"><a class="grammarRef" href="#prod-derivationExpression">derivationExpression</a></code> with attribute <code>prov:type='prov:Primary-Source'</code>.</p>
@@ -1858,7 +1858,7 @@
</div>
<p>
-PROV-N provides no dedicated syntax for Person, Organization, SoftwareAgent. Instead, a Person, an Organization, or a SoftwareAgent <em class="rfc2119" title="must">must</em> be expressed as an
+PROV-N provides no dedicated syntax for Person, Organization, SoftwareAgent. Instead, a Person, an Organization, or a SoftwareAgent <em class="rfc2119" title="MUST">MUST</em> be expressed as an
<code class="content"><a class="grammarRef" href="#prod-agentExpression">agentExpression</a></code> with attribute
<span id="provn-type-Person"><code>prov:type='prov:Person'</code></span>,
<span id="provn-type-Organization"><code>prov:type='prov:Organization'</code></span>, or
@@ -1954,7 +1954,7 @@
<p id="provn-type-Plan">
-PROV-N provides no dedicated syntax for Plan. Instead, a Plan <em class="rfc2119" title="must">must</em> be expressed as an
+PROV-N provides no dedicated syntax for Plan. Instead, a Plan <em class="rfc2119" title="MUST">MUST</em> be expressed as an
<code class="content"><a class="grammarRef" href="#prod-entityExpression">entityExpression</a></code> with attribute <code>prov:type='prov:Plan'</code>.</p>
@@ -2111,7 +2111,7 @@
<p>Bundles cannot be nested. It is for this reason that a <code><a class="grammarRef" href="#prod-bundle">bundle</a></code> is not defined as an <code><a class="grammarRef" href="#prod-expression">expression</a></code>, to prevent the occurrence of a <code><a class="grammarRef" href="#prod-bundle">bundle</a></code> inside another <code><a class="grammarRef" href="#prod-bundle">bundle</a></code>.</p>
-<p>Each identifier occurring in a bundle, including the bundle identifier itself, <em class="rfc2119" title="must">must</em> be interpreted with respect to the namespace declarations of that bundle, or if the identifier's prefix is not declared in the bundle, with respect to the namespace declarations in the document. </p>
+<p>Each identifier occurring in a bundle, including the bundle identifier itself, <em class="rfc2119" title="MUST">MUST</em> be interpreted with respect to the namespace declarations of that bundle, or if the identifier's prefix is not declared in the bundle, with respect to the namespace declarations in the document. </p>
<p>The following table summarizes how each constituent of a PROV-DM bundle maps to a PROV-N syntax element.</p>
@@ -2153,7 +2153,7 @@
<h4><span class="secno">3.4.2 </span>Bundle Type</h4>
<p id="provn-type-Bundle">
-When described, a Bundle <em class="rfc2119" title="must">must</em> be expressed as an <code class="content"><a class="grammarRef" href="#prod-entityExpression">entityExpression</a></code> with attribute <code>prov:type='prov:Bundle'</code>.</p>
+When described, a Bundle <em class="rfc2119" title="MUST">MUST</em> be expressed as an <code class="content"><a class="grammarRef" href="#prod-entityExpression">entityExpression</a></code> with attribute <code>prov:type='prov:Bundle'</code>.</p>
<div class="anexample" id="example_30"><div class="anexampleTitle"><a class="internalDFN" href="#example_30">Example 30</a></div>
<p>The bundle of
@@ -2264,7 +2264,7 @@
<p>
-PROV-N provides no dedicated syntax for Collection and EmptyCollection. Instead, a Collection or an EmptyCollection <em class="rfc2119" title="must">must</em> be expressed as an
+PROV-N provides no dedicated syntax for Collection and EmptyCollection. Instead, a Collection or an EmptyCollection <em class="rfc2119" title="MUST">MUST</em> be expressed as an
<code class="content"><a class="grammarRef" href="#prod-entityExpression">entityExpression</a></code> with attribute
<span id="provn-type-Collection"><code>prov:type='prov:Collection'</code></span>, or
<span id="provn-type-EmptyCollection"><code>prov:type='prov:EmptyCollection'</code></span>, respectively.</p>
@@ -2361,8 +2361,8 @@
The PROV data model stipulates that a qualified name can be mapped to an IRI
by concatenating the IRI associated with the prefix and the local part. This section provides the exact details of this procedure for qualified names defined by PROV-N. </p>
-<p>A qualified name's prefix is <em class="rfc2119" title="optional">optional</em>. If a prefix occurs in a
- qualified name, the prefix <em class="rfc2119" title="must">must</em> refer to a namespace declared in a namespace declaration. In the absence of prefix, the qualified name
+<p>A qualified name's prefix is <em class="rfc2119" title="OPTIONAL">OPTIONAL</em>. If a prefix occurs in a
+ qualified name, the prefix <em class="rfc2119" title="MUST">MUST</em> refer to a namespace declared in a namespace declaration. In the absence of prefix, the qualified name
belongs to the default namespace.</p>
<!--
@@ -2696,11 +2696,11 @@
The scope of a prefix-namespace declaration directly occurring in a <code><a class="grammarRef" href="#prod-document">document</a></code> is the <code><a class="grammarRef" href="#prod-document">document</a></code> including the <code><a class="grammarRef" href="#prod-bundle">bundles</a></code> it contains but excluding those <code><a class="grammarRef" href="#prod-bundle">bundles</a></code> that re-declare this prefix.</li>
</ul>
-<p>A set of namespace declarations <code><a class="grammarRef" href="#prod-namespaceDeclarations">namespaceDeclarations</a></code> <em class="rfc2119" title="must not">must not</em> re-declare the same prefix.</p>
-
-<p>A set of namespace declarations <code><a class="grammarRef" href="#prod-namespaceDeclarations">namespaceDeclarations</a></code> occurring in a bundle <em class="rfc2119" title="may">may</em> re-declare a prefix declared in a surrounding document.</p>
-
-<p>A namespace declaration <code><a class="grammarRef" href="#prod-namespaceDeclaration">namespaceDeclaration</a></code> <em class="rfc2119" title="must not">must not</em> declare prefixes <span class="name">prov</span> and <span class="name">xsd</span> (see <a href="#namespace-table">Table 1</a> for their IRI).</p>
+<p>A set of namespace declarations <code><a class="grammarRef" href="#prod-namespaceDeclarations">namespaceDeclarations</a></code> <em class="rfc2119" title="MUST NOT">MUST NOT</em> re-declare the same prefix.</p>
+
+<p>A set of namespace declarations <code><a class="grammarRef" href="#prod-namespaceDeclarations">namespaceDeclarations</a></code> occurring in a bundle <em class="rfc2119" title="MAY">MAY</em> re-declare a prefix declared in a surrounding document.</p>
+
+<p>A namespace declaration <code><a class="grammarRef" href="#prod-namespaceDeclaration">namespaceDeclaration</a></code> <em class="rfc2119" title="MUST NOT">MUST NOT</em> declare prefixes <span class="name">prov</span> and <span class="name">xsd</span> (see <a href="#namespace-table">Table 1</a> for their IRI).</p>
@@ -2776,34 +2776,34 @@
<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
<tr><td><a class="grammarRef" href="#prod-generationExpression">Generation expression</a></td>
<td><span class="name">wasGeneratedBy(e2, -, -)</span><br><span class="name">wasGeneratedBy(-; e2, -, -)</span></td>
- <td>At least one of <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#generation.id"><span class="attribute">id</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#generation.activity"><span class="attribute">activity</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#generation.time"><span class="attribute">time</span></a>, and <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#generation.attributes"><span class="attribute">attributes</span></a> <em class="rfc2119" title="must">must</em> be present.</td>
+ <td>At least one of <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#generation.id"><span class="attribute">id</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#generation.activity"><span class="attribute">activity</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#generation.time"><span class="attribute">time</span></a>, and <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#generation.attributes"><span class="attribute">attributes</span></a> <em class="rfc2119" title="MUST">MUST</em> be present.</td>
</tr>
<tr><td><a class="grammarRef" href="#prod-usageExpression">Usage expression</a></td>
<td><span class="name">used(a2, -, -)</span><br><span class="name">used(-; a2, -, -)</span></td>
-<td>At least one of <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#usage.id"><span class="attribute">id</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#usage.entity"><span class="attribute">entity</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#usage.time"><span class="attribute">time</span></a>, and <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#usage.attributes"><span class="attribute">attributes</span></a> <em class="rfc2119" title="must">must</em> be present</td>
+<td>At least one of <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#usage.id"><span class="attribute">id</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#usage.entity"><span class="attribute">entity</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#usage.time"><span class="attribute">time</span></a>, and <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#usage.attributes"><span class="attribute">attributes</span></a> <em class="rfc2119" title="MUST">MUST</em> be present</td>
</tr>
<tr>
<td><a class="grammarRef" href="#prod-startExpression">Start expression</a></td>
<td> <span class="name">wasStartedBy(e2, -, -, -)</span><br><span class="name">wasStartedBy(-; e2, -, -, -)</span></td>
-<td>At least one of <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#start.id"><span class="attribute">id</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#start.trigger"><span class="attribute">trigger</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#start.starter"><span class="attribute">starter</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#start.time"><span class="attribute">time</span></a>, and <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#start.attributes"><span class="attribute">attributes</span></a> <em class="rfc2119" title="must">must</em> be present</td>
+<td>At least one of <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#start.id"><span class="attribute">id</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#start.trigger"><span class="attribute">trigger</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#start.starter"><span class="attribute">starter</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#start.time"><span class="attribute">time</span></a>, and <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#start.attributes"><span class="attribute">attributes</span></a> <em class="rfc2119" title="MUST">MUST</em> be present</td>
</tr>
<tr>
<td><a class="grammarRef" href="#prod-endExpression">End expression</a></td>
<td><span class="name">wasEndedBy(e2, -, -, -)</span><br><span class="name">wasEndedBy(-; e2, -, -, -)</span></td>
-<td>At least one of <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#end.id"><span class="attribute">id</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#end.trigger"><span class="attribute">trigger</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#end.ender"><span class="attribute">ender</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#end.time"><span class="attribute">time</span></a>, and <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#end.attributes"><span class="attribute">attributes</span></a> <em class="rfc2119" title="must">must</em> be present</td>
+<td>At least one of <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#end.id"><span class="attribute">id</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#end.trigger"><span class="attribute">trigger</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#end.ender"><span class="attribute">ender</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#end.time"><span class="attribute">time</span></a>, and <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#end.attributes"><span class="attribute">attributes</span></a> <em class="rfc2119" title="MUST">MUST</em> be present</td>
</tr>
<tr>
<td><a class="grammarRef" href="#prod-invalidationExpression">Invalidation expression</a></td>
<td><span class="name">wasInvalidatedBy(e2, -, -)</span> <br><span class="name">wasInvalidatedBy(-; e2, -, -)</span></td>
-<td>At least one of <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#invalidation.id"><span class="attribute">id</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#invalidation.activity"><span class="attribute">activity</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#invalidation.time"><span class="attribute">time</span></a>, and <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#invalidation.attributes"><span class="attribute">attributes</span></a> <em class="rfc2119" title="must">must</em> be present</td>
+<td>At least one of <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#invalidation.id"><span class="attribute">id</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#invalidation.activity"><span class="attribute">activity</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#invalidation.time"><span class="attribute">time</span></a>, and <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#invalidation.attributes"><span class="attribute">attributes</span></a> <em class="rfc2119" title="MUST">MUST</em> be present</td>
</tr>
<tr>
<td><a class="grammarRef" href="#prod-associationExpression">Association expression</a></td>
<td><span class="name">wasAssociatedWith(a, -, -)</span> <br><span class="name">wasAssociatedWith(-; a, -, -)</span></td>
-<td>At least one of <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#association.id"><span class="attribute">id</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#association.agent"><span class="attribute">agent</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#association.plan"><span class="attribute">plan</span></a>, and <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#association.attributes"><span class="attribute">attributes</span></a> <em class="rfc2119" title="must">must</em> be present</td>
+<td>At least one of <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#association.id"><span class="attribute">id</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#association.agent"><span class="attribute">agent</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#association.plan"><span class="attribute">plan</span></a>, and <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#association.attributes"><span class="attribute">attributes</span></a> <em class="rfc2119" title="MUST">MUST</em> be present</td>
</tr>
</tbody></table>
@@ -2846,7 +2846,7 @@
</ul>
-<p>Thus, bundles <em class="rfc2119" title="may">may</em> occur inside a document, but do not appear inside other bundles.
+<p>Thus, bundles <em class="rfc2119" title="MAY">MAY</em> occur inside a document, but do not appear inside other bundles.
</p>
@@ -2882,10 +2882,10 @@
<p>The PROV data model is extensible by means of attributes <span class="name">prov:type</span> and <span class="name">prov:role</span> allowing subtyping of expressions. For some applications, novel syntax may also be convenient. Hence, the normative requirements are as follow.</p>
<ul>
-<li> PROV-N compliant parsers <em class="rfc2119" title="must">must</em> be able to parse expressions matching the <code class="content"><a class="grammarRef" href="#prod-extensibilityExpression">extensibilityExpression</a></code> production defined below.
+<li> PROV-N compliant parsers <em class="rfc2119" title="MUST">MUST</em> be able to parse expressions matching the <code class="content"><a class="grammarRef" href="#prod-extensibilityExpression">extensibilityExpression</a></code> production defined below.
</li><li> As PROV provides no definition for these expressions, PROV compliant implementations
- <em class="rfc2119" title="may">may</em> ignore these expressions.</li>
-<li> Extensions to PROV and PROV-N <em class="rfc2119" title="may">may</em> specify more specific productions and interpretations for these expressions, which applications <em class="rfc2119" title="may">may</em> elect to follow. </li>
+ <em class="rfc2119" title="MAY">MAY</em> ignore these expressions.</li>
+<li> Extensions to PROV and PROV-N <em class="rfc2119" title="MAY">MAY</em> specify more specific productions and interpretations for these expressions, which applications <em class="rfc2119" title="MAY">MAY</em> elect to follow. </li>
</ul>
@@ -2898,7 +2898,7 @@
</table>
<p>Expressions compatible with the
-<code class="content"><a class="grammarRef" href="#prod-extensibilityExpression">extensibilityExpression</a></code> production follow a general form of functional syntax, in which the predicate <em class="rfc2119" title="must">must</em> be a
+<code class="content"><a class="grammarRef" href="#prod-extensibilityExpression">extensibilityExpression</a></code> production follow a general form of functional syntax, in which the predicate <em class="rfc2119" title="MUST">MUST</em> be a
<code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME">qualifiedName</a></code>
with a non-empty <code class="content"><a class="grammarRef" href="http://www.w3.org/TR/rdf-sparql-query/#rPN_PREFIX">prefix</a></code>.</p>
@@ -2954,7 +2954,7 @@
<dt>Subtype name:</dt>
<dd>provenance-notation</dd>
<dt>Required parameters:</dt>
- <dd><kbd>charset</kbd> — the value of <kbd>charset</kbd> <em class="rfc2119" title="must">must</em> always be <kbd>UTF-8</kbd>.</dd>
+ <dd><kbd>charset</kbd> — the value of <kbd>charset</kbd> <em class="rfc2119" title="MUST">MUST</em> always be <kbd>UTF-8</kbd>.</dd>
<dt>Optional parameters:</dt>
<dd>None</dd>
@@ -2982,6 +2982,7 @@
<a class="norm" href="http://www.ietf.org/rfc/rfc3987.txt">Internationalized Resource
Identifiers (IRIs)</a> [<cite><a class="bibref" href="#bib-RFC3987">RFC3987</a></cite>] Section 8.
</dd>
+ <dd>PROV-N offers an extensibility mechanism, which in turn may introduce additional security considerations. Predicates in extensibility expressions use qualified names, mappable to IRIs, and appropriate security considerations for IRIs apply too.</dd>
<dt>Interoperability considerations:</dt>
<dd>There are no known interoperability issues.</dd>
@@ -3029,6 +3030,7 @@
</li><li> Changed all URLs to PROV documents.
</li><li> Clarified a sentence about the (non) nesting of bundles.
</li><li> Added html link to provenance.
+</li><li> Updated security consideration for extensibility feature of PROV-N following IANA feedback.
</li></ul>
</section>
--- a/model/releases/PR-prov-n-20130312/diff-n.html Mon Mar 04 10:45:22 2013 +0100
+++ b/model/releases/PR-prov-n-20130312/diff-n.html Mon Mar 04 10:17:03 2013 +0000
@@ -1109,10 +1109,10 @@
-<p>The key words "<em class="rfc2119" title="must">must</em>", "<em class="rfc2119" title="must not">must not</em>", "<em class="rfc2119" title="required">required</em>", "<em class="rfc2119" title="shall">shall</em>", "<em class="rfc2119" title="shall
- not">shall
- not</em>", "<em class="rfc2119" title="should">should</em>", "<em class="rfc2119" title="should not">should not</em>", "<em class="rfc2119" title="recommended">recommended</em>", "<em class="rfc2119" title="may">may</em>", and
- "<em class="rfc2119" title="optional">optional</em>" in this document are to be interpreted as described in
+<p>The key words "<span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em>", "<span class="delete">must not</span><em class="rfc2119" title="MUST NOT"><span class="insert">MUST NOT</span></em>", "<span class="delete">required</span><em class="rfc2119" title="REQUIRED"><span class="insert">REQUIRED</span></em>", "<span class="delete">shall</span><em class="rfc2119" title="SHALL"><span class="insert">SHALL</span></em>", "<span class="delete">shall</span><em class="rfc2119" title="SHALL
+ NOT"><span class="insert">SHALL</span>
+ <span class="delete">not</span><span class="insert">NOT</span></em>", "<span class="delete">should</span><em class="rfc2119" title="SHOULD"><span class="insert">SHOULD</span></em>", "<span class="delete">should not</span><em class="rfc2119" title="SHOULD NOT"><span class="insert">SHOULD NOT</span></em>", "<span class="delete">recommended</span><em class="rfc2119" title="RECOMMENDED"><span class="insert">RECOMMENDED</span></em>", "<span class="delete">may</span><em class="rfc2119" title="MAY"><span class="insert">MAY</span></em>", and
+ "<span class="delete">optional</span><em class="rfc2119" title="OPTIONAL"><span class="insert">OPTIONAL</span></em>" in this document are to be interpreted as described in
[<cite><a class="bibref" href="#bib-RFC2119">RFC2119</a></cite>].</p>
@@ -1324,7 +1324,7 @@
<h3><span class="secno">2.5 </span>Identifiers and attributes</h3>
<p>Almost all expressions defined in the grammar include an identifier (see <a href="#expression-identifier">Section 3.7.1</a> for the full syntax of identifiers). Most expressions
-can also include a set of attribute-value pairs, delimited by square brackets. Identifiers are optional except for Entities, Activites, and Agents. Identifiers are always the first term in any expression. <em>Optional</em> identifiers <em class="rfc2119" title="must">must</em> be separated using a semi-colon ';', but where the identifiers are required, a regular comma ',' <em class="rfc2119" title="must">must</em> be used. This makes it possible to completely omit an optional identifier with no ambiguity arising. Also, if the set of attribute-value pairs is present, it is always the last term in any expression.</p>
+can also include a set of attribute-value pairs, delimited by square brackets. Identifiers are optional except for Entities, Activites, and Agents. Identifiers are always the first term in any expression. <em>Optional</em> identifiers <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> be separated using a semi-colon ';', but where the identifiers are required, a regular comma ',' <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> be used. This makes it possible to completely omit an optional identifier with no ambiguity arising. Also, if the set of attribute-value pairs is present, it is always the last term in any expression.</p>
<div class="anexample" id="example_9"><div class="anexampleTitle"><a class="internalDFN" href="#example_9">Example 9</a></div>
<p>Derivation has an optional identifier. In the first expression, the identifier is not available, while it is explicit in the second. The third example shows that one can optionally indicate the missing identifier using the <span class="name">-</span> marker. This is equivalent to the first expression. </p>
@@ -1841,7 +1841,7 @@
<h4><span class="secno">3.2.2 </span>Revision</h4>
<p id="provn-type-Revision">
-PROV-N provides no dedicated syntax for Revision. Instead, a Revision <em class="rfc2119" title="must">must</em> be expressed as a
+PROV-N provides no dedicated syntax for Revision. Instead, a Revision <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> be expressed as a
<code class="content"><a class="grammarRef" href="#prod-derivationExpression">derivationExpression</a></code> with attribute <code>prov:type='prov:Revision'</code>.</p>
@@ -1862,7 +1862,7 @@
<h4><span class="secno">3.2.3 </span>Quotation</h4>
<p id="provn-type-Quotation">
-PROV-N provides no dedicated syntax for Quotation. Instead, a Quotation <em class="rfc2119" title="must">must</em> be expressed as a
+PROV-N provides no dedicated syntax for Quotation. Instead, a Quotation <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> be expressed as a
<code class="content"><a class="grammarRef" href="#prod-derivationExpression">derivationExpression</a></code> with attribute <code>prov:type='prov:Quotation'</code>.</p>
@@ -1886,7 +1886,7 @@
<p id="provn-type-Primary-Source">
-PROV-N provides no dedicated syntax for PrimarySource. Instead, a PrimarySource <em class="rfc2119" title="must">must</em> be expressed as a
+PROV-N provides no dedicated syntax for PrimarySource. Instead, a PrimarySource <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> be expressed as a
<code class="content"><a class="grammarRef" href="#prod-derivationExpression">derivationExpression</a></code> with attribute <code>prov:type='prov:Primary-Source'</code>.</p>
@@ -1928,7 +1928,7 @@
</div>
<p>
-PROV-N provides no dedicated syntax for Person, Organization, SoftwareAgent. Instead, a Person, an Organization, or a SoftwareAgent <em class="rfc2119" title="must">must</em> be expressed as an
+PROV-N provides no dedicated syntax for Person, Organization, SoftwareAgent. Instead, a Person, an Organization, or a SoftwareAgent <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> be expressed as an
<code class="content"><a class="grammarRef" href="#prod-agentExpression">agentExpression</a></code> with attribute
<span id="provn-type-Person"><code>prov:type='prov:Person'</code></span>,
<span id="provn-type-Organization"><code>prov:type='prov:Organization'</code></span>, or
@@ -2024,7 +2024,7 @@
<p id="provn-type-Plan">
-PROV-N provides no dedicated syntax for Plan. Instead, a Plan <em class="rfc2119" title="must">must</em> be expressed as an
+PROV-N provides no dedicated syntax for Plan. Instead, a Plan <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> be expressed as an
<code class="content"><a class="grammarRef" href="#prod-entityExpression">entityExpression</a></code> with attribute <code>prov:type='prov:Plan'</code>.</p>
@@ -2177,7 +2177,7 @@
<p>Bundles cannot be <span class="delete">nested because </span><span class="insert">nested. It is for this reason that </span>a <code><a class="grammarRef" href="#prod-bundle">bundle</a></code> is not <span class="insert">defined as </span>an <code><a class="grammarRef" href="#prod-expression">expression</a></code>,<span class="delete"> and therefore cannot occur</span><span class="insert"> to prevent the occurrence of a </span><code><a class="grammarRef" href="#prod-bundle"><span class="insert">bundle</span></a></code> inside another <code><a class="grammarRef" href="#prod-bundle">bundle</a></code>.</p>
-<p>Each identifier occurring in a bundle, including the bundle identifier itself, <em class="rfc2119" title="must">must</em> be interpreted with respect to the namespace declarations of that bundle, or if the identifier's prefix is not declared in the bundle, with respect to the namespace declarations in the document. </p>
+<p>Each identifier occurring in a bundle, including the bundle identifier itself, <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> be interpreted with respect to the namespace declarations of that bundle, or if the identifier's prefix is not declared in the bundle, with respect to the namespace declarations in the document. </p>
<p>The following table summarizes how each constituent of a PROV-DM bundle maps to a PROV-N syntax element.</p>
@@ -2219,7 +2219,7 @@
<h4><span class="secno">3.4.2 </span>Bundle Type</h4>
<p id="provn-type-Bundle">
-When described, a Bundle <em class="rfc2119" title="must">must</em> be expressed as an <code class="content"><a class="grammarRef" href="#prod-entityExpression">entityExpression</a></code> with attribute <code>prov:type='prov:Bundle'</code>.</p>
+When described, a Bundle <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> be expressed as an <code class="content"><a class="grammarRef" href="#prod-entityExpression">entityExpression</a></code> with attribute <code>prov:type='prov:Bundle'</code>.</p>
<div class="anexample" id="example_30"><div class="anexampleTitle"><a class="internalDFN" href="#example_30">Example 30</a></div>
<p>The bundle of
@@ -2320,7 +2320,7 @@
<p>
-PROV-N provides no dedicated syntax for Collection and EmptyCollection. Instead, a Collection or an EmptyCollection <em class="rfc2119" title="must">must</em> be expressed as an
+PROV-N provides no dedicated syntax for Collection and EmptyCollection. Instead, a Collection or an EmptyCollection <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> be expressed as an
<code class="content"><a class="grammarRef" href="#prod-entityExpression">entityExpression</a></code> with attribute
<span id="provn-type-Collection"><code>prov:type='prov:Collection'</code></span>, or
<span id="provn-type-EmptyCollection"><code>prov:type='prov:EmptyCollection'</code></span>, respectively.</p>
@@ -2414,8 +2414,8 @@
The PROV data model stipulates that a qualified name can be mapped to an IRI
by concatenating the IRI associated with the prefix and the local part. This section provides the exact details of this procedure for qualified names defined by PROV-N. </p>
-<p>A qualified name's prefix is <em class="rfc2119" title="optional">optional</em>. If a prefix occurs in a
- qualified name, the prefix <em class="rfc2119" title="must">must</em> refer to a namespace declared in a namespace declaration. In the absence of prefix, the qualified name
+<p>A qualified name's prefix is <span class="delete">optional</span><em class="rfc2119" title="OPTIONAL"><span class="insert">OPTIONAL</span></em>. If a prefix occurs in a
+ qualified name, the prefix <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> refer to a namespace declared in a namespace declaration. In the absence of prefix, the qualified name
belongs to the default <span class="delete">namespace</span><span class="delete">.</span><span class="insert">namespace.</span></p>
@@ -2718,11 +2718,11 @@
The scope of a prefix-namespace declaration directly occurring in a <code><a class="grammarRef" href="#prod-document">document</a></code> is the <code><a class="grammarRef" href="#prod-document">document</a></code> including the <code><a class="grammarRef" href="#prod-bundle">bundles</a></code> it contains but excluding those <code><a class="grammarRef" href="#prod-bundle">bundles</a></code> that re-declare this prefix.</li>
</ul>
-<p>A set of namespace declarations <code><a class="grammarRef" href="#prod-namespaceDeclarations">namespaceDeclarations</a></code> <em class="rfc2119" title="must not">must not</em> re-declare the same prefix.</p>
-
-<p>A set of namespace declarations <code><a class="grammarRef" href="#prod-namespaceDeclarations">namespaceDeclarations</a></code> occurring in a bundle <em class="rfc2119" title="may">may</em> re-declare a prefix declared in a surrounding document.</p>
-
-<p>A namespace declaration <code><a class="grammarRef" href="#prod-namespaceDeclaration">namespaceDeclaration</a></code> <em class="rfc2119" title="must not">must not</em> declare prefixes <span class="name">prov</span> and <span class="name">xsd</span> (see <a href="#namespace-table">Table 1</a> for their IRI).</p>
+<p>A set of namespace declarations <code><a class="grammarRef" href="#prod-namespaceDeclarations">namespaceDeclarations</a></code> <span class="delete">must not</span><em class="rfc2119" title="MUST NOT"><span class="insert">MUST NOT</span></em> re-declare the same prefix.</p>
+
+<p>A set of namespace declarations <code><a class="grammarRef" href="#prod-namespaceDeclarations">namespaceDeclarations</a></code> occurring in a bundle <span class="delete">may</span><em class="rfc2119" title="MAY"><span class="insert">MAY</span></em> re-declare a prefix declared in a surrounding document.</p>
+
+<p>A namespace declaration <code><a class="grammarRef" href="#prod-namespaceDeclaration">namespaceDeclaration</a></code> <span class="delete">must not</span><em class="rfc2119" title="MUST NOT"><span class="insert">MUST NOT</span></em> declare prefixes <span class="name">prov</span> and <span class="name">xsd</span> (see <a href="#namespace-table">Table 1</a> for their IRI).</p>
@@ -2798,34 +2798,34 @@
<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
<tr><td><a class="grammarRef" href="#prod-generationExpression">Generation expression</a></td>
<td><span class="name">wasGeneratedBy(e2, -, -)</span><br><span class="name">wasGeneratedBy(-; e2, -, -)</span></td>
- <td>At least one of <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#generation.id"><span class="attribute">id</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#generation.activity"><span class="attribute">activity</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#generation.time"><span class="attribute">time</span></a>, and <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#generation.attributes"><span class="attribute">attributes</span></a> <em class="rfc2119" title="must">must</em> be present.</td>
+ <td>At least one of <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#generation.id"><span class="attribute">id</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#generation.activity"><span class="attribute">activity</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#generation.time"><span class="attribute">time</span></a>, and <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#generation.attributes"><span class="attribute">attributes</span></a> <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> be present.</td>
</tr>
<tr><td><a class="grammarRef" href="#prod-usageExpression">Usage expression</a></td>
<td><span class="name">used(a2, -, -)</span><br><span class="name">used(-; a2, -, -)</span></td>
-<td>At least one of <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#usage.id"><span class="attribute">id</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#usage.entity"><span class="attribute">entity</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#usage.time"><span class="attribute">time</span></a>, and <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#usage.attributes"><span class="attribute">attributes</span></a> <em class="rfc2119" title="must">must</em> be present</td>
+<td>At least one of <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#usage.id"><span class="attribute">id</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#usage.entity"><span class="attribute">entity</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#usage.time"><span class="attribute">time</span></a>, and <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#usage.attributes"><span class="attribute">attributes</span></a> <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> be present</td>
</tr>
<tr>
<td><a class="grammarRef" href="#prod-startExpression">Start expression</a></td>
<td> <span class="name">wasStartedBy(e2, -, -, -)</span><br><span class="name">wasStartedBy(-; e2, -, -, -)</span></td>
-<td>At least one of <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#start.id"><span class="attribute">id</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#start.trigger"><span class="attribute">trigger</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#start.starter"><span class="attribute">starter</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#start.time"><span class="attribute">time</span></a>, and <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#start.attributes"><span class="attribute">attributes</span></a> <em class="rfc2119" title="must">must</em> be present</td>
+<td>At least one of <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#start.id"><span class="attribute">id</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#start.trigger"><span class="attribute">trigger</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#start.starter"><span class="attribute">starter</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#start.time"><span class="attribute">time</span></a>, and <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#start.attributes"><span class="attribute">attributes</span></a> <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> be present</td>
</tr>
<tr>
<td><a class="grammarRef" href="#prod-endExpression">End expression</a></td>
<td><span class="name">wasEndedBy(e2, -, -, -)</span><br><span class="name">wasEndedBy(-; e2, -, -, -)</span></td>
-<td>At least one of <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#end.id"><span class="attribute">id</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#end.trigger"><span class="attribute">trigger</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#end.ender"><span class="attribute">ender</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#end.time"><span class="attribute">time</span></a>, and <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#end.attributes"><span class="attribute">attributes</span></a> <em class="rfc2119" title="must">must</em> be present</td>
+<td>At least one of <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#end.id"><span class="attribute">id</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#end.trigger"><span class="attribute">trigger</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#end.ender"><span class="attribute">ender</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#end.time"><span class="attribute">time</span></a>, and <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#end.attributes"><span class="attribute">attributes</span></a> <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> be present</td>
</tr>
<tr>
<td><a class="grammarRef" href="#prod-invalidationExpression">Invalidation expression</a></td>
<td><span class="name">wasInvalidatedBy(e2, -, -)</span> <br><span class="name">wasInvalidatedBy(-; e2, -, -)</span></td>
-<td>At least one of <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#invalidation.id"><span class="attribute">id</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#invalidation.activity"><span class="attribute">activity</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#invalidation.time"><span class="attribute">time</span></a>, and <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#invalidation.attributes"><span class="attribute">attributes</span></a> <em class="rfc2119" title="must">must</em> be present</td>
+<td>At least one of <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#invalidation.id"><span class="attribute">id</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#invalidation.activity"><span class="attribute">activity</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#invalidation.time"><span class="attribute">time</span></a>, and <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#invalidation.attributes"><span class="attribute">attributes</span></a> <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> be present</td>
</tr>
<tr>
<td><a class="grammarRef" href="#prod-associationExpression">Association expression</a></td>
<td><span class="name">wasAssociatedWith(a, -, -)</span> <br><span class="name">wasAssociatedWith(-; a, -, -)</span></td>
-<td>At least one of <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#association.id"><span class="attribute">id</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#association.agent"><span class="attribute">agent</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#association.plan"><span class="attribute">plan</span></a>, and <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#association.attributes"><span class="attribute">attributes</span></a> <em class="rfc2119" title="must">must</em> be present</td>
+<td>At least one of <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#association.id"><span class="attribute">id</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#association.agent"><span class="attribute">agent</span></a>, <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#association.plan"><span class="attribute">plan</span></a>, and <a href="http://www.w3.org/TR/2013/PR-prov-dm-20130312/#association.attributes"><span class="attribute">attributes</span></a> <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> be present</td>
</tr>
</tbody></table>
@@ -2868,7 +2868,7 @@
</ul>
-<p>Thus, bundles <em class="rfc2119" title="may">may</em> occur inside a document, but do not appear inside other bundles.
+<p>Thus, bundles <span class="delete">may</span><em class="rfc2119" title="MAY"><span class="insert">MAY</span></em> occur inside a document, but do not appear inside other bundles.
</p>
@@ -2904,10 +2904,10 @@
<p>The PROV data model is extensible by means of attributes <span class="name">prov:type</span> and <span class="name">prov:role</span> allowing subtyping of expressions. For some applications, novel syntax may also be convenient. Hence, the normative requirements are as follow.</p>
<ul>
-<li> PROV-N compliant parsers <em class="rfc2119" title="must">must</em> be able to parse expressions matching the <code class="content"><a class="grammarRef" href="#prod-extensibilityExpression">extensibilityExpression</a></code> production defined below.
+<li> PROV-N compliant parsers <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> be able to parse expressions matching the <code class="content"><a class="grammarRef" href="#prod-extensibilityExpression">extensibilityExpression</a></code> production defined below.
</li><li> As PROV provides no definition for these expressions, PROV compliant implementations
- <em class="rfc2119" title="may">may</em> ignore these expressions.</li>
-<li> Extensions to PROV and PROV-N <em class="rfc2119" title="may">may</em> specify more specific productions and interpretations for these expressions, which applications <em class="rfc2119" title="may">may</em> elect to follow. </li>
+ <span class="delete">may</span><em class="rfc2119" title="MAY"><span class="insert">MAY</span></em> ignore these expressions.</li>
+<li> Extensions to PROV and PROV-N <span class="delete">may</span><em class="rfc2119" title="MAY"><span class="insert">MAY</span></em> specify more specific productions and interpretations for these expressions, which applications <span class="delete">may</span><em class="rfc2119" title="MAY"><span class="insert">MAY</span></em> elect to follow. </li>
</ul>
@@ -2920,7 +2920,7 @@
</table>
<p>Expressions compatible with the
-<code class="content"><a class="grammarRef" href="#prod-extensibilityExpression">extensibilityExpression</a></code> production follow a general form of functional syntax, in which the predicate <em class="rfc2119" title="must">must</em> be a
+<code class="content"><a class="grammarRef" href="#prod-extensibilityExpression">extensibilityExpression</a></code> production follow a general form of functional syntax, in which the predicate <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> be a
<code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME">qualifiedName</a></code>
with a non-empty <code class="content"><a class="grammarRef" href="http://www.w3.org/TR/rdf-sparql-query/#rPN_PREFIX">prefix</a></code>.</p>
@@ -2976,7 +2976,7 @@
<dt>Subtype name:</dt>
<dd>provenance-notation</dd>
<dt>Required parameters:</dt>
- <dd><kbd>charset</kbd> — the value of <kbd>charset</kbd> <em class="rfc2119" title="must">must</em> always be <kbd>UTF-8</kbd>.</dd>
+ <dd><kbd>charset</kbd> — the value of <kbd>charset</kbd> <span class="delete">must</span><em class="rfc2119" title="MUST"><span class="insert">MUST</span></em> always be <kbd>UTF-8</kbd>.</dd>
<dt>Optional parameters:</dt>
<dd>None</dd>
@@ -3005,6 +3005,9 @@
Identifiers (IRIs)</a> [<cite><a class="bibref" href="#bib-RFC3987">RFC3987</a></cite>] Section 8.
</dd>
+
+ <dd><span class="insert">PROV-N offers an extensibility mechanism, which in turn may introduce additional security considerations. Predicates in extensibility expressions use qualified names, mappable to IRIs, and appropriate security considerations for IRIs apply too.</span></dd>
+
<dt>Interoperability considerations:</dt>
<dd>There are no known interoperability issues.</dd>
<dt>Published specification:</dt>
@@ -3051,6 +3054,7 @@
</span></li><li><span class="insert"> Changed all URLs to PROV documents.
</span></li><li><span class="insert"> Clarified a sentence about the (non) nesting of bundles.
</span></li><li><span class="insert"> Added html link to provenance.
+</span></li><li><span class="insert"> Updated security consideration for extensibility feature of PROV-N following IANA feedback.
</span></li></ul>
</section>