Package org.semanticweb.owlapi.reasoner

Interface Summary
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
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
 

Enum Summary
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
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