RE: TDL Model Theory

>
> However, I still think that most people who write something like
>
> foo rdfs:range xsd:integer .
>
> would intend to be saying that the range of foo was integers as
> defined by xsd.
>

Talking with Brian it seems it would have been clearer for our WG to have
used xsd:integer.map throughout the TDL proposal - at least that's the way
model theory worked out.

The TDL proposal only uses the value without its lexical representation in
the application space (above the model theory).

The way the mdoel theory for TDL is clear about type is to always have both
the literal string and the typed value.

Jeremy

Received on Friday, 25 January 2002 11:41:06 UTC