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

Re: simple entailments for numerals

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Wed, 23 Oct 2002 14:18:15 +0200
To: w3c-rdfcore-wg@w3.org
Message-Id: <200210231418.15752.jjc@hpl.hp.com>


I hope that most RDF implementations will strive to support XSD.

Assuming the model theory proposed by Graham at last Friday's telecon,

in these cases Jos's entailment holds:


> >>   :Jenny :age '10' .
> >> simple-entails (with XSD)
> >>   :Jenny :age '+1E1' .

but, for Patrick's preferred? non-standard datatyping

> >>   :Jenny :age '10' .
> >> does not simple-entail (no XSD)
> >>   :Jenny :age '+1E1' .

I think we have done our bit for XSD by making it the preferred RDF datatyping 
mechanism - IMO it doesn't need to be built-in as such.

Jeremy
Received on Wednesday, 23 October 2002 08:19:56 EDT

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