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