--- a/model/ProvenanceModel.html Fri Nov 25 10:57:35 2011 +0000
+++ b/model/ProvenanceModel.html Fri Nov 25 11:47:02 2011 +0000
@@ -2219,14 +2219,17 @@
<div class='grammar'>
<span class="nonterminal">attribute</span> := <span class="nonterminal">qualifiedName</span><br/>
-<span class="nonterminal">qualifiedName</span> := (<span class="nonterminal">prefix</span> <span class="name">:</span>)? <span class="nonterminal">localPart</span><br/>
+<span class="nonterminal">qualifiedName</span> := <span class="nonterminal">prefixedName</span> | <span class="nonterminal">unprefixedName</span><br/>
+<span class="nonterminal">prefixedName</span> := <span class="nonterminal">prefix</span> <span class="name">:</span> <span class="nonterminal">localPart</span><br/>
+<span class="nonterminal">unprefixedName</span> := <span class="nonterminal">localPart</span><br/>
<span class="nonterminal">prefix</span> := <em>a name without colon compatible with the <a href="http://www.w3.org/TR/2009/REC-xml-names-20091208/#NT-NCName">NC_NAME</a> production [[!XML-NAMES]]</em><br/>
<span class="nonterminal">localPart</span> := <em>a name without colon compatible with the <a href="http://www.w3.org/TR/2009/REC-xml-names-20091208/#NT-NCName">NC_NAME</a> production [[!XML-NAMES]]</em>
</div>
-<p>If a namespace prefix occurs in the qualified name, it refers to a namespace declared in the record container.</p>
-
-<p>A qualified name's prefix is OPTIONAL. In the absence of prefix, the qualified name refers to the default namespace declared in the container.</p>
+<p>A qualified name's prefix is OPTIONAL. If a prefix occurs in a
+ qualified name, it refers to a <a>namespace</a> declared in the
+ record container. In the absence of prefix, the qualified name
+ refers to the default namespace declared in the container.</p>
<p>From this specification's viewpoint, the interpretation of an attribute declared in a namespace other than prov-dm is out of
scope.</p>
@@ -2288,8 +2291,9 @@
<div class='grammar'>
<span class="nonterminal">Literal</span> := <span class="nonterminal">typedLiteral</span> | <span class="nonterminal">stringConvenienceNotation</span> </br>
-<span class="nonterminal">typedLiteral</span> := <span class="nonterminal">quotedString</span> <span class="name">%%</span> <span class="nonterminal">Datatype</span></br>
-<span class="nonterminal">Datatype</span> := <span class="nonterminal">IRI</span></br>
+<span class="nonterminal">typedLiteral</span> := <span class="nonterminal">quotedString</span> <span class="name">%%</span> <span class="nonterminal">datatype</span></br>
+<span class="nonterminal">datatype</span> := <span class="nonterminal">IRI</span></br>
+<span class="nonterminal">IRI</span> := <em>an IRI compatible with production IRI in [[!IRI]] </em>
</br>
<span class="nonterminal">stringConvenienceNotation</span> := <span class="nonterminal">stringLiteralNoLanguage</span> | <span class="nonterminal">stringLiteralWithLanguage</span></br>
<span class="nonterminal">stringLiteralNoLanguage</span> := <span class="nonterminal">quotedString</span></br>
@@ -2346,10 +2350,10 @@
<section id="record-Asserter">
<h3>Asserter</h3>
-<p>An <dfn id="dfn-asserter">asserter</dfn> is a creator of PROV-DM records. An asserter is denoted by an IRI.</p>
+<p>An <dfn id="dfn-asserter">asserter</dfn> is a creator of PROV-DM records. An asserter is denoted by an IRI. Such IRI has no specific interpretation in the context of PROV-DM.</p>
<div class='grammar'>
-<span class="nonterminal">asserter</span> := <em>an IRI</em>
+<span class="nonterminal">asserter</span> := <span class="nonterminal">IRI</span>
</div>
<div class='note'>
@@ -2360,13 +2364,19 @@
<section id="record-NamespaceDeclaration">
<h3>Namespace Declaration</h3>
-<p>A <dfn id="dfn-namespaceDeclaration">namespace declaration</dfn> consists of a namespace and a prefix to denote it.</p>
+<p>A PROV-DM <dfn id="dfn-namespace">namespace</dfn> is identified by an IRI reference [[!IRI]]. In PROV-DM, attributes, identifiers, and literals of type (with datatype <span class="name">xsd:QName</span>) can be placed in a namespace using the mechanisms described in this specification. </p>
+
+
+<p>A <dfn id="dfn-namespaceDeclaration">namespace declaration</dfn> consists of a binding between a prefix and a namespace. Every qualified name with this prefix in the scope of this declaration refers to this namespace.
+A <dfn id="dfn-defaultNamespaceDeclaration">default namespace declaration</dfn> consists of a namespace. Every unprefixed qualified name in the scope of this default namespace declaration refers to this namespace.</p>
<div class='grammar'>
<span class="nonterminal">namespaceDeclarations</span> :=
- | <span class="nonterminal">namespaceDeclaration</span> (<span class="name">,</span> <span class="nonterminal">namespaceDeclaration</span>)*<br>
+ | (<span class="nonterminal">defaultNamespaceDeclaration</span> | <span class="nonterminal">namespaceDeclaration</span>) (<span class="name">,</span> <span class="nonterminal">namespaceDeclaration</span>)*<br>
<span class="nonterminal">namespaceDeclaration</span> :=
- PREFIX <span class="name">:</span> IRI
+<span class="nonterminal">prefix</span> <span class="name">:</span> <span class="nonterminal">IRI</span><br/>
+<span class="nonterminal">defaultNamespaceDeclaration</span> :=
+ <span class="name">_:</span> <span class="nonterminal">IRI</span> <br/>
</div>
</section>
@@ -2375,11 +2385,11 @@
<h3>Recipe Link</h3>
-<p>A <dfn id="dfn-RecipeLink">recipe link</dfn> is an association between an activity record and a process specification that underpins the represented activity.
+<p>A <dfn id="dfn-RecipeLink">recipe link</dfn> is an association between an activity record and a process specification that underpins the represented activity. Such IRI has no specific interpretation in the context of PROV-DM.
</p>
<div class='grammar'>
-<span class="nonterminal">recipeLink</span> := <em>an IRI</em>
+<span class="nonterminal">recipeLink</span> := <span class="nonterminal">IRI</span>
</div>
<p>
@@ -2391,6 +2401,12 @@
Process specifications, as referred to by recipe links, are out of scope of this specification.
</p>
+<div class="note">
+By defining a recipe link as an IRI whose interpretation is out of
+scope of PROV-DM, we don't allow it to refer to an entity (in an
+inter-operable manner). Is this what we intend?
+</div>
+
</section>
@@ -3063,6 +3079,7 @@
<section class="appendix">
<h2>Changes Since Previous Version</h2>
<ul>
+<li>11/25/11: Definition of namespace. Clarification about interpretation of IRI occurrences. </li>
<li>11/25/11: Definition of attribute and identifier. </li>
<li>11/24/11: Added figure of Common Relations in Section 6. </li>
<li>11/24/11: Updated text preceding graphical illustration, removed appendix A. </li>