- From: Stephen Reed <reed@cyc.com>
- Date: Tue, 25 Nov 2003 12:32:18 -0600 (CST)
- To: Bijan Parsia <bparsia@isr.umd.edu>
- Cc: Dan Connolly <connolly@w3.org>, Mike Dean <mdean@bbn.com>, <www-rdf-rules@w3.org>
On Tue, 25 Nov 2003, Bijan Parsia wrote:
> OWL Rules has some nice logical (it's just a larger subset of FOL) and
> pragmatic (it lets you reuse your hard won OWL expertise) features.
>
> Of course, given the increasing recognition that Deduction is Evil(tm)
> or, at least, that Deduction is Silly and Pointless(r), the former
> properties might not be so nice.
Please elaborate your last point.
-Steve
--
===========================================================
Stephen L. Reed phone: 512.342.4036
Cycorp, Suite 100 fax: 512.342.4040
3721 Executive Center Drive email: reed@cyc.com
Austin, TX 78731 web: http://www.cyc.com
download OpenCyc at http://www.opencyc.org
===========================================================
Received on Tuesday, 25 November 2003 13:41:38 UTC