Package org.semanticweb.owlapi.reasoner

Interface Summary

Interface	Description
Node<E extends OWLObject>	Author: Matthew Horridge The University of Manchester Information Management Group Date: 03-Jul-2009
NodeSet<E extends OWLObject>	Author: Matthew Horridge The University of Manchester Information Management Group Date: 01-Aug-2009
OWLReasoner	Author: Matthew Horridge The University of Manchester Information Management Group Date: 21-Jan-2009
OWLReasonerConfiguration	Author: Matthew Horridge The University of Manchester Information Management Group Date: 21-Jan-2009
OWLReasonerFactory	Author: Matthew Horridge The University of Manchester Information Management Group Date: 21-Jan-2009
ReasonerProgressMonitor	Author: Matthew Horridge The University of Manchester Information Management Group Date: 29-Nov-2009

Class Summary

Class	Description
ConsoleProgressMonitor	Author: Matthew Horridge The University of Manchester Information Management Group Date: 05-Jan-2010
NullReasonerProgressMonitor	Author: Matthew Horridge The University of Manchester Information Management Group Date: 29-Nov-2009 An implementation of a progress monitor that does nothing when it receives notification of progress events.
SimpleConfiguration	Author: Matthew Horridge The University of Manchester Information Management Group Date: 18-Mar-2009
TimedConsoleProgressMonitor	Author: Matthew Horridge The University of Manchester Information Management Group Date: 05-Jan-2010

Enum Summary

Enum	Description
BufferingMode	Author: Matthew Horridge The University of Manchester Information Management Group Date: 04-Dec-2009
FreshEntityPolicy	Author: Matthew Horridge The University of Manchester Information Management Group Date: 29-Nov-2009
IndividualNodeSetPolicy	Author: Matthew Horridge The University of Manchester Information Management Group Date: 09-Dec-2009
InferenceType	Author: Matthew Horridge The University of Manchester Bio-Health Informatics Group Date: 04-Jul-2010 An enumeration that denotes various types of inference task.

Exception Summary

Exception	Description
AxiomNotInProfileException	Author: Matthew Horridge The University of Manchester Information Management Group Date: 22-Nov-2009
ClassExpressionNotInProfileException	Author: Matthew Horridge The University of Manchester Information Management Group Date: 22-Nov-2009
FreshEntitiesException	Author: Matthew Horridge The University of Manchester Information Management Group Date: 21-Jan-2009 Indicates that a query whose signature contained fresh entities was posed to the reasoner.
IllegalConfigurationException	Author: Matthew Horridge The University of Manchester Information Management Group Date: 21-Jan-2009
ImportsClosureNotInProfileException	Author: Matthew Horridge The University of Manchester Information Management Group Date: 22-Nov-2009
InconsistentOntologyException	Author: Matthew Horridge The University of Manchester Information Management Group Date: 21-Jan-2009 This type of exception is thrown by an OWLReasoner to indicate that the imports closure of the root ontology (returned by OWLReasoner.getRootOntology()) is inconsistent.
OWLReasonerRuntimeException	Author: Matthew Horridge The University of Manchester Information Management Group Date: 21-Jan-2009
ReasonerInternalException	Author: Matthew Horridge The University of Manchester Bio-Health Informatics Group Date: 05-Jul-2010
ReasonerInterruptedException	Author: Matthew Horridge The University of Manchester Information Management Group Date: 29-Oct-2009
TimeOutException	Author: Matthew Horridge The University of Manchester Information Management Group Date: 24-Sep-2009 Thrown when the current reasoner operation has been interrupted due to a satisfiability check timeout.
UnsupportedEntailmentTypeException	Author: Matthew Horridge The University of Manchester Information Management Group Date: 18-Mar-2009