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

Re: Defining cross products in OWL-1.1

From: Pat Hayes <phayes@ihmc.us>
Date: Wed, 21 Nov 2007 20:28:51 -0600
Message-Id: <p0623090dc36a993a7ddf@[192.168.1.2]>
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 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:55 GMT