Added definitions for "term equality" and "value equality".
--- a/rdf-concepts/index.html Tue May 07 11:50:39 2013 -0400
+++ b/rdf-concepts/index.html Tue May 07 12:09:34 2013 -0400
@@ -649,6 +649,24 @@
<a title="datatype IRI">datatype IRIs</a>, and the two
<a title="language tag">language tags</a> (if any)
compare equal, character by character.</p>
+
+ <p><dfn>Literal term equality</dfn>: Two literals are term-equals
+ (the same RDF literal) if and only if the two <a title="lexical form">lexical forms</a>, the
+ two <a title="datatype IRI">datatype IRIs</a>, and the two <a title="language tag">language tags</a> (if any) compare equal,
+ character by character.</p>
+
+ <p><dfn>Literal value equality</dfn>: Two literals that are associated
+ with the same value as said to be value-equals. Two literals can
+ be value-equals without being the same <a title="RDF Term">RDF term</a>. For example:
+
+ <pre>
+ "1"^^xs:integer
+ "01"^^xs:integer
+ </pre>
+
+ <p>are associated with the same value, but are not the same literal
+ <a title="RDF Term">RDF terms</a> and are not term-equals.</p>
+
</section>