--- a/model/prov-constraints.html Wed Nov 21 00:02:42 2012 +0000
+++ b/model/prov-constraints.html Wed Nov 21 00:03:24 2012 +0000
@@ -250,12 +250,12 @@
var extraReferences = {
"CHR":
- "Thom Frühwirth "+
+ "Thom Frühwirth. "+
"<a href=\"http://constraint-handling-rules.org/\"><cite>Constraint Handling Rules</cite></a>."+
" Cambridge University Press "+
" URL: <a href=\"http://constraint-handling-rules.org/\">http://constraint-handling-rules.org/</a>",
"CLOCK":
- "Lamport, L. "+
+ "L. Lamport. "+
"<a href=\"http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf\"><cite>Time, clocks, and the ordering of events in a distributed system</cite></a>."+
" Communications of the ACM 21 (7): 558–565. 1978. "+
"URL: <a href=\"http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf\">http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf</a> " +
@@ -266,12 +266,12 @@
"Prentice-Hall. 1985"+
"URL: <a href=\"http://www.usingcsp.com/cspbook.pdf\">http://www.usingcsp.com/cspbook.pdf</a>",
"DBCONSTRAINTS":
- " Ronald Fagin, Phokion G. Kolaitis, Renée J. Miller, and Lucian Popa "+
+ " 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>",
"Logic":
- "W. E. Johnson"+
+ "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>",
@@ -996,7 +996,7 @@
<h4>Constants, Variables and Placeholders</h4>
<p>
PROV statements involve identifiers, literals,
- placeholders, and attribute lists. Identifiers are, according to PROV-N, expressed as <a href="http://www.w3.org/TR/prov-n/#prod-QUALIFIED_NAME">qualified names</a> which can be mapped to URIs [[!IRI]].
+ placeholders, and attribute lists. Identifiers are, according to PROV-N, expressed as <a href="http://www.w3.org/TR/prov-n/#prod-QUALIFIED_NAME">qualified names</a> which can be mapped to URIs [[!RFC3987]].
However, in order to specify
constraints over PROV instances, we also need <em>variables</em>
that represent unknown identifiers, literals, or placeholders.
--- a/model/prov-dm.html Wed Nov 21 00:02:42 2012 +0000
+++ b/model/prov-dm.html Wed Nov 21 00:03:24 2012 +0000
@@ -316,7 +316,7 @@
"Prentice-Hall. 1985"+
"URL: <a href=\"http://www.usingcsp.com/cspbook.pdf\">http://www.usingcsp.com/cspbook.pdf</a>",
"Logic":
- "W. E. Johnson "+
+ "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>",
--- a/model/prov-n.html Wed Nov 21 00:02:42 2012 +0000
+++ b/model/prov-n.html Wed Nov 21 00:03:24 2012 +0000
@@ -192,7 +192,7 @@
"UNICODE" :
"The Unicode Consortium. "+
- " <a href=\"http://www.unicode.org/unicode/standard/versions/enumeratedversions.html\"><cite>The Unicode Standard.</cite></a>. " +
+ " <a href=\"http://www.unicode.org/unicode/standard/versions/enumeratedversions.html\"><cite>The Unicode Standard.</cite></a> " +
" Defined by: The Unicode Standard, Version 6.2.0, (Mountain View, CA: The Unicode Consortium, 2012. ISBN 978-1-936213-07-8) , as updated from time to time by the publication of new versions URL: <a href=\"http://www.unicode.org/unicode/standard/versions/enumeratedversions.html\">http://www.unicode.org/unicode/standard/versions/enumeratedversions.html</a> ",
"UNISEC":
" Mark Davis; Michel Suignard. " +
@@ -1438,7 +1438,7 @@
<tr><td><a><b>prefix</b></a></td><td><b>namespace uri</b></td> <td><b>definition</b></td></tr>
<tr><td><a>prov</a></td><td>http://www.w3.org/ns/prov#</td><td>The PROV namespace (see Section <a href="#expression-NamespaceDeclaration">3.7.4</a>)</td></tr>
<tr><td><a>xsd</a></td><td>http://www.w3.org/2000/10/XMLSchema#</td><td>XML Schema Namespace [[!XMLSCHEMA11-2]]</td></tr>
-<tr><td><a>(others)</a></td><td>(various)</td><td>All other namespace prefixes are used in examples only. <br/> In particular, URIs starting with "http://example.com" represent<br/> some application-dependent URI [[!URI]]</td></tr>
+<tr><td><a>(others)</a></td><td>(various)</td><td>All other namespace prefixes are used in examples only. <br/> In particular, URIs starting with "http://example.com" represent<br/> some application-dependent URI [[!RFC3986]]</td></tr>
</table>
</div>
@@ -2849,7 +2849,7 @@
-<p>A PROV-N qualified name <code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME">QUALIFIED_NAME</a></code> can be mapped to a valid IRI [[!IRI]] by concatenating the namespace denoted its local name <code class="content"><a class="grammarRef" href="http://www.w3.org/TR/rdf-sparql-query/#rPN_PREFIX">PN_PREFIX</a></code> to the local name <code class="content"><a class="grammarRef" href="#prod-PN_LOCAL">PN_LOCAL</a></code>, whose \-escaped characters have been unescaped by dropping the character '\' (backslash).</p>
+<p>A PROV-N qualified name <code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME">QUALIFIED_NAME</a></code> can be mapped to a valid IRI [[!RFC3987]] by concatenating the namespace denoted its local name <code class="content"><a class="grammarRef" href="http://www.w3.org/TR/rdf-sparql-query/#rPN_PREFIX">PN_PREFIX</a></code> to the local name <code class="content"><a class="grammarRef" href="#prod-PN_LOCAL">PN_LOCAL</a></code>, whose \-escaped characters have been unescaped by dropping the character '\' (backslash).</p>
<table class="grammar">