|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Interface Summary | |
|---|---|
| ProgressMonitor | Interface for monitoring progress in processes that can take some time to complete. |
| Class Summary | |
|---|---|
| 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 Summary | |
|---|---|
| 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. |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||