Re: Datatyping Summary V4

On 2002-02-05 11:47, "ext Brian McBride" <bwm@hplb.hpl.hp.com> wrote:

> At 20:33 04/02/2002 +0000, Graham Klyne wrote:
> [...]
> 
> 
>> is 10.5.   So the bnodes here must both denote the same value, i.e. 10.5.
> 
> That is not my understanding of how TDL model theory *currently* works
> though I think you and Pat may have some tricks to show us.  In the TDL
> model theory proposed by jeremy the nodes denote pairs, not values, and the
> pairs are unequal, even if their value components are equal.
> 
> Brian

I personally question the whole need for the literal nodes
to denote anything but literals -- it's the combination
of literal (lexical form) with datatype (context) that
denotes the value.

Must it be that *some* component of the graph individually
denote the value?

Why is it so hard to say that an idiom, which identifies
both literal and datatype, expresses a TDL
pairing (which is not explicit in the graph) and the
TDL pairing denotes the value. Simple, no? Or am I just
missing the whole point of the MT...?

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 Tuesday, 5 February 2002 07:09:14 UTC