edu.stanford.smi.protegex.owl.inference.util
Classes 
ReasonerPreferences
ReasonerUtil
TimeDifference