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 UTC