For RDF Concepts: term-equality and value-equality.

RDF Concepts says:

[[
Literal equality: Two literals are equal if and only if the two lexical 
forms, the two datatype IRIs, and the two language tags (if any) compare 
equal, character by character.
]]

I think it would be useful to spell out "term equality" and "value 
equality" as important concepts.

RDF Concepts already defines "RDF term".

[[
Literal term equality: Two literals are term-equals (the same RDF 
literal) if and only if the two lexical forms, the two datatype IRIs, 
and the two language tags (if any) compare equal, character by character.
]]

[[
Literal value equality: 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 term.  For example:

"1"^^xs:integer

"01"^^xs:integer

are assciated with the same value, but are not the same literal RDF 
terms and are not term-equals.
]]

("associated" is the work used in 5.5 currently)

 Andy

Received on Tuesday, 7 May 2013 09:13:51 UTC