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
if
> one is provided, and not if not.

agreed
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 EDT

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