ModelManager modelManager = workspace.getEditorKit().getModelManager();
if(modelManager instanceof OWLModelManager){
OWLModelManager owlModelManager = (OWLModelManager)modelManager;
OWLReasoner reasoner = owlModelManager.getReasoner();
if(reasoner instanceof Herakles){
Herakles herakles = (Herakles)reasoner;
herakles.setExecutionStrategy(cn);
}
}
// TODO update the load strategy configuration view
}