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

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

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Wed, 23 Jul 2003 19:20:19 +0300
To: www-webont-wg@w3.org
Message-Id: <200307231920.19063.jjc@hpl.hp.com>


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 GMT

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