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

simple entailments for numerals

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Tue, 22 Oct 2002 22:18:04 +0200
To: "w3c-rdfcore-wg" <w3c-rdfcore-wg@w3.org>
Message-ID: <OF89DFD46F.F2BAFCC3-ONC1256C5A.006E2C39-C1256C5A.006F8487@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' .

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Tuesday, 22 October 2002 16:18:39 EDT

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