- From: Dan Brickley <danbri@danbri.org>
- Date: Thu, 22 Nov 2007 08:51:21 +0000
- To: Pat Hayes <phayes@ihmc.us>
- CC: Jeremy Carroll <jjc@hpl.hp.com>, Michael Schneider <schneid@fzi.de>, Owl Dev <public-owl-dev@w3.org>, "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Pat Hayes wrote: > >> OWL does not permit an empty universe. > > Right. For the record, neither does FOL or, indeed, almost any > classically defined logic. After all, if we can be certain of anything, it's that the Web exists. <ducks/>, Dan
Received on Thursday, 22 November 2007 08:53:14 UTC