semantic-web - 環状または非環状 TBox

Question

次の TBox は環状ですか、それとも非環状ですか? 循環 TBox の場合、どのように非循環 TBox に変換できますか?

A ⊑ ¬E
E ⊑ ¬A

score 1 · Accepted Answer

A ⊑ ¬E
E ⊑ ¬A

この TBox は、クラス A と E が互いに素であること以外は何も言いません。サブクラスの関係は、含意として読み取ることができます。

記述ロジックで非結合性を表現するには、通常、非結合クラスの共通部分は、定義上インスタンスを持たない下部概念 ⊥ と同等またはサブクラスであると言います。&bot は、すべてを含む最上位の概念 ⊤ を補完するものでもあります。したがって、次のいずれかを言うことができます。

あ ⊓ え ⊑ ⊥

A ⊓ E ≡ ⊥

あ ⊓ え ⊑ ¬⊤

A ⊓ E ≡ ¬⊤

score 0 · Accepted Answer

次の TBox 公理を非循環 Tbox に変換する方法:

 A \sqsubseteq \lnot E
 \exists R.A \sqcap \lnot B \sqsubseteq C
 C \sqsubseteq B \sqcup A
 C = A \sqcup D
 A \sqcap \exists R.E \sqsubseteq D

3 に答える 3