W3C home > Mailing lists > Public > www-webont-wg@w3.org > July 2003

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

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Wed, 23 Jul 2003 13:56:11 -0400 (EDT)
Message-Id: <20030723.135611.60136781.pfps@research.bell-labs.com>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:01 GMT