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

owl:Thing and owl:Nothing

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Tue, 22 Jul 2003 16:19:00 +0200
To: www-webont-wg@w3.org
Message-id: <BHEGLCKMOHGLGNOKPGHDIENPCBAA.jjc@hpl.hp.com> 



I took an action some weeks back to add the test that

owl:Thing owl:equivalentClass owl:Nothing .

was inconsistent.

It now appears to be consistent in the latest editor's draft of the
semantics (at least in DL).

Please confirm.

Jeremy
Received on Tuesday, 22 July 2003 11:02:06 GMT

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