Update to satisfy ACTION-283 and ISSUE-140.
--- a/rdf-concepts/index.html Wed Aug 21 14:47:24 2013 +0100
+++ b/rdf-concepts/index.html Mon Aug 26 18:39:20 2013 -0400
@@ -856,6 +856,26 @@
and <var>g1</var> and <var>g2</var> are graph-isomorphic.</li>
</ol>
+ <p id="section-dataset-equality">Two <a title="RDF Dataset">RDF datasets</a>
+ (the RDF dataset <var>D1</var> with default graph <var>DG1</var> and named
+ graph <var>NG1</var> and the RDF dataset <var>D2</var> with default graph
+ <var>DG2</var> and named graph <var>NG2</var>)
+ are <dfn title="dataset isomorphism">dataset-isomorphic</dfn> if and only if
+ there is a bijection <var>M</var> between the nodes, triples and graphs in
+ <var>D1</var> and those in <var>D2</var> such that:</p>
+
+ <ol>
+ <li><var>M</var> maps blank nodes to blank nodes;</li>
+ <li><var>M</var> is the identity map on literals and URIs;</li>
+ <li>For every triple <s p o>, <var>M</var>(<s, p, o>)=
+ <<var>M(s)</var>, <var>M(p)</var>, <var>M(o)</var>>;</li>
+ <li>For every graph <var>G</var>={t1, ...1n},
+ <var>M(G)</var>={<var>M(t1)</var>, ..., <var>M(Tn)</var>};</li>
+ <li><var>DG2</var> = <var>M(DG1)</var>; and</li>
+ <li><n, G> is in <var>NG1</var> if and only if
+ <<var>M(n)</var>, <var>M(G)</var>> is in <var>NG2</var>.
+ </ol>
+
</section>
<section id="section-dataset-conneg" class="informative">
@@ -1406,6 +1426,9 @@
<em>RDF 1.1 Concepts and Abstract Syntax</em>.</p>
<ul>
+ <li>2013-08-26: Update to Section 4.1 to satisfy <a
+ href="https://www.w3.org/2011/rdf-wg/track/actions/283">ACTION-283</a> and <a href="http://www.w3.org/2011/rdf-wg/track/issues/140">ISSUE-140</a> (<a
+ href="https://www.w3.org/2013/meeting/rdf-wg/2013-08-21#resolution_7">resolution</a>)</li>
<li>2013-07-15: Editorial change to the first paragraph of Section 1.7 in an attempt to clarify the relationship to RDF-MT following the <a href="http://lists.w3.org/Archives/Public/public-rdf-wg/2013Jul/0003.html">review by Markus Lanthaler</a> and <a href="http://lists.w3.org/Archives/Public/public-rdf-wg/2013Jul/0164.html">suggested changes by Peter Patel-Schneider</a></li>
<li>2013-07-03: Editorial changes in response to <a href="http://lists.w3.org/Archives/Public/public-rdf-wg/2013Jul/0003.html">a review by Markus Lanthaler</a> and a <a href="http://lists.w3.org/Archives/Public/public-rdf-wg/2013Jul/0026.html">related request</a></li>
<li>2013-06-27: Added informative section on generalized RDF triples, graphs, and