-1

我对 dl 有点陌生。我试图从这篇文章中调整知识：如何在描述逻辑中表达这个人

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

我试图将它复制到这个问题中 10 分钟，但是当复制它时，格式完全混乱（我需要学习的另一件事：P）。很抱歉没有直接把它放在这个问题中。 深度学习逻辑.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 回答