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

Re: document status update

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Mon, 18 Aug 2003 21:59:09 +0200
To: "Dan Connolly <connolly" <connolly@w3.org>
Cc: Eric Miller <em@w3.org>, Jan Grant <Jan.Grant@bristol.ac.uk>, w3c-rdfcore-wg@w3.org, w3c-rdfcore-wg-request@w3.org
Message-ID: <OFED3AE4EB.22EF81C0-ONC1256D86.006C2149-C1256D86.006DCBBE@agfa.be>


Dan Connolly wrote:
> On Mon, 2003-08-18 at 12:39, Jan Grant wrote:
> > On Mon, 18 Aug 2003, Eric Miller wrote:
> >
> > >
> > >  From last Friday's RDF Core call, today looks like a target date.
> > >
> > > [[
> > > Item: Document Status
> > > Primer DONE.
> > > Concepts: a couple of things arising today; can be ready Monday
> > > Syntax: as above.
> > > Semantics: as above.
> > > Schema: Reification action for today will be done Monday.
> > > Test cases: TC repo awaiting checking, actions from today, can be
ready
> > > Monday
> > > ]]
> > > http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2003Aug/0215.html
> > >
> > > Primer  and Syntax [1] seem to be done. Can i get a status update on
> > > the rest of the docs?  I think it would be nice to have a little
> > > something for Brian when he returns :)
> >
> > I'm waiting on one thing. As I understand it, the value spaces of
> > xsd:integer and xsd:decimal no longer intersect.
>
> What?!?!?!?!?

I'm also stupified. On the other hand Pat told us about
disjoint value spaces in XSD. So far I assumed that
xsd:integer a rdfs:Datatype; rdfs:subClassOf xsd:decimal.

In http://www.agfa.com/w3c/euler/xsd-rules we have
many other similar cases such as eg
{?S a xsd:int, xsd:nonNegativeInteger} => {?S a xsd:unsignedLong}.


> >  If that is correct then
> > one datatype test case needs changing, since it currently suggests
> > otherwise.
> >
> > The test case is
> >
http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.rdf#semantic-equivalence-between-datatypes

> >
> > 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> .
> > ]]
> >
> > I'm waiting on a confirmation that this is, or is not, actually the
> > case, in light of recent xsd clarifications.

Well, for what it counts, this entailment holds
is what I believe (in the form of running code).


> > Cheers,
> > jan
> --
> Dan Connolly, W3C http://www.w3.org/People/Connolly/
> --
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Monday, 18 August 2003 15:59:24 EDT

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