ObjectProperty 域/范围可以与 ObjectAllValuesFrom 冗余吗？

问题描述

我正在阅读本体（HL7 FHIR ontology）并试图理解为什么做出某些选择。我已将我的问题提炼为一个基本示例：

ex:Pet a owl:Class .

ex:hasPet
  a owl:ObjectProperty ;
  rdfs:domain ex:Person ;
  rdfs:range  ex:Pet .

ex:Person
  a owl:Class;
  rdfs:subClassOf [ a owl:Restriction ;
                    owl:allValuesFrom ex:Pet ;
                    owl:onProperty ex:hasPet
                  ] .

我理解全称量化 (ObjectAllValuesFrom) 的方式，上面的子类声明意味着如果 ex:Person 的实例通过 ex:hasPet 连接到其他实例，那么该实例属于类 ex:Pet。不过，这似乎是多余的，因为 ex:Pet 的域和范围一开始就是以这种方式定义的。我是否遗漏了什么，或者这些陈述是多余的？

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）