- From: Pat Hayes <phayes@ihmc.us>
- Date: Wed, 21 Nov 2007 20:28:51 -0600
- To: Jeremy Carroll <jjc@hpl.hp.com>
- Cc: Michael Schneider <schneid@fzi.de>, Owl Dev <public-owl-dev@w3.org>, "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
>OWL does not permit an empty universe. Right. For the record, neither does FOL or, indeed, almost any classically defined logic. Pat -- --------------------------------------------------------------------- IHMC (850)434 8903 or (650)494 3973 home 40 South Alcaniz St. (850)202 4416 office Pensacola (850)202 4440 fax FL 32502 (850)291 0667 cell phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes
Received on Thursday, 22 November 2007 02:29:25 UTC