OWLAPI:创建后修改本体(HermiT)推理器

Question

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

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

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

Answer 1

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

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