W3C home > Mailing lists > Public > public-rdf-wg@w3.org > February 2013

Re: proposal to close Issue 109 (ill-typed literals)

From: Pat Hayes <phayes@ihmc.us>
Date: Tue, 26 Feb 2013 19:40:26 -0600
Cc: RDF WG <public-rdf-wg@w3.org>
Message-Id: <25DAE510-FF0D-4C9E-80B5-F8DD31304B73@ihmc.us>
To: Peter Patel-Schneider <pfpschneider@gmail.com>

On Feb 26, 2013, at 3:34 PM, Peter Patel-Schneider wrote:

> I propose closing Issue 109 as described by Pat back in November in 
> http://lists.w3.org/Archives/Public/public-rdf-wg/2012Nov/0195.html 
> 
> The proposal is, roughly, to make ill-typed literals not denote anything, which (due to the very picky details of the wording of the rest of the semantics) means that any triple with an ill-typed literal is false (and not ill-typed itself, which you might have thought).

The source of this change was Richard wanting ill-typed literals be a kind of inconsistency, and the 'false triple' solution does exactly that. And that wording, while picky, is also absolutely standard, so this way of handling it is logically 'natural'.

BTW, if we impose the condition that  <I('sss'@ttt), I(ttt)>  in IEXT(I(rdf:type)), then we would get an inconsistency from an ill-typed literal in any case, even with the old treatment of ill-typed literals. 

Pat

> 
> peter
> 
> PS:  This is not my preferred solution, but it has support among the semanti-cists in the WG.

------------------------------------------------------------
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 Wednesday, 27 February 2013 01:40:51 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:25:54 GMT