OWLProtégé如何正确使用对象限制创建者

Question

根据Protégé教程，使用“类描述”视图的“超类”部分上的对象限制创建器创建类限制。但是，一些科学论文在“对象属性描述”视图的“超类”部分创建了类限制。有什么不同？如果没有差异，根据OWL是否正确？图1显示了每个场景的示例。

添加对象属性描述图像的超类部分以便更好地理解

Answer 1

在您发布的图片中，对象属性没有超类部分 - 表示的是子属性公理。

正如评论中所讨论的，对属性的全局和局部限制可以通过属性上的域/范围公理或其他类中的限制超类来表示，但是这两种方法满足非常不同的要求 - 典型的例子是{{1 }}，可以全局限制为域名和范围为hasDescendant，可以在本地限制，如下所示：

Living Organism

限制所有人只有人作为后代。