Update to satisfy ACTION-283 and ISSUE-140.
authorDavid Wood <dwood@zepheira.com>
Mon, 26 Aug 2013 18:39:20 -0400
changeset 1008 df9738cd469a
parent 1007 d5ae21434c66
child 1009 2580b1259313
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>
+		<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 &lt;s p o&gt;, <var>M</var>(&lt;s, p, o&gt;)=
+				&lt;<var>M(s)</var>, <var>M(p)</var>, <var>M(o)</var>&gt;;</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>&lt;n, G&gt; is in <var>NG1</var> if and only if
+				&lt;<var>M(n)</var>, <var>M(G)</var>&gt; is in <var>NG2</var>.
+		</ol>
 <section id="section-dataset-conneg" class="informative">
@@ -1406,6 +1426,9 @@
   <em>RDF 1.1 Concepts and Abstract Syntax</em>.</p>
+		<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