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>


I have added the test to show that unionOf is extensional and not intensional


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?


Received on Wednesday, 23 July 2003 13:20:37 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:54 UTC