graph equivalence -> graph isomorphism (ISSUE-86)
authorRichard Cyganiak <richard@cyganiak.de>
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>