Re: question: datatype reasoning?

From: Jim Hendler <hendler@cs.umd.edu>
Subject: question: datatype reasoning?
Date: Thu, 23 Jan 2003 21:25:50 -0500

> 
> 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.

A complete OWL reasoner does have to do reasoning with numbers, etc.
As Ian has pointed out, the design of OWL DL has been carefully worked out
so that this is not as hard as one might think.

>   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)

RACER handles lots of inferences with respect to such datatypes, in a
even-more-powerful datatype theory.

>   thanks
>   JH

peter

Received on Wednesday, 29 January 2003 16:39:09 UTC