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' .

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/