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

Re: simplified datatyping proposal

From: Pat Hayes <phayes@ai.uwf.edu>
Date: Thu, 21 Feb 2002 17:17:00 -0600
Message-Id: <p05101411b89b30498084@[65.212.118.219]>
To: Patrick Stickler <patrick.stickler@nokia.com>
Cc: w3c-rdfcore-wg@w3.org
>On 2002-02-20 19:56, "ext Pat Hayes" <phayes@ai.uwf.edu> wrote:
>
>
>>  I don't think that the union idea works mathematically, is the
>>  problem.
>
>It does if you don't insist on literal nodes denoting a value.
>
>If they consistently denote just a literal, and their treatment
>as a lexical form denoting a value lives in the interpretation
>alone, within the context of a datatype, then it works fine,
>I think.

I don't see how.

>
>>  as long as you are prepared to accept that this is a
>>  non-monotonic construction. That is going to stick in many craws,
>>  however.
>
>RDFS range and domain constraints *are* non-monotonic.

No, they aren't. See lemmas in the MT.

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 Thursday, 21 February 2002 18:17:01 EST

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