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