Uses of Package
org.semanticweb.elk.reasoner

Packages that use org.semanticweb.elk.reasoner

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

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

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

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

ReasonerJob
A general class for jobs submitted for computation.

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

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

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

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

ProgressMonitor
Interface for monitoring progress in processes that can take some time to complete.

ReasonerComputation
A ConcurrentComputation used for executing of reasoner stages