>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/~phayesReceived 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