Test oneOf/004 from Sean Bechhofer on 2003-08-21 (www-webont-wg@w3.org from August 2003)

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 UTC