Re: A very short list of residual datatyping issues (just one ;-)

At 15:58 12/03/2002 +0200, Patrick Stickler wrote:
>On 2002-03-12 15:01, "ext Brian McBride" <bwm@hplb.hpl.hp.com> wrote:

[...]


>The point I am trying to make here is that with the
>present treatment of datatype URI's denoting only the
>value space rather than the entire datatype,

In the present model theory, datatype URI's denote the
datatype.  The class extension of the datatype is the value
space.  I believe your assumption about the present treatment
is false.

Brian