| Package | Description |
|---|---|
| org.semanticweb.elk.reasoner | |
| org.semanticweb.elk.reasoner.stages | |
| org.semanticweb.elk.reasoner.taxonomy |
| Class and Description |
|---|
| AbstractReasonerState
The execution state of the reasoner containing information about which
reasoning stages have been completed and holding the results of these
reasoning stages, such as the consistency status of the ontology, class, or
instance taxonomy.
|
| ReasonerStageExecutor
An abstract interface for defining how reasoner stages are executed by the
reasoner.
|
| Class and Description |
|---|
| AbstractReasonerState
The execution state of the reasoner containing information about which
reasoning stages have been completed and holding the results of these
reasoning stages, such as the consistency status of the ontology, class, or
instance taxonomy.
|
| 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.
|
| ClassTaxonomyState.Writer
Groups all methods to change the state
|
| ElkInterruptedException
Thrown when the reasoner process has been interrupted
|
| InstanceTaxonomyState.Writer
Groups all methods to change the state
|
| ReasonerStage
A basic computation unit that can be executed by a reasoner.
|
| ReasonerStageExecutor
An abstract interface for defining how reasoner stages are executed by the
reasoner.
|
| SimpleStageExecutor
A simple
ReasonerStageExecutor. |
| Class and Description |
|---|
| ClassTaxonomyState
Stores information about the state of the class taxonomy
|
| InstanceTaxonomyState
Stores information about the state of the instance taxonomy
|
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.