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