try {
// see whether the Protege version of the user already has the reasoner preferences tab
ProtegeOWLReasonerFactoryAdapter.class.getMethod("getOWLModelManager", (Class<?>[])null);
// if we are not thrown into the catch block, we can initialise the reasoner preferences
ReasonerPreferences preferences=this.getOWLModelManager().getReasonerPreferences();
PrepareReasonerInferences prepareReasonerInferences=new PrepareReasonerInferences();
// class classification
prepareReasonerInferences.classClassificationRequired=
preferences.isEnabled(ReasonerPreferences.OptionalInferenceTask.SHOW_CLASS_UNSATISFIABILITY) ||
preferences.isEnabled(ReasonerPreferences.OptionalInferenceTask.SHOW_INFERRED_EQUIVALENT_CLASSES) ||
preferences.isEnabled(ReasonerPreferences.OptionalInferenceTask.SHOW_INFERRED_INHERITED_ANONYMOUS_CLASSES) ||