- From: pat hayes <phayes@ai.uwf.edu>
- Date: Fri, 8 Nov 2002 09:35:35 -0600
- To: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
- Cc: w3c-rdfcore-wg@w3.org
>Hmmm... when I stumbled across that niggle, I wondered if you might >not introduce some "bottom" concept into the domain of >interpretation, so even invalid lexical forms have a denotation. > >#g Nah, that doesn't work, Ive been there. In order to avoid warping the entire logic it has to be on the side rather than on the bottom, as it were. But I think I will indeed do that as it avoids some problems that Peter is worried about, and its simpler in any case. Pat >-- > >At 06:36 PM 11/6/02 -0600, pat hayes wrote: > >>In case anyone was wondering, the reason that the inference >> >>aaa bbb "foo"^^ddd . >>--> >>aaa bbb _:xxx . >>_:xxx rdf:type ddd . >> >>didnt get put into RDFS (but was left until the datatypes were >>introduced) is because, contrary to what I first thought, this >>inference DOES depend on access to datatype information, in order >>to check that 'foo' is a legal lexical form according to the >>datatype ddd. So even though it doesnt depend on the particular >>value, it does need external datatype information to be valid. >> >>Just a quick explanation. >> >>Also, after Jos' question I guess I ought to either remove that >>comment or else put in a bit more explanation. Sigh. >> >>Pat >>-- >>--------------------------------------------------------------------- >>IHMC (850)434 8903 home >>40 South Alcaniz St. (850)202 4416 office >>Pensacola (850)202 4440 fax >>FL 32501 (850)291 0667 cell >>phayes@ai.uwf.edu http://www.coginst.uwf.edu/~phayes >>s.pam@ai.uwf.edu for spam > >------------------- >Graham Klyne ><GK@NineByNine.org> -- --------------------------------------------------------------------- IHMC (850)434 8903 home 40 South Alcaniz St. (850)202 4416 office Pensacola (850)202 4440 fax FL 32501 (850)291 0667 cell phayes@ai.uwf.edu http://www.coginst.uwf.edu/~phayes s.pam@ai.uwf.edu for spam
Received on Friday, 8 November 2002 10:35:16 UTC