如何解决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 举报,一经查实,本站将立刻删除。