owlready2推理器未基于rdfs:subClassOf推断B为rdfs:Class的问题咨询

• Owlready2自带的推理器可以正常完成RDFS/OWL语义下的常规推理，本次推理未生成目标三元组，不是推理器故障导致的。
• 该现象是RDFS规则语义、Owlready2推理/导出的实现逻辑共同作用的结果，和推理功能是否正常无直接关联。

按照RDFS 1.1标准的语义规则，内置公理明确声明：

rdfs:subClassOf rdfs:domain rdfs:Class
rdfs:subClassOf rdfs:range rdfs:Class
理论上存在B rdfs:subClassOf A三元组时，确实可以推导出B rdf:type rdfs:Class、A rdf:type rdfs:Class两个隐含三元组。实际未导出该结果的原因有三点：

1. Owlready2的类识别存在优先级差异
   Owlready2加载本体时，会优先将被标记为owl:Class的实体识别为OWL类。你在初始文件中仅显式声明A RDF.type RDFS.Class、没有为A添加owl:Class类型标记时，Owlready2会将其识别为普通实体，而非具备类层级关联资格的OWL类，此时B rdfs:subClassOf A会被当作普通属性关联，自然不会触发类类型的推导逻辑。
2. 默认推理模式存在结果过滤逻辑
   不带参数直接调用sync_reasoner()时，推理器会默认开启冗余结果过滤：对于已经通过类层级关联、实例关联被识别为类的实体，不会重复生成并写入基础类型声明三元组。你期望看到的B RDF.type RDFS.Class属于这类被过滤的冗余三元组——实际推理过程已经完成了类型推导，只是默认不会将这类泛化基础声明写入导出文件。
3. 导出阶段存在内容精简规则
   Owlready2保存RDF/XML格式文件时，会自动去除所有和内置本体公理重复的泛化三元组。由于rdfs:Class本身是RDFS内置的核心类，所有具备类资格的实体天然继承该类型，导出时不会单独重复写入这类声明。

• 调整初始OWL文件的类标记：将原有A RDF.type RDFS.Class替换为A RDF.type owl:Class，重新加载本体、执行推理后保存，即可看到完整的类层级推理结果。
• 如需导出全量的RDFS推理三元组，可在调用推理器时开启完全推理参数：使用sync_reasoner(infer_property_values=True, debug=0)，此时域、值域规则对应的类类型三元组会被纳入导出范围。

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