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

Question

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

是否应该通知推理者本体的修改？或者我是否需要重新创建推理器，或者我可以通知推理器它应该与更改"同步"吗？(如门徒中的菜单项(

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

Answer 1

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

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