将描述逻辑应用于模型

Question

我对 dl 有点陌生。我试图从这个post中改编知识：

AKSW 好心地帮助我描述了 dl 中的公理。我将知识应用于我的模型。我只是想仔细检查，而不是犯任何设计错误（您不需要检查每个细节）。这是模型看起来像 BPMN 的样子： BPMN Model

我花了 10 分钟尝试将它复制到这个问题中，但是在复制它时格式完全混乱（我需要学习的另一件事 :P）。抱歉没有直接把它放在这个问题中。 DL Logic.doc

编辑：如何用 dl 中的域和范围描述对象 属性？

object property: travelTo

with the domain: France, Germany

and Ranges: Italy, Spain

i would do it as fallowing:

travelTo(France, Italy)

travelTo(France, Spain)

or ---------------------------

France(travelTo,Italy)

France(travelTo, Spain)

Germany(travelTo,Italy)

France(travelTo, Spain)

有什么建议吗？

问候理查德

Answer 1

对象属性的域和范围应该是 classes。在我看来，使用特定国家作为域或范围没有意义。你确定吗？

典型的方法是使用 class Country 并将其用作对象 属性 travelTo 的范围。 DL 语法中没有特定的范围构造，但范围公理只是语法糖。

鉴于 r 是对象 属性 并且 C 是域（resp. range），您可以用 DL 语法表达它：

域名(r, C):

∃r.⊤ ⊑ C

范围(r, C):

⊤ ⊑ ∀ r.C