- From: Danny Ayers <danny.ayers@gmail.com>
- Date: Fri, 1 Apr 2005 10:15:21 +0200
- To: Chris Purcell <cjp39@cam.ac.uk>
- Cc: Denny Vrandecic <dvr@aifb.uni-karlsruhe.de>, semantic-web@w3.org
Received on Friday, 1 April 2005 08:15:22 UTC
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