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

fwd from Jos

From: Dan Brickley <danbri@w3.org>
Date: Fri, 22 Aug 2003 13:03:37 -0400
To: w3c-rdfcore-wg@w3.org, rdfcore-in-exile@vapours.rdfweb.org
Message-ID: <20030822170337.GK23654@w3.org>

attached mail follows:

The attached message was received as a bounce, but either the bounce
format was not recognized, or no member addresses could be extracted
from it.  This mailing list has been configured to send all
unrecognized bounce messages to the list administrator(s).

For more information see:

attached mail follows:

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)

        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...

Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

                      Jan Grant                                                                                                                       
                      <Jan.Grant@bristol.ac.uk>               To:       Dan Brickley <danbri@w3.org>                                                  
                      Sent by:                                cc:       rdfcore-in-exile <rdfcore-in-exile@vapours.rdfweb.org>, w3c-rdfcore-wg@w3.org 
                      rdfcore-in-exile-bounces@vapours        Subject:  Re: [rdfcore-in-exile] Agenda for 2003-08-22 RDFCore telecon (1hr)            
                      2003-08-22 03:03 PM                                                                                                             

On Fri, 22 Aug 2003, Dan Brickley wrote:

> 12: Treatment of XSD types
>   thread spun off
>            [[
>            Hopefully for Pat to just confirm that I didn't imagine it
when I
>            thought I heard him say that this is now the treatment of XSD
types: ie,
>            that their denotation is a pair of (typename, value).
>            ]] --Jan
>            [[
>            xsd:integer is still a subclass of xsd:decimal (which may or
may not be
>            true with intentional semantics, regardless of the datatype
>            definition); or rather, the value space of one is a subset of
the value
>            space of the other (in which case nothing needs doing), or:
>            xsd:integer's value space is not a subset of the value space
>            xsd:decimal after all, in which case I add another "What?!?"
to the
>            list, but that's a problem to raise with the xml schema
>            ]] -- JanG
>            [[
>            Yup; when Pat said, "none of the XSD datatypes intersect", he
>            with the value space for XML Literal, not each other. Sorry if
I gave
>            anyone heartaches over their cornflakes.
>            ]]
>            JanG,
> Is this resolved / closed / understood now? Any affect on specs?

Actually, from the sound of PatH's followup, this might not be resolved.
Anyway, currently we have the test case:


which says that

eg:foo eg:bar "10"^^xsd:integer .
rdfs+dt(xsd:integer, xsd:decimal) - entails
eg:foo eg:bar "10.0"^^xsd:decimal .

The test case is useful in that it illustrates that two members of
different datatypes may indeed denote the same value. It also expresses
our best understanding at the time of the intention of the XSD spec.
Finally, in support of this test case, as I recall WebOnt passed a
resolution to the effect that (amongst other things) xsd:integer was a
subclass of xsd:decimal (wrt value spaces). I don't know if that
resolution is out-of-date.


- the test case actually tests another spec
- while it sounds like XMLSchema are prepping words which will probably
(due to equality/identity distinction) preserve the truth of this test
case by a gnat's whisker,
- ... the truth of this test case is not "obvious" since the XSD WG, if
not the spec itself, seem to be in two minds about it.

Thus there are three options:

1. Preserve the test case as is. In that case, we should probably
communicate to the XML Schema WG asking them to consider it as
identifying a strong use case should they come to revise their decisions
wrt the value sapces of XSD primitive types;

2. Remove it on the grounds that (a) it's not our problem, (b) the truth
of it depends on another WG's decisions

3. Label the test case as being non-normative, whilst approved, since
(a) it illustrates a valid point about the value spaces of datatyped
literals, regardless of the XSD details, (b) we think this is how XSD
primitive types should work in RDF, and again ask the XML Schema WG to
bear it in mind.

In that case the test case document would include some words about this
test case to the effect that the XSD types are used purely to ground in
concrete terms the illustrative test case.

We already have implementations (Jos?) that pass this test case.

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/
That which does not kill us goes straight to our thighs.

rdfcore-in-exile mailing list
Received on Friday, 22 August 2003 22:06:43 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:54:07 UTC