Uses of Package
org.semanticweb.elk.reasoner.stages

Packages that use org.semanticweb.elk.reasoner.stages

org.semanticweb.elk.reasoner
org.semanticweb.elk.reasoner.stages
org.semanticweb.elk.reasoner.taxonomy

Classes in org.semanticweb.elk.reasoner.stages used by org.semanticweb.elk.reasoner

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.

Classes in org.semanticweb.elk.reasoner.stages used by org.semanticweb.elk.reasoner.stages

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.

Classes in org.semanticweb.elk.reasoner.stages used by org.semanticweb.elk.reasoner.taxonomy

ClassTaxonomyState
Stores information about the state of the class taxonomy

InstanceTaxonomyState
Stores information about the state of the instance taxonomy