--- a/model/ProvenanceModel.html	Fri Sep 16 00:02:36 2011 +0100
+++ b/model/ProvenanceModel.html	Fri Sep 16 00:17:37 2011 +0100
@@ -1903,6 +1903,7 @@
 <p>If a namespace prefix occurs in the qualified name, it refers to a namespace declared in the provenance container.</p>
 </section>
 
+
 <section id="expression-name">
 <h4>Name</h4>
 
@@ -1918,11 +1919,23 @@
 (see section <a href="http://www.w3.org/TR/2009/REC-owl2-syntax-20091027/#IRIs">IRIs</a>).
 </div>
 
-<div class='note'>
-Currently, the non-terminal <span class="nonterminal">asserter</span> is defined as URI. We may want the asserter to be an agent instead, and therefore use PROV-DM to express the provenance of PROV-DM.  We seek inputs on how to resolve this issue. </div>
 
 </section>
 
+<section id="expression-identifier">
+<h4>Identifier</h4>
+
+
+<p>A <dfn id="dfn-identifier">identifier</dfn> is a finite sequence of characters. </p>
+
+<div class='note'>Do we require identifiers to be URIs? All the examples in this document so far use simple labels as identifiers? Would this be acceptable? Maybe understood as default namespace and local name?
+</div>
+
+<div class='grammar'>
+<span class="nonterminal">identifier</span>&nbsp;:=  
+<em>?????</em></div>
+
+</section>
 
 <section id="expression-literal">
 <h4>Literal</h4>
@@ -1980,6 +1993,10 @@
 <div class='grammar'>
 <span class="nonterminal">asserter</span>&nbsp;:=  <em>an IRI</em>
 </div>
+
+<div class='note'>
+Currently, the non-terminal <span class="nonterminal">asserter</span> is defined as URI. We may want the asserter to be an agent instead, and therefore use PROV-DM to express the provenance of PROV-DM.  We seek inputs on how to resolve this issue. </div>
+
 </section>
 
 <section id="expression-NamespaceDeclaration">