捕捉颗粒推理器产生的所有推论

时间:2013-04-29 16:42:09

标签: ontology owl inference pellet

在我的应用程序中执行推理器时遇到问题,我无法捕获推理器生成的推论。 它正常执行,printClassTree告诉我发现了推论,但结果OWLOntology没有推论。 目前的代码:

com.clarkparsia.pellet.owlapiv3.PelletReasoner reasoner = PelletReasonerFactory.getInstance().createReasoner(ontology);
    reasoner.getKB().realize();
    reasoner.getKB().printClassTree();

我应该改变什么?如何捕获推理推理器产生的公理?

2 个答案:

答案 0 :(得分:0)

以下代码工作正常,此处“inferredOnotology”包含基本本体以及推断结果。

请注意,此代码是使用pellet 2.1或2.2版本测试的,不确定最新版本的pellet。

        OWLOntology inferredOntology; 
        // Create Reasoner
        OWLReasonerFactory reasonerFactory = new PelletReasonerFactory();
        OWLReasoner reasoner = reasonerFactory.createReasoner(manager);

        // Load the ontologies into the reasoner.
        Set<OWLOntology> importsClosure = manager.getImportsClosure(inferredOntology);
        reasoner.loadOntologies(importsClosure);

        // Reason!
        reasoner.classify();

        InferredOntologyGenerator iog = new InferredOntologyGenerator(reasoner);
        iog.fillOntology(manager, inferredOntology);

答案 1 :(得分:0)

我正在使用此导入

import com.clarkparsia.pellet.owlapiv3.PelletReasoner

使用Pellet 2.3.0

我这样声明:

PelletReasoner razonador;

并使用本体初始化:

razonador=com.clarkparsia.pellet.owlapiv3.PelletReasonerFactory.getInstance().createReasoner(ont)

其中ont是本体,我只是用它来分类:

razonador.getKB().classify();

希望它有所帮助!