我将此海龟文件加载到两个不同的 OWL 推理机（HermiT 和 RDFox）中：
@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 .
但两个推理者都没有。
相关材料：
“rdfs:subClassOf 属性是可传递的。” https://www.w3.org/TR/rdf-schema/#ch_subclassof
“当我们将属性 P 定义为传递属性时，这意味着如果一对 (x,y) 是 P 的实例，并且一对 (y,z) 也是 P 的实例，那么我们可以推断(x,z) 对也是 P 的一个实例。” https://www.w3.org/TR/owl-ref/#TransitiveProperty-def