edu.stanford.smi.protegex.owl.inference.dig.reasoner
Interfaces 
DIGReasoner
Classes 
DefaultDIGReasoner
DIGReasonerIdentity
DIGReasonerPreferences