--- a/model/ProvenanceModel.html Tue Nov 29 20:28:22 2011 +0000
+++ b/model/ProvenanceModel.html Tue Nov 29 21:29:09 2011 +0000
@@ -2027,8 +2027,8 @@
<p>An annotation record, written <span class="name">hasAnnotation(r,n)</span> in PROV-ASN, has the following constituents:</p>
<ul>
-<li><em>record</em>: an identifier <span class="name">r</span> for a record being annnotated;</li>
-<li><em>note</em>: an identifier <span class="name">ag1</span> for a note record;</li>
+<li><em>record</em>: an identifier <span class="name">r</span> of the record being annnotated;</li>
+<li><em>note</em>: an identifier <span class="name">n</span> of a note record;</li>
</ul>
@@ -2041,13 +2041,10 @@
<span class="name">(</span>
<span class="nonterminal">identifier</span>
<span class="name">,</span>
-<span class="nonterminal">identifier</span>
+<span class="nonterminal">nIdentifier</span>
<span class="name">)</span>
</div>
-<p>Since relations do not have identifiers but can be annotated, a <span class="nonterminal">relationIdentification</span> mechanism is provided allowing the constituents of relations to be listed so as to identify relations.
-</p>
-
<p>The interpretation of notes is application-specific. See Section <a href="#record-note">Note</a> for a discussion of the difference between note attributes and other records attributes. We also note the present tense in this term to indicate that it may not denote something in the past.</p>
<div class="anexample">
@@ -2067,7 +2064,7 @@
note(n2,[ex:style="dotted"])
hasAnnotation(u1,n2)
</pre>
-<p>assert the existence of two documents in the world (attribute-value pair: <span class="name">prov:type="document"</span>) represented by entity records identified by <span class="name">e1</span> and <span class="name">e2</span>, and annotate these records with a note indicating that the icon (an application specific way of rendering provenance) is <span class="name">doc.png</span>. It also asserts an activity, its use of the first entity, and its generation of the second entity. The <span class="name">usage</span> record is annotated with a style (an application specific way of rendering this edge graphically). To be able to express this annotation, the usage record was provided with an identifier <span class="name">u1</span>, which was then referred to in <span class="name">hasAnnotation(u1,n2)</span>.
+<p>assert the existence of two documents in the world (attribute-value pair: <span class="name">prov:type="document"</span>) represented by entity records identified by <span class="name">e1</span> and <span class="name">e2</span>, and annotate these records with a note indicating that the icon (an application specific way of rendering provenance) is <span class="name">doc.png</span>. It also asserts an activity, its usage of the first entity, and its generation of the second entity. The <span class="name">usage</span> record is annotated with a style (an application specific way of rendering this edge graphically). To be able to express this annotation, the usage record was provided with an identifier <span class="name">u1</span>, which was then referred to in <span class="name">hasAnnotation(u1,n2)</span>.
</p>
</div>
@@ -2348,7 +2345,8 @@
<span class="nonterminal">aIdentifier</span> := <span class="nonterminal">identifier</span> <em>(for an activity)</em><br/>
<span class="nonterminal">agIdentifier</span> := <span class="nonterminal">identifier</span> <em>(for an agent)</em>
<span class="nonterminal">gIdentifier</span>:= <span class="nonterminal">identifier</span> <em>(for a generation record)</em><br/>
-<span class="nonterminal">uIdentifier</span>:= <span class="nonterminal">identifier</span> <em>(for a usage record)</em>
+<span class="nonterminal">uIdentifier</span>:= <span class="nonterminal">identifier</span> <em>(for a usage record)</em><br/>
+<span class="nonterminal">nIdentifier</span>:= <span class="nonterminal">identifier</span> <em>(for a note record)</em>
</div>