- From: Pat Hayes <phayes@ihmc.us>
- Date: Tue, 26 Feb 2013 19:40:26 -0600
- To: Peter Patel-Schneider <pfpschneider@gmail.com>
- Cc: RDF WG <public-rdf-wg@w3.org>
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 UTC