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 GMT
This archive was generated by hypermail 2.2.0 + w3c-0.30 : Friday, 25 March 2005 11:20:49 GMT