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

Re: simple entailments for numerals

From: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
Date: Wed, 23 Oct 2002 10:38:32 +0100
Message-Id: <5.1.0.14.2.20021023103406.03aa3e30@127.0.0.1>
To: "Jos De_Roo" <jos.deroo.jd@belgium.agfa.com>
Cc: "w3c-rdfcore-wg" <w3c-rdfcore-wg@w3.org>

Jos, a nit:

You're mixing representations here that are usually used for integers and 
floats respectively.

I have seen a compelling case argued (I think it was part of the XSD 
debate) that for the purposes of computation these should be regarded as 
distinct value spaces, as computer-floats behave in several ways subtly 
differently than integers and reals.

Ahh... Google is sooo good! See [1].

#g
--

[1] 
http://lists.w3.org/Archives/Public/www-xml-schema-comments/2000JanMar/0130.html

At 10:18 PM 10/22/02 +0200, Jos De_Roo wrote:

>[just to report some experience]
>it seems to me that numbers are important
>so in
>   :Jenny :age '10' .
>the '10' (which is *not* the "10" but a
>syntactic shorthand for xsd:decimal"10" or
>any subclassed value of it)
>denotes the number 10
>and so
>   :Jenny :age '10' .
>simple-entails
>   :Jenny :age '+1E1' .
>
>-- ,
>Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

-------------------
Graham Klyne
<GK@NineByNine.org>
Received on Wednesday, 23 October 2002 06:38:23 EDT

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