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

Re: An inconsistency or not?

From: Jeen Broekstra <jeen@aduna.biz>
Date: Fri, 01 Apr 2005 10:39:12 +0200
Message-ID: <424D08B0.7010100@aduna.biz>
To: Danny Ayers <danny.ayers@gmail.com>
Cc: Chris Purcell <cjp39@cam.ac.uk>, Denny Vrandecic <dvr@aifb.uni-karlsruhe.de>, semantic-web@w3.org

Danny Ayers wrote:
> PS. Just playing with the Venn diagrams, it seems that if I add 
> 
> B owl:equivalentClass C.
> to
> 
>>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.
> 
> 
> I also get:
> A rdfs:subClassOf D.
> B rdfs:subClassOf D.
> C rdfs:subClassOf D.
> 
> Which I must confess I hadn't expected. Does that sound right?

Yes. Given that A is the intersection of (B,C,D) we can immediately 
conclude that A rdfs:subClassOf D. And because you have made B and C 
equivalent to A, the next two statements automatically follow.

Seems correct to me.

Jeen
-- 
Jeen Broekstra          Aduna BV
Knowledge Engineer      Julianaplein 14b, 3817 CS Amersfoort
http://aduna.biz        The Netherlands
tel. +31(0)33 46599877  fax. +31(0)33 46599877
Received on Friday, 1 April 2005 08:37:27 UTC

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