W3C home > Mailing lists > Public > www-webont-wg@w3.org > August 2003

Test oneOf/004

From: Sean Bechhofer <seanb@cs.man.ac.uk>
Date: Thu, 21 Aug 2003 15:00:58 +0100 (GMT Daylight Time)
To: www-webont-wg@w3.org
Message-ID: <Pine.WNT.4.44.0308211457590.1976-100000@potato>

Test oneOf/004 is intended to illustrate the use of datarange in DL.
However, it also relies on a reasoner understanding the datatype theory of
xsd:short (the conclusions use xsd:short while the premises use
xsd:integer). Is it possible to include another version of this that
doesn't use xsd:short. This would then supply a nice nasty test that
implementors really *have* to tackle.



Sean Bechhofer
Received on Thursday, 21 August 2003 10:38:13 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:54 UTC