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

Question

I use OWLAPI with HermiT and it works unless I try to modify the ontology after the reasoner has been created.

Should the reasoner be notified of modifications of the ontology? Or do I need to recreate the reasoner, or can I notify the reasoner that it should "synchronize" with the changes? (like the menu item in Protege)

Edit: what "does not work": I am adding an axiom that makes the ontology inconsistent, and if I add it after creating the reasoner, the reasoner still reports it is consistent.

Answer 1

The reasoner can be created in buffering or non buffering mode. In non buffering mode, ontology changes will be immediately synchronized.

You are likely using buffering mode. To synchronize, call the flush() method.