Re: simplified datatyping proposal

>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 UTC