author Richard Cyganiak Wed, 02 May 2012 18:52:31 +0100 changeset 314 54609f4c451e parent 313 bbdacced6497 child 315 6683793e59cd
graph equivalence -> graph isomorphism (ISSUE-86)
 rdf-concepts/index.html
```--- a/rdf-concepts/index.html	Wed May 02 18:48:31 2012 +0100
+++ b/rdf-concepts/index.html	Wed May 02 18:52:31 2012 +0100
@@ -353,9 +353,9 @@
<p>An <dfn>RDF graph</dfn> is a set of
<a title="RDF triple">RDF triples</a>.</p>

-    <p><a name="section-graph-equality"></a><dfn>Graph equivalence</dfn>:
+    <p><a name="section-graph-equality"></a><dfn>Graph isomorphism</dfn>:
Two <a title="RDF graph">RDF graphs</a>
-    <var>G</var> and <var>G'</var> are equivalent if there
+    <var>G</var> and <var>G'</var> are <em>isomorphic</em> if there
is a bijection <var>M</var> between the sets of nodes of the two graphs,
such that:</p>

@@ -373,19 +373,9 @@
</ol>
<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>. A definition of graph equivalence
+    a new blank node to give <var>G'</var>. Graph isomorphism
is needed to support the RDF Test Cases [[RDF-TESTCASES]] specification.</p>

-    <p class="issue">
-    This definition of “graph equivalence” only coincides with the
-    [[RDF-MT]] definition of
-    “<a href="http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#glossEquivalent">equivalent</a>”
-    under
-    <a href="http://www.w3.org/TR/2004/REC-rdf-mt-20040210/#entail">simple entailment</a>.
-    A possible solution would be to rename “graph equivalence” to
-    “graph isomorphism”. This is
-    <a href="https://www.w3.org/2011/rdf-wg/track/issues/86">ISSUE-86</a>.</p>
-

<section id="section-triples">
<h3>Triples</h3>
@@ -1020,7 +1010,7 @@
(<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 equivalence</a>.</p>
+    than syntactic <a>graph isomorphism</a>.</p>

</section>

@@ -1165,6 +1155,7 @@
<h2>Changes from RDF 2004</h2>

<ul>
+    <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>
<li>2012-05-02: Added the new XSD 1.1 datatypes <a href="http://www.w3.org/TR/xmlschema11-2/#dayTimeDuration">xsd:dayTimeDuration</a>, <a href="http://www.w3.org/TR/xmlschema11-2/#yearMonthDuration">xsd:yearMonthDuration</a> and <a href="http://www.w3.org/TR/xmlschema11-2/#dateTimeStamp">xsd:dateTimeStamp</a> to the list of <a>RDF-compatible XSD types</a> (<a href="https://www.w3.org/2011/rdf-wg/track/issues/66">ISSUE-66</a>)</li>
<li>2012-04-26: Remove normative definition of “property” as it disagreed with RDF Semantics; small editorial changes.</li>```