Uses of Class
org.semanticweb.elk.reasoner.ReasonerComputation

Packages that use ReasonerComputation

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

Uses of ReasonerComputation in org.semanticweb.elk.reasoner.consistency

Subclasses of ReasonerComputation in org.semanticweb.elk.reasoner.consistency

Modifier and Type	Class and Description
class	ConsistencyChecking A ReasonerComputation for checking consistency of the ontology.

Uses of ReasonerComputation in org.semanticweb.elk.reasoner.incremental

Subclasses of ReasonerComputation in org.semanticweb.elk.reasoner.incremental

Modifier and Type	Class and Description
class	IncrementalChangesInitialization Goes through the input class expressions and puts each context's superclass for which there're changes into the ToDo queue

Uses of ReasonerComputation in org.semanticweb.elk.reasoner.saturation

Subclasses of ReasonerComputation in org.semanticweb.elk.reasoner.saturation

Modifier and Type	Class and Description
class	ClassExpressionNoInputSaturation A ReasonerComputation that continues saturation based on what's currently initialized in the RuleApplicationFactory
class	ClassExpressionSaturation<I extends IndexedClassExpression> A ReasonerComputation that computes saturation for the input collection of IndexedClassExpressions

Uses of ReasonerComputation in org.semanticweb.elk.reasoner.saturation.properties

Subclasses of ReasonerComputation in org.semanticweb.elk.reasoner.saturation.properties

Modifier and Type	Class and Description
class	PropertyHierarchyCompositionComputation A ReasonerComputation that computes relevant sub-properties and composition maps
class	ReflexivePropertyComputation A ReasonerComputation that computes reflexive IndexedPropertyChains

Uses of ReasonerComputation in org.semanticweb.elk.reasoner.taxonomy

Subclasses of ReasonerComputation in org.semanticweb.elk.reasoner.taxonomy

Modifier and Type	Class and Description
class	ClassTaxonomyComputation Computing taxonomy relations between atomic classes of the ontology.
class	InstanceTaxonomyComputation Computing taxonomy relations between named individuals and atomic classes of the ontology.
class	TaxonomyCleaning Cleans both class and instance taxonomies concurrently