Mercurial > hg > prov / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset
merge
authorTim L <lebot@rpi.edu>
Mon, 26 Nov 2012 15:15:28 -0500
changeset 5129 abbc311983a2
parent 5128 9fb4d7684170 (current diff)
parent 5127 e6790c31fcfd (diff)
child 5130 1714fc154e2e
merge 
--- a/model/diff-c.html	Mon Nov 26 15:15:12 2012 -0500
+++ b/model/diff-c.html	Mon Nov 26 15:15:28 2012 -0500
@@ -6227,7 +6227,7 @@
 </dd><dt id="bib-DBCONSTRAINTS">[DBCONSTRAINTS]</dt><dd> Ronald <span class="delete">Fagin,</span><span class="insert">Fagin;</span> Phokion G. <span class="delete">Kolaitis,</span><span class="insert">Kolaitis;</span> Renée J. <span class="delete">Miller, and</span><span class="insert">Miller;</span> Lucian <span class="delete">Popa</span><span class="insert">Popa.</span>  <a href="http://dx.doi.org/10.1016/j.tcs.2004.10.033"><cite>Data        exchange: Semantics and query answering</cite></a>.  Theoretical computer science 336(1):89-124   Elsevier  URL: <a href="http://dx.doi.org/10.1016/j.tcs.2004.10.033">http://dx.doi.org/10.1016/j.tcs.2004.10.033</a>
 </dd><dt id="bib-Logic">[Logic]</dt><dd>W. E. <span class="delete">Johnson</span><span class="insert">Johnson. </span><a href="http://www.ditext.com/johnson/intro-3.html"><cite>Logic: Part III</cite></a>.1924. URL: <a href="http://www.ditext.com/johnson/intro-3.html">http://www.ditext.com/johnson/intro-3.html</a>
 </dd><span class="delete">[PROV-DM]</span><dt id="bib-PROV-AQ"><span class="insert">[PROV-AQ]</span></dt><dd><span class="delete">Luc Moreau and Paolo Missier (eds.) Khalid Belhajjame, Reza B'Far, James Cheney, Stephen Cresswell, Yolanda Gil,</span><span class="insert">Graham Klyne;</span> Paul <span class="delete">Groth, Graham Klyne, Jim McCusker, Simon Miles, James Myers, Satya Sahoo, and Curt Tilmes </span><span class="insert">Groth; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-aq-20120619/"><cite><span class="delete">PROV-DM: The PROV Data Model</span><span class="insert">Provenance Access and Query</span></cite></a>. <span class="insert">19 June </span>2012, Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-dm/</span><a href="http://www.w3.org/TR/2012/WD-prov-aq-20120619/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-aq-20120619/</span></a>
-</dd><span class="delete">[PROV-N]</span><dt id="bib-PROV-OVERVIEW"><span class="insert">[PROV-OVERVIEW]</span></dt><dd><span class="insert">Paul Groth and </span>Luc Moreau <span class="delete">and Paolo Missier (eds.), James Cheney, Stian Soiland-Reyes </span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><cite><span class="delete">PROV-N: The Provenance Notation</span><span class="insert">PROV-OVERVIEW: An Overview of the PROV Family of Documents</span></cite></a>. <span class="delete">2011,</span><span class="insert">11 December 2012,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-n/</span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</span></a>
+</dd><span class="delete">[PROV-N]</span><dt id="bib-PROV-OVERVIEW"><span class="insert">[PROV-OVERVIEW]</span></dt><dd><span class="insert">Paul Groth; </span>Luc <span class="delete">Moreau and Paolo Missier (eds.), James Cheney, Stian Soiland-Reyes </span><span class="insert">Moreau; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><cite><span class="delete">PROV-N: The Provenance Notation</span><span class="insert">PROV-OVERVIEW: An Overview of the PROV Family of Documents</span></cite></a>. <span class="delete">2011,</span><span class="insert">11 December 2012,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-n/</span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</span></a>
 </dd><span class="delete">[PROV-O]</span><dt id="bib-PROV-PRIMER"><span class="insert">[PROV-PRIMER]</span></dt><dd><span class="delete">Timothy Lebo, Satya Sahoo and Deborah McGuinness (eds.) Khalid Belhajjame, James Cheney, David Corsar, Daniel Garijo, Stian Soiland-Reyes, and Stephan Zednik </span><span class="insert">Yolanda Gil; Simon Miles; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-primer-20121211/"><cite><span class="delete">Provenance Formal</span><span class="insert">PROV</span> Model<span class="insert"> Primer</span></cite></a>. <span class="delete">2011,</span><span class="insert">11 December 2012,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-o/</span><a href="http://www.w3.org/TR/2012/WD-prov-primer-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-primer-20121211/</span></a>
 </dd><dt id="bib-PROV-SEM">[PROV-SEM]</dt><dd>James <span class="delete">Cheney </span><span class="insert">Cheney; ed. </span><a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsED"><cite>Formal Semantics <span class="delete">Strawman</span><span class="insert">of PROV</span></cite></a>. 2011, Work in progress. URL: <span class="delete">http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman</span><a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsED"><span class="insert">http://www.w3.org/2011/prov/wiki/FormalSemanticsED</span></a><span class="insert">.
 </span></dd><dt id="bib-PROV-XML"><span class="insert">[PROV-XML]</span></dt><dd><span class="insert">Hook Hua; Curt Tilmes; Stephan Zednik; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-xml-20121211/"><cite><span class="insert">PROV-XML: The PROV XML Schema</span></cite></a><span class="insert">. 11 December 2012, Working Draft. URL: </span><a href="http://www.w3.org/TR/2012/WD-prov-xml-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-xml-20121211/</span></a>
--- a/model/diff-n.html	Mon Nov 26 15:15:12 2012 -0500
+++ b/model/diff-n.html	Mon Nov 26 15:15:28 2012 -0500
@@ -1765,7 +1765,7 @@
 <h3><span class="secno">2.5 </span>Identifiers and attributes</h3>
 
 <p>Almost all expressions defined in the grammar include an identifier (see <a href="#expression-identifier">Section 3.7.1</a> for the full syntax of identifiers). Most expressions
-can aslo include a set of attribute-value pairs, delimited by square brackets. Identifiers are optional except for Entities, Activites, and Agents. Identifiers are always the first term in any expression.  <em>Optional</em> identifiers <em class="rfc2119" title="must">must</em> be separated using a semi-colon ';', but where the identifiers are required, a regular comma ',' <em class="rfc2119" title="must">must</em> be used. This makes it possible to completely omit an optional identifier with no ambiguity arising. Also, if the set of attribute-value pairs is present, it is always the last term in any expression.</p>
+can <span class="delete">aslo</span><span class="insert">also</span> include a set of attribute-value pairs, delimited by square brackets. Identifiers are optional except for Entities, Activites, and Agents. Identifiers are always the first term in any expression.  <em>Optional</em> identifiers <em class="rfc2119" title="must">must</em> be separated using a semi-colon ';', but where the identifiers are required, a regular comma ',' <em class="rfc2119" title="must">must</em> be used. This makes it possible to completely omit an optional identifier with no ambiguity arising. Also, if the set of attribute-value pairs is present, it is always the last term in any expression.</p>
 
 <div class="anexample" id="example_9"><div class="anexampleTitle"><a class="internalDFN" href="#example_9">Example 9</a></div>
 <p>Derivation has an optional identifier. In the first expression, the identifier is not available, while it is explicit in the second. The third example shows that one can optionally indicate the missing identifier using the <span class="name">-</span> marker. This is equivalent to the first expression. </p>
@@ -1780,7 +1780,7 @@
 
 
 <div class="anexample" id="example_10"><div class="anexampleTitle"><a class="internalDFN" href="#example_10">Example 10</a></div>
-<p>The first and second activity expressions <span class="delete">have no</span><span class="insert">do not speciy any</span> attributes, and are equivalent.
+<p>The first and second activity expressions <span class="delete">have no</span><span class="insert">do not specify any</span> attributes, and are equivalent.
 
 The third activity expression <span class="delete">has</span><span class="insert">specifies</span> two attributes. 
 </p><pre class="codeexample">activity(ex:a1)
@@ -2163,7 +2163,7 @@
 
 <div class="anexample" id="example_17"><div class="anexampleTitle"><a class="internalDFN" href="#example_17">Example 17</a></div>
 
