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

Re: Trying to make sense of range and drange

From: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
Date: Tue, 19 Mar 2002 11:03:36 +0000
Message-Id: <5.1.0.14.2.20020319110233.038a0780@joy.songbird.com>
To: Pat Hayes <phayes@ai.uwf.edu>
Cc: w3c-rdfcore-wg@w3.org
At 07:59 PM 3/16/02 -0800, Pat Hayes wrote:
>>According to section 5 of [1], taking account that literals denote 
>>themselves, this means that
>>
>>    <x,y> in IEXT(I(ex:age)) => z=L2V(I(datatype:decimal))(y) for some z
>
>No, it doesn't constrain the relational extension. What it does say is that
>
>( <x,y> in IEXT(I(ex:age))  AND  y a literal)  => 
>z=L2V(I(datatype:decimal))(y) for some z
>
>ie IF its a literal then its in the lexical space of datatype:decimal. But 
>if its not, then nothing particular follows.

Ah, that's what I was missing.  Thanks.

#g


-------------------
Graham Klyne
<GK@NineByNine.org>
Received on Tuesday, 19 March 2002 11:07:47 EST

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