ISSUE-589
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Tue, 06 Nov 2012 14:25:24 +0000
changeset 4644 029c773b81a3
parent 4643 a583e6877703
child 4645 42d9d872a816
ISSUE-589
model/prov-n.html
--- a/model/prov-n.html	Mon Nov 05 16:25:24 2012 -0700
+++ b/model/prov-n.html	Tue Nov 06 14:25:24 2012 +0000
@@ -1574,9 +1574,9 @@
 <tbody class="grammar-ref" data-ref="prod-bundle"></tbody>
 </table>
 
-<p>Bundles cannot be nested because <code><a class="grammarRef" href="#prod-bundle">bundle</a></code> is not an <code><a class="grammarRef" href="#prod-expression">expression</a></code>, and therefore cannot occurs inside another <code><a class="grammarRef" href="#prod-bundle">bundle</a></code>.</p>
-
-<p>Bundles are self-contained: each identifier occuring in a bundle, including the bundle identifier itself, MUST be interpreted with respect to the namespace declarations of that bundle. In other words, for every identifier with a prefix <code>p</code> within a bundle, there MUST be a namespace declaration for <code>p</code> in this bundled; for every identifier  without prefix, there MUST be a default namespace declaration  in this bundle.</p>
+<p>Bundles cannot be nested because <code><a class="grammarRef" href="#prod-bundle">bundle</a></code> is not an <code><a class="grammarRef" href="#prod-expression">expression</a></code>, and therefore cannot occur inside another <code><a class="grammarRef" href="#prod-bundle">bundle</a></code>.</p>
+
+<p>Each identifier occuring in a bundle, including the bundle identifier itself, MUST 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 declaration 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>
@@ -2202,11 +2202,13 @@
 <li> 
 The scope of a prefix-namespace declaration directly occurring in a <code><a class="grammarRef" href="#prod-bundle">bundle</a></code> is the <code><a class="grammarRef" href="#prod-bundle">bundle</a></code> itself.</li>
 <li>
-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 redeclares this prefix-namespace pair.</li>
+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 redeclare this prefix-namespace pair.</li>
 </ul>
 
 <p>A set of namespace declarations <code><a class="grammarRef" href="#prod-namespaceDeclarations">namespaceDeclarations</a></code> MUST NOT 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 MAY re-declare a prefix declared in a surrounding document.</p>
+
 <p>A namespace declaration <code><a class="grammarRef" href="#prod-namespaceDeclaration">namespaceDeclaration</a></code> MUST NOT 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>
 
 
@@ -2358,8 +2360,7 @@
 </ul>
 
 
-<p>Thus, bundles can occur inside a document. 
-Bundles are self-contained: each identifier occuring in a bundle, including the bundle's identifier itself, MUST be interpreted with respect to the namespace declarations of that  bundle. In other words,  bundles SHOULD not inherit namespaces declarations from the document.
+<p>Thus, bundles MAY occur inside a document, but do not appear inside other bundles.
 </p>
 
 
@@ -2553,7 +2554,7 @@
 <li> <a href="http://www.w3.org/2011/prov/track/issues/547">ISSUE-547</a>: Aligned terminology and productions with prov-constraints document, renaming 'toplevel bundle' to 'document', and renaming 'named bundle' to 'bundle'.
 <li> <a href="http://www.w3.org/2011/prov/track/issues/496">ISSUE-496</a>: For each prov-n term, added a cross-reference to corresponding prov-dm term (see table following each production). Rephrased text related to scope of a namespace declaration. Added an informative file with all productions.
 <li> <a href="http://www.w3.org/2011/prov/track/issues/573">ISSUE-573</a>: Updated Media Type section. 
-<li> <a href="http://www.w3.org/2011/prov/track/issues/589">ISSUE-589</a>: updated scoping rule for prefix-namespace declaration.
+<li> <a href="http://www.w3.org/2011/prov/track/issues/589">ISSUE-589</a>: Updated scoping rule for prefix-namespace declaration. Also refrained from saying bundles are self-contained. 
 
 </ul>
 </section>