- From: Jim Hendler <hendler@cs.umd.edu>
- Date: Thu, 23 Jan 2003 21:25:50 -0500
- To: webont <www-webont-wg@w3.org>
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