java - 本体推理

我在推理方面有一些问题：如果仅加载本体的TBox，如何检索类的实例？

OWLOntologyManager manager = OWLManager.createOWLOntologyManager();
OWLDataFactory dataFactory = manager.getOWLDataFactory();
Ontology = manager.createOntology();
Ontology = manager.loadOntologyFromOntologyDocument(IRI.create("http://www.cs.ox.ac.uk/isg/ontologies/lib/RobertsFamily/2009-09-03/00775.owl"));
PelletReasoner reasoner = PelletReasonerFactory.getInstance().createNonBufferingReasoner(Ontology);
reasoner.getKB().printClassTree();

执行被阻塞到最后一行（我没有NULL POINTER）。它只是被阻止:(

最佳答案

只是不可能。没有ABox，就不会有类断言，因此大多数人都无法找到推理机。

可能找到的唯一个人是OneOf限制中包括的个人；但是，我没有尝试过以这种方式构建可以与Pellet（或其他推理机）一起使用的本体，因此我不确定这是否可行。