edu.stanford.smi.protegex.owl.inference.reasoner
Interfaces 
ProtegeReasoner
Classes 
AbstractProtegeReasoner