Re: The Ugly Test

> Attached, also at:
>
> http://www.w3.org/2002/03owlt/editors-draft/snapshot#oneOf-004
>
> Permanent URL (intended)
>
> http://www.w3.org/TR/owl-test#oneOf-004
>
> (Every test has a URL of this format)
>
> Jeremy

after a exhausting day I hoped to find some compensation
in proving that one, but no matter what I try, no success
I think the entailment should hold (the range of p is a
class with one element and i is in a restriction on property
p with mincardinality of 1) so can someone give a hint?

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/