Re: An inconsistency or not?

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

Received on Friday, 1 April 2005 08:15:22 UTC