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.

Cheers,

	Sean

-- 
Sean Bechhofer
seanb@cs.man.ac.uk
http://www.cs.man.ac.uk/~seanb
Received on Thursday, 21 August 2003 10:38:13 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:02 GMT