issue-589
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Fri, 02 Nov 2012 16:43:50 +0000
changeset 4624 9a123c41e1b5
parent 4622 5077ff4d8e9f
child 4625 39a75863fa25
issue-589
model/prov-n.html
--- a/model/prov-n.html	Fri Nov 02 16:23:57 2012 +0000
+++ b/model/prov-n.html	Fri Nov 02 16:43:50 2012 +0000
@@ -2197,12 +2197,12 @@
 </table>
 
 <p>A <code><a class="grammarRef" href="#prod-namespaceDeclaration">namespaceDeclaration</a></code> consists of a binding between a prefix and a namespace. Every qualified name with this prefix in the scope of this declaration belongs to this namespace. 
-A <code><a class="grammarRef" href="#prod-defaultNamespaceDeclaration">defaultNamespaceDeclaration</a></code> consists of a namespace. Every qualified name without prefix in the scope of this declaration belongs to this namespace. Scope of a declaration is specified as follows:</p>
+A <code><a class="grammarRef" href="#prod-defaultNamespaceDeclaration">defaultNamespaceDeclaration</a></code> consists of a namespace. Every qualified name without prefix in the scope of this declaration belongs to this namespace. Scope of a prefix-namespace declaration is specified as follows:</p>
 <ul>
 <li> 
-The scope of a 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>
+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 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> itself, excluding the <code><a class="grammarRef" href="#prod-bundle">bundles</a></code> it may contain.</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>
 </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>
@@ -2244,6 +2244,24 @@
 </div>
 
 
+<div class="anexample" id="anexample-namespace-scope2">
+<p>In the following example, a document declares a namespace with prefix <code>ex</code> and the occurrence of
+<code>ex:e001</code> directly occurring in the document refers to that namespace.
+In a nested bundle, the occurrence of
+<code>ex:e001</code> also  refers to the same namespace.</p>
+<pre class="codeexample">
+document
+  prefix ex &lt;http://example.org/1/&gt;
+  entity(ex:e001)                            // IRI: http://example.org/1/e001
+
+  bundle b
+    entity(ex:001)                           // IRI: http://example.org/1/e001
+  endBundle
+endDocument
+</pre>
+</div>
+
+
 
 
 </section>
@@ -2535,6 +2553,8 @@
 <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.
+
 </ul>
 </section>