- From: Denny Vrandecic <dvr@aifb.uni-karlsruhe.de>
- Date: Thu, 31 Mar 2005 19:17:00 +0200
- 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