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

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