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.

Received on Thursday, 24 July 2003 12:00:04 UTC

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