--- a/model/prov-n.html Mon May 28 15:35:06 2012 +0100
+++ b/model/prov-n.html Mon May 28 15:45:04 2012 +0100
@@ -2041,8 +2041,8 @@
-->
-<p>A PROV qualified name <a class="grammarRef" href="#prod-QUALIFIED_NAME">QUALIFIED_NAME</a> has a more permissive syntax then XML's <a href="http://www.w3.org/TR/2009/REC-xml-names-20091208/#NT-QName">QName</a> [[!XML-NAMES]]
-and SPARQL <a href="http://www.w3.org/TR/2008/REC-rdf-sparql-query-20080115/#rPrefixedName">PrefixedName</a> [[!RDF-SPARQL-QUERY]]. It is a PROV requirement that the concatenation of the namespace with the local part results in a valid IRI [[!IRI]]. Given that
+<p>A PROV qualified name <code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME">QUALIFIED_NAME</a></code> has a more permissive syntax then XML's <code class="content"><a href="http://www.w3.org/TR/2009/REC-xml-names-20091208/#NT-QName">QName</a></code> [[!XML-NAMES]]
+and SPARQL <code class="content"><a href="http://www.w3.org/TR/2008/REC-rdf-sparql-query-20080115/#rPrefixedName">PrefixedName</a></code> [[!RDF-SPARQL-QUERY]]. It is a PROV requirement that the concatenation of the namespace with the local part results in a valid IRI [[!IRI]]. Given that
',' (comma),
';' (semi-colon),
'=' (equal),
@@ -2053,7 +2053,7 @@
</p>
-<p>Qualified names <a class="grammarRef" href="#prod-QUALIFIED_NAME">QUALIFIED_NAME</a> consist of a prefix and a local part. Prefixes follow the production <a class="grammarRef" href="http://www.w3.org/TR/rdf-sparql-query/#rPN_PREFIX">PN_PREFIX</a> defined by SPARQL [[!RDF-SPARQL-QUERY]]. Local parts have to be conformant with <a class="grammarRef" href="#prod-PN_LOCAL">PN_LOCAL</a>, which extends the original SPARQL <a class="grammarRef" href="http://www.w3.org/TR/rdf-sparql-query/#rPN_LOCAL">PN_LOCAL</a> definition by allowing further characters and %-escaped charaters (see <a class="grammarRef" href="#prod-PN_CHARS_OTHERS">PN_CHARS_OTHERS</a>).</p>
+<p>Qualified names <code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME">QUALIFIED_NAME</a></code> consist of a prefix and a local part. Prefixes follow the production <code class="content"><a class="grammarRef" href="http://www.w3.org/TR/rdf-sparql-query/#rPN_PREFIX">PN_PREFIX</a></code> defined by SPARQL [[!RDF-SPARQL-QUERY]]. Local parts have to be conformant with <code class="content"><a class="grammarRef" href="#prod-PN_LOCAL">PN_LOCAL</a></code>, which extends the original SPARQL <code class="content"><a class="grammarRef" href="http://www.w3.org/TR/rdf-sparql-query/#rPN_LOCAL">PN_LOCAL</a></code> definition by allowing further characters and %-escaped charaters (see <code class="content"><a class="grammarRef" href="#prod-PN_CHARS_OTHERS">PN_CHARS_OTHERS</a></code>).</p>
<table class="grammar">
@@ -2117,7 +2117,7 @@
</div>
-<p><b>Note:</b>The productions for <a class="grammarRef" href="#prod-QUALIFIED_NAME">qualifiedName</a> and <a class="grammarRef" href="#http://www.w3.org/TR/rdf-sparql-query/#rPN_PREFIX">prefix</a> are conflicting. In the context of a <a class="grammarRef" href="#prod-namespaceDeclaration">namespaceDeclaration</a>, a parser should give precedence to the production for <a class="grammarRef" href="#http://www.w3.org/TR/rdf-sparql-query/#rPN_PREFIX">prefix</a>.
+<p><b>Note:</b>The productions for <code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME">qualifiedName</a></code> and <code class="content"><a class="grammarRef" href="#http://www.w3.org/TR/rdf-sparql-query/#rPN_PREFIX">prefix</a></code> are conflicting. In the context of a <code class="content"><a class="grammarRef" href="#prod-namespaceDeclaration">namespaceDeclaration</a></code>, a parser should give precedence to the production for <code class="content"><a class="grammarRef" href="#http://www.w3.org/TR/rdf-sparql-query/#rPN_PREFIX">prefix</a></code>.
</p>
@@ -2187,13 +2187,13 @@
<p>The non terminals
-<a class="grammarRef" href="#prod-STRING_LITERAL">STRING_LITERAL</a>,
-<a class="grammarRef" href="#prod-INT_LITERAL">INT_LITERAL</a>, and
-<a class="grammarRef" href="#prod-QUALIFIED_NAME_LITERAL">QUALIFIED_NAME_LITERAL</a>
+<code class="content"><a class="grammarRef" href="#prod-STRING_LITERAL">STRING_LITERAL</a></code>,
+<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_LITERAL">QUALIFIED_NAME_LITERAL</a></code>
are syntactic sugar for quoted strings with datatype
-<a href="http://www.w3.org/TR/xmlschema-2/#string"><span class="name">xsd:string</span></a>,
-<a href="http://www.w3.org/TR/xmlschema-2/#int"><span class="name">xsd:int</span></a>, and
-<a class="grammarRef" href="#prod-QUALIFIED_NAME">prov:QUALIFIED_NAME</a>
+<code class="content"><a href="http://www.w3.org/TR/xmlschema-2/#string"><span class="name">xsd:string</span></a></code>,
+<code class="content"><a href="http://www.w3.org/TR/xmlschema-2/#int"><span class="name">xsd:int</span></a></code>, and
+<code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME">prov:QUALIFIED_NAME</a></code>
respectively.
</p>
@@ -2217,10 +2217,10 @@
<tr><td><a href="http://www.w3.org/TR/xmlschema-2/#unsignedByte">xsd:unsignedByte</a></td> <td><a href="http://www.w3.org/TR/xmlschema-2/#anyURI">xsd:QName</a></td><td></td></tr>
</table>
-<p><b>Note:</b>The productions for <a class="grammarRef" href="#prod-QUALIFIED_NAME">prov:QUALIFIED_NAME</a> and
-<a class="grammarRef" href="#prod-INT_LITERAL">INT_LITERAL</a> are conflicting. In the context of a
-<a class="grammarRef" href="#prod-literal">literal</a>, a parser should give precedence to the production for
-<a class="grammarRef" href="#prod-INT_LITERAL">INT_LITERAL</a>.
+<p><b>Note:</b>The productions for <code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME">prov:QUALIFIED_NAME</a></code> and
+<code class="content"><a class="grammarRef" href="#prod-INT_LITERAL">INT_LITERAL</a></code> are conflicting. In the context of a
+<code class="content"><a class="grammarRef" href="#prod-literal">literal</a></code>, a parser should give precedence to the production for
+<code class="content"><a class="grammarRef" href="#prod-INT_LITERAL">INT_LITERAL</a></code>.
</p>
</div>
@@ -2311,7 +2311,7 @@
<p>A <dfn>toplevel bundle</dfn> is a house-keeping construct of PROV-N capable of packaging up PROV-N <a title="expression">expressions</a> and namespace declarations. A toplevel bundle forms a self-contained package of provenance descriptions for the purpose of <em>exchanging</em> them. A toplevel bundle may be used
to package up PROV-N <a title="record">expressions</a> in response to a request for the provenance of something ([[PROV-AQ]]).</p>
-<p> Given its status of house keeping construct for the purpose of exchanging provenance expressions, a toplevel bundle is not defined as a PROV-N expression (production <a class="grammarRef" href="#prod-expression">expression</a>).</p>
+<p> Given its status of house keeping construct for the purpose of exchanging provenance expressions, a toplevel bundle is not defined as a PROV-N expression (production <code class="content"><a class="grammarRef" href="#prod-expression">expression</a></code>).</p>
<p>A toplevel bundle, written <span class="name">bundle decls exprs bundles endBundle</span> in PROV-N, contains:
@@ -2322,8 +2322,8 @@
<li><em>namedBundles</em>: a set of <a href="#expression-bundle-declaration">bundle declarations</a> <span class="name">bundles</span>;</li>
</ul>
-<p>A toplevel bundle's text matches the <a class="grammarRef"
- href="#prod-bundle">bundle</a> production.</p>
+<p>A toplevel bundle's text matches the <code class="content"><a class="grammarRef"
+ href="#prod-bundle">bundle</a> production.</code></p>
<table class="grammar">
<tbody class="grammar-ref" data-ref="prod-bundle"></tbody>