edu.stanford.smi.protegex.owl.inference.dig
Interfaces 
ProtegeDIGReasoner
Classes 
DefaultProtegeDIGReasoner