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

TEST: 6 of 7: empty universe example,

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Wed, 23 Jul 2003 19:20:15 +0300
To: www-webont-wg@w3.org
Message-Id: <200307231920.15009.jjc@hpl.hp.com>

(for book-keeping)

I had some outstanding actions on this one.

At one point it seemed that I would need to make owl:Thing finite but 
non-empty to get different behaviour in DL and Full; it now appears that 
owl:Thing can be empty in DL, os I have reduced the test to

owl:Thing owl:equivalentClass owl:Nothing


this test is slightly different from the one that I was actioned to produce.

Received on Wednesday, 23 July 2003 13:20:33 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:54 UTC