org.semanticweb.owlapi.reasoner

Interfaces

• Node
• NodeSet
• OWLReasoner
• OWLReasonerConfiguration
• OWLReasonerFactory
• ReasonerProgressMonitor

Classes

• ConsoleProgressMonitor
• NullReasonerProgressMonitor
• SimpleConfiguration
• TimedConsoleProgressMonitor

Enums

• BufferingMode
• FreshEntityPolicy
• IndividualNodeSetPolicy
• InferenceType

Exceptions

• AxiomNotInProfileException
• ClassExpressionNotInProfileException
• FreshEntitiesException
• IllegalConfigurationException
• ImportsClosureNotInProfileException
• InconsistentOntologyException
• OWLReasonerRuntimeException
• ReasonerInternalException
• ReasonerInterruptedException
• TimeOutException
• UnsupportedEntailmentTypeException