問題タブ [description-logic]

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

A ⊑ ¬E
E ⊑ ¬A

私は、同じ値を持つ同じオブジェクト プロパティを持つ必要があるクラスに属する複数の名前付き個体を含む OWL 2 オントロジーを持っています。

このプロパティ アサーションを「クラス上で」作成したいと思います。これにより、それぞれの明示的なアサーションを必要とせずに、すべてのメンバーがそのプロパティを持っていることを推論者が推測できるようになります。(クラスベースのオブジェクト指向のプロパティ継承に似たものを取得する)

簡単な例は、クラス に属する個体milkBottle1、milkBottle2、を含むオントロジーです。それらはすべて値を持つプロパティを持つ必要がありますが、明らかにこれはクラスのすべてのメンバーによって共有されるものであり、明示的に一度だけアサートする必要があります。milkBottle3MilkcontainsNutrientproteinMilk

私はここでのみ同じ質問を見つけましたが、唯一の答えは不適切な解決策を示唆しています: クラスをプロパティ制限クラスのサブクラスにすることです。これにより、推論者はクラスが Nothing クラスと同等であると推論し (そのようなプロパティを持つ名前付きの個体は存在しないため)、個体の割り当てにより矛盾が生じます。

これは、次のような SWRL ルールを使用した簡単なタスクであることを認識しています。

牛乳(?a) → 含まれる栄養素(?a、タンパク質)

しかし、できれば避けたいと思います。

これは、OWL 2 の回避策なしで可能ですか? もしそうなら、どうすればそれを行うことができますか？

TBoxのみ（個体なし）を考慮したOWL-DLオントロジーを考えてみましょう

表現

サブクラスとして返さChinesefamilyれますSterileChinesefamily

Chinesefamilyさて、0 個または 1 個の子を持つ可能性がある ( ) が、厳密に 0 個の子を持つべきではない( SterileChinesefamily)クラスを指定する方法

私は試した

それは何も返しません！

============= 更新 =============

ご注意ください

私が意図したものではありません。代わりに、私が意味するのは、次のサブクラスであるクラスです。

1. 個人が 1 人または 0 人の子を持つことを許可されているクラス ( Chinesefamily)。
2. AND
3. NOT個々のクラスが正確に 0 の子を持たなければならないクラス ( SterileChinesefamily)。

(実際には、私は TBox のみを考慮します (個人は考慮しません)。ただし、この更新は明確にするためのものです)。

OWLオントロジーでは、次のようにしましょう:

DL クエリの実行

A を返します。わかった

尋ねる

Aも返します。

でも; 尋ねる

Nothing を返します。そして尋ねる

同様に Nothing を返します。

(3) + (4) の結果の和は (2) の結果と同等だと思いました。残念ながら、そうではありません。なんで？

私の知る限り。Owl:cardinality特定のプロパティに含めることができる値の数を制限するために使用されます。同じテーブル内の行のセル数が同じでなければならないことをカーディナリティで説明することは可能ですか?

私は OWL の初心者で、OWL DL を使用してノードを次のように定義しました。

`

ノードをルート、枝、葉として推論および分離するために、概念をルート、ブランチ、葉として定義したいと思います。子がないか、親も子も持たない孤立したノードです。