OWL中ObjectProperty的domain/range是否与ObjectAllValuesFrom约束冗余？

示例建模代码 #

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
                  ] .

核心疑问 #

• 对类级全称量化约束的理解：上述针对ex:Person的子类声明，语义为只要ex:Person的实例通过ex:hasPet关联了其他个体，该关联对象必然归属ex:Pet类。
• 语义重叠的直觉判断：该约束似乎和ex:hasPet上预先声明的rdfs:range ex:Pet规则完全重合——毕竟属性范围本身已经规定了ex:hasPet的取值必须属于ex:Pet。
• 待确认问题：两类声明是否属于完全冗余的建模设计？是否遗漏了二者的关键语义差异？

语义核心差异辨析 #

二者不存在完全等价的语义关系，核心差异体现在约束的生效范围上：

• rdfs:range是属性级全局约束：只要存在形如?s ex:hasPet ?o的三元组，推理引擎就会自动推导出?o rdf:type ex:Pet，该规则对所有通过ex:hasPet产生的关联无差别生效，不区分主语所属的类。
• owl:allValuesFrom类限制是类级局部约束：该规则仅对ex:Person类的实例生效，不会对其他类的个体使用ex:hasPet的场景产生任何约束，也不会要求该属性的所有取值都必须满足类型要求。

冗余判断的适用边界 #

• 当本体中没有其他类的个体复用ex:hasPet属性时，两类约束的推理输出确实会完全重叠，此时类级的全称量化限制看起来和全局range没有区别。
• 当存在属性跨类复用的场景时，两类约束的差异会立刻显现：
  1. 若需要给ex:hasPet新增其他适用场景，比如允许ex:AnimalShelter类的个体通过该属性关联“领养申请记录”类（非ex:Pet）的实例，全局range规则会产生和业务逻辑冲突的错误推理，而针对ex:Person的类级限制完全不会影响新场景的建模。
  2. 若去掉ex:hasPet的全局range声明，仅保留类级的allValuesFrom约束：此时非Person类的个体通过该属性关联任意类型的对象都不会被校验，但Person类个体的关联对象仍会被强制要求属于ex:Pet类，约束不会扩散到全局属性的使用场景。

这类类级局部约束的设计选择，广泛应用于需要跨类复用通用属性的医疗信息本体建模场景——通过类级限制替代全局range，可以避免同一个属性被不同类复用时，取值范围要求被全局规则强加给所有复用方。

内容的提问来源于stack exchange，提问作者Spencer Crosswy