java - 本体推理

Question

我有一些推理问题：如果我只加载一个本体的 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();

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

Answer 1

这是不可能的。没有 ABox，就没有类断言，因此推理器无法找到大多数个体。

唯一可能被发现的人是OneOf限制中的人；但是，我没有尝试过以这种方式构建可以与 Pellet（或其他推理器）一起使用的本体，所以我也不确定这是否可能。