typed literal equality

moving to RDF WG list:

Andy Seaborne wrote:
> On 24/04/11 14:42, Nathan wrote:
>> so are we saying that the following are all different for purposes of
>> establishing equality?
>>
>> "100"^^xsd:double
>> "1E2"^^xsd:double
>> "1e2"^^xsd:double
>> "+100"^^xsd:double
>> "+1E2"^^xsd:double
>> "+1e2"^^xsd:double
> 
> They are all different as RDF terms.
> 
> They are the same *value*, different ways of writing it.  RDF (simple 
> entailment) does not say anything about literal values.
> 
> They are the same under XSD D-entailment (which requires full RDFS)

Why?

Sorry but I'm not understanding the benefit to anybody of having things 
defined like this. Can somebody explain?

Best,

Nathan

Received on Sunday, 24 April 2011 17:38:53 UTC