提前打印 InfModel 会更改稍后打印的表示形式吗？

Question

我在 Jena 2.5.5（在 Linux 上）中使用推理 API 时得到了奇怪的效果。 以下代码是精简版本。 我正在创建一个最初为空的模型和一个通用规则推理器。 我为某个陈述添加了自反性规则。 我将推理器附加到模型上以获得 InfModel。 然后我创建匹配语句并将其添加到模型中。

结果：InfModel 包含该语句及其相反语句。 到目前为止一切都很好，这就是它应该做的。

现在，当我在将匹配语句添加到模型之前 System.out.println() InfModel 时，结果完全不同：规则似乎不会触发，因此 InfModel 最终将不包含与原始声明相反。

将模型写入控制台如何改变代码的功能？ 这种行为有记录吗？

import java.util.*;

import com.hp.hpl.jena.rdf.model.*;
import com.hp.hpl.jena.reasoner.rulesys.*;

/**
 * Describe class <code>RuleTest</code> here.
 */
public class RuleTest {
    public static void main(String[] args) throws Exception {
        /* create model */
        Model model = ModelFactory.createDefaultModel();

        /* output model */
        System.out.println("original model : " + model);
        System.out.println("-----");

        /* collect rules */
        List<Rule> rules = new ArrayList<Rule>();
        Rule rule = Rule.parseRule("[ (subject predicate object) -> (object predicate subject) ].");
        rules.add(rule);

        /* create rule reasoner */
        GenericRuleReasoner reasoner = new GenericRuleReasoner(rules);

        /* attach reasoner to model */
        InfModel infModel = ModelFactory.createInfModel(reasoner, model);

        /* output model */
        //-----------------------------------------------//
        // commenting the following line in/out changes  //
        // the output of (*) below in Jena 2.5.5 ?!?!?!  //
        //-----------------------------------------------//
        //System.out.println("inference model: " + infModel);        
        System.out.println("=====");

        /* add facts to original model */
        Resource s = model.createResource("subject");
        Property p = model.createProperty("predicate");
        RDFNode  o = model.createResource("object");
        Statement stmt = model.createStatement(s, p, o);
        model.add(stmt);

        /* output models */
        System.out.println("original model : " + model);
        System.out.println("-----");
        System.out.println("inference model: " + infModel); // (*)
    }
}

Answer 1

快速浏览一下相关源代码，您似乎有两个选择：

• 如果您想对基本模型进行更改，然后确保它们传播到 infModel ，那么您必须在进行更改后、“询问”infModel 任何内容之前调用 infModel.rebind()。

• 您可以直接使用infModel（而不是model）来创建和添加语句的元素以及语句本身。

我知道这并不能直接回答您的问题，但它可能会解决您的问题（顺便说一句，这似乎是由 ModelCom 中的 toString() 方法触发的具体化引起的- InfModel 的父类）。

Answer 2

model.toString() 可能有副作用。 我没有看过 JENA 来源，所以我不能确定。

Answer 3

现在已经是几年后的事了，Jena 属于 2.10.x 系列。 当指示的行被注释掉时，程序的输出为：

original model : <ModelCom   {} | >
-----
=====
original model : <ModelCom   {subject @predicate object} |  [subject, predicate, object]>
-----
inference model: <ModelCom   {object @predicate subject; subject @predicate object} |  [object, predicate, subject] [subject, predicate, object]>

并且 InfModel 的字符串表示形式包含两个三元组。 当该行取消注释时，输出为：

original model : <ModelCom   {} | >
-----
inference model: <ModelCom   {} | >
=====
original model : <ModelCom   {subject @predicate object} |  [subject, predicate, object]>
-----
inference model: <ModelCom   {subject @predicate object} |  [subject, predicate, object]>

InfModel 的第二个字符串表示只有一个三元组，因此仍然可以观察到差异。 （我在此处包含了输出，因为在问题中不清楚观察到什么差异。）

简短的答案是，发生这种情况是因为您偷偷摸摸地修改了模型< /code> 而不告诉 infModel 您更改了底层 model。 要解决此问题，您应该在更新 model 后添加对 infModel.rebind(); 的调用。 也就是说，您现在将拥有：

model.add(stmt);
infModel.rebind();

当您执行此操作时，您将在两种情况下获得相同的输出。 注释掉该行：

original model : <ModelCom   {} | >
-----
=====
original model : <ModelCom   {subject @predicate object} |  [subject, predicate, object]>
-----
inference model: <ModelCom   {object @predicate subject; subject @predicate object} |  [object, predicate, subject] [subject, predicate, object]>

未注释该行：

original model : <ModelCom   {} | >
-----
inference model: <ModelCom   {} | >
=====
original model : <ModelCom   {subject @predicate object} |  [subject, predicate, object]>
-----
inference model: <ModelCom   {object @predicate subject; subject @predicate object} |  [object, predicate, subject] [subject, predicate, object]>

我的猜测是，编写 InfModel 的字符串表示形式不会导致执行任何推理，除非尚未执行任何推理，然后打印底层模型，然后打印任何其他三元组所推断的。 结果：

• 在第一种情况下（当您仅打印一次 infModel 时），它尚未进行任何推理，因此它会查阅 model 并进行适当的推理并得到额外的三元组。 然后它打印 model 的三元组，然后是推断的三元组。
• 在第二种情况下（当您打印 infModel 两次时），第一次打印 infModel 时，它会查阅 model 并进行一些推理，但是 < code>model 为空，因此没有额外的三元组，然后它打印 model 的三元组和附加的推断三元组（没有）。 然后，第二次打印 infModel 时，已经执行了推理，因此它打印 model 的三元组（但有一个额外的）和任何推断的三元组（有没有，因为没有进行更多的推理）。

在向 model 添加三元组后调用 rebind() 意味着在第二种情况下，额外的推断三元组在打印时可用。