Re: simple entailments for numerals from Jeremy Carroll on 2002-10-23 (w3c-rdfcore-wg@w3.org from October 2002)

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 UTC