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@[]>
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.

IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
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