問題タブ [description-logic]

ブランク ノードへのドメイン制限を示す支援のリクエスト。 図 1: 空白ノードを使用した多対多の関係のモデル化。

ビジネス ルール: 登録は、1 人の生徒を 1 つのセクションに一度だけマップします。

私の試み：

包含は両方向にあるため、ここでは包含ではなく同等であると想定しています。

さらに制限する:

図 1 のオブジェクト プロパティのドメイン制限を正しく示すための支援またはコメントをいただければ幸いです。

ありがとう！！

個人が列挙内の文字列の 1 つだけをこのプロパティの値として持つことができるように、データ型プロパティの範囲を文字列の網羅的な列挙として定義したいと思います。

たとえば、「色」と呼ばれるデータ型プロパティは、「赤」、「緑」、「青」の 3 つの値のみを想定できます。

私は OWL 2 と Protégé 5.0 を使用しています。

Protégé を使用してそれを行う簡単な方法はありますか?

Protégé を使用して、OWL で指定された非常に単純なクラス階層があります。例えば：

つまり、すべての男性は人であり、すべての女性は人です。

Man と Woman のインスタンスを含める場合、これらのインスタンスは Person のインスタンスとしても含まれることを期待しています。しかし、結果の分類は期待どおりではありません。私が推論を実行するときでさえ。

owl 2 と Protégé 5.0 を使用しています。

Person に Man と Woman のインスタンスが含まれていないのはなぜですか?

記述ロジック (および対応する OWL-DL) を使用Meetingする クラス が参加できるクラスがあるとProfessorします。

a が別Professorの である可能性があると考えてください:AssistantProfessor

質問: ターミノロジカル ボックスの公理 (TBox) を使用して、 a がMeeting couldBeAttendedBya の場合Professor、それcouldBeAttendedByは彼のAssistants.

たとえば、次のことを考慮してください。

と結論付けたい

QL (DL-Liteᴿ)、EL (EL++)、RL (DLP) の主な違いを次の点について説明してください。

• 否定
• 修飾された定量化
• ロール機能
• 逆特性
• 対称特性
• ロール階層 (つまり、サブプロパティ)

現時点では、次のことを知っています。

• 修飾された定量化は EL では許可されていますが、QL では許可されていませんが、後者では一種のトリックを行うことができます。
• 機能プロパティ、逆プロパティ、およびサブプロパティは QL では許可されていますが、EL では許可されていません
• 素性 (A⊓B=⌀) は QL と EL の両方で許可されます

私は今、RLについてほとんど何も知りませんが。

質問が一般的すぎるかもしれませんが、詳細な回答は必要ありません。主な違いを理解するための一般的な概要のみです。

これをdl、 Protege viewで表現したい。

タイプ inclusiveGateway からの個々の包括的ゲートウェイ 1 をどのように表現できますか?

オブジェクト プロパティが存在する場合:

この場合の実行方法の例が見つかりませんでした。たとえば、さまざまなクラスの equivalanceRelation だけです。Man≡ Person

DL初心者です。この投稿の知識を適応させようとしました: How to express this individual in Description logic

AKSW は親切にも公理を dl で記述するのを手伝ってくれました。その知識をモデルに適用しました。設計上のエラーがないように、再確認したかっただけです（すべての詳細を確認する必要はありません）。これは、モデルが BPMN のように見える方法です: BPMN モデル

私はそれをこの質問に10分間コピーしようとしましたが、コピーするとフォーマットが完全に乱雑になりました(もう1つ学ぶ必要があります:P)。この質問に直接入れなくてすみません。 DLロジック.doc

編集: dl でドメインと範囲を使用してオブジェクト プロパティを記述するにはどうすればよいですか?

オブジェクト プロパティ: travelTo

ドメイン：フランス、ドイツ

および範囲: イタリア、スペイン

私は休養としてそれをします：

travelTo(フランス、イタリア)

travelTo(フランス、スペイン)

また - - - - - - - - - - - - - -

フランス(travelTo、イタリア)

フランス(travelTo、スペイン)

ドイツ（travelTo、イタリア）

フランス(travelTo、スペイン)

助言がありますか？

よろしくリチャード

与えられた:

3 つのフクロウ クラス: emptyTask、task、およびuserTask。

クラス間の関係は次のとおりです。userTaskis equivalentTo task- これは、 に含まれるすべての個体が にuserTaskも含まれることを意味しtaskます。emptyTaskですsubclassOf task。

しかし、私がそのような関係で達成したいのは、次のことです。すべての個人userTaskも含まれていますtask（完了、推論ロジック）。のすべての個体emptyTaskは にありますが、 とは互いに関係taskがemptyTaskありません。userTaskそれらは、私のオントロジーとはまったく関係がありません。

equalTo を 3 回使用することは、私がやりたいことではありません。皆さんが私が達成したいことを理解していただけることを願っています。

このような関係は、たとえば Protege ではどのように見えるでしょうか。DL の回答は役立つかもしれませんが、実用的な回答を希望します。この写真は、私がすべての人と言いたいことを理解するのに役立つかもしれません. hermit reasoner を使用した protege のスクリーンショット:

この図は と のequivalentTo関係をtask示していuserTaskます。からのすべての個人userTaskも含まれていますtask(reasoner logic)

task推論で開きたいときは、とのすべての個人を見たいuserTaskemptyTask

推理で開きたい時userTaskは個人taskだけ見たい。

推論で開きたいときは、またはemptyTaskからの個人を表示したくありません。userTaskTask

問題は、それを達成するために相互にどのように関係を設定する必要があるかです。

編集: 画面 1 画面 2

ご覧のとおり、3つのクラスでも機能していません。ボタンは常に灰色です。Protegeの2つの異なるバージョンを試してみました!