W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > November 2002

Re: Model theory review, thumbs up

From: Graham Klyne <GK@NineByNine.org>
Date: Sun, 10 Nov 2002 11:11:34 +0000
Message-Id: <5.1.0.14.2.20021110111008.03357020@127.0.0.1>
To: pat hayes <phayes@ai.uwf.edu>
Cc: w3c-rdfcore-wg@w3.org

At 02:19 PM 11/9/02 -0600, pat hayes wrote:
>>Given that the D-interpretation is defined in terms of a given set D of 
>>datatypes, it seems to me that it should be possible to define some rules 
>>in terms of the L2V of those datatypes (which I take to be equivalent to 
>>"consulting the datatype sources").  I don't have time right now to think 
>>this through, but it would be interesting to see if there's something 
>>more satisfying (sic) that can be said here.
>
>I think it can be said in terms of large/countable sets of equations. I 
>will try to make some useful remarks along these lines: check the doc in a 
>few hours to see.
>
>No doubt one ought to talk about facets, but I really have trouble 
>following the XML docs at that point. Ive been using numbers all my life 
>and I never noticed they had facets before.

I'm not sure that we want to get drawn into facets here... that would seem 
to make the datatyping very XML-schema centric, rather than having the 
schema datatyping as primus inter pares.

#g


-------------------
Graham Klyne
<GK@NineByNine.org>
Received on Sunday, 10 November 2002 06:47:22 EST

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:54:03 EDT