- From: Pat Hayes <phayes@ai.uwf.edu>
- Date: Thu, 21 Feb 2002 17:17:00 -0600
- 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 UTC