>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 Friday, 13 June 2003 19:44:28 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:01 GMT