Added definitions for "term equality" and "value equality".
authorDavid Wood <dwood@zepheira.com>
Tue, 07 May 2013 12:09:34 -0400
changeset 810 957cd9278435
parent 809 31090a480c40
child 811 f145fb2d72e6
Added definitions for "term equality" and "value equality".
rdf-concepts/index.html
--- 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>