W3C home > Mailing lists > Public > semantic-web@w3.org > April 2005

Re: An inconsistency or not?

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

intersection.gif
(image/gif attachment: intersection.gif)

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

This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 08:44:52 UTC