根据Protégé教程,类限制是使用“类描述”视图的“超类”部分上的对象限制创建者创建的。但是,一些科学论文在“对象属性描述”视图的“超类”部分创建了类限制。有什么不同?如果没有区别,根据OWL哪个是正确的?图1显示了每种情况的一个例子。OWLProtégé如何正确使用对象限制创建器
添加对象属性描述图像的超类部分为更好地理解
根据Protégé教程,类限制是使用“类描述”视图的“超类”部分上的对象限制创建者创建的。但是,一些科学论文在“对象属性描述”视图的“超类”部分创建了类限制。有什么不同?如果没有区别,根据OWL哪个是正确的?图1显示了每种情况的一个例子。OWLProtégé如何正确使用对象限制创建器
添加对象属性描述图像的超类部分为更好地理解
在你贴有针对对象的属性没有超节图片 - 代表的是子属性公理。
正如在评论中所讨论的那样,全局和本地对属性的限制可以通过属性上的域/范围公理来表示,或者通过其他类中的限制超类来表示,但是这两种方法满足非常不同的要求 - 典型示例是hasDescendant
,这可以全局限制为具有定义域和值域为Living Organism
,并且其可被局部限制如:
Person and all hasDescendant Person
限制所有人为仅具有作为后代的人。
感谢您的支持,但我仍然无法想象这两种方法如何满足不同的要求。我知道他们这样做。但我看不出差异。你介意扩展你的例子吗? – PLS
什么是“对象属性描述”视图的“超类”部分?您可以为属性定义的唯一内容是域,范围,逆向属性,超级属性以及一些功能等特征。为财产定义一些东西意味着它是某种“全球”限制。另一方面,对类的超类添加限制对于类resp来说确实是“本地”的。其实例。 – AKSW
提前感谢您的帮助。我确实理解类限制的概念,但我不明白为什么一些本体设计人员在对象属性描述视图的部分中使用它(我添加了I figure,所以我可以看到我的意思)。如果有“全球限制”,它是谁的作品? – PLS
所以你不明白财产的范围和范围。假设属性“p”有一个域“C”。那么下面是:对于本体中与属性'p'相关的其他个体(或文本)o的每个个体,即存在属性断言公理p(s,o)',我们可以推断's'属于'C'。 – AKSW