rdf - owlready2 rdfs:subClassOf 推理不起作用

Question

我创建了一个 rdflib 图形并将其序列化为 XML 格式的 owl 文件。我明确写A RDF.type RDFS.Class和B RDFS.subClassOf A. 在我这样做之后。

    onto = owlready2.get_ontology("file://D:/Uni/cs/courses/bdrp/bdrp_sch_kb/code/test1.owl").load()
    owlready2.sync_reasoner()
    onto.save("test2.owl", format='rdfxml')

但是当我打开的时候test2.owl，没有B RDF.type RDFS.Class。因此，B没有推断出 's 的类型。owlready2推理机是否有效？