Owlready2集成Pellet推理器无法推断个体的超类归属问题

我遇到过类似的情况，这其实不是Pellet推理器的问题，而是Owlready2的get_instances_of()方法默认行为和推理结果同步逻辑导致的。

你期望Testindividual被识别为Testclass的实例完全合理，而且Pellet实际上已经完成了这个推断——只是Owlready2的get_instances_of()默认只返回显式声明属于该类的个体，不会自动拾取推理得出的隐式类成员关系。而Protege的查询会实时结合推理结果展示，所以能正常看到超类的实例。

先验证推理是否真的生效 #

你可以直接检查个体的is_a属性，确认推理结果已经存在：

import owlready2 as owl

onto = owl.get_ontology("data/testonto.rdf").load()

with onto:
    owl.sync_reasoner_pellet()
    
    print(onto.Testindividual.is_a)
    # 输出示例: [untitled-ontology-10.Testchild, untitled-ontology-10.Testclass]

这里能看到Testclass已经被添加到个体的类型列表中，说明推理是成功的。

获取超类的所有实例（显式+隐式） #

如果需要像Protege那样获取某个类的全部实例（包括子类的个体），可以用以下两种方法：

方法1：使用类的instances()方法

Owlready2的类对象的instances()方法在推理会话中会返回所有显式和隐式的实例：

print(list(onto.Testclass.instances()))
# 输出示例: [untitled-ontology-10.Testindividual]

方法2：通过SPARQL查询

如果需要更灵活的查询逻辑，可以用Owlready2内置的SPARQL功能直接查询推理后的结果：

results = list(owl.default_world.sparql("""
    SELECT ?ind
    WHERE {
        ?ind a <http://www.semanticweb.org/cwrk/ontologies/2024/11/untitled-ontology-10#Testclass>
    }
"""))
print([ind[0] for ind in results])
# 输出示例: [untitled-ontology-10.Testindividual]

额外说明 #

如果你希望把推断的类断言永久写入本体（不推荐，会增加冗余），可以在调用推理器时调整相关设置，但通常没必要——推理器本身就能实时处理这些隐式的继承关系，保留显式声明的本体结构更清晰。

备注：内容来源于stack exchange，提问作者Cronos