edu.stanford.smi.protegex.owl.inference.dig.exception
Classes 
DIGError
Exceptions 
DIGErrorException
DIGReasonerException