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

Re: simple entailments for numerals

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Wed, 23 Oct 2002 12:38:29 +0200
To: "Patrick Stickler" <patrick.stickler@nokia.com>
Cc: "w3c-rdfcore-wg" <w3c-rdfcore-wg@w3.org>
Message-ID: <OFAB8ACA42.625A508C-ONC1256C5B.0039A91D-C1256C5B.003A7565@agfa.be>


>> [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' .
>
>Yes and no. This only works IFF the subclass of xsd:decimal
>has both a lexical space that is a proper subset of xsd:decimal
>and a L2V mapping that is compatable to that of xsd:decimal.

I was just talking about the subclasses of xsd:decimal
specified in http://www.w3.org/TR/xmlschema-2/
so the 'any' was in that respect

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Wednesday, 23 October 2002 06:39:03 EDT

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