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

Re: Test oneOf/004

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Thu, 21 Aug 2003 17:00:54 +0200
To: "Sean Bechhofer <seanb" <seanb@cs.man.ac.uk>
Cc: www-webont-wg@w3.org
Message-ID: <OF091E329A.F791E418-ONC1256D89.0051B30A-C1256D89.00527E53@agfa.be>


Sean - I assume that
xsd:short rdfs:subClassOf xsd:int.
xsd:int rdfs:subClassOf xsd:long.
xsd:long rdfs:subClassOf xsd:integer.
so a xsd:short is also a xsd:integer.

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


                                                                                                                                       
                      Sean Bechhofer                                                                                                   
                      <seanb@cs.man.ac.        To:       www-webont-wg@w3.org                                                          
                      uk>                      cc:                                                                                     
                      Sent by:                 Subject:  Test oneOf/004                                                                
                      www-webont-wg-req                                                                                                
                      uest@w3.org                                                                                                      
                                                                                                                                       
                                                                                                                                       
                      2003-08-21 04:00                                                                                                 
                      PM                                                                                                               
                                                                                                                                       
                                                                                                                                       






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 Friday, 22 August 2003 18:22:54 GMT

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