説明論理をモデルに適用

-1

これはdlにちょっと新機能です。私はこのポストからの知識を適応させようとしました：How to express this individual in Description logic 説明論理をモデルに適用

AKSWはdlの公理について親切に説明しました。私はモデルに知識を適用しました。私はちょうどダブルチェックをしたいと思っていましたが、設計上の誤りはありませんでした（すべての詳細をチェックする必要はありません）。これは、モデルがBPMNどのように見えるかです： BPMN Model

（私は学ぶ必要がある別のもの：P）私は10分間この質問にコピーしようとしましたが、それをコピーするときにformatationは完全に厄介でした。申し訳ありませんが直接この質問に入れていない。 DL Logic.doc

編集：どのようにドメインと範囲がdlのオブジェクトプロパティについて記述できますか？

オブジェクトのプロパティ：TRAVELTO ドメインと

：フランス、ドイツ

と範囲：イタリア、スペイン

私は休閑としてそれを行うだろう。

TRAVELTO（フランス、イタリア）

TRAVELTO（フランス、スペイン）

または-------------------- -------

フランス（TRAVELTO、イタリア）

フランス（TRAVELTO、スペイン）

ドイツ（TRAVELTO、イタリア）

フランス（TRAVELTO、スペイン）

任意の提案ですか？

リチャード

出典

2016-07-31 Richy

私は、下落したり閉じたりするあなたの質問のうち、あなたはすぐに（一時的な）質問の禁止を受ける本当の危険を冒します。詳細については、[このトピックのバグについて]（http://meta.stackoverflow.com/questions/271542/why-wont-the-system-allow-me-to-ask-questions-for-several-days）を参照してください。これについて、そしてそれを防ぐためにあなたができること。 –

ジーン、ありがとう、それは悪いです。私の知識や経験とは違ったやり方で行うのは難しいです。私が実際に毎日10時から24時の間の時計を使って仕事をしていることが要因かもしれません。私は私の修士論文を書いており、それはかなり終わりに近づいています。私はあなたからたくさんのことを学んでいるような気がします。私はあなたが私に与えるフィードバックの裏に私の進歩を見ることができたらいいと思う。私は他の人が質問から、また私の間違いから学ぶことができると確信しています！私はすべてこれについて本当に感謝しています。 – Richy

オブジェクトのプロパティのドメインと範囲は、クラスとみなされます。私の視点からは、特定の国をドメインや範囲として使用するのは意味がありません。あなたはこれについて確信を持っていますか？ – AKSW

オブジェクトプロパティのドメインと範囲はクラスと見なされます。私の視点からは、特定の国をドメインや範囲として使用するのは意味がありません。あなたはこれについて確信を持っていますか？

典型的な方法は、クラスCountryを使用し、これをオブジェクトプロパティtravelToの範囲として使用することです。 DL構文では範囲の具体的な構成はありませんが、範囲公理は構文的な砂糖です。

rは、あなたが持つDL構文でそれを表現することができ、オブジェクトのプロパティとCドメイン（それぞれの範囲。）であることを考える：

ドメイン（R、C）：

∃r.⊤ ⊑ C

範囲（r、C）：

⊤ ⊑ ∀ r.C

出典

2016-08-02 06:59:19 AKSW

私が探していたAKSWありがとうございました。あなたは確かですか（Range（r、C）は正しかったです）ドメインであるCを使用する代わりに、その範囲に別の変数を導入してはいけませんか？Tは何のために立っていますか？ – Richy

Rangeは関係タイプです。 DL構文のキーワードはありません。抽象構文です。私はrun（r、C）を書いた人も見てきましたが、これはクラスCを使った単なる例でした。あなたの例では、 'Person'が' travelTo'プロパティのドメインであると仮定すると、 '∃r.travelTo⊑Person'になります。'⊤'は、 'owl：Thing'という上位コンセプトです。 – AKSW

あなたは今私にはすべてが分かりました!!あなたはすでに私の論文の章 "承認"の場所に値するでしょう：Pしかし、自分の利益のために、私はそれをしない方がいいでしょう：P – Richy

説明論理をモデルに適用

答えて

関連する問題