| Package | Description |
|---|---|
| org.semanticweb.elk.reasoner | |
| org.semanticweb.elk.reasoner.stages |
| Modifier and Type | Method and Description |
|---|---|
protected ReasonerStageExecutor |
Reasoner.getStageExecutor() |
| Modifier and Type | Method and Description |
|---|---|
Reasoner |
ReasonerFactory.createReasoner(AxiomLoader axiomLoader,
ReasonerStageExecutor stageExecutor)
Creates
Reasoner with the configuration loaded from
elk.properties (if exists in the classpath) or the default configuration |
Reasoner |
ReasonerFactory.createReasoner(AxiomLoader axiomLoader,
ReasonerStageExecutor stageExecutor,
ExecutorService executor,
ReasonerConfiguration config) |
Reasoner |
ReasonerFactory.createReasoner(AxiomLoader axiomLoader,
ReasonerStageExecutor stageExecutor,
ReasonerConfiguration config)
Creates
Reasoner with the provided configuration |
| Constructor and Description |
|---|
Reasoner(AxiomLoader axiomLoader,
ReasonerStageExecutor stageExecutor,
ExecutorService executor)
Constructor.
|
| Modifier and Type | Class and Description |
|---|---|
class |
AbstractStageExecutor
An abstract base class which implements a very simple logic of executing
stages: first check the completion flag, if false - first complete all
dependencies, and finally execute the stage.
|
class |
LoggingStageExecutor
A
ReasonerStageExecutor which prints log messages about the executed
stages. |
class |
RestartingStageExecutor
A
ReasonerStageExecutor which refuses to interrupt: it will restart
any interrupted stage. |
class |
SimpleStageExecutor
A simple
ReasonerStageExecutor. |
| Modifier and Type | Method and Description |
|---|---|
protected abstract ReasonerStageExecutor |
AbstractReasonerState.getStageExecutor() |
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.