- From: Chris Purcell <cjp39@cam.ac.uk>
- Date: Thu, 31 Mar 2005 18:33:27 +0100
- To: Denny Vrandecic <dvr@aifb.uni-karlsruhe.de>
- Cc: semantic-web@w3.org
> 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
Received on Thursday, 31 March 2005 17:33:30 UTC