- From: Smith, Michael K <michael.smith@eds.com>
- Date: Mon, 16 Jun 2003 09:08:43 -0500
- 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 UTC