Package org.semanticweb.owlapi.reasoner

Interface Summary
Node<E extends OWLLogicalEntity> Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 03-Jul-2009
NodeSet<E extends OWLLogicalEntity> 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
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 recieves notifcation 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
UndeclaredEntityPolicy Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 29-Nov-2009
 

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
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.
OWLReasonerException Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 21-Jan-2009
OWLReasonerRuntimeException Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 21-Jan-2009
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.
UndeclaredEntitiesException Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 21-Jan-2009 Indicates that a query was posed to the reasoner that contained undeclared entities.
UnsupportedEntailmentTypeException Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 18-Mar-2009