Re: An inconsistency or not?

> That's wrong.
> A owl:intersectionOf [B, C, D].
> A owl:equivalentClass B.
>
> can be simplified to
>
> B owl:intersectionOf [C, D].
> A owl:equivalentClass B.

Unfortunately, this is not true:

A = B = { x }; C = D = { x, y }

intersect(B,C,D) = { x } = A
but intersect(C,D) = { x, y } != B

Chris