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/hendlerReceived on Thursday, 23 January 2003 21:25:53 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:57 GMT