--- a/drafts/rdf11-mt/Overview.html Wed Jul 03 11:03:42 2013 -0700
+++ b/drafts/rdf11-mt/Overview.html Wed Jul 03 11:14:13 2013 -0700
@@ -171,11 +171,11 @@
.section dl.attrs dd, .section dl.eldef dd {
margin-bottom: 0;
}
-</style><link href="https://www.w3.org/StyleSheets/TR/W3C-ED" rel="stylesheet"><!--[if lt IE 9]><script src='https://www.w3.org/2008/site/js/html5shiv.js'></script><![endif]--></head>
+</style><link href="https://www.w3.org/StyleSheets/TR/W3C-WD" rel="stylesheet"><!--[if lt IE 9]><script src='https://www.w3.org/2008/site/js/html5shiv.js'></script><![endif]--></head>
<body class="h-entry"><div class="head">
<p>
- <a href="http://www.w3.org/"><img src="https://www.w3.org/Icons/w3c_home" alt="W3C" height="48" width="72"></a>
+ <a href="http://www.w3.org/"><img src="http://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>
@@ -291,7 +291,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" id="rdf_entail"></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" id="Reif">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><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>
--- a/rdf-mt/index.html Wed Jul 03 11:03:42 2013 -0700
+++ b/rdf-mt/index.html Wed Jul 03 11:14:13 2013 -0700
@@ -11,7 +11,7 @@
var respecConfig = {
//THis line is chacking on mercurial push. Ignore it. 20130530.1
// specification status (e.g. WD, LCWD, NOTE, etc.). If in doubt use ED.
- specStatus: "ED",
+ specStatus: "LCWD",
localBiblio:{
"HORST04":"Herman J. ter Horst. <cite>Extending the RDFS Entailment Lemma</cite>, in S.A. McIlraith et al. (Eds.), The Semantic Web - ISWC2004, Proceedings of the Third International Semantic Web Conference, Hiroshima, Japan, November 2004, Springer, LNCS 3298, pp. 77-91.",
@@ -46,10 +46,10 @@
previousMaturity: "WD",
// if there a publicly available Editor's Draft, this is the link
- edDraftURI: "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/index.html",
+ //edDraftURI: "https://dvcs.w3.org/hg/rdf/raw-file/default/rdf-mt/index.html",
// if this is a LCWD, uncomment and set the end of its review period
- // lcEnd: "2009-08-05",
+ lcEnd: "2013-09-06",
prevRecShortname: "rdf-mt/",
// if you want to have extra CSS, append them to this list
@@ -634,7 +634,7 @@
<section>
-<h3><a id="rdf_entail"></a>RDF entailment</h3>
+<h3 id="rdf_entail">RDF entailment</h3>
<p>S <dfn>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>
@@ -1251,7 +1251,7 @@
<section>
-<h3><a id="Reif">Reification</a></h3>
+<h3 id="Reif">Reification</h3>
<div class="c1">
<table border="1">