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

RE: Proposed response to Martin Merry, HP

From: Smith, Michael K <michael.smith@eds.com>
Date: Mon, 16 Jun 2003 09:08:43 -0500
Message-ID: <87CE68334664A54C81F8DF312343A3FFD692@USPLM207>
To: pat hayes <phayes@ihmc.us>, 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

Nobody understands me when I am being sarcastic.
So I guess I better stop.  You are right, I should
have said "vastly less practical".

- Mike

-----Original Message-----
From: pat hayes [mailto:phayes@ihmc.us] 
Sent: Friday, June 13, 2003 6:44 PM
To: Jim Hendler; Smith, Michael K; Jeremy Carroll; Guus Schreiber
Cc: www-webont-wg@w3.org
Subject: RE: Proposed response to Martin Merry, HP


>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 Monday, 16 June 2003 10:10:04 GMT

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