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