【发布时间】：2017-10-07 20:07:41
【问题描述】：
根据 Protégé 教程，类限制是使用“类描述”视图的“超类”部分上的对象限制创建器创建的。但是，一些科学论文在“对象属性描述”视图的“超类”部分创建了类限制。有什么区别？如果没有区别，根据 OWL，哪个是正确的？图一显示了每个场景的示例。
添加对象属性描述图像的超类部分以便更好地理解
【问题讨论】：
-
什么是“对象属性描述视图的超类部分”？您可以为属性定义的唯一内容是域、范围、逆属性、超属性和一些特性，如功能。为属性定义一些东西意味着它是某种“全局”限制。另一方面，对类的超类添加限制确实只是对类的“本地”。它的实例。
-
提前感谢您的帮助。我确实理解类限制的概念，但我不明白为什么一些本体设计者在对象属性描述视图的部分使用它（我添加了我想知道我的意思）。如果有“全局限制”，它对谁起作用？
-
所以您不了解属性的域和范围。假设属性
p有一个域C。那么以下成立：对于通过属性p与某个其他个体（或文字）o相关的本体中的每个个体s，即存在一个属性断言公理p(s, o)，我们可以推断出@ 987654333@ 属于C。 -
对象属性的域我想我是对的。但是我还没有完全理解的对象属性的范围。例如，使用 Protégé 的 Pizza 教程。对象属性“hasTopping”具有域“Pizza”和范围“PizzaTopping”。如果我将其范围更改为“hasTopping some PizzaTopping”会发生什么变化？
-
对象的范围类似，只是针对属性断言的对象：假设属性
p有一个范围C。那么以下成立：对于本体中的每个个体o，该个体o用于属性断言，属性p作为来自某个源个体s的目标，即存在属性断言公理p(s, o)，我们可以推断o属于C。