关于本体论的推理

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();

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

Answer 1

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

可能找到的唯一个人是OneOf限制中包含的个人;但是，我没有尝试用这种方式构建一个可以与Pellet（或其他reasoners）一起使用的本体，所以我也不确定它是否可能。