Reference reasoner inside of the synchronised block as it can reference
the ontology manager
import pellet-explanation to work on explanations
experimentally add hermit in as a dependency