org.semanticweb.owlapi.reasoner
Interfaces 
Node
NodeSet
OWLReasoner
OWLReasonerConfiguration
OWLReasonerFactory
ReasonerProgressMonitor
Classes 
ConsoleProgressMonitor
NullReasonerProgressMonitor
SimpleConfiguration
Enums 
BufferingMode
FreshEntityPolicy
IndividualNodeSetPolicy
InferenceType
Exceptions 
AxiomNotInProfileException
ClassExpressionNotInProfileException
FreshEntitiesException
IllegalConfigurationException
ImportsClosureNotInProfileException
InconsistentOntologyException
OWLReasonerRuntimeException
ReasonerInternalException
ReasonerInterruptedException
TimeOutException
UnsupportedEntailmentTypeException