在我的应用程序中执行推理器时遇到问题,我无法捕获推理器生成的推理。它正常执行,printClassTree 向我显示找到了推论,但结果 OWLOntology 没有推论。当前代码:
com.clarkparsia.pellet.owlapiv3.PelletReasoner reasoner = PelletReasonerFactory.getInstance().createReasoner(ontology);
reasoner.getKB().realize();
reasoner.getKB().printClassTree();
我应该改变什么?如何捕获推理推理器产生的公理?