Re: simple entailments for numerals

>> [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 UTC