OWL APIを使ってTBoxの公理を取得する

Question

私はOWL API 3/Pellet/SPARQL-DLスタックを使用しており、特定のクラスのアサーションされたTBox公理をオントロジから読みたいと思っています。

OWL APIで公理に簡単にアクセスできます。しかし、OWLClassAxiomは、接続なしで署名にアクセスする機能を提供するだけです。私。 ObjectPropertyがどのClassに割り当てられているかを知りたい。私が取り出すことができるのは、署名なしのすべての要素のセットです。

OWL APIは、クラスレベルで与えられた公理での作業を実際にサポートしていないようです（追加しないで、読んでください）。どのようにそれを達成するための他のアイデア？ （どんなツールでも）

具体例：ピザhasPaseはいくつかのPizzaToppingを持っています。ピザとhasBaseを指定して "PizzaTopping"という値を取得したいと思います。

Answer 1

ピザがクラスであれば、

               ピザhasBase一部PizzaTopping

が法的公理ではありません。あなたは、おそらく実際に持っていることは

               ピザのsubClassOf hasBaseはピザのすべてのインスタンスがhasBaseプロパティによってPizzaToppingの一部インスタンスに関連していることを意味することにいくつかのPizzaTopping

です。公理はサブクラスの公理なので、OWLSubClassOfAxiomのインスタンス（OWLClassAxiomのサブクラス）を取得したいと思うでしょう。

この場合、ピザのOWLClassへの参照がある場合は、OWLClass#getSuperclasses()を使用してスーパークラス式のリストを取得できます。そのうちの1つは、（hasBase some PizzaTopping）のOWLObjectSomeValuesFromの式です。あなたはそのタイプのものを探して、それが制限であるというプロパティを調べなければなりません。 、OBJECTPROPERTYを

に割り当てられているクラスはかなりOWLモデルと一致しないために知っているあなたの定められた目標

を言っ

。オブジェクトプロパティ（およびデータプロパティ）は、OWLのクラスには属しません。上記のようなサブクラスの公理とプロパティの制限を使用すると、クラスのメンバーに特定のプロパティの値が必要であると言うことができます。