- From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
- Date: Wed, 23 Jul 2003 13:56:11 -0400 (EDT)
- To: jjc@hpl.hp.com
- Cc: www-webont-wg@w3.org
From: Jeremy Carroll <jjc@hpl.hp.com> Subject: TEST: 7 of 7: unionOf and the Patel-Schneider paradox Date: Wed, 23 Jul 2003 19:20:19 +0300 > > > 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 > Just change <=0 R C to all R (complementOf C) peter
Received on Wednesday, 23 July 2003 13:56:25 UTC