OWL API非缓冲推理器为何需调用flush()？如何消除该依赖？

一、非缓冲推理器中flush()的工作逻辑 #

• 别被“非缓冲”的名字误导——这类推理器并非实时响应本体变更。它会先记录所有本体修改操作（比如添加公理），但不会立刻重新计算推理结果，这么做是为了避免频繁修改导致的性能浪费。
• flush()的核心作用就是触发推理器处理所有待执行的变更，把推理状态同步到当前本体的最新内容，这样后续的查询才能拿到正确结果。

二、取消手动flush()的实现方法 #

要让推理器自动同步本体变更，只需给本体管理器绑定一个变更监听器，让它在每次本体修改后自动触发刷新：

修改后的测试代码 #

@Test
public void reasonerQueryTest() throws OWLOntologyCreationException {
    OWLOntologyManager owlManager = OWLManager.createOWLOntologyManager();
    OWLOntology o = owlManager.createOntology();
    ReasonerFactory reasonerFactory = new ReasonerFactory();
    OWLReasoner reasoner = reasonerFactory.createNonBufferingReasoner(o);
    reasoner.precomputeInferences(InferenceType.CLASS_ASSERTIONS);

    // 绑定变更监听器，自动刷新推理器
    owlManager.addOntologyChangeListener(changeEvents -> {
        reasoner.flush();
    });

    OWLDataFactory factory = owlManager.getOWLDataFactory();
    OWLNamedIndividual a = factory.getOWLNamedIndividual(IRI.create(":a"));
    OWLClass b = factory.getOWLClass(IRI.create(":b"));
    OWLClassAssertionAxiom classAssertionAxiom = factory.getOWLClassAssertionAxiom(b,a);
    
    o.add(classAssertionAxiom);
    // 无需手动调用reasoner.flush()
    owlManager.addAxiom(o, classAssertionAxiom);
    System.out.println(reasoner.getInstances(b, false).getFlattened());
}

注意事项 #

• 监听器会在任何本体变更（添加/删除公理、导入本体等）发生时触发自动刷新，完全替代手动调用flush()的操作。
• 自动刷新会带来一定性能开销，如果你的场景有大量高频本体修改，需要平衡实时性和性能需求。
• 部分第三方推理器可能自带更细粒度的自动同步能力，但OWL API标准的非缓冲推理器默认需要通过这种监听器方式实现自动同步。

内容的提问来源于stack exchange，提问作者andimon