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

Re: TDL Model Theory

From: Patrick Stickler <patrick.stickler@nokia.com>
Date: Fri, 25 Jan 2002 16:39:36 +0200
To: ext Graham Klyne <Graham.Klyne@MIMEsweeper.com>
CC: Jeremy Carroll <jjc@hplb.hpl.hp.com>, RDF Core <w3c-rdfcore-wg@w3.org>
Message-ID: <B8773AC8.C56F%patrick.stickler@nokia.com>
On 2002-01-25 12:50, "ext Graham Klyne" <Graham.Klyne@MIMEsweeper.com>
wrote:

> At 04:42 PM 1/24/02 +0200, Patrick Stickler wrote:
>>> I really meant to say:
>>>>    <"10",2>
>>>>    <"10",10>
>> 
>> It's probably clearer to indicate that these mappings
>> are within the scope of a specific datatype, e.g.
>> 
>>    BinaryNumber("10",2)
>>    DecimalNumber("10",10)
> 
> Trouble is, that's not what Jeremy's proposed MT says.

Of course that's what it says.

The specified pairings correspond to the mappings between
a member of a value space
of a *specific* datatype and a member of the lexical
space of the *same* datatype. Thus, the pairing
("10",2) is not without context. The context is the
datatype, such that "10" is a member of that datatype's
lexical space and 2 is the corresponding member of
the same datatype's value space.

Patrick

--
               
Patrick Stickler              Phone: +358 50 483 9453
Senior Research Scientist     Fax:   +358 7180 35409
Nokia Research Center         Email: patrick.stickler@nokia.com
Received on Friday, 25 January 2002 09:38:42 EST

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