W3C home > Mailing lists > Public > www-webont-wg@w3.org > July 2003

Re: TEST: 6 of 7: empty universe example,

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Thu, 24 Jul 2003 12:59:22 +0300
To: www-webont-wg@w3.org
Message-Id: <200307241259.22085.jjc@hpl.hp.com>

Mehrdad:
> In OWL-DL (as in FOL), the universe of the interpretation is always
> required to be a non-empty set.


that was true in the LC documents; however a careful reeading of the current 
editors draft of the direct semantics does not indicate that the 
interpretation of owl:Thing must be non-empty.

Jeremy
Received on Thursday, 24 July 2003 06:59:47 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:01 GMT