question: datatype reasoning?

I was asked the following by a colleague, we tried to find the answer 
in the Semantics document, but we couldn't quite work out the 
details.  Question is, does a complete Owl Lite or DL reasoner have 
to do complete datatype reasoning?  i.e. for all the XML schema 
primitive types, does a complete OWL reasoner have to be able to do 
the correct class reasoning, etc -- knowing integers are numbers, 
URIs are strings, etc. and appropriately applying these.
  If the answer is that an OWL system must do so, do we have any 
implementation evidence to offer in this space?  If we don't expect 
complete datatype reasoning, what level of such do we expect, and 
where will we specify it (document-wise)
  thanks
  JH




-- 
Professor James Hendler				  hendler@cs.umd.edu
Director, Semantic Web and Agent Technologies	  301-405-2696
Maryland Information and Network Dynamics Lab.	  301-405-6707 (Fax)
Univ of Maryland, College Park, MD 20742	  240-731-3822 (Cell)
http://www.cs.umd.edu/users/hendler

Received on Thursday, 23 January 2003 21:25:53 UTC