W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > August 2003

Re: [rdfcore-in-exile] Agenda for 2003-08-22 RDFCore telecon (1hr)

From: Jan Grant <Jan.Grant@bristol.ac.uk>
Date: Mon, 25 Aug 2003 12:16:43 +0100 (BST)
To: Jos De_Roo <jos.deroo@agfa.com>
Cc: Dan Brickley <danbri@w3.org>, rdfcore-in-exile <rdfcore-in-exile@vapours.rdfweb.org>, rdfcore-in-exile-bounces <rdfcore-in-exile-bounces@vapours.rdfweb.org>, w3c-rdfcore-wg <w3c-rdfcore-wg@w3.org>
Message-ID: <Pine.GSO.4.44.0308251215020.16476-100000@mail.ilrt.bris.ac.uk>

On Fri, 22 Aug 2003, Jos De_Roo wrote:

>
>
> Jan - it is right that in our current implementation
>
> [[
> eg:foo eg:bar "10"^^xsd:integer .
> ]]
> rdfs+dt(xsd:integer, xsd:decimal) - entails
> [[
> eg:foo eg:bar "10.0"^^xsd:decimal .
> ]]
>
> and also the other way around; we did that in a builtin way
>
> [[
>       if (obj != null && verb == "^^" && t.verb == "^^" && subj.bound &&
> t.subj.bound &&
>           (obj.unify(t.obj, r, s) || Datatype.isNumeric(obj.deref().verb)
> &&
>
> Datatype.isNumeric(t.obj.deref().verb)))
>         return Datatype.compare(obj.deref().verb, r.getLit(this),
> r.getLit(t)) == 0;
> ]]
>
> and where Datatype.compare is using Xerces or .NET functionality
>
> but maybe we went too far...

Not at all; at the last telecon, the general opinion was "don't touch
this test case"; that is, to leave it as-is.


-- 
jan grant, ILRT, University of Bristol. http://www.ilrt.bris.ac.uk/
Tel +44(0)117 9287088 Fax +44 (0)117 9287112 http://ioctl.org/jan/
printf 'cat\nhello world' | `sh -c 'read c; echo $c'`
Received on Tuesday, 26 August 2003 17:59:24 EDT

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