W3C home > Mailing lists > Public > public-owl-wg@w3.org > November 2007

Re: ISSUE-5: n-ary datatypes - unimplemented incomplete design

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Mon, 12 Nov 2007 22:15:22 +0000
Message-ID: <4738D07A.5040905@hpl.hp.com>
To: Carsten Lutz <clu@tcs.inf.tu-dresden.de>
CC: public-owl-wg@w3.org

Carsten Lutz wrote:
> Hi Jeremy,
> 
> I believe it is not true that there are no reasoners supporting n-ary
> datatypes.  For example, RACER does. And it works rather well.
> 
> greetings,
>         Carsten
> 


Hmmm, referring to the racer reference manual 1.9.2-beta p61

you might mean that:

RacerPro supports reasoning over natural numbers (N), integers (Z), 
reals (R), complex numbers (C), and strings.


This is not about support for OWL 1.1 n-ary datatypes. of those 
datatypes, only the natural numbers, integers, and strings are OWL 1.1 
base datatypes, there is no support in OWL for reals or complex numbers.

So, while I am impressed that the racer reasoner combines some aspects 
of numeric and qualitative reasoning, I would like to have clarification 
as to its bearing on OWL 1.1

Example issues that spring to my mind:

the fahrenheit to celsius stuff works because they are usign the Reals - 
in a domain like the decimals, floats or doubles, this all looks much 
harder.

The comment that nonlinear polynomials forces the domain to be the 
complex numbers seems like a non-trivial design choice. For example, the 
existential theory of the reals (nonlinear polynomials over the reals) 
is decidable.

Jeremy
Received on Monday, 12 November 2007 22:15:47 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:13:27 GMT