-1

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、スペイン)

助言がありますか？

よろしくリチャード

4

1 に答える 1

1

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

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

オブジェクトプロパティrとCドメイン (それぞれの範囲) を指定すると、次のように DL 構文で表現できます。

ドメイン (r, C):

∃r.⊤ ⊑ C

範囲 (r, C):

⊤ ⊑ ∀ r.C

于 2016-08-02T06:59:19.907 に答える