I /think/ I've captured the statements below in the attached diagram
(if the attachment doesn't work, try:
http://dannyayers.com/2005/04/intersection.gif )
A rdf:type owl:Class.
B rdf:type owl:Class.
C rdf:type owl:Class.
D rdf:type owl:Class.
A owl:intersectionOf [B, C, D].
A owl:equivalentClass B.
On Mar 31, 2005 7:33 PM, Chris Purcell <cjp39@cam.ac.uk> wrote:
>
> > 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
>
>
--
http://dannyayers.com
