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/phayesReceived 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