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

Packages that use ReasonerComputation

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

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

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

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

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

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