简体繁体 English

OWL Protégé 如何正确使用对象限制创建器

[英]OWL Protégé how to proper use object restriction creator

原文 2017-10-07 20:07:41 7 1 owl/ ontology/ protege

According to Protégé tutorial, class restrictions are created using the object restriction creator on the on the "Superclasses" section of the "Class Description" view.根据 Protégé 教程，类限制是使用“类描述”视图的“超类”部分上的对象限制创建器创建的。 However, some scientific papers creates class restrictions on the "Superclasses" section of the "Object Property Description" view.但是，一些科学论文在“对象属性描述”视图的“超类”部分创建了类限制。 What is the diference?有什么区别？ If there is no difference, which is correct according to OWL?如果没有区别，根据OWL哪个是正确的？ Figure one shows an example of each scenario.图一显示了每个场景的示例。

Adding the Superclasses section of the Object Property Description image for better understanding添加对象属性描述图像的超类部分以便更好地理解

1 个解决方案

In the picture you posted there is no superclass section for object properties - those represented are subproperty axioms.在您发布的图片中，没有对象属性的超类部分 - 表示的是子属性公理。

As discussed in the comments, global and local restrictions on properties can be expressed through domain/range axioms on the property or with restriction superclasses in other classes, however the two approaches satisfy very different requirements - the classic example being hasDescendant , which can be globally restricted to have domain and range as Living Organism , and which can be locally restricted as in:正如评论中所讨论的，对属性的全局和局部限制可以通过属性的域/范围公理或其他类中的限制超类来表达，但是这两种方法满足非常不同的要求 - 经典示例是hasDescendant ，它可以是全局的仅限于具有Living Organism域和范围，并且可以在本地进行限制，例如：

Person and all hasDescendant Person

restricting all persons to only have persons as descendants.限制所有人只能拥有人作为后代。