CoreseのOWL推論を確かめようとしてelkやprotegeでの推論をやってみたら、思い通りに行かずに四苦八苦。elkでは制約がequivalentClassじゃないと推論が行なわれずに引っかかったのだけれど、subClassOfじゃだめなんだっけ。このあたり錆びつき始めているので、いろいろ手を動かしてみる必要あり