Re: An inconsistency or not?

> 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