- From: Jeremy Carroll <jjc@hpl.hp.com>
- Date: Wed, 23 Jul 2003 19:20:19 +0300
- To: www-webont-wg@w3.org
Peter I have added the test to show that unionOf is extensional and not intensional http://www.w3.org/2002/03owlt/editors-draft/draft/proposedByFunction#unionOf-003 http://www.w3.org/2002/03owlt/editors-draft/draft/proposedByFunction#unionOf-004 I noted that this is one of the few tests making use of the comprehension principles in OWL Full. It would be good to include some that reflected the restrictions etc that cannot be constructed with the comprehension principles. Did you every get a version of the paradox that did not use a qualified cardinality constraint? thanks Jeremy
Received on Wednesday, 23 July 2003 13:20:37 UTC