jena - Jena ルールでクラスの同等性を指定する

Question

とのオントロジーを考えるとClass A、Class B私はルールを述べています：

[-> (ns:Class_A owl:equivalentClass ns:Class_B)]

ただし、Jena の一般的なルールの推論は、タグequivalentClassをClass Aに適用するだけです。つまり、 を宣言していませんClass B equivalentClass Class A。

さらに、私object Aは の個人であるを持っていますが、推論者はのタイプとしてClass A適用していません。Class Bobject A

Jena ルールを使用してクラスの同等性を指定する別の方法はありますか? また、この推論タスクには汎用ルール推論器を使用するのと、組み込みの Jena OWL 推論器を呼び出すのとではどちらがよいでしょうか? それとも、イエナのルールを受け入れる別の理由がありますか?

Answer 1

この問題は、Jena が提供する owl reasoner を適用することで解決されました。一般的なルール推論器を使用してモデルを生成し、そのモデルをフクロウ推論器に送りました。owl reasoner は、適用可能なすべてのクラスに equalClass タグを適用します。