W3C home > Mailing lists > Public > public-owl-dev@w3.org > October to December 2007

Re: Defining cross products in OWL-1.1

From: Dan Brickley <danbri@danbri.org>
Date: Thu, 22 Nov 2007 08:51:21 +0000
Message-ID: <47454309.8070506@danbri.org>
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.


Received on Thursday, 22 November 2007 08:53:14 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:16 UTC