Uses of Package
org.semanticweb.elk.reasoner

Packages that use org.semanticweb.elk.reasoner

Package	Description
org.semanticweb.elk.reasoner
org.semanticweb.elk.reasoner.consistency
org.semanticweb.elk.reasoner.incremental
org.semanticweb.elk.reasoner.reduction
org.semanticweb.elk.reasoner.saturation
org.semanticweb.elk.reasoner.saturation.properties
org.semanticweb.elk.reasoner.stages
org.semanticweb.elk.reasoner.taxonomy

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

Class and Description
ProgressMonitor Interface for monitoring progress in processes that can take some time to complete.
Reasoner The class for querying the results of the reasoning tasks for a given ontology.

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

Class and Description
ProgressMonitor Interface for monitoring progress in processes that can take some time to complete.
ReasonerComputation A ConcurrentComputation used for executing of reasoner stages

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

Class and Description
ProgressMonitor Interface for monitoring progress in processes that can take some time to complete.
ReasonerComputation A ConcurrentComputation used for executing of reasoner stages

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

Class and Description
ReasonerJob A general class for jobs submitted for computation.

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

Class and Description
ProgressMonitor Interface for monitoring progress in processes that can take some time to complete.
ReasonerComputation A ConcurrentComputation used for executing of reasoner stages
ReasonerJob A general class for jobs submitted for computation.

Classes in org.semanticweb.elk.reasoner used by org.semanticweb.elk.reasoner.saturation.properties

Class and Description
ProgressMonitor Interface for monitoring progress in processes that can take some time to complete.
ReasonerComputation A ConcurrentComputation used for executing of reasoner stages

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

Class and Description
ElkInconsistentOntologyException Thrown when irrelevant reasoning methods are called for an ontology that is inconsistent.
ProgressMonitor Interface for monitoring progress in processes that can take some time to complete.

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

Class and Description
ProgressMonitor Interface for monitoring progress in processes that can take some time to complete.
ReasonerComputation A ConcurrentComputation used for executing of reasoner stages