CODEWITHSUNDEEP
javaowl-apidescription-logichermit
peschü
peschü

Reputation: 1359

OWLAPI: modify ontology after creating (HermiT) reasoner

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.

Upvotes: 0

Views: 172

Answers (1)

Ignazio
Ignazio

Reputation: 10684

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.

Upvotes: 1

Related Questions