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

RE: Proposed response to Martin Merry, HP

From: Jim Hendler <hendler@cs.umd.edu>
Date: Sat, 14 Jun 2003 22:00:24 -0400
Message-Id: <p05200f34bb11838bb3bb@[10.0.1.2]>
To: pat hayes <phayes@ihmc.us>, "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 6:44 PM -0500 6/13/03, pat hayes wrote:
>>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
>
>
>--

For what it is worth, I think Mike should use the ":->" next time so 
us humor challenged will realize he was being sarcastic...

-- 
Professor James Hendler				  hendler@cs.umd.edu
Director, Semantic Web and Agent Technologies	  301-405-2696
Maryland Information and Network Dynamics Lab.	  301-405-6707 (Fax)
Univ of Maryland, College Park, MD 20742	  *** 240-277-3388 (Cell)
http://www.cs.umd.edu/users/hendler      *** NOTE CHANGED CELL NUMBER ***
Received on Saturday, 14 June 2003 22:04:24 GMT

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