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