W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > February 2002

Re: simplified datatyping proposal

From: Pat Hayes <phayes@ai.uwf.edu>
Date: Wed, 20 Feb 2002 21:25:01 -0600
Message-Id: <p05101402b89a18bb5bd9@[65.212.118.219]>
To: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
Cc: w3c-rdfcore-wg@w3.org
>At 12:27 PM 2/20/02 -0600, Pat Hayes wrote:
>>Well, I half-agree, but we can't have all three things at once:
>>
>>1. You and Graham want range-sensitive inline literals.
>>2. Dan C. wants an inline literal used with no datatyping to 
>>unambiguously denote a character string.
>>3. We all want the logic to be monotonic.
>>
>>Something has to give.
>
>Didn't the S proposal achieve all that?

No proposal can possibly achieve all that. Regardless of semantic 
ingenuity, those three are a logical contradiction by themselves. The 
*spec* is a contradiction, so theres no point trying to meet it.

Pat
-- 
---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
phayes@ai.uwf.edu 
http://www.coginst.uwf.edu/~phayes
Received on Wednesday, 20 February 2002 22:25:04 EST

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:45:18 EDT