| Package | Description |
|---|---|
| org.semanticweb.owlapi.reasoner |
| Modifier and Type | Class and Description |
|---|---|
class |
AxiomNotInProfileException
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 22-Nov-2009 |
class |
ClassExpressionNotInProfileException
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 22-Nov-2009 |
class |
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. |
class |
IllegalConfigurationException
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 21-Jan-2009 |
class |
ImportsClosureNotInProfileException
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 22-Nov-2009 |
class |
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. |
class |
ReasonerInternalException
Author: Matthew Horridge
The University of Manchester Bio-Health Informatics Group Date: 05-Jul-2010 |
class |
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. |
Copyright © 2013 The University of Manchester. All Rights Reserved.