| Interface | Description |
|---|---|
| ProgressMonitor |
Interface for monitoring progress in processes that can take some time to
complete.
|
| Class | Description |
|---|---|
| DummyProgressMonitor |
A progress monitor that does nothing.
|
| Reasoner |
The class for querying the results of the reasoning tasks for a given
ontology.
|
| ReasonerComputation<I,F extends InputProcessorFactory<I,?>> |
A
ConcurrentComputation used for executing of reasoner stages |
| ReasonerFactory |
The main factory to instantiate
Reasoner |
| ReasonerJob<I,O> |
A general class for jobs submitted for computation.
|
| Exception | Description |
|---|---|
| ElkFreshEntitiesException |
Exception that is thrown when a query that is asked to the reasoner refers to
vocabulary symbols that do not occur in the ontology yet.
|
| ElkInconsistentOntologyException |
Thrown when irrelevant reasoning methods are called for an ontology that is
inconsistent.
|
| ElkUnsupportedReasoningTaskException |
Exception that is thrown when the reasoner is asked to perform a reasoning
task that is not supported.
|
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.