java - OWLAPI：创建（HermiT）推理器后修改本体

Question

我将 OWLAPI 与 HermiT 一起使用，除非我在创建推理器后尝试修改本体，否则它可以工作。

是否应该通知推理者本体的修改？或者我需要重新创建推理器，还是可以通知推理器它应该与更改“同步”？（如 Protege 中的菜单项）

编辑：什么“不起作用”：我正在添加一个使本体不一致的公理，如果我在创建推理器后添加它，推理器仍然报告它是一致的。

Answer 1

推理器可以在缓冲或非缓冲模式下创建。在非缓冲模式下，本体更改将立即同步。

您可能正在使用缓冲模式。要同步，请调用 flush() 方法。