- From: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
- Date: Tue, 19 Mar 2002 11:03:36 +0000
- 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 UTC