--- a/ReSpec.js/bibref/biblio.js Fri Nov 09 17:06:02 2012 +0000
+++ b/ReSpec.js/bibref/biblio.js Fri Nov 09 18:11:52 2012 +0000
@@ -6,7 +6,7 @@
"RDF-PLAINLITERAL" : "Jie Bao; Sandro Hawke; Boris Motik; Peter F. Patel-Schneider; Axel Polleres. <a href=\"http://www.w3.org/TR/2009/REC-rdf-plain-literal-20091027/\"><cite>rdf:PlainLiteral: A Datatype for RDF Plain Literals.</cite></a> 27 October 2009. W3C Recommendation. URL: <a href=\"http://www.w3.org/TR/2009/REC-rdf-plain-literal-20091027/\">http://www.w3.org/TR/2009/REC-rdf-plain-literal-20091027/</a>",
"WELL-KNOWN" : "M. Nottingham; E. Hammer-Lahav. <a href=\"http://tools.ietf.org/html/rfc5785\"><cite>Defining Well-Known Uniform Resource Identifiers (URIs).</cite></a> April 2010. Internet RFC 5785. URL: <a href=\"http://tools.ietf.org/html/rfc5785\">http://tools.ietf.org/html/rfc5785</a>",
// For Turtle
- "TURTLE-TR" : "Eric Prud'hommeaux, Gavin Carothers. <a href=\"http://www.w3.org/TR/2011/WD-turtle-20110809/\"><cite>Turtle: Terse RDF Triple Language.</cite></a> 09 August 2011. W3C Working Draft. URL: <a href=\"http://www.w3.org/TR/2011/WD-turtle-20110809/\">http://www.w3.org/TR/2011/WD-turtle-20110809/</a>",
+ "TURTLE-TR" : "Eric Prud'hommeaux, Gavin Carothers. <a href=\"http://www.w3.org/TR/2012/WD-turtle-20120710/\"><cite>Turtle: Terse RDF Triple Language.</cite></a> 10 July 2012. W3C Working Draft. URL: <a href=\"http://www.w3.org/TR/2012/WD-turtle-20120710/\">http://www.w3.org/TR/2012/WD-turtle-20120710/</a>",
"UNISEC" : "Mark Davis; Michel Suignard. <a href=\"http://www.unicode.org/reports/tr36/\"><cite>Unicode Security Considerations</cite></a> 4 August 2010. URL: <a href=\"http://www.unicode.org/reports/tr36/\">http://www.unicode.org/reports/tr36/</a>",
"EBNF-NOTATION" : "Tim Bray; Jean Paoli; C. M. Sperberg-McQueen; Eve Maler; François Yergeau. <a href=\"http://www.w3.org/TR/REC-xml/#sec-notation\"><cite>EBNF Notation</cite></a> 26 November 2008. W3C Recommendation. URL: <a href=\"http://www.w3.org/TR/REC-xml/#sec-notation\">http://www.w3.org/TR/REC-xml/#sec-notation</a> ",
"N-TRIPLES" : "Jan Grant; Dave Beckett. <a href=\"http://www.w3.org/TR/rdf-testcases/#ntriples\"><cite>N-Triples</cite></a> 10 February 2004. W3C Recommendation. URL: <a href=\"http://www.w3.org/TR/rdf-testcases/#ntriples\">http://www.w3.org/TR/rdf-testcases/#ntriples</a>",
@@ -160,7 +160,7 @@
"DIG2000" : "Digital Imaging Group. <a href=\"http://www.digitalimaging.org/pdf/wg1n1017.pdf\"><cite>DIG2000 file format proposal.</cite></a> Oct 1998. Report (draft) ISO/IEC JTC1/SG29/WG1 N1017. URL: <a href=\"http://www.digitalimaging.org/pdf/wg1n1017.pdf\">http://www.digitalimaging.org/pdf/wg1n1017.pdf</a> ",
"DISCO-PROP" : "Rich Tibbett, Clarke Stevens. <a href=\"http://people.opera.com/richt/release/specs/discovery/Overview.html\"><cite>Networked Service Discovery and Messaging</cite></a>. 22 September 2011. Draft proposal (no official standing). URL: <a href=\"http://people.opera.com/richt/release/specs/discovery/Overview.html\">http://people.opera.com/richt/release/specs/discovery/Overview.html</a>",
"DOM-BINDINGS" : "Cameron McCormack. <a href=\"http://www.w3.org/TR/2008/WD-WebIDL-20081219\"><cite>Web IDL.</cite></a> 19 December 2008. W3C Working Draft. (Work in progress.) URL: <a href=\"http://www.w3.org/TR/2008/WD-WebIDL-20081219\">http://www.w3.org/TR/2008/WD-WebIDL-20081219</a> ",
- "DOM4" : "Anne van Kesteren; Aryeh Gregor; Ms2ger. <a href=\"http://www.w3.org/TR/2012/WD-dom-20120105/\"><cite>DOM4.</cite></a> 5 January 2012. W3C Working Draft. (Work in progress.) URL: <a href=\"http://www.w3.org/TR/2012/WD-dom-20120105/\">http://www.w3.org/TR/2012/WD-dom-20120105/</a> ",
+ "DOM4" : "Anne van Kesteren; Aryeh Gregor; Ms2ger. <a href=\"http://www.w3.org/TR/2012/WD-dom-20120405/\"><cite>DOM4.</cite></a> 5 April 2012. W3C Working Draft. (Work in progress.) URL: <a href=\"http://www.w3.org/TR/2012/WD-dom-20120405/\">http://www.w3.org/TR/2012/WD-dom-20120405/</a> ",
"DOM-LEVEL-1" : "Vidur Apparao; et al. <a href=\"http://www.w3.org/TR/1998/REC-DOM-Level-1-19981001/\"><cite>Document Object Model (DOM) Level 1.</cite></a> 1 October 1998. W3C Recommendation. URL: <a href=\"http://www.w3.org/TR/1998/REC-DOM-Level-1-19981001/\">http://www.w3.org/TR/1998/REC-DOM-Level-1-19981001/</a> ",
"DOM-LEVEL-1-2e" : "Jonathan Robie; et al. <a href=\"http://www.w3.org/TR/2000/WD-DOM-Level-1-20000929\"><cite>Document Object Model (DOM) Level 1 Specification (Second Edition).</cite></a> 29 September 2000. W3C Working Draft. (Work in progress.) URL: <a href=\"http://www.w3.org/TR/2000/WD-DOM-Level-1-20000929\">http://www.w3.org/TR/2000/WD-DOM-Level-1-20000929</a> ",
"DOM-LEVEL-2-CORE" : "Arnaud Le Hors; et al. <a href=\"http://www.w3.org/TR/2000/REC-DOM-Level-2-Core-20001113/\"><cite>Document Object Model (DOM) Level 2 Core Specification.</cite></a> 13 November 2000. W3C Recommendation. URL: <a href=\"http://www.w3.org/TR/2000/REC-DOM-Level-2-Core-20001113/\">http://www.w3.org/TR/2000/REC-DOM-Level-2-Core-20001113/</a> ",
@@ -233,7 +233,7 @@
"HTML40" : "Ian Jacobs; David Raggett; Arnaud Le Hors. <a href=\"http://www.w3.org/TR/1998/REC-html40-19980424\"><cite>HTML 4.0 Specification.</cite></a> 24 April 1998. W3C Recommendation. URL: <a href=\"http://www.w3.org/TR/1998/REC-html40-19980424\">http://www.w3.org/TR/1998/REC-html40-19980424</a> ",
"HTML40-MOBILE" : "Shin'ichi Matsui; et al. <a href=\"http://www.w3.org/TR/1999/NOTE-html40-mobile-19990315\"><cite>HTML 4.0 Guidelines for Mobile Access.</cite></a> 15 March 1999. W3C Note. URL: <a href=\"http://www.w3.org/TR/1999/NOTE-html40-mobile-19990315\">http://www.w3.org/TR/1999/NOTE-html40-mobile-19990315</a> ",
"HTML401" : "David Raggett; Ian Jacobs; Arnaud Le Hors. <a href=\"http://www.w3.org/TR/1999/REC-html401-19991224\"><cite>HTML 4.01 Specification.</cite></a> 24 December 1999. W3C Recommendation. URL: <a href=\"http://www.w3.org/TR/1999/REC-html401-19991224\">http://www.w3.org/TR/1999/REC-html401-19991224</a> ",
- "HTML5" : "Ian Hickson; David Hyatt. <a href=\"http://www.w3.org/TR/html5\"><cite>HTML5.</cite></a> 29 March 2012. W3C Working Draft. (Work in progress.) URL: <a href=\"http://www.w3.org/TR/html5\">http://www.w3.org/TR/html5</a> ",
+ "HTML5" : "Ian Hickson; David Hyatt. <a href=\"http://www.w3.org/TR/html5\"><cite>HTML5.</cite></a> 25 October 2012. W3C Working Draft. (Work in progress.) URL: <a href=\"http://www.w3.org/TR/2012/WD-html5-20121025/\">http://www.w3.org/TR/2012/WD-html5-20121025/</a> ",
"HTML5-DIFF" : "Anne van Kesteren. <a href=\"http://www.w3.org/TR/2009/WD-html5-diff-20090212\"><cite>HTML 5 differences from HTML 4.</cite></a> 12 February 2009. W3C Working Draft. (Work in progress.) URL: <a href=\"http://www.w3.org/TR/2009/WD-html5-diff-20090212\">http://www.w3.org/TR/2009/WD-html5-diff-20090212</a> ",
"HTML5-PUBNOTES" : "Michael Smith. <a href=\"http://www.w3.org/TR/2008/NOTE-html5-pubnotes-20080610\"><cite>HTML 5 Publication Notes.</cite></a> 10 June 2008. W3C Note. URL: <a href=\"http://www.w3.org/TR/2008/NOTE-html5-pubnotes-20080610\">http://www.w3.org/TR/2008/NOTE-html5-pubnotes-20080610</a> ",
"HTML-DEVICE" : "Ian Hickson. <a href=\"http://dev.w3.org/html5/html-device/\"><cite>HTML Device</cite></a> 9th September 2010. W3C Editor's Draft. (Work in progress.) URL: <a href=\"http://dev.w3.org/html5/html-device/\">http://dev.w3.org/html5/html-device/</a>",
--- a/rdf-concepts/index.html Fri Nov 09 17:06:02 2012 +0000
+++ b/rdf-concepts/index.html Fri Nov 09 18:11:52 2012 +0000
@@ -397,37 +397,15 @@
<a>RDF graph</a> in a <dfn>concrete RDF syntax</dfn>, such as
Turtle [[TURTLE-TR]], RDFa [[RDFA-PRIMER]], RDF/XML [[RDF-SYNTAX-GRAMMAR]],
or N-Triples [[N-TRIPLES]].</p>
-
- <p class="issue">The Working Group intends to publish a Working Group
- Note detailing some of its efforts to define a formal semantics for
- RDF datasets. This is
- <a href="http://www.w3.org/2011/rdf-wg/track/actions/209">ACTION-209</a>.</p>
</section>
<section id="entailment">
<h3>Formal Meaning and Entailment</h3>
- <p class="issue">This section is work in progress.</p>
+ <div class="issue">
+ <p>This section is work in progress.</p>
- <p>The idea of meaning in RDF is underpinned by the formal concept
- of <dfn>entailment</dfn>. In brief, an <a>RDF graph</a> <em>A</em>
- is said to <em>entail</em> another RDF graph <em>B</em> if every
- possible arrangement of things in the world that makes <em>A</em> true
- also makes <em>B</em> true. On this basis, if the truth of <em>A</em>
- is presumed or demonstrated then the truth of <em>B</em> can be inferred.
- An account of meaning and entailment in RDF, using the formalism of
- model theory, is given in [[RDF-MT]].</p>
-
- <p class="note" id="note-comparing-lilterals">In application contexts,
- comparing the <a title="literal value">values of literals</a> is usually
- more helpful than comparing their syntactic forms
- (<a>literal equality</a>).
- Similarly, for comparing <a title="RDF graph">RDF graphs</a>,
- semantic notions of <a>entailment</a> are usually more helpful
- than syntactic <a>graph isomorphism</a>.</p>
-
- <div class="issue">
<p>The relationship between this document and RDF Semantics
[[RDF-MT]] is poorly defined and needs to be clarified. A principled
decision is necessary on what exactly the “interface” between Concepts
@@ -438,8 +416,8 @@
<p>Content in this document that perhaps should be in Semantics:</p>
<ul>
- <li>There is a <a href="#note-comparing-literals">Note on comparing literals</a> that makes a rather oblique reference to semantic notions of comparison.</li>
- <li>There are scattered references to <a>IRI equality</a> and <a>literal equality</a> throughout the text, but nothing on blank node equality or graph equality. The latter concepts would enter RDF Semantics territory. (<a>Graph isomorphism</a> is defined and is a syntactic notion).</li>
+ <li>Everything in this subsection</li>
+ <li><a>Literal value</a> is more a semantic concept than an abstract syntax concept</li>
</ul>
<p>Semantics-related content that should perhaps be in Concepts:</p>
@@ -452,9 +430,32 @@
<li>Informative entailment rules?</li>
</ul>
- <p>This is <a href="https://www.w3.org/2011/rdf-wg/track/issues/106">ISSUE-106</a>.</p>
+ <p>This is <a href="https://www.w3.org/2011/rdf-wg/track/issues/106">ISSUE-106</a>. It is somewhat blocked as no Editor's Draft of <em>RDF 1.1 Semantics</em> is available yet.</p>
</div>
+ <p class="issue">The Working Group intends to publish a Working Group
+ Note detailing some of its efforts to define a formal semantics for
+ RDF datasets. This is
+ <a href="http://www.w3.org/2011/rdf-wg/track/actions/209">ACTION-209</a>.
+ It should be referenced here when available.</p>
+
+ <p>The idea of meaning in RDF is underpinned by the formal concept
+ of <dfn>entailment</dfn>. In brief, an <a>RDF graph</a> <em>A</em>
+ is said to <em>entail</em> another RDF graph <em>B</em> if every
+ possible arrangement of things in the world that makes <em>A</em> true
+ also makes <em>B</em> true. On this basis, if the truth of <em>A</em>
+ is presumed or demonstrated then the truth of <em>B</em> can be inferred.
+ An account of meaning and entailment in RDF, using the formalism of
+ model theory, is given in [[RDF-MT]].</p>
+
+ <p>In application contexts,
+ comparing the <a title="literal value">values of literals</a> is usually
+ more helpful than comparing their syntactic forms
+ (<a>literal equality</a>).
+ Similarly, for comparing <a title="RDF graph">RDF graphs</a>,
+ semantic notions of <a>entailment</a> are usually more helpful
+ than syntactic <a>graph isomorphism</a>.</p>
+
</section>
@@ -664,7 +665,7 @@
<section id="section-blank-nodes">
<h2>Blank Nodes</h2>
- <p>The <dfn title="blank node">blank nodes<dfn> in an <a>RDF graph</a>
+ <p>The <dfn title="blank node">blank nodes</dfn> in an <a>RDF graph</a>
are drawn from some arbitrary infinite set that fulfils
the following conditions:</p>
@@ -763,6 +764,10 @@
only if the triple <var>( M(s), p, M(o) )</var> is in
<var>G'</var></li>
</ol>
+
+ <p>See also: <a>IRI equality</a>, <a>literal equality</a>,
+ <a>blank node equality</a>.</p>
+
<p>With this definition, <var>M</var> shows how each blank node
in <var>G</var> can be replaced with
a new blank node to give <var>G'</var>. Graph isomorphism
@@ -1405,7 +1410,7 @@
<li>2012-05-10: Simplified <code><a>rdf:XMLLiteral</a></code>'s new value space slightly after feedback from Ivan Herman and Arnaud Le Hors.</li>
<li>2012-05-10: Added an informative subsection on <a href="#vocabularies">RDF vocabularies and namespace IRIs</a>.</li>
<li>2012-05-09: Removed an example from the conformance section that didn't make sense any more with the modified <code>rdf:XMLLiteral</code>. Added some new issue boxes.</li>
- <li>2012-05-09: <code><a>rdf:XMLLiteral</a></code> no longer requires lexical forms to be canonicalized, and the value space is now defined in terms of [[DOM-LEVEL-3-CORE]] (<a href="https://www.w3.org/2011/rdf-wg/track/issues/13">ISSUE-13</a>)</li>
+ <li>2012-05-09: <code><a>rdf:XMLLiteral</a></code> no longer requires lexical forms to be canonicalized, and the value space is now defined in terms of [DOM-LEVEL-3-CORE] (<a href="https://www.w3.org/2011/rdf-wg/track/issues/13">ISSUE-13</a>)</li>
<li>2012-05-09: Removed Section 3 <em>RDF Vocabulary IRI and Namespace</em>; its contents will be folded into the RDF Schema document</li>
<li>2012-05-02: Renamed “graph equivalence” to “<a>graph isomorphism</a>” (<a href="https://www.w3.org/2011/rdf-wg/track/issues/86">ISSUE-86</a>)</li>
<li>2012-05-02: Updated [[XMLSCHEMA11-1]] and [[XMLSCHEMA11-2]] references to the new REC versions</li>