DL (および OWL-DL): TBox、2 つの概念C1およびC2が与えられた場合、私の問題では、パスがC1とC2 の間に存在すると言います。
C1 ⊑ =1 r.C2 ここで、r は単一/複合ロール (ロール チェーン) です。
つまり、rが単一のロールの場合、C1の各インスタンスをrを介してC2の1 つのインスタンスに関連付ける必要があります。それ以外の場合 (r はcomposite )、 C1の各インスタンスは、ロールの合成(r1*r2*r3...)を通じてC2の1 つのインスタンスに関連付けられます。
私の質問は次のとおりです。OWL APIを使用してこのタスクを達成するための最良の方法は、グラフセンスでしょうか。ここで、グラフノードは概念を表し、エッジはオブジェクト プロパティを表します。次に、C1ノードから開始し、 C2に到達するまで幅優先検索を実行します。これが私の考えです！これを実行するより良い方法はありますか？
この問題は、一般に、2 つのオントロジー概念の間に特定の特性を持つパスを修正することに関するものです。理解しやすくするために、1 つの制限のみを削除できます。したがって
C1 ⊑ ∃ r.C2