- From: Jeremy Carroll <jjc@hpl.hp.com>
- Date: Thu, 24 Jul 2003 17:59:38 +0300
- To: www-webont-wg@w3.org
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 UTC