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

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