W3C home > Mailing lists > Public > www-webont-wg@w3.org > June 2003

RE: Proposed response to Martin Merry, HP

From: pat hayes <phayes@ihmc.us>
Date: Fri, 13 Jun 2003 18:44:25 -0500
Message-Id: <p0521061bbb1011f00ef6@[10.0.100.24]>
To: Jim Hendler <hendler@cs.umd.edu>, "Smith, Michael K" <michael.smith@eds.com>, Jeremy Carroll <jjc@hplb.hpl.hp.com>, Guus Schreiber <schreiber@cs.vu.nl>
Cc: www-webont-wg@w3.org

>At 10:21 AM -0500 6/12/03, Smith, Michael K wrote:
>>If we feel the need to assert that complete reasoning in OWL DL
>>is impractical, I presume we should go on to say that
>>complete reasoning in OWL Full is impossible?

That is obviously false, so we shouldn't say it. Complete reasoners 
exist for full first-order logic, after all.

Pat


-- 
---------------------------------------------------------------------
IHMC	(850)434 8903 or (650)494 3973   home
40 South Alcaniz St.	(850)202 4416   office
Pensacola			(850)202 4440   fax
FL 32501			(850)291 0667    cell
phayes@ihmc.us       http://www.ihmc.us/users/phayes
Received on Friday, 13 June 2003 19:44:28 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:01 GMT