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