問題タブ [description-logic]

これを記述ロジックでどのように記述しますか?

「すべての人間は男性か女性のどちらかです」

ありがとう

記述ロジックで、「someValuesFrom」と「allValuesFrom」の違いは何ですか? つまり、（制限された存在量化）と（価値制限）の違いです。

たとえば、次のように考えてください。

Δ = {a, b, c, d, e}
ext(B) = {<c,d>}
ext(R) = {<a,b>, <a,c>, <d,c>, < c、e>}

それでは、次の違いは何ですか？

ext(∃R.B) = ?
ext(∀R.B) = ?

somevaluefrom と allvaluesfrom の概念を単純化する方法はありますか?

ペレット/デフォルトの OWL Reasoner のような DL Reasoner と Jess のようなルール エンジンの違いを誰か説明できますか? とそのアプリケーション？

ありがとう。

クラスの説明に SubClassOf と EquivalentClass を混在させること、および推論器がどのように動作するかについて興味があります。

具体的には、同じクラスに対して EquivalentClass と SubClassOf アサーションの両方がある場合、個人がそのクラスに分類されるためには、EquivalentClass と SubClassOf の両方の条件が満たされる必要がありますか?

それともこれは悪い習慣ですか？

例 (宣言は省略):

以下のケースでは、EquivalentClass と SubClassOf の両方のアサーションが満たされているため、:xが として分類されるようにしたいと思います。:Foo

SubClassOf:yが満たされていないため、そうではありません。

ありがとう、

ジョナサン

私は最近AIコースでKRL（知識表現言語）を学び、記述論理がセマンティックWebの正式な知識表現言語のファミリーであることを魅力的に感じました。さらに、記述論理では、一階述語論理よりも知識を表現する方が簡単で扱いやすいです。

その記述論理または一階述語論理を処理するために利用できるJavaライブラリについて誰か知っていますか？

OWL と Protege を発見しました。このリファレンス ページ (以下に引用します)を読むと、抽象的な OWL 構文を使用せずに DL 構文で記述することが可能かどうか疑問に思います。私のバックグラウンドは論理学なので、後でオントロジーを翻訳しなければならなくなったとしても、もっと楽しそうです (ただし、これを行うためのアプリケーションが必要であると確信していますが、推論を行う人は DL を使用しませんか?)。

可能であれば、これを行うために Protege (またはあなたの提案の他のソフトウェア) でどのような設定を使用すればよいですか? それは不可能だと思いますが、特殊記号のぎこちなさ以外にこれには正当な理由がないので、確認したいと思います。

編集: それが不可能な場合、DL 言語は正確にどのように使用されますか?

OWL DL は、データ値、データ型、およびデータ型プロパティをサポートする SHOIN 記述ロジック、つまり SHOIN(D) ですが、OWL は RDF(S) に基づいているため、用語が少し異なります。... OWL オントロジーまたは知識ベースの記述には、DL 構文を使用できます。ASCII 文字セットで記述しやすい、「抽象的」な LISP に似た構文が定義されています。

これは、同じデータに対する2 つの構文スタイルの非常に簡単な作業例です。

この DL-Query は個人を返しません:

• クエリ (Protégé 構文) :hasPet exactly 1 DomesticAnimal

オントロジーの一部を次に示します。

クエリ:

• petOf value Bob リターンSparkeyとLucky
• petOf value Joe 戻り値Lassy
• hasPet exactly 1何も返しません。

最後のクエリが返されないのはなぜJoeですか? Protégé で Pellet、HermiT、FaCT++ を使用して試してみましたが、うまくいきませんでした。

Starcraft で情報を表すオントロジーに取り組んでいますが、次の一般的なクラス公理を DL で表すことができるかどうかを判断するのに苦労しています。そうでない場合は、それを表現するために必要な最小の論理セット (FOL、2 次など) を知りたいです。

この公理で、(1) その地域にユニットが存在し、(2) その地域のすべてのユニットがプレイヤーによって所有されている場合、プレイヤーがその地域を支配していることを表現したいと思います。

私には 3 つの役割があります。

A. controlsRegion(p,r) ここで、p はプレーヤー、r はリージョンです

B. isOwnedBy(u,p) u はユニット、p はプレイヤー

C. isInRegion(u,r) ここで、u はユニット、r はリージョンです

画像を投稿するのに十分な担当者がいません。ここで式を参照してください: http://postimg.org/image/wve0h9m1z/

u、p、r は変数です (これが DL で表現できるとは思えない理由です)

また、使用している構文が正しいかどうかもわかりません。適切に表現する方法を教えてください。

ありがとう、どんなフィードバックでも大歓迎です！

相互接続された 3 つの個体 ( a、b、およびc )を持つ OWL オントロジーがあり、2 つの孤立した個体xとyもあります。

相互接続された個人:

1. 少なくとも 1 つのアウトバウンド オブジェクト プロパティ アサーションを持っている。例: a hasRelationWith b ; また
2. 少なくとも 1 つのインバウンド オブジェクト プロパティ アサーションを持ちます。例: b hasRelationWith c などの c。

孤立した個人:

1. アウトバウンド オブジェクト プロパティ アサーションが 0 であること。と
2. インバウンド オブジェクトのプロパティ アサーションがゼロ。

DL クエリを使用してすべての隔離された個人を (列挙ではなく論理的推論によって) 分類することは可能ですか? (Protégé 4.3 で違いが生じる場合)

私の直感的な推測は、(hasRelationWith min 0 Thing) exclude (hasRelationWith min 1 Thing) のようなものですが、DL-Query は Set Subtraction 構文をサポートしていないようです...

更新: 次の SPARQL は作成できますが、クラス定義内では使用できません。