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

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.

Received on Tuesday, 22 July 2003 11:02:06 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:04:47 UTC