--- a/drafts/rdf11-mt/Overview.html Wed Jul 03 11:24:09 2013 -0700
+++ b/drafts/rdf11-mt/Overview.html Wed Jul 03 11:26:28 2013 -0700
@@ -175,16 +175,16 @@
<body class="h-entry"><div class="head">
<p>
- <a href="http://www.w3.org/"><img src="http://www.w3.org/Icons/w3c_home" alt="W3C" height="48" width="72"></a>
+ <a href="http://www.w3.org/"><img src="https://www.w3.org/Icons/w3c_home" alt="W3C" height="48" width="72"></a>
</p>
<h1 class="title p-name" id="title">RDF 1.1 Semantics</h1>
- <h2 id="w3c-editor-s-draft-03-july-2013"><abbr title="World Wide Web Consortium">W3C</abbr> Editor's Draft <time class="dt-published" datetime="2013-07-03">03 July 2013</time></h2>
+ <h2 id="w3c-last-call-working-draft-03-july-2013"><abbr title="World Wide Web Consortium">W3C</abbr> Last Call Working Draft <time class="dt-published" datetime="2013-07-03">03 July 2013</time></h2>
<dl>
<dt>This version:</dt>
- <dd><a class="u-url" href="https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/index.html">https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/index.html</a></dd>
+ <dd><a class="u-url" href="http://www.w3.org/TR/2013/WD-rdf11-mt-20130703/">http://www.w3.org/TR/2013/WD-rdf11-mt-20130703/</a></dd>
<dt>Latest published version:</dt>
<dd><a href="http://www.w3.org/TR/rdf11-mt/">http://www.w3.org/TR/rdf11-mt/</a></dd>
@@ -195,8 +195,9 @@
-
+ <dt>Previous version:</dt>
+ <dd><a href="http://www.w3.org/TR/2013/WD-rdf11-mt-20130409/">http://www.w3.org/TR/2013/WD-rdf11-mt-20130409/</a></dd>
<dt>Latest recommendation:</dt>
@@ -248,7 +249,9 @@
[<cite><a href="#bib-RDF-MT" class="bibref">RDF-MT</a></cite>] and supersedes that document.</p>
<p>
- This document was published by the <a href="http://www.w3.org/2011/rdf-wg/">RDF Working Group</a> as an Editor's Draft.
+ This document was published by the <a href="http://www.w3.org/2011/rdf-wg/">RDF Working Group</a> as a Last Call Working Draft.
+
+ This document is intended to become a <abbr title="World Wide Web Consortium">W3C</abbr> Recommendation.
If you wish to make comments regarding this document, please send them to
@@ -256,19 +259,24 @@
(<a href="mailto:public-rdf-comments-request@w3.org?subject=subscribe">subscribe</a>,
<a href="http://lists.w3.org/Archives/Public/public-rdf-comments/">archives</a>).
-
+ The Last Call period ends 06 September 2013.
All comments are welcome.</p>
<p>
- Publication as an Editor's Draft does not imply endorsement by the <abbr title="World Wide Web Consortium">W3C</abbr> Membership.
+ Publication as a Last Call Working Draft does not imply endorsement by the <abbr title="World Wide Web Consortium">W3C</abbr> Membership.
This is a draft document and may be updated, replaced or obsoleted by other documents at
any time. It is inappropriate to cite this document as other than work in progress.
</p>
+ <p>
+ This is a Last Call Working Draft and thus the Working Group has determined that this document has satisfied the
+ relevant technical requirements and is sufficiently stable to advance through the Technical Recommendation process.
+ </p>
+
<p>
This document was produced by a group operating under the
@@ -291,7 +299,7 @@
-</section><section id="toc"><h2 class="introductory">Table of Contents</h2><ul class="toc"><li class="tocline"><a class="tocxref" href="#introduction-1"><span class="secno">1. </span>Introduction</a></li><li class="tocline"><a class="tocxref" href="#conformance"><span class="secno">2. </span>Conformance</a></li><li class="tocline"><a class="tocxref" href="#semantic-extensions-and-entailment-regimes"><span class="secno">3. </span>Semantic Extensions and Entailment Regimes</a></li><li class="tocline"><a class="tocxref" href="#notation-and-terminology"><span class="secno">4. </span>Notation and Terminology</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#shared-blank-nodes-unions-and-merges"><span class="secno">4.1 </span>Shared blank nodes, unions and merges</a></li></ul></li><li class="tocline"><a class="tocxref" href="#simple-interpretations"><span class="secno">5. </span> Simple Interpretations</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#blank-nodes"><span class="secno">5.1 </span>Blank nodes</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#shared-blank-nodes-informative"><span class="secno">5.1.1 </span>Shared blank nodes (Informative)</a></li></ul></li><li class="tocline"><a class="tocxref" href="#intuitive-summary-informative"><span class="secno">5.2 </span>Intuitive summary (Informative)</a></li><li class="tocline"><a class="tocxref" href="#simpleentailment"><span class="secno">5.3 </span>Simple Entailment</a></li><li class="tocline"><a class="tocxref" href="#properties-of-simple-entailment-informative"><span class="secno">5.4 </span>Properties of simple entailment (Informative) </a></li></ul></li><li class="tocline"><a class="tocxref" href="#skolemization-informative"><span class="secno">6. </span>Skolemization (Informative)</a></li><li class="tocline"><a class="tocxref" href="#literals-and-datatypes"><span class="secno">7. </span>Literals and datatypes</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#D_interpretations"><span class="secno">7.1 </span>D-interpretations</a></li><li class="tocline"><a class="tocxref" href="#datatype-entailment"><span class="secno">7.2 </span>Datatype entailment</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#patterns-of-datatype-entailment-informative"><span class="secno">7.2.1 </span>Patterns of datatype entailment (Informative)</a></li></ul></li></ul></li><li class="tocline"><a class="tocxref" href="#rdf-interpretations"><span class="secno">8. </span>RDF Interpretations</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#rdf-entailment"><span class="secno">8.1 </span><span class="formerLink"></span>RDF entailment</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#patterns-of-rdf-entailment-informative"><span class="secno">8.1.1 </span>Patterns of RDF entailment (Informative)</a></li></ul></li></ul></li><li class="tocline"><a class="tocxref" href="#rdfs-interpretations"><span class="secno">9. </span>RDFS Interpretations</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#a-note-on-rdfs-literal-informative"><span class="secno">9.1 </span>A note on rdfs:Literal (Informative)</a></li><li class="tocline"><a class="tocxref" href="#rdfs-entailment"><span class="secno">9.2 </span>RDFS entailment</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#patterns-of-rdfs-entailment-informative"><span class="secno">9.2.1 </span>Patterns of RDFS entailment (Informative)</a></li></ul></li></ul></li><li class="tocline"><a class="tocxref" href="#rdf-datasets"><span class="secno">10. </span>RDF Datasets</a></li><li class="tocline"><a class="tocxref" href="#entailment-rules-informative"><span class="secno">A. </span>Entailment rules (Informative)</a></li><li class="tocline"><a class="tocxref" href="#finite-interpretations-informative"><span class="secno">B. </span>Finite interpretations (Informative)</a></li><li class="tocline"><a class="tocxref" href="#proofs-of-some-results-informative"><span class="secno">C. </span>Proofs of some results (Informative)</a></li><li class="tocline"><a class="tocxref" href="#whatnot"><span class="secno">D. </span>RDF reification, containers and collections (Informative)</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#reification"><span class="secno">D.1 </span><span class="formerLink" >Reification</span></a></li><li class="tocline"><a class="tocxref" href="#rdf-containers"><span class="secno">D.2 </span>RDF containers</a></li><li class="tocline"><a class="tocxref" href="#rdf-collections"><span class="secno">D.3 </span>RDF collections</a></li></ul></li><li class="tocline"><a class="tocxref" href="#acknowledgements-1"><span class="secno">E. </span>Acknowledgements</a></li><li class="tocline"><a class="tocxref" href="#references"><span class="secno">F. </span>References</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#normative-references"><span class="secno">F.1 </span>Normative references</a></li><li class="tocline"><a class="tocxref" href="#informative-references"><span class="secno">F.2 </span>Informative references</a></li></ul></li></ul></section>
+</section><section id="toc"><h2 class="introductory">Table of Contents</h2><ul class="toc"><li class="tocline"><a class="tocxref" href="#introduction-1"><span class="secno">1. </span>Introduction</a></li><li class="tocline"><a class="tocxref" href="#conformance"><span class="secno">2. </span>Conformance</a></li><li class="tocline"><a class="tocxref" href="#semantic-extensions-and-entailment-regimes"><span class="secno">3. </span>Semantic Extensions and Entailment Regimes</a></li><li class="tocline"><a class="tocxref" href="#notation-and-terminology"><span class="secno">4. </span>Notation and Terminology</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#shared-blank-nodes-unions-and-merges"><span class="secno">4.1 </span>Shared blank nodes, unions and merges</a></li></ul></li><li class="tocline"><a class="tocxref" href="#simple-interpretations"><span class="secno">5. </span> Simple Interpretations</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#blank-nodes"><span class="secno">5.1 </span>Blank nodes</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#shared-blank-nodes-informative"><span class="secno">5.1.1 </span>Shared blank nodes (Informative)</a></li></ul></li><li class="tocline"><a class="tocxref" href="#intuitive-summary-informative"><span class="secno">5.2 </span>Intuitive summary (Informative)</a></li><li class="tocline"><a class="tocxref" href="#simpleentailment"><span class="secno">5.3 </span>Simple Entailment</a></li><li class="tocline"><a class="tocxref" href="#properties-of-simple-entailment-informative"><span class="secno">5.4 </span>Properties of simple entailment (Informative) </a></li></ul></li><li class="tocline"><a class="tocxref" href="#skolemization-informative"><span class="secno">6. </span>Skolemization (Informative)</a></li><li class="tocline"><a class="tocxref" href="#literals-and-datatypes"><span class="secno">7. </span>Literals and datatypes</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#D_interpretations"><span class="secno">7.1 </span>D-interpretations</a></li><li class="tocline"><a class="tocxref" href="#datatype-entailment"><span class="secno">7.2 </span>Datatype entailment</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#patterns-of-datatype-entailment-informative"><span class="secno">7.2.1 </span>Patterns of datatype entailment (Informative)</a></li></ul></li></ul></li><li class="tocline"><a class="tocxref" href="#rdf-interpretations"><span class="secno">8. </span>RDF Interpretations</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#rdf-entailment"><span class="secno">8.1 </span>RDF entailment</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#patterns-of-rdf-entailment-informative"><span class="secno">8.1.1 </span>Patterns of RDF entailment (Informative)</a></li></ul></li></ul></li><li class="tocline"><a class="tocxref" href="#rdfs-interpretations"><span class="secno">9. </span>RDFS Interpretations</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#a-note-on-rdfs-literal-informative"><span class="secno">9.1 </span>A note on rdfs:Literal (Informative)</a></li><li class="tocline"><a class="tocxref" href="#rdfs-entailment"><span class="secno">9.2 </span>RDFS entailment</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#patterns-of-rdfs-entailment-informative"><span class="secno">9.2.1 </span>Patterns of RDFS entailment (Informative)</a></li></ul></li></ul></li><li class="tocline"><a class="tocxref" href="#rdf-datasets"><span class="secno">10. </span>RDF Datasets</a></li><li class="tocline"><a class="tocxref" href="#entailment-rules-informative"><span class="secno">A. </span>Entailment rules (Informative)</a></li><li class="tocline"><a class="tocxref" href="#finite-interpretations-informative"><span class="secno">B. </span>Finite interpretations (Informative)</a></li><li class="tocline"><a class="tocxref" href="#proofs-of-some-results-informative"><span class="secno">C. </span>Proofs of some results (Informative)</a></li><li class="tocline"><a class="tocxref" href="#whatnot"><span class="secno">D. </span>RDF reification, containers and collections (Informative)</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#reification"><span class="secno">D.1 </span>Reification</a></li><li class="tocline"><a class="tocxref" href="#rdf-containers"><span class="secno">D.2 </span>RDF containers</a></li><li class="tocline"><a class="tocxref" href="#rdf-collections"><span class="secno">D.3 </span>RDF collections</a></li></ul></li><li class="tocline"><a class="tocxref" href="#acknowledgements-1"><span class="secno">E. </span>Acknowledgements</a></li><li class="tocline"><a class="tocxref" href="#references"><span class="secno">F. </span>References</a><ul class="toc"><li class="tocline"><a class="tocxref" href="#normative-references"><span class="secno">F.1 </span>Normative references</a></li><li class="tocline"><a class="tocxref" href="#informative-references"><span class="secno">F.2 </span>Informative references</a></li></ul></li></ul></section>
@@ -353,7 +361,7 @@
A <dfn id="dfn-proper-subgraph">proper subgraph</dfn> is a proper subset of the triples in the graph. </p>
-<p>A <dfn id="dfn-ground">ground</dfn> RDF graph is one which contains no blank
+<p>A <dfn id="dfn-ground">ground</dfn> RDF graph is one that contains no blank
nodes.</p>
<p>Suppose that M is a functional mapping from a set of blank
@@ -780,7 +788,7 @@
<section id="rdf-entailment">
-<h3><span class="secno">8.1 </span><a id="rdf_entail"></a>RDF entailment</h3>
+<h3 id="rdf_entail"><span class="secno">8.1 </span>RDF entailment</h3>
<p>S <dfn id="dfn-rdf-entail">RDF entail</dfn><strong>s</strong> E <strong>recognizing D</strong> when every <a>RDF interpretation recognizing D</a> which satisfies S also satisfies E. When D is {<code>rdf:langString</code>, <code>xsd:string</code>} then we simply say S <strong>RDF entails</strong> E. </p>
@@ -1397,7 +1405,7 @@
<section id="reification">
-<h3><span class="secno">D.1 </span><a class="internalDFN" href="#dfn-reification" id="Reif">Reification</a></h3><p><em>This section is non-normative.</em></p>
+<h3 id="Reif"><span class="secno">D.1 </span>Reification</h3><p><em>This section is non-normative.</em></p>
<div class="c1">
<table border="1">