- From: pat hayes <phayes@ihmc.us>
- Date: Fri, 13 Jun 2003 18:44:25 -0500
- 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 UTC