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

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

From: Carsten Lutz <clu@tcs.inf.tu-dresden.de>
Date: Mon, 12 Nov 2007 22:59:06 +0100 (CET)
To: Jeremy Carroll <jjc@hpl.hp.com>
Cc: public-owl-wg@w3.org
Message-id: <Pine.LNX.4.64.0711122258020.26700@frege.inf.tu-dresden.de>

On Mon, 12 Nov 2007, Jeremy Carroll wrote:
>
> Carsten:
> [[
> I believe it is not true that there are no reasoners supporting n-ary
> datatypes.  For example, RACER does. And it works rather well.
> ]]
>
> Interesting - please provide pointers ...

http://www.racer-systems.com/products/racerpro/index.phtml

--
*      Carsten Lutz, Institut f"ur Theoretische Informatik, TU Dresden       *
*     Office phone:++49 351 46339171   mailto:lutz@tcs.inf.tu-dresden.de     *
Received on Monday, 12 November 2007 21:59:24 GMT

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