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

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