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

RE: TDL Model Theory

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Fri, 25 Jan 2002 16:40:58 -0000
To: "Pat Hayes" <phayes@ai.uwf.edu>
Cc: <w3c-rdfcore-wg@w3.org>
Message-ID: <JAEBJCLMIFLKLOJGMELDMENKCCAA.jjc@hplb.hpl.hp.com>
>
> 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 EST

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