Package | Description |
---|---|
org.semanticweb.owlapi.reasoner |
OWLReasoner package.
|
Modifier and Type | Class and Description |
---|---|
class |
AxiomNotInProfileException |
class |
ClassExpressionNotInProfileException |
class |
FreshEntitiesException
Indicates that a query whose signature contained fresh entities was posed to
the reasoner.
|
class |
IllegalConfigurationException |
class |
ImportsClosureNotInProfileException
This exception indicates that the reasoner cannot handle the set of axioms
that are in the imports closure of the root ontology because the axioms fall
outside of the "largest" OWL profile (i.e.
|
class |
InconsistentOntologyException
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
Specifies that a some internal error occurred during reasoning.
|
class |
TimeOutException
Thrown when the current reasoner operation has been interrupted due to a
satisfiability check timeout.
|
Copyright © 2020 The University of Manchester. All rights reserved.