Rdf 将描述逻辑应用于模型

Rdf 将描述逻辑应用于模型,rdf,owl,bpmn,description-logic,Rdf,Owl,Bpmn,Description Logic,我对dl有点陌生。我试着改编这篇文章中的知识: AKSW好心地帮助我用dl描述公理。我把知识应用到我的模型上。我只是想仔细检查一下,不要犯任何设计错误(你不需要检查每一个细节)。这就是模型看起来像BPMN的方式: 我试着把它复制到这个问题上10分钟,但是复制的时候,它的格式完全是混乱的(另一件事我需要学习:p)。很抱歉没有直接把它放在这个问题上。 编辑:如何在dl中描述具有域和范围的对象属性 对象属性:travelTo 使用域:法国、德国 和范围:意大利、西班牙 我会把它当作休闲: trav

我对dl有点陌生。我试着改编这篇文章中的知识:

AKSW好心地帮助我用dl描述公理。我把知识应用到我的模型上。我只是想仔细检查一下,不要犯任何设计错误(你不需要检查每一个细节)。这就是模型看起来像BPMN的方式:

我试着把它复制到这个问题上10分钟,但是复制的时候,它的格式完全是混乱的(另一件事我需要学习:p)。很抱歉没有直接把它放在这个问题上。

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

对象属性:travelTo

使用:法国、德国

范围:意大利、西班牙

我会把它当作休闲:

travelTo(法国、意大利)

travelTo(法国、西班牙)

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

法国(意大利旅行社)

法国(西班牙旅行社)

德国(意大利travelTo)

法国(西班牙旅行社)

有什么建议吗


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

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

考虑到
r
是对象属性,而
C
是域(各自的范围),您可以用DL语法表示它:

域(r,C):

∃R⊤ ⊑ C

范围(r,C):


⊤ ⊑ ∀ r、 C

我觉得我应该警告你,由于你的问题数量被否决和/或关闭,你很快就会面临(临时)问题禁令的风险。有关这方面的更多信息,请参阅,以及您可以采取哪些措施来防止它。谢谢Jeen,这感觉很糟糕。以我的知识或经验,很难用不同的方式来做这件事。一个因素可能是我每天都从10点工作到24点。我正在写我的硕士论文,它已经接近尾声了。我觉得我从你们身上学到了很多。我希望你能从你给我的反馈中看到我的进步。我相信其他人可以从问题中学习,也可以从我的错误中学习!!我只能说我真的很感谢这一切。对象属性的域和范围应该是类。在我看来,使用特定国家作为域或范围是没有意义的。你确定吗?谢谢你,这就是我要找的。你确定(Range(r,C)是正确的吗?我们不应该用域C来代替Range引入另一个变量吗?t代表什么?Range是关系类型,正如我所说的,DL语法中没有关键字。它只是抽象语法。我还看到人们编写
ran(r,C)
。它只是一个类
C
的示例。
C
是您所在领域中的一个具体类。在您的示例中,它将是
∃r、 旅行社⊑ Person
如果我们假设
Person
是属性的域
travelTo
是最重要的概念,例如,
owl:Thing
。谢谢你,现在我一切都清楚了!!你应该在我论文的“感谢”一章中占有一席之地,:P但为了我自己的利益,我最好不要这样做:P