将描述逻辑应用于模型

Question

我对dl有点新鲜。我试图调整这篇文章中的知识：How to express this individual in Description logic

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

我试着将它复制到这个问题中10分钟，但是当复制它时，格式化是完全混乱的（另一件我需要学习的东西：P）。很抱歉没有直接提到这个问题。 DL Logic.doc

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

  

对象属性：travelTo

     

域：法国，德国

     

和范围：意大利，西班牙

     

我会这样做：

     

travelTo（法国，意大利）

     

travelTo（法国，西班牙）

     

或---------------------------

     

法国（travelTo，意大利）

     

法国（travelTo，西班牙）

     

德国（travelTo，意大利）

     

法国（travelTo，西班牙）

有什么建议吗？

最好的问候理查德

Answer 1

对象属性的域和范围应该是类。从我的观点来看，将特定国家用作域名或范围是没有意义的。你确定吗？

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

鉴于r是对象属性而C是域（resp。范围），您可以使用DL语法表达它：

域名（r，C）：

∃r.⊤ ⊑ C

范围（r，C）：

⊤ ⊑ ∀ r.C