|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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 |
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |