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

Re: TEST: 7 of 7: unionOf and the Patel-Schneider paradox

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



Out of time before telecon - what I thought of doing was

1) an extra credit test showing that the paradox is inconsistent
2) a non-entailment test showing that the paradox graph is not entailed by the 
empty graph
3) a comprehension test showing a similar correct application of the 
comprehension axioms.

1 seems like an extra credit test, whereas 2 and 3 are testing the 
comprehension principles and hence are significant OWL Full tests.

Jeremy
Received on Thursday, 24 July 2003 12:00:04 GMT

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