rdfs:subClassOf是否真的具备传递性？OWL推理器推理异常问询

测试用本体（Turtle格式） #

@prefix : <http://www.semanticweb.org/justin/ontologies/2022/10/untitled-ontology-16#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
:A1 rdf:type owl:Class .

:A2 rdf:type owl:Class ;
    rdfs:subClassOf :A1 .

:A3 rdf:type owl:Class ;
    rdfs:subClassOf :A2 .

预期推理结果 #

:A3 rdfs:subClassOf :A1 .

实际现象 #

将上述本体加载到HermiT和RDFox两款OWL推理器后，均未生成预期的传递性子类关系推断。

原因分析与解决方案 #

根据语义Web规范：

• RDF Schema明确规定：rdfs:subClassOf属性具备传递性。
• OWL规范对传递性属性的定义：若属性P是传递性属性，且存在实例对(x,y)和(y,z)属于P，则可推断(x,z)也属于P。

推理器未生成预期结果的核心原因是推理模式配置问题：

• 多数OWL推理器默认仅启用OWL核心公理推理，而rdfs:subClassOf的传递性推导属于RDFS层级的规则，若未开启RDFS推理支持，推理器不会自动执行这类推导。
• 针对HermiT：需手动开启RDFS推理模式，或确保加载本体时同时纳入RDFS语义规则。
• 针对RDFox：可调整推理配置，指定启用包含RDFS的混合推理语义，而非仅严格的OWL推理模式。

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