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

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 UTC