--- a/model/ProvenanceModel.html Fri Nov 25 10:22:03 2011 +0000
+++ b/model/ProvenanceModel.html Fri Nov 25 10:47:05 2011 +0000
@@ -2207,7 +2207,7 @@
<section id="sub-record">
<h3>Further Terms in Records</h3>
-This section specifies the productions of further terms in PROV-DM records.
+This section further terms in PROV-DM records.
@@ -2218,27 +2218,42 @@
by concatenating the IRI associated with the prefix and the local part (see detailed rule in [[!RDF-SPARQL-QUERY]], Section <a href="http://www.w3.org/TR/2008/REC-rdf-sparql-query-20080115/#QSynIRI">4.1.1</a>).</p>
<div class='grammar'>
-<span class="nonterminal">attribute</span> :=
-<em>a qualified name compatible with the production PNAME_LN of SPARQL [[!RDF-SPARQL-QUERY]]</em></div>
-
-<div class="note">
-Confirm the principle of qualified names. Explitly introduce the productions for prefix and local name, since they are used elsewhere. Note that SPARQL local names allow leading digits while XML local names do not.
+<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">prefix</span> := <em>a name without colon compatible with the <a href="http://www.w3.org/TR/1999/REC-xml-names-19990114/#NT-LocalPart">NC_NAME</a> production [[!XMLSCHEMA-2]]</em><br/>
+<span class="nonterminal">localPart</span> := <em>a name without colon compatible with the <a href="http://www.w3.org/TR/1999/REC-xml-names-19990114/#NT-LocalPart">NC_NAME</a> production [[!XMLSCHEMA-2]]</em>
</div>
<p>If a namespace prefix occurs in the qualified name, it refers to a namespace declared in the record container.</p>
-
-<p>The PROV data model introduces the attribute <span class="name">role</span> in the <a href="#prov-dm-namespace">PROV-DM namespace</a> to denote the function of an entity with respect to an activity, in the context of a use/generation/control relation. The value associated with a <span class="name">role</span> attribute MUST be conformant with <span class="nonterminal">Literal</span>. </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>From this specification's viewpoint, the interpretation of an attribute declared in a namespace other than prov-dm is out of
+scope.</p>
+
+<p>The PROV data model introduces a fixed set of attributes in the <a href="#prov-dm-namespace">PROV-DM namespace</a>:</p>
+<ul>
+<li> The attribute <dfn id="dfn-role"><span class="name">prov:role</span></dfn> denotes the function of an entity with respect to an activity, in the context of a usage, generation, activity association, start, end record. The value associated with a <span class="name">prov:role</span> attribute MUST be conformant with <span class="nonterminal">Literal</span>. </p>
<div class="anexample">
<p>The following start record describes the role of the agent identified by <span class="name">ag</span> in this start relation with activity <span class="name">a</span>. </p>
<pre class="codeexample">
wasStartedBy(a,ag, [prov:role="program-operator"])
</pre>
-<p>From this specification's viewpoint, the interpretation of an attribute declared in a namespace other than prov-dm is out of
-scope.</p>
</div>
+
+<li> The attribute <dfn id="dfn-type"><span class="name">prov:type</span></dfn> provides further typing information for the element or relation asserted in the record. The value associated with a <span class="name">prov:type</span> attribute MUST be conformant with <span class="nonterminal">Literal</span>. </p>
+
+<div class="anexample">
+<p>The following record declares an agent of type software agent</p>
+<pre class="codeexample">
+ agent(ag, [prov:type="prov:SoftwareAgent" %% xsd:QName])
+</pre>
+</div>
+
+<li> The attribute <dfn id="dfn-steps"><span class="name">prov:steps</span></dfn> defines the precision associated with a derivation record. The value associated with a <span class="name">prov:steps</span> attribute MUST be <span class="name">"1"</span> or <span class="name">"n"</span>. </p>
+
+</ul>
</section>
@@ -2251,8 +2266,8 @@
by concatenating the IRI associated with the prefix and the local part (see detailed rule in [[!RDF-SPARQL-QUERY]], Section <a href="http://www.w3.org/TR/2008/REC-rdf-sparql-query-20080115/#QSynIRI">4.1.1</a>).</p>
<div class='grammar'>
-<span class="nonterminal">identifier</span> :=
-<em>a qualified name compatible with the production PNAME_LN of SPARQL [[!RDF-SPARQL-QUERY]]</em></div>
+<span class="nonterminal">identifier</span> := <span class="nonterminal">qualifiedName</span><br/>
+</div>
<div class='note'>We are going to introduce a notion of "qualified identifier", which allows us to refer to a provenance record in the scope of a given account. Given that accounts may be nested, a qualified identifier will be prefixed by a sequence of account identifiers, and then followed by an identifier, local to the innermost account.
@@ -3048,6 +3063,7 @@
<section class="appendix">
<h2>Changes Since Previous Version</h2>
<ul>
+<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>
<li>11/24/11: Fix on traceability record. </li>