-    <pre class="codeexample"><span class="delete">wasEndedBy(s;</span><span class="insert">wasEndedBy(end;</span> ex:act2, ex:trigger,ex:act3,  2011-11-16T16:00:00, [ex:param="a"])
+    <pre class="codeexample"><span class="delete">wasEndedBy(s;</span><span class="insert">wasEndedBy(end;</span> ex:act2, <span class="delete">ex:trigger,ex:act3,</span><span class="insert">ex:trigger, ex:act3,</span>  2011-11-16T16:00:00, [ex:param="a"])
   </pre>
 <p>  Here <span class="name"><span class="delete">s</span><span class="insert">end</span></span> is the optional <span class="delete">start</span><span class="insert">end</span> identifier,  
 <span class="name">ex:act2</span> is the identifier of the ending activity,
@@ -2570,7 +2570,7 @@
 
 
 <div class="anexample" id="example_26"><div class="anexampleTitle"><a class="internalDFN" href="#example_26"><span class="insert">Example 26</span></a></div>
-<p><span class="insert">The  following expressions illustrates a plan.
+<p><span class="insert">The  following expression illustrates a plan.
 </span></p><pre class="codeexample"><span class="insert">  entity(ex:pl1,   [ prov:type='prov:Plan' ])
 </span></pre>
 </div>
@@ -2697,7 +2697,7 @@
 
 <p><span class="delete">Named bundles</span><span class="insert">Bundles</span> cannot be nested because <span class="insert">a </span><code><span class="delete">namedBundle</span><a class="grammarRef" href="#prod-bundle"><span class="insert">bundle</span></a></code> is not an <code><a class="grammarRef" href="#prod-expression">expression</a></code>, and therefore cannot <span class="delete">occurs</span><span class="insert">occur</span> inside another <code><span class="delete">namedBundle</span><a class="grammarRef" href="#prod-bundle"><span class="insert">bundle</span></a></code>.</p>
 
-<p><span class="delete">Named bundles are self-contained: each</span><span class="insert">Each</span> identifier occuring in a<span class="delete"> named</span> bundle, including the bundle identifier itself, <em class="rfc2119" title="must">must</em> be interpreted with respect to the namespace declarations of that <span class="delete">bundle. In other words, for every identifier</span><span class="insert">bundle, or if the identifier's prefix is not declared in the bundle,</span> with <span class="insert">respect to the namespace declarations in the document. </span></p>
+<p><span class="delete">Named bundles are self-contained: each</span><span class="insert">Each</span> identifier <span class="delete">occuring</span><span class="insert">occurring</span> in a<span class="delete"> named</span> bundle, including the bundle identifier itself, <em class="rfc2119" title="must">must</em> be interpreted with respect to the namespace declarations of that <span class="delete">bundle. In other words, for every identifier</span><span class="insert">bundle, or if the identifier's prefix is not declared in the bundle,</span> with <span class="insert">respect to the namespace declarations in the document. </span></p>
 
 
 <p><span class="insert">The following table summarizes how each constituent of </span>a <span class="delete">prefix </span><span class="delete">p</span><span class="delete"> within</span><span class="insert">PROV-DM bundle maps to</span> a <span class="delete">named bundle, there </span><span class="delete">must</span><span class="delete"> be a namespace declaration for </span><span class="delete">p</span><span class="delete"> in this named bundled; for every identifier  without prefix, there </span><span class="delete">must</span><span class="delete"> be a default namespace declaration  in this named bundled.</span><span class="insert">PROV-N syntax element.</span></p>
@@ -3117,7 +3117,7 @@
 </div>
 
 
-<p><b>Note:</b>The productions for the terminals  <code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME">QUALIFIED_NAME</a></code> and  <code class="content"><a class="grammarRef" href="http://www.w3.org/TR/rdf-sparql-query/#rPN_PREFIX">PN_PREFIX</a></code> are conflicting.
+<p><b>Note:</b> The productions for the terminals  <code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME">QUALIFIED_NAME</a></code> and  <code class="content"><a class="grammarRef" href="http://www.w3.org/TR/rdf-sparql-query/#rPN_PREFIX">PN_PREFIX</a></code> are conflicting.
 Indeed,  for a tokenizer operating independently of the parse tree, <code>abc</code> matches both 
 <code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME">QUALIFIED_NAME</a></code> and
 <code class="content"><a class="grammarRef" href="http://www.w3.org/TR/rdf-sparql-query/#rPN_PREFIX">PN_PREFIX</a></code>.
@@ -3190,7 +3190,7 @@
 <p> In particular, a Literal may be an IRI-typed string (with datatype <span class="name">xsd:anyURI</span>);  such IRI has no specific interpretation in the context of PROV.</p>
 
 
-<p><b>Note:</b>The productions for terminals <code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME">QUALIFIED_NAME</a></code> and
+<p><b>Note:</b> The productions for terminals <code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME">QUALIFIED_NAME</a></code> and
 <code class="content"><a class="grammarRef" href="#prod-INT_LITERAL">INT_LITERAL</a></code> are conflicting.  
 Indeed, for a tokenizer operating independently of the parse tree, <code>1234</code> matches both <code class="content"><a class="grammarRef" href="#prod-INT_LITERAL">INT_LITERAL</a></code> and <code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME">QUALIFIED_NAME</a></code> (local name without prefix). In the context of
 a <code class="content"><a class="grammarRef" href="#prod-convenienceNotation">convenienceNotation</a></code>, a tokenizer should give preference to the production
@@ -3320,7 +3320,7 @@
 <span class="delete">
 the scope of a namespace</span><span class="insert">prefix-namespace</span> declaration directly occurring in a <code><a class="grammarRef" href="#prod-bundle"><span class="delete">toplevel </span>bundle</a></code> is the <code><a class="grammarRef" href="#prod-bundle"><span class="delete">toplevel </span>bundle</a></code> <span class="delete">itself, except and</span><span class="insert">itself.</span></li>
 <li><span class="insert">
-The scope of a prefix-namespace declaration directly occurring in a</span> <code><span class="delete">namedBundle</span><a class="grammarRef" href="#prod-document"><span class="insert">document</span></a></code><span class="insert"> is the </span><code><a class="grammarRef" href="#prod-document"><span class="insert">document</span></a></code><span class="insert"> including the </span><code><a class="grammarRef" href="#prod-bundle"><span class="insert">bundles</span></a></code> it <span class="delete">may contain.</span><span class="insert">contains but excluding those </span><code><a class="grammarRef" href="#prod-bundle"><span class="insert">bundles</span></a></code><span class="insert"> that redeclare this prefix.</span></li>
+The scope of a prefix-namespace declaration directly occurring in a</span> <code><span class="delete">namedBundle</span><a class="grammarRef" href="#prod-document"><span class="insert">document</span></a></code><span class="insert"> is the </span><code><a class="grammarRef" href="#prod-document"><span class="insert">document</span></a></code><span class="insert"> including the </span><code><a class="grammarRef" href="#prod-bundle"><span class="insert">bundles</span></a></code> it <span class="delete">may contain.</span><span class="insert">contains but excluding those </span><code><a class="grammarRef" href="#prod-bundle"><span class="insert">bundles</span></a></code><span class="insert"> that re-declare this prefix.</span></li>
 </ul>
 
 <p>A set of namespace declarations <code><a class="grammarRef" href="#prod-namespaceDeclarations">namespaceDeclarations</a></code> <em class="rfc2119" title="must not">must not</em> re-declare the same prefix.</p>
@@ -3397,7 +3397,7 @@
 
 <div style="text-align: left;">
 <table class="thinborder" style="margin-left: auto; margin-right: auto;">
-<caption id="validity-rules-table">Summary of additional semantic rules for grammar productions</caption>
+<caption id="validity-rules-table"><span class="insert">Table 2: </span>Summary of additional semantic rules for grammar productions</caption>
 <tbody><tr><td><a><b>Production</b></a></td>
      <td><b>Examples of syntactically correct expressions</b></td>
      <td><b>Additional semantic rule</b></td>
@@ -3604,7 +3604,7 @@
       <dd>PROV-N is used to express the provenance of arbitrary application data; security considerations will vary by domain of use. Security tools and protocols applicable to text (e.g. PGP encryption, MD5 sum validation, password-protected compression) may also be used on PROV-N documents. Security/privacy protocols must be imposed which reflect the sensitivity of the embedded information.  </dd> 
       <dd>PROV-N can express data which is presented to the user, for example, by means of label attributes. Application rendering strings retrieved from untrusted PROV-N documents must ensure that malignant strings may not be used to mislead the reader. The security considerations in the media type registration for XML ([<cite><a class="bibref" href="#bib-RFC3023">RFC3023</a></cite>] section 10) provide additional guidance around the expression of arbitrary data and markup.</dd> 
       <dd>PROV-N is a language for describing the provenance of things, and therefore a PROV-N document is metadata for other resources.  Untrusted PROV-N documents may mislead its consumers by indicating that a third-party resource has a reputable lineage, when it has not. Provenance of PROV-N document should be sought. </dd>
-      <dd>PROV-N uses qualified names mappeable to IRIs as term identifiers. Applications interpreting data expressed in PROV-N should address the security issues of
+      <dd>PROV-N uses qualified names <span class="delete">mappeable</span><span class="insert">mappable</span> to IRIs as term identifiers. Applications interpreting data expressed in PROV-N should address the security issues of
   <a class="norm" href="http://www.ietf.org/rfc/rfc3987.txt">Internationalized Resource Identifiers (IRIs)</a> [<cite><a class="bibref" href="#bib-RFC3987">RFC3987</a></cite>] Section 8, as well as
   <a class="norm" href="http://www.ietf.org/rfc/rfc3986.txt">Uniform Resource Identifier (URI): Generic Syntax</a> [<cite><a class="bibref" href="#bib-RFC3986">RFC3986</a></cite>] Section 7.</dd> 
       <dd>Multiple IRIs may have the same appearance. Characters in different scripts may 
@@ -3779,7 +3779,7 @@
 </dd><dt id="bib-XML11">[XML11]</dt><dd>Eve Maler; et al. <a href="http://www.w3.org/TR/2006/REC-xml11-20060816"><cite>Extensible Markup Language (XML) 1.1 (Second Edition).</cite></a> 16 August 2006. W3C Recommendation. URL: <a href="http://www.w3.org/TR/2006/REC-xml11-20060816">http://www.w3.org/TR/2006/REC-xml11-20060816</a> 
 </dd><dt id="bib-XMLSCHEMA11-2">[XMLSCHEMA11-2]</dt><dd>Henry S. Thompson; et al. <a href="http://www.w3.org/TR/2012/REC-xmlschema11-2-20120405/"><cite>W3C XML Schema Definition Language (XSD) 1.1 Part 2: Datatypes.</cite></a> 5 April 2012. W3C Recommendation URL: <a href="http://www.w3.org/TR/2012/REC-xmlschema11-2-20120405/">http://www.w3.org/TR/2012/REC-xmlschema11-2-20120405/</a> 
 </dd></dl></section><section id="informative-references"><h3><span class="secno"><span class="delete">B.2</span><span class="insert">C.2</span> </span>Informative references</h3><dl class="bibliography"><dt id="bib-PROV-AQ">[PROV-AQ]</dt><dd>Graham <span class="delete">Klyne and</span><span class="insert">Klyne;</span> Paul <span class="delete">Groth (eds.) Luc Moreau, Olaf Hartig, Yogesh Simmhan, James Meyers, Timothy Lebo, Khalid Belhajjame, and Simon Miles </span><span class="insert">Groth; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-aq-20120619/"><cite>Provenance Access and Query</cite></a>. <span class="delete">2011,</span><span class="insert">19 June 2012,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-aq/</span><a href="http://www.w3.org/TR/2012/WD-prov-aq-20120619/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-aq-20120619/</span></a>
-</dd><span class="delete">[PROV-CONSTRAINTS]</span><dt id="bib-PROV-OVERVIEW"><span class="insert">[PROV-OVERVIEW]</span></dt><dd><span class="delete">James Cheney, Paolo Missier,</span><span class="insert">Paul Groth</span> and Luc Moreau <span class="delete">(eds.)</span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><cite><span class="delete">Constraints</span><span class="insert">PROV-OVERVIEW: An Overview</span> of the <span class="delete">Prov Data Model</span><span class="insert">PROV Family of Documents</span></cite></a>. <span class="insert">11 December </span>2012, Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-constraints/</span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</span></a>
+</dd><span class="delete">[PROV-CONSTRAINTS]</span><dt id="bib-PROV-OVERVIEW"><span class="insert">[PROV-OVERVIEW]</span></dt><dd><span class="delete">James Cheney, Paolo Missier, and</span><span class="insert">Paul Groth;</span> Luc <span class="delete">Moreau (eds.)</span><span class="insert">Moreau; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><cite><span class="delete">Constraints</span><span class="insert">PROV-OVERVIEW: An Overview</span> of the <span class="delete">Prov Data Model</span><span class="insert">PROV Family of Documents</span></cite></a>. <span class="insert">11 December </span>2012, Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-constraints/</span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</span></a>
 </dd><span class="delete">[PROV-DM]</span><dt id="bib-PROV-PRIMER"><span class="insert">[PROV-PRIMER]</span></dt><dd><span class="delete">Luc Moreau and Paolo Missier (eds.) Khalid Belhajjame, Reza B'Far, Stephen Cresswell, </span>Yolanda <span class="delete">Gil, Paul Groth, Graham Klyne, Jim McCusker,</span><span class="insert">Gil;</span> Simon <span class="delete">Miles, James Myers, Satya Sahoo, and Curt Tilmes</span><span class="insert">Miles; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-primer-20121211/"><cite><span class="delete">PROV-DM: The </span>PROV <span class="delete">Data </span>Model<span class="insert"> Primer</span></cite></a>. <span class="insert">11 December </span>2012, Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-dm/</span><a href="http://www.w3.org/TR/2012/WD-prov-primer-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-primer-20121211/</span></a>
 </dd><dt id="bib-PROV-RDF">[PROV-RDF]</dt><dd>James Cheney <a href="http://www.w3.org/2011/prov/wiki/ProvRDF"><cite>PROV-RDF Mapping </cite></a>2012, Working in Progress. URL: <a href="http://www.w3.org/2011/prov/wiki/ProvRDF">http://www.w3.org/2011/prov/wiki/ProvRDF</a>
 </dd><dt id="bib-PROV-SEM">[PROV-SEM]</dt><dd>James <span class="delete">Cheney </span><span class="insert">Cheney; ed. </span><a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsED"><cite>Formal Semantics <span class="delete">Strawman</span><span class="insert">of PROV</span></cite></a>. 2011, Work in progress. URL: <span class="delete">http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman</span><a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsED"><span class="insert">http://www.w3.org/2011/prov/wiki/FormalSemanticsED</span></a><span class="insert">.</span>
--- a/model/diff.html	Mon Nov 26 15:15:12 2012 -0500
+++ b/model/diff.html	Mon Nov 26 15:15:28 2012 -0500
@@ -5237,7 +5237,7 @@
 </dd><dt id="bib-Mappings">[Mappings]</dt><dd>Satya <span class="delete">Sahoo and</span><span class="insert">Sahoo;</span> Paul <span class="delete">Groth and</span><span class="insert">Groth;</span> Olaf <span class="delete">Hartig and</span><span class="insert">Hartig;</span> Simon <span class="delete">Miles and</span><span class="insert">Miles;</span> Sam <span class="delete">Coppens and</span><span class="insert">Coppens;</span> James <span class="delete">Myers and</span><span class="insert">Myers;</span> Yolanda <span class="delete">Gil and</span><span class="insert">Gil;</span> Luc <span class="delete">Moreau and</span><span class="insert">Moreau;</span> Jun <span class="delete">Zhao and</span><span class="insert">Zhao;</span> Michael <span class="delete">Panzer and</span><span class="insert">Panzer;</span> Daniel Garijo <a href="http://www.w3.org/2005/Incubator/prov/wiki/Provenance_Vocabulary_Mappings"><cite>Provenance Vocabulary Mappings</cite></a>. August 2010 URL: <a href="http://www.w3.org/2005/Incubator/prov/wiki/Provenance_Vocabulary_Mappings">http://www.w3.org/2005/Incubator/prov/wiki/Provenance_Vocabulary_Mappings</a>
 </dd><dt id="bib-PROV-AQ">[PROV-AQ]</dt><dd>Graham <span class="delete">Klyne and</span><span class="insert">Klyne;</span> Paul <span class="delete">Groth (eds.) Luc Moreau, Olaf Hartig, Yogesh Simmhan, James Meyers, Timothy Lebo, Khalid Belhajjame, and Simon Miles </span><span class="insert">Groth; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-aq-20120619/"><cite>Provenance Access and Query</cite></a>. <span class="delete">2011,</span><span class="insert">19 June 2012,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-aq/</span><a href="http://www.w3.org/TR/2012/WD-prov-aq-20120619/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-aq-20120619/</span></a>
 </dd><span class="delete">[PROV-CONSTRAINTS]</span><dt id="bib-PROV-LAYOUT"><span class="insert">[PROV-LAYOUT]</span></dt><dd><span class="delete">James Cheney, Paolo Missier, and Luc Moreau (eds.) </span><span class="insert">W3C PROV Working Group. </span><a href="http://www.w3.org/2011/prov/wiki/Diagrams"><cite><span class="delete">Constraints of the </span>PROV <span class="delete">Data Model</span><span class="insert">Graph Layout Conventions</span></cite></a>. <span class="delete">2011, Working Draft.</span><span class="insert">2012.</span> URL: <span class="delete">http://www.w3.org/TR/prov-constraints/</span><a href="http://www.w3.org/2011/prov/wiki/Diagrams"><span class="insert">http://www.w3.org/2011/prov/wiki/Diagrams</span></a>
-</dd><span class="delete">[PROV-N]</span><dt id="bib-PROV-OVERVIEW"><span class="insert">[PROV-OVERVIEW]</span></dt><dd><span class="insert">Paul Groth and </span>Luc Moreau <span class="delete">and Paolo Missier (eds.) James Cheney, Stian Soiland-Reyes </span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><cite><span class="delete">PROV-N: The Provenance Notation</span><span class="insert">PROV-OVERVIEW: An Overview of the PROV Family of Documents</span></cite></a>. <span class="delete">2011,</span><span class="insert">11 December 2012,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-n/</span>
+</dd><span class="delete">[PROV-N]</span><dt id="bib-PROV-OVERVIEW"><span class="insert">[PROV-OVERVIEW]</span></dt><dd><span class="insert">Paul Groth; </span>Luc <span class="delete">Moreau and Paolo Missier (eds.) James Cheney, Stian Soiland-Reyes </span><span class="insert">Moreau; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><cite><span class="delete">PROV-N: The Provenance Notation</span><span class="insert">PROV-OVERVIEW: An Overview of the PROV Family of Documents</span></cite></a>. <span class="delete">2011,</span><span class="insert">11 December 2012,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-n/</span>
 <span class="delete">[PROV-O]</span><span class="delete">Timothy Lebo, Satya Sahoo and Deborah McGuinness (eds.) Khalid Belhajjame, James Cheney, David Corsar, Daniel Garijo, Stian Soiland-Reyes, and Stephan Zednik </span><span class="delete">Provenance Formal Model</span><span class="delete">. 2011, Working Draft. URL: </span><span class="delete">http://www.w3.org/TR/prov-o/</span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</span></a>
 </dd><dt id="bib-PROV-PRIMER">[PROV-PRIMER]</dt><dd>Yolanda <span class="delete">Gil and</span><span class="insert">Gil;</span> Simon <span class="delete">Miles (eds.) Khalid Belhajjame, Helena Deus, Daniel Garijo, Graham Klyne, Paolo Missier, Stian Soiland-Reyes, and Stephan Zednik </span><span class="insert">Miles; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-primer-20121211/"><cite><span class="delete">Prov</span><span class="insert">PROV</span> Model Primer</cite></a>. <span class="delete">2011,</span><span class="insert">11 December 2012,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-primer/</span><a href="http://www.w3.org/TR/2012/WD-prov-primer-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-primer-20121211/</span></a>
 </dd><dt id="bib-PROV-XML"><span class="insert">[PROV-XML]</span></dt><dd><span class="insert">Hook Hua; Curt Tilmes; Stephan Zednik; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-xml-20121211/"><cite><span class="insert">PROV-XML: The PROV XML Schema</span></cite></a><span class="insert">. 11 December 2012, Working Draft. URL: </span><a href="http://www.w3.org/TR/2012/WD-prov-xml-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-xml-20121211/</span></a>
--- a/model/prov-n.html	Mon Nov 26 15:15:12 2012 -0500
+++ b/model/prov-n.html	Mon Nov 26 15:15:28 2012 -0500
@@ -1171,7 +1171,7 @@
 <h3>Identifiers and attributes</h3>
 
 <p>Almost all expressions defined in the grammar include an identifier (see <a href="#expression-identifier">Section 3.7.1</a> for the full syntax of identifiers). Most expressions
-can aslo include a set of attribute-value pairs, delimited by square brackets. Identifiers are optional except for Entities, Activites, and Agents. Identifiers are always the first term in any expression.  <em>Optional</em> identifiers MUST be separated using a semi-colon ';', but where the identifiers are required, a regular comma ',' MUST be used. This makes it possible to completely omit an optional identifier with no ambiguity arising. Also, if the set of attribute-value pairs is present, it is always the last term in any expression.</p>
+can also include a set of attribute-value pairs, delimited by square brackets. Identifiers are optional except for Entities, Activites, and Agents. Identifiers are always the first term in any expression.  <em>Optional</em> identifiers MUST be separated using a semi-colon ';', but where the identifiers are required, a regular comma ',' MUST be used. This makes it possible to completely omit an optional identifier with no ambiguity arising. Also, if the set of attribute-value pairs is present, it is always the last term in any expression.</p>
 
 <div class="anexample">
 <p>Derivation has an optional identifier. In the first expression, the identifier is not available, while it is explicit in the second. The third example shows that one can optionally indicate the missing identifier using the <span class="name">-</span> marker. This is equivalent to the first expression. </p>
@@ -1187,7 +1187,7 @@
 <!-- Expressions with no attributes A distinction is made between expressions with no attributes, and expressions that include an empty list of attributes.  -->
 
 <div class="anexample">
-<p>The first and second activity expressions do not speciy any attributes, and are equivalent.
+<p>The first and second activity expressions do not specify any attributes, and are equivalent.
 <!-- does not have any attributes. The second has an empty list of attributes. -->
 The third activity expression specifies two attributes. 
 <pre class="codeexample" >
@@ -1547,7 +1547,7 @@
 <div class="anexample">
 
     <pre class="codeexample">
-wasEndedBy(end; ex:act2, ex:trigger,ex:act3,  2011-11-16T16:00:00, [ex:param="a"])
+wasEndedBy(end; ex:act2, ex:trigger, ex:act3,  2011-11-16T16:00:00, [ex:param="a"])
   </pre>
 <p>  Here <span class="name">end</span> is the optional end identifier,  
 <span class="name">ex:act2</span> is the identifier of the ending activity,
@@ -1936,7 +1936,7 @@
 
 
 <div class="anexample">
-<p>The  following expressions illustrates a plan.
+<p>The  following expression illustrates a plan.
 <pre class="codeexample">
   entity(ex:pl1,   [ prov:type='prov:Plan' ])
 </pre>
@@ -2068,7 +2068,7 @@
 
 <p>Bundles cannot be nested because a <code><a class="grammarRef" href="#prod-bundle">bundle</a></code> is not an <code><a class="grammarRef" href="#prod-expression">expression</a></code>, and therefore cannot occur inside another <code><a class="grammarRef" href="#prod-bundle">bundle</a></code>.</p>
 
-<p>Each identifier occuring in a bundle, including the bundle identifier itself, MUST be interpreted with respect to the namespace declarations of that bundle, or if the identifier's prefix is not declared in the bundle, with respect to the namespace declarations in the document. </p>
+<p>Each identifier occurring in a bundle, including the bundle identifier itself, MUST be interpreted with respect to the namespace declarations of that bundle, or if the identifier's prefix is not declared in the bundle, with respect to the namespace declarations in the document. </p>
 
 
 <p>The following table summarizes how each constituent of a PROV-DM bundle maps to a PROV-N syntax element.</p>
@@ -2447,7 +2447,7 @@
 </div>
 
 
-<p><b>Note:</b>The productions for the terminals  <code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME">QUALIFIED_NAME</a></code> and  <code class="content"><a class="grammarRef" href="http://www.w3.org/TR/rdf-sparql-query/#rPN_PREFIX">PN_PREFIX</a></code> are conflicting.
+<p><b>Note:</b> The productions for the terminals  <code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME">QUALIFIED_NAME</a></code> and  <code class="content"><a class="grammarRef" href="http://www.w3.org/TR/rdf-sparql-query/#rPN_PREFIX">PN_PREFIX</a></code> are conflicting.
 Indeed,  for a tokenizer operating independently of the parse tree, <code>abc</code> matches both 
 <code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME">QUALIFIED_NAME</a></code> and
 <code class="content"><a class="grammarRef" href="http://www.w3.org/TR/rdf-sparql-query/#rPN_PREFIX">PN_PREFIX</a></code>.
@@ -2534,7 +2534,7 @@
 <p> In particular, a Literal may be an IRI-typed string (with datatype <span class="name">xsd:anyURI</span>);  such IRI has no specific interpretation in the context of PROV.</p>
 
 
-<p><b>Note:</b>The productions for terminals <code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME">QUALIFIED_NAME</a></code> and
+<p><b>Note:</b> The productions for terminals <code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME">QUALIFIED_NAME</a></code> and
 <code class="content"><a class="grammarRef" href="#prod-INT_LITERAL">INT_LITERAL</a></code> are conflicting.  
 Indeed, for a tokenizer operating independently of the parse tree, <code>1234</code> matches both <code class="content"><a class="grammarRef" href="#prod-INT_LITERAL">INT_LITERAL</a></code> and <code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME">QUALIFIED_NAME</a></code> (local name without prefix). In the context of
 a <code class="content"><a class="grammarRef" href="#prod-convenienceNotation">convenienceNotation</a></code>, a tokenizer should give preference to the production
@@ -2666,7 +2666,7 @@
 <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 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 redeclare this prefix.</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 re-declare this prefix.</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>
@@ -2744,7 +2744,7 @@
 
 <div style="text-align: left;">
 <table class="thinborder" style="margin-left: auto; margin-right: auto;">
-<caption id="validity-rules-table">Summary of additional semantic rules for grammar productions</caption>
+<caption id="validity-rules-table">Table 2: Summary of additional semantic rules for grammar productions</caption>
 <tr><td><a><b>Production</b></a></td>
      <td><b>Examples of syntactically correct expressions</b></td>
      <td><b>Additional semantic rule</b></td>
@@ -2950,7 +2950,7 @@
       <dd>PROV-N is used to express the provenance of arbitrary application data; security considerations will vary by domain of use. Security tools and protocols applicable to text (e.g. PGP encryption, MD5 sum validation, password-protected compression) may also be used on PROV-N documents. Security/privacy protocols must be imposed which reflect the sensitivity of the embedded information.  </dd> 
       <dd>PROV-N can express data which is presented to the user, for example, by means of label attributes. Application rendering strings retrieved from untrusted PROV-N documents must ensure that malignant strings may not be used to mislead the reader. The security considerations in the media type registration for XML ([[!RFC3023]] section 10) provide additional guidance around the expression of arbitrary data and markup.</dd> 
       <dd>PROV-N is a language for describing the provenance of things, and therefore a PROV-N document is metadata for other resources.  Untrusted PROV-N documents may mislead its consumers by indicating that a third-party resource has a reputable lineage, when it has not. Provenance of PROV-N document should be sought. </dd>
-      <dd>PROV-N uses qualified names mappeable to IRIs as term identifiers. Applications interpreting data expressed in PROV-N should address the security issues of
+      <dd>PROV-N uses qualified names mappable to IRIs as term identifiers. Applications interpreting data expressed in PROV-N should address the security issues of
   <a class="norm" href="http://www.ietf.org/rfc/rfc3987.txt">Internationalized Resource Identifiers (IRIs)</a> [[!RFC3987]] Section 8, as well as
   <a class="norm" href="http://www.ietf.org/rfc/rfc3986.txt">Uniform Resource Identifier (URI): Generic Syntax</a> [[!RFC3986]] Section 7.</dd> 
       <dd>Multiple IRIs may have the same appearance. Characters in different scripts may 
--- a/model/provbib.js	Mon Nov 26 15:15:12 2012 -0500
+++ b/model/provbib.js	Mon Nov 26 15:15:28 2012 -0500
@@ -66,7 +66,7 @@
           "URL: <a href=\"http://www.w3.org/TR/2012/WD-prov-xml-20121211/\">http://www.w3.org/TR/2012/WD-prov-xml-20121211/</a>",
 
         "PROV-OVERVIEW":
-          "Paul Groth; Luc Moreau. "+
+          "Paul Groth; Luc Moreau; eds. "+
           "<a href=\"http://www.w3.org/TR/2012/WD-prov-overview-20121211/\"><cite>PROV-OVERVIEW: An Overview of the PROV Family of Documents</cite></a>. "+
           "11 December 2012, Working Draft. "+
           "URL: <a href=\"http://www.w3.org/TR/2012/WD-prov-overview-20121211/\">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</a>",
@@ -78,7 +78,7 @@
 	"URL: <a href=\"http://www.w3.org/TR/2012/WD-prov-aq-20120619/\">http://www.w3.org/TR/2012/WD-prov-aq-20120619/</a>",
 
         "PROV-MENTION":
-          "Tim Lebo; Luc Moreau; eds. "+
+          "Timothy Lebo; Luc Moreau; eds. "+
           "<a href=\"http://www.w3.org/TR/2012/WD-prov-mention-20121211/\"><cite>MENTION</cite></a>. "+
           "11 December 2012, Working Draft. "+
           "URL: <a href=\"http://www.w3.org/TR/2012/WD-prov-mention-20121211/\">http://www.w3.org/TR/2012/WD-prov-mention-20121211/</a>",
--- a/model/releases/CR-prov-constraints-20121211/Overview.html	Mon Nov 26 15:15:12 2012 -0500
+++ b/model/releases/CR-prov-constraints-20121211/Overview.html	Mon Nov 26 15:15:28 2012 -0500
@@ -5393,7 +5393,7 @@
 </dd><dt id="bib-DBCONSTRAINTS">[DBCONSTRAINTS]</dt><dd> Ronald Fagin; Phokion G. Kolaitis; Renée J. Miller; Lucian Popa.  <a href="http://dx.doi.org/10.1016/j.tcs.2004.10.033"><cite>Data        exchange: Semantics and query answering</cite></a>.  Theoretical computer science 336(1):89-124   Elsevier  URL: <a href="http://dx.doi.org/10.1016/j.tcs.2004.10.033">http://dx.doi.org/10.1016/j.tcs.2004.10.033</a>
 </dd><dt id="bib-Logic">[Logic]</dt><dd>W. E. Johnson. <a href="http://www.ditext.com/johnson/intro-3.html"><cite>Logic: Part III</cite></a>.1924. URL: <a href="http://www.ditext.com/johnson/intro-3.html">http://www.ditext.com/johnson/intro-3.html</a>
 </dd><dt id="bib-PROV-AQ">[PROV-AQ]</dt><dd>Graham Klyne; Paul Groth; eds. <a href="http://www.w3.org/TR/2012/WD-prov-aq-20120619/"><cite>Provenance Access and Query</cite></a>. 19 June 2012, Working Draft. URL: <a href="http://www.w3.org/TR/2012/WD-prov-aq-20120619/">http://www.w3.org/TR/2012/WD-prov-aq-20120619/</a>
-</dd><dt id="bib-PROV-OVERVIEW">[PROV-OVERVIEW]</dt><dd>Paul Groth and Luc Moreau <a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><cite>PROV-OVERVIEW: An Overview of the PROV Family of Documents</cite></a>. 11 December 2012, Working Draft. URL: <a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</a>
+</dd><dt id="bib-PROV-OVERVIEW">[PROV-OVERVIEW]</dt><dd>Paul Groth; Luc Moreau; eds. <a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><cite>PROV-OVERVIEW: An Overview of the PROV Family of Documents</cite></a>. 11 December 2012, Working Draft. URL: <a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</a>
 </dd><dt id="bib-PROV-PRIMER">[PROV-PRIMER]</dt><dd>Yolanda Gil; Simon Miles; eds. <a href="http://www.w3.org/TR/2012/WD-prov-primer-20121211/"><cite>PROV Model Primer</cite></a>. 11 December 2012, Working Draft. URL: <a href="http://www.w3.org/TR/2012/WD-prov-primer-20121211/">http://www.w3.org/TR/2012/WD-prov-primer-20121211/</a>
 </dd><dt id="bib-PROV-SEM">[PROV-SEM]</dt><dd>James Cheney; ed. <a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsED"><cite>Formal Semantics of PROV</cite></a>. 2011, Work in progress. URL: <a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsED">http://www.w3.org/2011/prov/wiki/FormalSemanticsED</a>.
 </dd><dt id="bib-PROV-XML">[PROV-XML]</dt><dd>Hook Hua; Curt Tilmes; Stephan Zednik; eds. <a href="http://www.w3.org/TR/2012/WD-prov-xml-20121211/"><cite>PROV-XML: The PROV XML Schema</cite></a>. 11 December 2012, Working Draft. URL: <a href="http://www.w3.org/TR/2012/WD-prov-xml-20121211/">http://www.w3.org/TR/2012/WD-prov-xml-20121211/</a>
--- a/model/releases/CR-prov-constraints-20121211/diff-c.html	Mon Nov 26 15:15:12 2012 -0500
+++ b/model/releases/CR-prov-constraints-20121211/diff-c.html	Mon Nov 26 15:15:28 2012 -0500
@@ -6227,7 +6227,7 @@
 </dd><dt id="bib-DBCONSTRAINTS">[DBCONSTRAINTS]</dt><dd> Ronald <span class="delete">Fagin,</span><span class="insert">Fagin;</span> Phokion G. <span class="delete">Kolaitis,</span><span class="insert">Kolaitis;</span> Renée J. <span class="delete">Miller, and</span><span class="insert">Miller;</span> Lucian <span class="delete">Popa</span><span class="insert">Popa.</span>  <a href="http://dx.doi.org/10.1016/j.tcs.2004.10.033"><cite>Data        exchange: Semantics and query answering</cite></a>.  Theoretical computer science 336(1):89-124   Elsevier  URL: <a href="http://dx.doi.org/10.1016/j.tcs.2004.10.033">http://dx.doi.org/10.1016/j.tcs.2004.10.033</a>
 </dd><dt id="bib-Logic">[Logic]</dt><dd>W. E. <span class="delete">Johnson</span><span class="insert">Johnson. </span><a href="http://www.ditext.com/johnson/intro-3.html"><cite>Logic: Part III</cite></a>.1924. URL: <a href="http://www.ditext.com/johnson/intro-3.html">http://www.ditext.com/johnson/intro-3.html</a>
 </dd><span class="delete">[PROV-DM]</span><dt id="bib-PROV-AQ"><span class="insert">[PROV-AQ]</span></dt><dd><span class="delete">Luc Moreau and Paolo Missier (eds.) Khalid Belhajjame, Reza B'Far, James Cheney, Stephen Cresswell, Yolanda Gil,</span><span class="insert">Graham Klyne;</span> Paul <span class="delete">Groth, Graham Klyne, Jim McCusker, Simon Miles, James Myers, Satya Sahoo, and Curt Tilmes </span><span class="insert">Groth; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-aq-20120619/"><cite><span class="delete">PROV-DM: The PROV Data Model</span><span class="insert">Provenance Access and Query</span></cite></a>. <span class="insert">19 June </span>2012, Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-dm/</span><a href="http://www.w3.org/TR/2012/WD-prov-aq-20120619/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-aq-20120619/</span></a>
-</dd><span class="delete">[PROV-N]</span><dt id="bib-PROV-OVERVIEW"><span class="insert">[PROV-OVERVIEW]</span></dt><dd><span class="insert">Paul Groth and </span>Luc Moreau <span class="delete">and Paolo Missier (eds.), James Cheney, Stian Soiland-Reyes </span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><cite><span class="delete">PROV-N: The Provenance Notation</span><span class="insert">PROV-OVERVIEW: An Overview of the PROV Family of Documents</span></cite></a>. <span class="delete">2011,</span><span class="insert">11 December 2012,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-n/</span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</span></a>
+</dd><span class="delete">[PROV-N]</span><dt id="bib-PROV-OVERVIEW"><span class="insert">[PROV-OVERVIEW]</span></dt><dd><span class="insert">Paul Groth; </span>Luc <span class="delete">Moreau and Paolo Missier (eds.), James Cheney, Stian Soiland-Reyes </span><span class="insert">Moreau; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><cite><span class="delete">PROV-N: The Provenance Notation</span><span class="insert">PROV-OVERVIEW: An Overview of the PROV Family of Documents</span></cite></a>. <span class="delete">2011,</span><span class="insert">11 December 2012,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-n/</span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</span></a>
 </dd><span class="delete">[PROV-O]</span><dt id="bib-PROV-PRIMER"><span class="insert">[PROV-PRIMER]</span></dt><dd><span class="delete">Timothy Lebo, Satya Sahoo and Deborah McGuinness (eds.) Khalid Belhajjame, James Cheney, David Corsar, Daniel Garijo, Stian Soiland-Reyes, and Stephan Zednik </span><span class="insert">Yolanda Gil; Simon Miles; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-primer-20121211/"><cite><span class="delete">Provenance Formal</span><span class="insert">PROV</span> Model<span class="insert"> Primer</span></cite></a>. <span class="delete">2011,</span><span class="insert">11 December 2012,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-o/</span><a href="http://www.w3.org/TR/2012/WD-prov-primer-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-primer-20121211/</span></a>
 </dd><dt id="bib-PROV-SEM">[PROV-SEM]</dt><dd>James <span class="delete">Cheney </span><span class="insert">Cheney; ed. </span><a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsED"><cite>Formal Semantics <span class="delete">Strawman</span><span class="insert">of PROV</span></cite></a>. 2011, Work in progress. URL: <span class="delete">http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman</span><a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsED"><span class="insert">http://www.w3.org/2011/prov/wiki/FormalSemanticsED</span></a><span class="insert">.
 </span></dd><dt id="bib-PROV-XML"><span class="insert">[PROV-XML]</span></dt><dd><span class="insert">Hook Hua; Curt Tilmes; Stephan Zednik; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-xml-20121211/"><cite><span class="insert">PROV-XML: The PROV XML Schema</span></cite></a><span class="insert">. 11 December 2012, Working Draft. URL: </span><a href="http://www.w3.org/TR/2012/WD-prov-xml-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-xml-20121211/</span></a>
--- a/model/releases/CR-prov-dm-20121211/Overview.html	Mon Nov 26 15:15:12 2012 -0500
+++ b/model/releases/CR-prov-dm-20121211/Overview.html	Mon Nov 26 15:15:28 2012 -0500
@@ -4091,7 +4091,7 @@
 </dd><dt id="bib-Mappings">[Mappings]</dt><dd>Satya Sahoo; Paul Groth; Olaf Hartig; Simon Miles; Sam Coppens; James Myers; Yolanda Gil; Luc Moreau; Jun Zhao; Michael Panzer; Daniel Garijo <a href="http://www.w3.org/2005/Incubator/prov/wiki/Provenance_Vocabulary_Mappings"><cite>Provenance Vocabulary Mappings</cite></a>. August 2010 URL: <a href="http://www.w3.org/2005/Incubator/prov/wiki/Provenance_Vocabulary_Mappings">http://www.w3.org/2005/Incubator/prov/wiki/Provenance_Vocabulary_Mappings</a>
 </dd><dt id="bib-PROV-AQ">[PROV-AQ]</dt><dd>Graham Klyne; Paul Groth; eds. <a href="http://www.w3.org/TR/2012/WD-prov-aq-20120619/"><cite>Provenance Access and Query</cite></a>. 19 June 2012, Working Draft. URL: <a href="http://www.w3.org/TR/2012/WD-prov-aq-20120619/">http://www.w3.org/TR/2012/WD-prov-aq-20120619/</a>
 </dd><dt id="bib-PROV-LAYOUT">[PROV-LAYOUT]</dt><dd>W3C PROV Working Group. <a href="http://www.w3.org/2011/prov/wiki/Diagrams"><cite>PROV Graph Layout Conventions</cite></a>. 2012. URL: <a href="http://www.w3.org/2011/prov/wiki/Diagrams">http://www.w3.org/2011/prov/wiki/Diagrams</a>
-</dd><dt id="bib-PROV-OVERVIEW">[PROV-OVERVIEW]</dt><dd>Paul Groth and Luc Moreau <a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><cite>PROV-OVERVIEW: An Overview of the PROV Family of Documents</cite></a>. 11 December 2012, Working Draft. URL: <a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</a>
+</dd><dt id="bib-PROV-OVERVIEW">[PROV-OVERVIEW]</dt><dd>Paul Groth; Luc Moreau; eds. <a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><cite>PROV-OVERVIEW: An Overview of the PROV Family of Documents</cite></a>. 11 December 2012, Working Draft. URL: <a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</a>
 </dd><dt id="bib-PROV-PRIMER">[PROV-PRIMER]</dt><dd>Yolanda Gil; Simon Miles; eds. <a href="http://www.w3.org/TR/2012/WD-prov-primer-20121211/"><cite>PROV Model Primer</cite></a>. 11 December 2012, Working Draft. URL: <a href="http://www.w3.org/TR/2012/WD-prov-primer-20121211/">http://www.w3.org/TR/2012/WD-prov-primer-20121211/</a>
 </dd><dt id="bib-PROV-XML">[PROV-XML]</dt><dd>Hook Hua; Curt Tilmes; Stephan Zednik; eds. <a href="http://www.w3.org/TR/2012/WD-prov-xml-20121211/"><cite>PROV-XML: The PROV XML Schema</cite></a>. 11 December 2012, Working Draft. URL: <a href="http://www.w3.org/TR/2012/WD-prov-xml-20121211/">http://www.w3.org/TR/2012/WD-prov-xml-20121211/</a>
 </dd><dt id="bib-RDF-CONCEPTS11">[RDF-CONCEPTS11]</dt><dd>Richard Cyganiak; David Wood; eds. <a href="http://www.w3.org/TR/rdf11-concepts/"><cite>RDF 1.1 Concepts and Abstract Syntax</cite></a>. Working Draft. URL: <a href="http://www.w3.org/TR/rdf11-concepts/">http://www.w3.org/TR/rdf11-concepts/</a>
--- a/model/releases/CR-prov-dm-20121211/diff.html	Mon Nov 26 15:15:12 2012 -0500
+++ b/model/releases/CR-prov-dm-20121211/diff.html	Mon Nov 26 15:15:28 2012 -0500
@@ -5237,7 +5237,7 @@
 </dd><dt id="bib-Mappings">[Mappings]</dt><dd>Satya <span class="delete">Sahoo and</span><span class="insert">Sahoo;</span> Paul <span class="delete">Groth and</span><span class="insert">Groth;</span> Olaf <span class="delete">Hartig and</span><span class="insert">Hartig;</span> Simon <span class="delete">Miles and</span><span class="insert">Miles;</span> Sam <span class="delete">Coppens and</span><span class="insert">Coppens;</span> James <span class="delete">Myers and</span><span class="insert">Myers;</span> Yolanda <span class="delete">Gil and</span><span class="insert">Gil;</span> Luc <span class="delete">Moreau and</span><span class="insert">Moreau;</span> Jun <span class="delete">Zhao and</span><span class="insert">Zhao;</span> Michael <span class="delete">Panzer and</span><span class="insert">Panzer;</span> Daniel Garijo <a href="http://www.w3.org/2005/Incubator/prov/wiki/Provenance_Vocabulary_Mappings"><cite>Provenance Vocabulary Mappings</cite></a>. August 2010 URL: <a href="http://www.w3.org/2005/Incubator/prov/wiki/Provenance_Vocabulary_Mappings">http://www.w3.org/2005/Incubator/prov/wiki/Provenance_Vocabulary_Mappings</a>
 </dd><dt id="bib-PROV-AQ">[PROV-AQ]</dt><dd>Graham <span class="delete">Klyne and</span><span class="insert">Klyne;</span> Paul <span class="delete">Groth (eds.) Luc Moreau, Olaf Hartig, Yogesh Simmhan, James Meyers, Timothy Lebo, Khalid Belhajjame, and Simon Miles </span><span class="insert">Groth; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-aq-20120619/"><cite>Provenance Access and Query</cite></a>. <span class="delete">2011,</span><span class="insert">19 June 2012,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-aq/</span><a href="http://www.w3.org/TR/2012/WD-prov-aq-20120619/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-aq-20120619/</span></a>
 </dd><span class="delete">[PROV-CONSTRAINTS]</span><dt id="bib-PROV-LAYOUT"><span class="insert">[PROV-LAYOUT]</span></dt><dd><span class="delete">James Cheney, Paolo Missier, and Luc Moreau (eds.) </span><span class="insert">W3C PROV Working Group. </span><a href="http://www.w3.org/2011/prov/wiki/Diagrams"><cite><span class="delete">Constraints of the </span>PROV <span class="delete">Data Model</span><span class="insert">Graph Layout Conventions</span></cite></a>. <span class="delete">2011, Working Draft.</span><span class="insert">2012.</span> URL: <span class="delete">http://www.w3.org/TR/prov-constraints/</span><a href="http://www.w3.org/2011/prov/wiki/Diagrams"><span class="insert">http://www.w3.org/2011/prov/wiki/Diagrams</span></a>
-</dd><span class="delete">[PROV-N]</span><dt id="bib-PROV-OVERVIEW"><span class="insert">[PROV-OVERVIEW]</span></dt><dd><span class="insert">Paul Groth and </span>Luc Moreau <span class="delete">and Paolo Missier (eds.) James Cheney, Stian Soiland-Reyes </span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><cite><span class="delete">PROV-N: The Provenance Notation</span><span class="insert">PROV-OVERVIEW: An Overview of the PROV Family of Documents</span></cite></a>. <span class="delete">2011,</span><span class="insert">11 December 2012,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-n/</span>
+</dd><span class="delete">[PROV-N]</span><dt id="bib-PROV-OVERVIEW"><span class="insert">[PROV-OVERVIEW]</span></dt><dd><span class="insert">Paul Groth; </span>Luc <span class="delete">Moreau and Paolo Missier (eds.) James Cheney, Stian Soiland-Reyes </span><span class="insert">Moreau; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><cite><span class="delete">PROV-N: The Provenance Notation</span><span class="insert">PROV-OVERVIEW: An Overview of the PROV Family of Documents</span></cite></a>. <span class="delete">2011,</span><span class="insert">11 December 2012,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-n/</span>
 <span class="delete">[PROV-O]</span><span class="delete">Timothy Lebo, Satya Sahoo and Deborah McGuinness (eds.) Khalid Belhajjame, James Cheney, David Corsar, Daniel Garijo, Stian Soiland-Reyes, and Stephan Zednik </span><span class="delete">Provenance Formal Model</span><span class="delete">. 2011, Working Draft. URL: </span><span class="delete">http://www.w3.org/TR/prov-o/</span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</span></a>
 </dd><dt id="bib-PROV-PRIMER">[PROV-PRIMER]</dt><dd>Yolanda <span class="delete">Gil and</span><span class="insert">Gil;</span> Simon <span class="delete">Miles (eds.) Khalid Belhajjame, Helena Deus, Daniel Garijo, Graham Klyne, Paolo Missier, Stian Soiland-Reyes, and Stephan Zednik </span><span class="insert">Miles; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-primer-20121211/"><cite><span class="delete">Prov</span><span class="insert">PROV</span> Model Primer</cite></a>. <span class="delete">2011,</span><span class="insert">11 December 2012,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-primer/</span><a href="http://www.w3.org/TR/2012/WD-prov-primer-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-primer-20121211/</span></a>
 </dd><dt id="bib-PROV-XML"><span class="insert">[PROV-XML]</span></dt><dd><span class="insert">Hook Hua; Curt Tilmes; Stephan Zednik; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-xml-20121211/"><cite><span class="insert">PROV-XML: The PROV XML Schema</span></cite></a><span class="insert">. 11 December 2012, Working Draft. URL: </span><a href="http://www.w3.org/TR/2012/WD-prov-xml-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-xml-20121211/</span></a>
--- a/model/releases/CR-prov-n-20121211/Overview.html	Mon Nov 26 15:15:12 2012 -0500
+++ b/model/releases/CR-prov-n-20121211/Overview.html	Mon Nov 26 15:15:28 2012 -0500
@@ -1266,7 +1266,7 @@
 <h3><span class="secno">2.5 </span>Identifiers and attributes</h3>
 
 <p>Almost all expressions defined in the grammar include an identifier (see <a href="#expression-identifier">Section 3.7.1</a> for the full syntax of identifiers). Most expressions
-can aslo include a set of attribute-value pairs, delimited by square brackets. Identifiers are optional except for Entities, Activites, and Agents. Identifiers are always the first term in any expression.  <em>Optional</em> identifiers <em class="rfc2119" title="must">must</em> be separated using a semi-colon ';', but where the identifiers are required, a regular comma ',' <em class="rfc2119" title="must">must</em> be used. This makes it possible to completely omit an optional identifier with no ambiguity arising. Also, if the set of attribute-value pairs is present, it is always the last term in any expression.</p>
+can also include a set of attribute-value pairs, delimited by square brackets. Identifiers are optional except for Entities, Activites, and Agents. Identifiers are always the first term in any expression.  <em>Optional</em> identifiers <em class="rfc2119" title="must">must</em> be separated using a semi-colon ';', but where the identifiers are required, a regular comma ',' <em class="rfc2119" title="must">must</em> be used. This makes it possible to completely omit an optional identifier with no ambiguity arising. Also, if the set of attribute-value pairs is present, it is always the last term in any expression.</p>
 
 <div class="anexample" id="example_9"><div class="anexampleTitle"><a class="internalDFN" href="#example_9">Example 9</a></div>
 <p>Derivation has an optional identifier. In the first expression, the identifier is not available, while it is explicit in the second. The third example shows that one can optionally indicate the missing identifier using the <span class="name">-</span> marker. This is equivalent to the first expression. </p>
@@ -1281,7 +1281,7 @@
 <!-- Expressions with no attributes A distinction is made between expressions with no attributes, and expressions that include an empty list of attributes.  -->
 
 <div class="anexample" id="example_10"><div class="anexampleTitle"><a class="internalDFN" href="#example_10">Example 10</a></div>
-<p>The first and second activity expressions do not speciy any attributes, and are equivalent.
+<p>The first and second activity expressions do not specify any attributes, and are equivalent.
 <!-- does not have any attributes. The second has an empty list of attributes. -->
 The third activity expression specifies two attributes. 
 </p><pre class="codeexample">activity(ex:a1)
@@ -1627,7 +1627,7 @@
 
 <div class="anexample" id="example_17"><div class="anexampleTitle"><a class="internalDFN" href="#example_17">Example 17</a></div>
 
-    <pre class="codeexample">wasEndedBy(end; ex:act2, ex:trigger,ex:act3,  2011-11-16T16:00:00, [ex:param="a"])
+    <pre class="codeexample">wasEndedBy(end; ex:act2, ex:trigger, ex:act3,  2011-11-16T16:00:00, [ex:param="a"])
   </pre>
 <p>  Here <span class="name">end</span> is the optional end identifier,  
 <span class="name">ex:act2</span> is the identifier of the ending activity,
@@ -2002,7 +2002,7 @@
 
 
 <div class="anexample" id="example_26"><div class="anexampleTitle"><a class="internalDFN" href="#example_26">Example 26</a></div>
-<p>The  following expressions illustrates a plan.
+<p>The  following expression illustrates a plan.
 </p><pre class="codeexample">  entity(ex:pl1,   [ prov:type='prov:Plan' ])
 </pre>
 </div>
@@ -2129,7 +2129,7 @@
 
 <p>Bundles cannot be nested because a <code><a class="grammarRef" href="#prod-bundle">bundle</a></code> is not an <code><a class="grammarRef" href="#prod-expression">expression</a></code>, and therefore cannot occur inside another <code><a class="grammarRef" href="#prod-bundle">bundle</a></code>.</p>
 
-<p>Each identifier occuring in a bundle, including the bundle identifier itself, <em class="rfc2119" title="must">must</em> be interpreted with respect to the namespace declarations of that bundle, or if the identifier's prefix is not declared in the bundle, with respect to the namespace declarations in the document. </p>
+<p>Each identifier occurring in a bundle, including the bundle identifier itself, <em class="rfc2119" title="must">must</em> be interpreted with respect to the namespace declarations of that bundle, or if the identifier's prefix is not declared in the bundle, with respect to the namespace declarations in the document. </p>
 
 
 <p>The following table summarizes how each constituent of a PROV-DM bundle maps to a PROV-N syntax element.</p>
@@ -2499,7 +2499,7 @@
 </div>
 
 
-<p><b>Note:</b>The productions for the terminals  <code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME">QUALIFIED_NAME</a></code> and  <code class="content"><a class="grammarRef" href="http://www.w3.org/TR/rdf-sparql-query/#rPN_PREFIX">PN_PREFIX</a></code> are conflicting.
+<p><b>Note:</b> The productions for the terminals  <code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME">QUALIFIED_NAME</a></code> and  <code class="content"><a class="grammarRef" href="http://www.w3.org/TR/rdf-sparql-query/#rPN_PREFIX">PN_PREFIX</a></code> are conflicting.
 Indeed,  for a tokenizer operating independently of the parse tree, <code>abc</code> matches both 
 <code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME">QUALIFIED_NAME</a></code> and
 <code class="content"><a class="grammarRef" href="http://www.w3.org/TR/rdf-sparql-query/#rPN_PREFIX">PN_PREFIX</a></code>.
@@ -2586,7 +2586,7 @@
 <p> In particular, a Literal may be an IRI-typed string (with datatype <span class="name">xsd:anyURI</span>);  such IRI has no specific interpretation in the context of PROV.</p>
 
 
-<p><b>Note:</b>The productions for terminals <code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME">QUALIFIED_NAME</a></code> and
+<p><b>Note:</b> The productions for terminals <code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME">QUALIFIED_NAME</a></code> and
 <code class="content"><a class="grammarRef" href="#prod-INT_LITERAL">INT_LITERAL</a></code> are conflicting.  
 Indeed, for a tokenizer operating independently of the parse tree, <code>1234</code> matches both <code class="content"><a class="grammarRef" href="#prod-INT_LITERAL">INT_LITERAL</a></code> and <code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME">QUALIFIED_NAME</a></code> (local name without prefix). In the context of
 a <code class="content"><a class="grammarRef" href="#prod-convenienceNotation">convenienceNotation</a></code>, a tokenizer should give preference to the production
@@ -2711,7 +2711,7 @@
 <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 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 redeclare this prefix.</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 re-declare this prefix.</li>
 </ul>
 
 <p>A set of namespace declarations <code><a class="grammarRef" href="#prod-namespaceDeclarations">namespaceDeclarations</a></code> <em class="rfc2119" title="must not">must not</em> re-declare the same prefix.</p>
@@ -2786,7 +2786,7 @@
 
 <div style="text-align: left;">
 <table class="thinborder" style="margin-left: auto; margin-right: auto;">
-<caption id="validity-rules-table">Summary of additional semantic rules for grammar productions</caption>
+<caption id="validity-rules-table">Table 2: Summary of additional semantic rules for grammar productions</caption>
 <tbody><tr><td><a><b>Production</b></a></td>
      <td><b>Examples of syntactically correct expressions</b></td>
      <td><b>Additional semantic rule</b></td>
@@ -2984,7 +2984,7 @@
       <dd>PROV-N is used to express the provenance of arbitrary application data; security considerations will vary by domain of use. Security tools and protocols applicable to text (e.g. PGP encryption, MD5 sum validation, password-protected compression) may also be used on PROV-N documents. Security/privacy protocols must be imposed which reflect the sensitivity of the embedded information.  </dd> 
       <dd>PROV-N can express data which is presented to the user, for example, by means of label attributes. Application rendering strings retrieved from untrusted PROV-N documents must ensure that malignant strings may not be used to mislead the reader. The security considerations in the media type registration for XML ([<cite><a class="bibref" href="#bib-RFC3023">RFC3023</a></cite>] section 10) provide additional guidance around the expression of arbitrary data and markup.</dd> 
       <dd>PROV-N is a language for describing the provenance of things, and therefore a PROV-N document is metadata for other resources.  Untrusted PROV-N documents may mislead its consumers by indicating that a third-party resource has a reputable lineage, when it has not. Provenance of PROV-N document should be sought. </dd>
-      <dd>PROV-N uses qualified names mappeable to IRIs as term identifiers. Applications interpreting data expressed in PROV-N should address the security issues of
+      <dd>PROV-N uses qualified names mappable to IRIs as term identifiers. Applications interpreting data expressed in PROV-N should address the security issues of
   <a class="norm" href="http://www.ietf.org/rfc/rfc3987.txt">Internationalized Resource Identifiers (IRIs)</a> [<cite><a class="bibref" href="#bib-RFC3987">RFC3987</a></cite>] Section 8, as well as
   <a class="norm" href="http://www.ietf.org/rfc/rfc3986.txt">Uniform Resource Identifier (URI): Generic Syntax</a> [<cite><a class="bibref" href="#bib-RFC3986">RFC3986</a></cite>] Section 7.</dd> 
       <dd>Multiple IRIs may have the same appearance. Characters in different scripts may 
@@ -3154,7 +3154,7 @@
 </dd><dt id="bib-XML11">[XML11]</dt><dd>Eve Maler; et al. <a href="http://www.w3.org/TR/2006/REC-xml11-20060816"><cite>Extensible Markup Language (XML) 1.1 (Second Edition).</cite></a> 16 August 2006. W3C Recommendation. URL: <a href="http://www.w3.org/TR/2006/REC-xml11-20060816">http://www.w3.org/TR/2006/REC-xml11-20060816</a> 
 </dd><dt id="bib-XMLSCHEMA11-2">[XMLSCHEMA11-2]</dt><dd>Henry S. Thompson; et al. <a href="http://www.w3.org/TR/2012/REC-xmlschema11-2-20120405/"><cite>W3C XML Schema Definition Language (XSD) 1.1 Part 2: Datatypes.</cite></a> 5 April 2012. W3C Recommendation URL: <a href="http://www.w3.org/TR/2012/REC-xmlschema11-2-20120405/">http://www.w3.org/TR/2012/REC-xmlschema11-2-20120405/</a> 
 </dd></dl></section><section id="informative-references"><h3><span class="secno">C.2 </span>Informative references</h3><dl class="bibliography"><dt id="bib-PROV-AQ">[PROV-AQ]</dt><dd>Graham Klyne; Paul Groth; eds. <a href="http://www.w3.org/TR/2012/WD-prov-aq-20120619/"><cite>Provenance Access and Query</cite></a>. 19 June 2012, Working Draft. URL: <a href="http://www.w3.org/TR/2012/WD-prov-aq-20120619/">http://www.w3.org/TR/2012/WD-prov-aq-20120619/</a>
-</dd><dt id="bib-PROV-OVERVIEW">[PROV-OVERVIEW]</dt><dd>Paul Groth and Luc Moreau <a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><cite>PROV-OVERVIEW: An Overview of the PROV Family of Documents</cite></a>. 11 December 2012, Working Draft. URL: <a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</a>
+</dd><dt id="bib-PROV-OVERVIEW">[PROV-OVERVIEW]</dt><dd>Paul Groth; Luc Moreau; eds. <a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><cite>PROV-OVERVIEW: An Overview of the PROV Family of Documents</cite></a>. 11 December 2012, Working Draft. URL: <a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</a>
 </dd><dt id="bib-PROV-PRIMER">[PROV-PRIMER]</dt><dd>Yolanda Gil; Simon Miles; eds. <a href="http://www.w3.org/TR/2012/WD-prov-primer-20121211/"><cite>PROV Model Primer</cite></a>. 11 December 2012, Working Draft. URL: <a href="http://www.w3.org/TR/2012/WD-prov-primer-20121211/">http://www.w3.org/TR/2012/WD-prov-primer-20121211/</a>
 </dd><dt id="bib-PROV-RDF">[PROV-RDF]</dt><dd>James Cheney <a href="http://www.w3.org/2011/prov/wiki/ProvRDF"><cite>PROV-RDF Mapping </cite></a>2012, Working in Progress. URL: <a href="http://www.w3.org/2011/prov/wiki/ProvRDF">http://www.w3.org/2011/prov/wiki/ProvRDF</a>
 </dd><dt id="bib-PROV-SEM">[PROV-SEM]</dt><dd>James Cheney; ed. <a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsED"><cite>Formal Semantics of PROV</cite></a>. 2011, Work in progress. URL: <a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsED">http://www.w3.org/2011/prov/wiki/FormalSemanticsED</a>.
--- a/model/releases/CR-prov-n-20121211/diff-n.html	Mon Nov 26 15:15:12 2012 -0500
+++ b/model/releases/CR-prov-n-20121211/diff-n.html	Mon Nov 26 15:15:28 2012 -0500
@@ -1765,7 +1765,7 @@
 <h3><span class="secno">2.5 </span>Identifiers and attributes</h3>
 
 <p>Almost all expressions defined in the grammar include an identifier (see <a href="#expression-identifier">Section 3.7.1</a> for the full syntax of identifiers). Most expressions
-can aslo include a set of attribute-value pairs, delimited by square brackets. Identifiers are optional except for Entities, Activites, and Agents. Identifiers are always the first term in any expression.  <em>Optional</em> identifiers <em class="rfc2119" title="must">must</em> be separated using a semi-colon ';', but where the identifiers are required, a regular comma ',' <em class="rfc2119" title="must">must</em> be used. This makes it possible to completely omit an optional identifier with no ambiguity arising. Also, if the set of attribute-value pairs is present, it is always the last term in any expression.</p>
+can <span class="delete">aslo</span><span class="insert">also</span> include a set of attribute-value pairs, delimited by square brackets. Identifiers are optional except for Entities, Activites, and Agents. Identifiers are always the first term in any expression.  <em>Optional</em> identifiers <em class="rfc2119" title="must">must</em> be separated using a semi-colon ';', but where the identifiers are required, a regular comma ',' <em class="rfc2119" title="must">must</em> be used. This makes it possible to completely omit an optional identifier with no ambiguity arising. Also, if the set of attribute-value pairs is present, it is always the last term in any expression.</p>
 
 <div class="anexample" id="example_9"><div class="anexampleTitle"><a class="internalDFN" href="#example_9">Example 9</a></div>
 <p>Derivation has an optional identifier. In the first expression, the identifier is not available, while it is explicit in the second. The third example shows that one can optionally indicate the missing identifier using the <span class="name">-</span> marker. This is equivalent to the first expression. </p>
@@ -1780,7 +1780,7 @@
 
 
 <div class="anexample" id="example_10"><div class="anexampleTitle"><a class="internalDFN" href="#example_10">Example 10</a></div>
-<p>The first and second activity expressions <span class="delete">have no</span><span class="insert">do not speciy any</span> attributes, and are equivalent.
+<p>The first and second activity expressions <span class="delete">have no</span><span class="insert">do not specify any</span> attributes, and are equivalent.
 
 The third activity expression <span class="delete">has</span><span class="insert">specifies</span> two attributes. 
 </p><pre class="codeexample">activity(ex:a1)
@@ -2163,7 +2163,7 @@
 
 <div class="anexample" id="example_17"><div class="anexampleTitle"><a class="internalDFN" href="#example_17">Example 17</a></div>
 
-    <pre class="codeexample"><span class="delete">wasEndedBy(s;</span><span class="insert">wasEndedBy(end;</span> ex:act2, ex:trigger,ex:act3,  2011-11-16T16:00:00, [ex:param="a"])
+    <pre class="codeexample"><span class="delete">wasEndedBy(s;</span><span class="insert">wasEndedBy(end;</span> ex:act2, <span class="delete">ex:trigger,ex:act3,</span><span class="insert">ex:trigger, ex:act3,</span>  2011-11-16T16:00:00, [ex:param="a"])
   </pre>
 <p>  Here <span class="name"><span class="delete">s</span><span class="insert">end</span></span> is the optional <span class="delete">start</span><span class="insert">end</span> identifier,  
 <span class="name">ex:act2</span> is the identifier of the ending activity,
@@ -2570,7 +2570,7 @@
 
 
 <div class="anexample" id="example_26"><div class="anexampleTitle"><a class="internalDFN" href="#example_26"><span class="insert">Example 26</span></a></div>
-<p><span class="insert">The  following expressions illustrates a plan.
+<p><span class="insert">The  following expression illustrates a plan.
 </span></p><pre class="codeexample"><span class="insert">  entity(ex:pl1,   [ prov:type='prov:Plan' ])
 </span></pre>
 </div>
@@ -2697,7 +2697,7 @@
 
 <p><span class="delete">Named bundles</span><span class="insert">Bundles</span> cannot be nested because <span class="insert">a </span><code><span class="delete">namedBundle</span><a class="grammarRef" href="#prod-bundle"><span class="insert">bundle</span></a></code> is not an <code><a class="grammarRef" href="#prod-expression">expression</a></code>, and therefore cannot <span class="delete">occurs</span><span class="insert">occur</span> inside another <code><span class="delete">namedBundle</span><a class="grammarRef" href="#prod-bundle"><span class="insert">bundle</span></a></code>.</p>
 
-<p><span class="delete">Named bundles are self-contained: each</span><span class="insert">Each</span> identifier occuring in a<span class="delete"> named</span> bundle, including the bundle identifier itself, <em class="rfc2119" title="must">must</em> be interpreted with respect to the namespace declarations of that <span class="delete">bundle. In other words, for every identifier</span><span class="insert">bundle, or if the identifier's prefix is not declared in the bundle,</span> with <span class="insert">respect to the namespace declarations in the document. </span></p>
+<p><span class="delete">Named bundles are self-contained: each</span><span class="insert">Each</span> identifier <span class="delete">occuring</span><span class="insert">occurring</span> in a<span class="delete"> named</span> bundle, including the bundle identifier itself, <em class="rfc2119" title="must">must</em> be interpreted with respect to the namespace declarations of that <span class="delete">bundle. In other words, for every identifier</span><span class="insert">bundle, or if the identifier's prefix is not declared in the bundle,</span> with <span class="insert">respect to the namespace declarations in the document. </span></p>
 
 
 <p><span class="insert">The following table summarizes how each constituent of </span>a <span class="delete">prefix </span><span class="delete">p</span><span class="delete"> within</span><span class="insert">PROV-DM bundle maps to</span> a <span class="delete">named bundle, there </span><span class="delete">must</span><span class="delete"> be a namespace declaration for </span><span class="delete">p</span><span class="delete"> in this named bundled; for every identifier  without prefix, there </span><span class="delete">must</span><span class="delete"> be a default namespace declaration  in this named bundled.</span><span class="insert">PROV-N syntax element.</span></p>
@@ -3117,7 +3117,7 @@
 </div>
 
 
-<p><b>Note:</b>The productions for the terminals  <code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME">QUALIFIED_NAME</a></code> and  <code class="content"><a class="grammarRef" href="http://www.w3.org/TR/rdf-sparql-query/#rPN_PREFIX">PN_PREFIX</a></code> are conflicting.
+<p><b>Note:</b> The productions for the terminals  <code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME">QUALIFIED_NAME</a></code> and  <code class="content"><a class="grammarRef" href="http://www.w3.org/TR/rdf-sparql-query/#rPN_PREFIX">PN_PREFIX</a></code> are conflicting.
 Indeed,  for a tokenizer operating independently of the parse tree, <code>abc</code> matches both 
 <code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME">QUALIFIED_NAME</a></code> and
 <code class="content"><a class="grammarRef" href="http://www.w3.org/TR/rdf-sparql-query/#rPN_PREFIX">PN_PREFIX</a></code>.
@@ -3190,7 +3190,7 @@
 <p> In particular, a Literal may be an IRI-typed string (with datatype <span class="name">xsd:anyURI</span>);  such IRI has no specific interpretation in the context of PROV.</p>
 
 
-<p><b>Note:</b>The productions for terminals <code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME">QUALIFIED_NAME</a></code> and
+<p><b>Note:</b> The productions for terminals <code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME">QUALIFIED_NAME</a></code> and
 <code class="content"><a class="grammarRef" href="#prod-INT_LITERAL">INT_LITERAL</a></code> are conflicting.  
 Indeed, for a tokenizer operating independently of the parse tree, <code>1234</code> matches both <code class="content"><a class="grammarRef" href="#prod-INT_LITERAL">INT_LITERAL</a></code> and <code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME">QUALIFIED_NAME</a></code> (local name without prefix). In the context of
 a <code class="content"><a class="grammarRef" href="#prod-convenienceNotation">convenienceNotation</a></code>, a tokenizer should give preference to the production
@@ -3320,7 +3320,7 @@
 <span class="delete">
 the scope of a namespace</span><span class="insert">prefix-namespace</span> declaration directly occurring in a <code><a class="grammarRef" href="#prod-bundle"><span class="delete">toplevel </span>bundle</a></code> is the <code><a class="grammarRef" href="#prod-bundle"><span class="delete">toplevel </span>bundle</a></code> <span class="delete">itself, except and</span><span class="insert">itself.</span></li>
 <li><span class="insert">
-The scope of a prefix-namespace declaration directly occurring in a</span> <code><span class="delete">namedBundle</span><a class="grammarRef" href="#prod-document"><span class="insert">document</span></a></code><span class="insert"> is the </span><code><a class="grammarRef" href="#prod-document"><span class="insert">document</span></a></code><span class="insert"> including the </span><code><a class="grammarRef" href="#prod-bundle"><span class="insert">bundles</span></a></code> it <span class="delete">may contain.</span><span class="insert">contains but excluding those </span><code><a class="grammarRef" href="#prod-bundle"><span class="insert">bundles</span></a></code><span class="insert"> that redeclare this prefix.</span></li>
+The scope of a prefix-namespace declaration directly occurring in a</span> <code><span class="delete">namedBundle</span><a class="grammarRef" href="#prod-document"><span class="insert">document</span></a></code><span class="insert"> is the </span><code><a class="grammarRef" href="#prod-document"><span class="insert">document</span></a></code><span class="insert"> including the </span><code><a class="grammarRef" href="#prod-bundle"><span class="insert">bundles</span></a></code> it <span class="delete">may contain.</span><span class="insert">contains but excluding those </span><code><a class="grammarRef" href="#prod-bundle"><span class="insert">bundles</span></a></code><span class="insert"> that re-declare this prefix.</span></li>
 </ul>
 
 <p>A set of namespace declarations <code><a class="grammarRef" href="#prod-namespaceDeclarations">namespaceDeclarations</a></code> <em class="rfc2119" title="must not">must not</em> re-declare the same prefix.</p>
@@ -3397,7 +3397,7 @@
 
 <div style="text-align: left;">
 <table class="thinborder" style="margin-left: auto; margin-right: auto;">
-<caption id="validity-rules-table">Summary of additional semantic rules for grammar productions</caption>
+<caption id="validity-rules-table"><span class="insert">Table 2: </span>Summary of additional semantic rules for grammar productions</caption>
 <tbody><tr><td><a><b>Production</b></a></td>
      <td><b>Examples of syntactically correct expressions</b></td>
      <td><b>Additional semantic rule</b></td>
@@ -3604,7 +3604,7 @@
       <dd>PROV-N is used to express the provenance of arbitrary application data; security considerations will vary by domain of use. Security tools and protocols applicable to text (e.g. PGP encryption, MD5 sum validation, password-protected compression) may also be used on PROV-N documents. Security/privacy protocols must be imposed which reflect the sensitivity of the embedded information.  </dd> 
       <dd>PROV-N can express data which is presented to the user, for example, by means of label attributes. Application rendering strings retrieved from untrusted PROV-N documents must ensure that malignant strings may not be used to mislead the reader. The security considerations in the media type registration for XML ([<cite><a class="bibref" href="#bib-RFC3023">RFC3023</a></cite>] section 10) provide additional guidance around the expression of arbitrary data and markup.</dd> 
       <dd>PROV-N is a language for describing the provenance of things, and therefore a PROV-N document is metadata for other resources.  Untrusted PROV-N documents may mislead its consumers by indicating that a third-party resource has a reputable lineage, when it has not. Provenance of PROV-N document should be sought. </dd>
-      <dd>PROV-N uses qualified names mappeable to IRIs as term identifiers. Applications interpreting data expressed in PROV-N should address the security issues of
+      <dd>PROV-N uses qualified names <span class="delete">mappeable</span><span class="insert">mappable</span> to IRIs as term identifiers. Applications interpreting data expressed in PROV-N should address the security issues of
   <a class="norm" href="http://www.ietf.org/rfc/rfc3987.txt">Internationalized Resource Identifiers (IRIs)</a> [<cite><a class="bibref" href="#bib-RFC3987">RFC3987</a></cite>] Section 8, as well as
   <a class="norm" href="http://www.ietf.org/rfc/rfc3986.txt">Uniform Resource Identifier (URI): Generic Syntax</a> [<cite><a class="bibref" href="#bib-RFC3986">RFC3986</a></cite>] Section 7.</dd> 
       <dd>Multiple IRIs may have the same appearance. Characters in different scripts may 
@@ -3779,7 +3779,7 @@
 </dd><dt id="bib-XML11">[XML11]</dt><dd>Eve Maler; et al. <a href="http://www.w3.org/TR/2006/REC-xml11-20060816"><cite>Extensible Markup Language (XML) 1.1 (Second Edition).</cite></a> 16 August 2006. W3C Recommendation. URL: <a href="http://www.w3.org/TR/2006/REC-xml11-20060816">http://www.w3.org/TR/2006/REC-xml11-20060816</a> 
 </dd><dt id="bib-XMLSCHEMA11-2">[XMLSCHEMA11-2]</dt><dd>Henry S. Thompson; et al. <a href="http://www.w3.org/TR/2012/REC-xmlschema11-2-20120405/"><cite>W3C XML Schema Definition Language (XSD) 1.1 Part 2: Datatypes.</cite></a> 5 April 2012. W3C Recommendation URL: <a href="http://www.w3.org/TR/2012/REC-xmlschema11-2-20120405/">http://www.w3.org/TR/2012/REC-xmlschema11-2-20120405/</a> 
 </dd></dl></section><section id="informative-references"><h3><span class="secno"><span class="delete">B.2</span><span class="insert">C.2</span> </span>Informative references</h3><dl class="bibliography"><dt id="bib-PROV-AQ">[PROV-AQ]</dt><dd>Graham <span class="delete">Klyne and</span><span class="insert">Klyne;</span> Paul <span class="delete">Groth (eds.) Luc Moreau, Olaf Hartig, Yogesh Simmhan, James Meyers, Timothy Lebo, Khalid Belhajjame, and Simon Miles </span><span class="insert">Groth; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-aq-20120619/"><cite>Provenance Access and Query</cite></a>. <span class="delete">2011,</span><span class="insert">19 June 2012,</span> Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-aq/</span><a href="http://www.w3.org/TR/2012/WD-prov-aq-20120619/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-aq-20120619/</span></a>
-</dd><span class="delete">[PROV-CONSTRAINTS]</span><dt id="bib-PROV-OVERVIEW"><span class="insert">[PROV-OVERVIEW]</span></dt><dd><span class="delete">James Cheney, Paolo Missier,</span><span class="insert">Paul Groth</span> and Luc Moreau <span class="delete">(eds.)</span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><cite><span class="delete">Constraints</span><span class="insert">PROV-OVERVIEW: An Overview</span> of the <span class="delete">Prov Data Model</span><span class="insert">PROV Family of Documents</span></cite></a>. <span class="insert">11 December </span>2012, Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-constraints/</span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</span></a>
+</dd><span class="delete">[PROV-CONSTRAINTS]</span><dt id="bib-PROV-OVERVIEW"><span class="insert">[PROV-OVERVIEW]</span></dt><dd><span class="delete">James Cheney, Paolo Missier, and</span><span class="insert">Paul Groth;</span> Luc <span class="delete">Moreau (eds.)</span><span class="insert">Moreau; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><cite><span class="delete">Constraints</span><span class="insert">PROV-OVERVIEW: An Overview</span> of the <span class="delete">Prov Data Model</span><span class="insert">PROV Family of Documents</span></cite></a>. <span class="insert">11 December </span>2012, Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-constraints/</span><a href="http://www.w3.org/TR/2012/WD-prov-overview-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-overview-20121211/</span></a>
 </dd><span class="delete">[PROV-DM]</span><dt id="bib-PROV-PRIMER"><span class="insert">[PROV-PRIMER]</span></dt><dd><span class="delete">Luc Moreau and Paolo Missier (eds.) Khalid Belhajjame, Reza B'Far, Stephen Cresswell, </span>Yolanda <span class="delete">Gil, Paul Groth, Graham Klyne, Jim McCusker,</span><span class="insert">Gil;</span> Simon <span class="delete">Miles, James Myers, Satya Sahoo, and Curt Tilmes</span><span class="insert">Miles; eds. </span><a href="http://www.w3.org/TR/2012/WD-prov-primer-20121211/"><cite><span class="delete">PROV-DM: The </span>PROV <span class="delete">Data </span>Model<span class="insert"> Primer</span></cite></a>. <span class="insert">11 December </span>2012, Working Draft. URL: <span class="delete">http://www.w3.org/TR/prov-dm/</span><a href="http://www.w3.org/TR/2012/WD-prov-primer-20121211/"><span class="insert">http://www.w3.org/TR/2012/WD-prov-primer-20121211/</span></a>
 </dd><dt id="bib-PROV-RDF">[PROV-RDF]</dt><dd>James Cheney <a href="http://www.w3.org/2011/prov/wiki/ProvRDF"><cite>PROV-RDF Mapping </cite></a>2012, Working in Progress. URL: <a href="http://www.w3.org/2011/prov/wiki/ProvRDF">http://www.w3.org/2011/prov/wiki/ProvRDF</a>
 </dd><dt id="bib-PROV-SEM">[PROV-SEM]</dt><dd>James <span class="delete">Cheney </span><span class="insert">Cheney; ed. </span><a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsED"><cite>Formal Semantics <span class="delete">Strawman</span><span class="insert">of PROV</span></cite></a>. 2011, Work in progress. URL: <span class="delete">http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman</span><a href="http://www.w3.org/2011/prov/wiki/FormalSemanticsED"><span class="insert">http://www.w3.org/2011/prov/wiki/FormalSemanticsED</span></a><span class="insert">.</span>
prov

Hosted by W3C Systems Team, please report bugs to sysreq@w3.org