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

Question

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

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

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

Answer 1

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

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