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

Re: An inconsistency or not?

From: Denny Vrandecic <dvr@aifb.uni-karlsruhe.de>
Date: Thu, 31 Mar 2005 19:17:00 +0200
Message-ID: <424C308C.5020200@aifb.uni-karlsruhe.de>
To: Minsu Jang <minsu@etri.re.kr>
CC: Jeremy Wong <50263336@student.cityu.edu.hk>, Jon Hanna <jon@hackcraft.net>, semantic-web@w3.org

> 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.
> 
> --->
> 
> A owl:equivalentClass C.
> A owl:equivalentClass D.
> B owl:equivalentClass C.
> B owl:equivalentClass D.
> C owl:equivalentClass D.

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.

The other inferences don't hold.

Hope that helps,
denny

-- 
Denny Vrandecic
Institute AIFB, University of Karlsruhe (TH)
http://www.aifb.uni-karlsruhe.de/WBS/
Blog: http://semantic.nodix.net
Received on Thursday, 31 March 2005 17:17:04 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 1 March 2016 07:41:45 UTC