我将OWLAPI与HermiT一起使用，除非创建推理程序后尝试修改本体，否则它将起作用。
是否应将对本体的修改通知推理者？还是我需要重新创建推理器，或者我可以通知推理器它应该与更改“同步”？ （例如Protege中的菜单项）
编辑：什么“不起作用”：我添加了一个使本体论不一致的公理，并且如果在创建推理器之后添加它，则推理器仍然报告它是一致的。
可以在缓冲或非缓冲模式下创建推理机。在非缓冲模式下，本体更改将立即同步。
您可能正在使用缓冲模式。要进行同步，请调用flush（）方法。