W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > October 2002

RE: details of rdf:datatype?

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Thu, 17 Oct 2002 10:11:47 +0200
To: jjc@hplb.hpl.hp.com
Cc: "ext Brian McBride" <bwm@hplb.hpl.hp.com>, "Dan Connolly" <connolly@w3.org>, "Graham Klyne" <Graham.Klyne@MIMEsweeper.com>, "Patrick Stickler" <patrick.stickler@nokia.com>, w3c-rdfcore-wg@w3.org
Message-ID: <OF104589FF.BFE58019-ONC1256C55.002C6024-C1256C55.002D0A0F@agfa.be>

> For any datatype one could define a canonical form if one so chose.
> So requiring RDF datatypes is a possibility. (Technically I have required
> certain transfinite type systems to invoke the axiom of choice!

very interesting, any pointer?

> but I
> suspect all realistic type systems are safely countable).
> The text in the minority version is intended to utilize a canonical form
> one is provided, and not if not.

which could make an engine incomplete, but that's fine
(and maybe we should express that incompleteness fact in RDF???)

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Thursday, 17 October 2002 04:12:24 UTC

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