問題タブ [description-logic]

個体のない OWL オントロジーがあります。与えられた 2 つのクラス

と

クエリはどのように見えますか? 次のようなすべてのプロパティ チェーンを見つけるために、どのタイプの推論を使用できますか?

ここで、Cs は PropertyP のドメインで、Cd はその範囲です。Chain は、この推論が推移的でなければならないことを意味します。

次に、{PropertyP1, PropertyP2} は、Cs と Cd の間のプロパティ チェーンと見なす必要があります。

OWL2 のようなプロパティ チェーンについて話しているわけではないことに注意してください。OWL2の場合、このチェーンを事前に定義する必要がありますが、私の場合はそうすることができません。

私は OWL オントロジーTBOXのみ (インスタンスなし)を持っています。代数を使用して形式的に表現し、何らかの構造を定義する必要があります。私はそれを探しました、私はいくつかの表現を見つけました

ここで、C はクラスのセット、P はプロパティのセット、A は公理のセットです。A は、包含、制限などを表すために使用されます。C には、データ プロパティ定義で使用されるプリミティブ型が含まれます。

ここで、C はクラスのセット、P はプロパティのセット、Sub は包含関係、Func は各クラスを適用可能なプロパティに関連付けます

実際、何が正しい表現なのかわかりません。もしあれば、いくつかの参考文献を参照していただけますか？

UML の概念図があります。DLオントロジーとして表現したい。UML クラスは DL の概念としてキャプチャされ、関連付けはロールによってキャプチャされます。重要な観点の 1 つは、UML クラス間の多重性です。1 対 1 の多重度 (0..* - 0..1) は機能オブジェクト プロパティによってキャプチャされ、1 つ (0..1) 側を必須にするために、つまり (0..* - 1) 参照が話します対一側で最大および最小の多重度が 1 であることを意味する必須の参加。

ここに参照があります

クラス C1 と C2 の間の関連付け A は、アサーションを適用するロール A によって DL で形式化されます。

与えられた C1 の各インスタンスに対する C2 のインスタンスの関与に関する多重度 ml..mu を表現するには、次のアサーションを使用します。

アサーションへの C2 の必須の参加が C1 のアサーションによってどのように表現されているのか理解できません。最後のアサーションはどのように読み取られますか?

実際、私は一般的な推論を使用して何ができて何ができないかについて迷っています。

私の質問は 2 つあります。

1. 私は以前、推論者は総計と分類法にのみ専念していると考えていました。最近、いくつかのアルゴリズム内で推論器を複数の方法で使用できることを発見しました。たとえば、このリファレンスでは、推論器を使用してオントロジーの特定のパターンに準拠するエンティティを検索する方法を紹介しています。

   • DL ジェネリック推論アルゴリズムとは何を意味し、それを推論によってどのように実装できますか?

   • もしあれば、推論アルゴリズムによって達成できることにもっと慣れるための参考文献を参照してもらえますか?

2. 私の最初の問題は、OWL オントロジーと 2 つのクラス と が与えられた場合、それらをC1接続する機能プロパティチェーンがC2あるかどうかを確認したいということです。とをつなぐ機能的プロパティチェーン。(C1 P1 C3)(C3 P2 C4)(C4 P3 C2)P1P2P3(P1, P2, P3)C1C2

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

オントロジー O が与えられ、A、B を次のような 2 つのクラスとオブジェクト プロパティ P および Q とします。

1. P ドメイン A
2. PレンジB
3. A ⊑ =1 P.⊤
4. Q⊑P
5. A ⊑ =1 Q.⊤

したがって、P ≡ Q を証明するには、P ⊑ Q を示すだけで済みます。これは、(4) でもう一方の方向 Q ⊑ P が既に存在するためです。P ≡ Q が等しいと結論付けます。させて

6. (x,y) ∈ P

x ∈ A かつ y ∈ B であり、(5) から、Q は A の各個体を正確に B の 1 つの個体に関連付けることがわかります。その場合、(x,y′) ∈ Q となるような y′ ∈ B が存在する必要があります。そして (4) から、次のことが推測できます。

7. (x,y′) ∈ P

次に、(3)、(6)、(7) から、y = y' と推測できます。したがって、(x,y) ∈ P の場合、(x,y) ∈ Q であり、次のことを意味します。

8. P⊑Q

次に、(4) と (8) により:

9. P ≡ Q

質問:

1. この結論は本当ですか？
2. 推論 (たとえば、Protégé プラグインを介したペレット) は P ≡ Q を推論していませんが、P(a,b) をアサートするたびに、推論器は Q(a,b) を推論し、その逆も同様です!

OWL/DL では、複数のプロパティ/ロールの Sub[Object/Data]PropertyOf/subrole であるプロパティ/ロールを持つことができますが、W3C OWL ドキュメントや DL ペーパーで動機付けの例を見つけたことがありません。 .

私が見逃したような動機付けの例を含む、公開された OWL オントロジーまたは DL ペーパーを知っていますか (あなた自身の例をコメントで歓迎します)