W3C home > Mailing lists > Public > public-rdf-wg@w3.org > April 2011

Re: typed literal equality

From: Pat Hayes <phayes@ihmc.us>
Date: Sun, 24 Apr 2011 17:34:49 -0500
Cc: RDF WG <public-rdf-wg@w3.org>, Andy Seaborne <andy.seaborne@epimorphics.com>, Ivan Herman <ivan@w3.org>
Message-Id: <6AD03AC1-BF51-4F25-ADE3-3E39B84E802E@ihmc.us>
To: nathan@webr3.org

On Apr 24, 2011, at 12:37 PM, Nathan wrote:

> 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.

Because they are: look at them.

>> They are the same *value*, different ways of writing it.

This is determined by the datatype mappings themselves, which often map distinct forms to the same value. 

>>  RDF (simple entailment) does not say anything about literal values.
>> They are the same under XSD D-entailment (which requires full RDFS)
> Why?

Why have several entailments? Good question. This was a basic design decision for RDF, to assign each namespace its own semantic conditions, so that we have simple entailment (just based on the graph syntax itself) , RDF entailment (basically the XMLLiteral stuff), RDFS entailment and RDFS-with-datatype entailment. This last one has to be defined with a parameter, D-entailment, because (of course) it varies depending on what datatypes you want to have recognized. 

As you maybe can tell, there was a strong sense of keeping things modular so that people could choose the 'pieces' they wanted without being committed to the whole ball of wax. And also (at the time) we didn't really have a good sense of what pieces people would want, so we probably did not carve it at the joints.

That help?


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

> Best,
> Nathan

IHMC                                     (850)434 8903 or (650)494 3973   
40 South Alcaniz St.           (850)202 4416   office
Pensacola                            (850)202 4440   fax
FL 32502                              (850)291 0667   mobile
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes
Received on Sunday, 24 April 2011 22:35:20 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 22:01:58 UTC