Uses of Class
org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClassExpression

Packages that use IndexedClassExpression

Package	Description
org.semanticweb.elk.reasoner.incremental
org.semanticweb.elk.reasoner.indexing
org.semanticweb.elk.reasoner.indexing.entries
org.semanticweb.elk.reasoner.indexing.hierarchy
org.semanticweb.elk.reasoner.reduction
org.semanticweb.elk.reasoner.saturation
org.semanticweb.elk.reasoner.saturation.conclusions
org.semanticweb.elk.reasoner.saturation.context
org.semanticweb.elk.reasoner.saturation.rules
org.semanticweb.elk.reasoner.stages

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

Constructor parameters in org.semanticweb.elk.reasoner.incremental with type arguments of type IndexedClassExpression

Constructor and Description
IncrementalChangesInitialization(Collection<ArrayList<Context>> inputs, ChainableRule<Context> changedGlobalRules, Map<IndexedClassExpression,ChainableRule<Context>> changes, SaturationState state, ComputationExecutor executor, SaturationStatistics stageStats, int maxWorkers, ProgressMonitor progressMonitor)

Uses of IndexedClassExpression in org.semanticweb.elk.reasoner.indexing

Methods in org.semanticweb.elk.reasoner.indexing that return types with arguments of type IndexedClassExpression

Modifier and Type	Method and Description
Collection<IndexedClassExpression>	OntologyIndex.getIndexedClassExpressions()

Uses of IndexedClassExpression in org.semanticweb.elk.reasoner.indexing.entries

Classes in org.semanticweb.elk.reasoner.indexing.entries with type parameters of type IndexedClassExpression

Modifier and Type	Class and Description
class	IndexedClassExpressionEntry<T,K extends IndexedClassExpression> The wrapper class to define custom equality and hash functions for IndexedClassExpressions to be used in KeyEntryHashSet.

Methods in org.semanticweb.elk.reasoner.indexing.entries that return types with arguments of type IndexedClassExpression

Modifier and Type	Method and Description
KeyEntry<T,? extends IndexedClassExpression>	IndexedEntryConverter.visit(IndexedObjectUnionOf element)

Uses of IndexedClassExpression in org.semanticweb.elk.reasoner.indexing.hierarchy

Subclasses of IndexedClassExpression in org.semanticweb.elk.reasoner.indexing.hierarchy

Modifier and Type	Class and Description
class	IndexedClass Represents all occurrences of an ElkClass in an ontology.
class	IndexedClassEntity Represents all occurrences of an ElkClass or ElkIndividual in an ontology.
class	IndexedDataHasValue Represents all occurrences of an ElkObjectHasValue in an ontology.
class	IndexedIndividual Represents all occurrences of an ElkIndividual in an ontology.
class	IndexedObjectComplementOf Represents all occurrences of an ElkObjectComplementOf in an ontology.
class	IndexedObjectIntersectionOf Represents all occurrences of an ElkObjectIntersectionOf in an ontology.
class	IndexedObjectSomeValuesFrom Represents all occurrences of an ElkObjectSomeValuesFrom in an ontology.
class	IndexedObjectUnionOf Represents all occurrences of an ElkObjectUnionOf in an ontology.

Fields in org.semanticweb.elk.reasoner.indexing.hierarchy declared as IndexedClassExpression

Modifier and Type	Field and Description
protected IndexedClassExpression	IndexedObjectSomeValuesFrom.filler

Fields in org.semanticweb.elk.reasoner.indexing.hierarchy with type parameters of type IndexedClassExpression

Modifier and Type	Field and Description
protected KeyEntryHashSet<IndexedClassExpression>	IndexedObjectCache.indexedClassExpressionLookup

Methods in org.semanticweb.elk.reasoner.indexing.hierarchy that return IndexedClassExpression

Modifier and Type	Method and Description
protected IndexedClassExpression	AbstractIndexObjectConverter.defaultVisit(ElkClassExpression expression)
IndexedClassExpression	IndexedObjectSomeValuesFrom.getFiller()
IndexedClassExpression	IndexedObjectIntersectionOf.getFirstConjunct()
IndexedClassExpression	IndexedObjectComplementOf.getNegated()
IndexedClassExpression	IndexedObjectComplementOf.ThisCompositionRule.getNegation()
IndexedClassExpression	IndexedObjectIntersectionOf.getSecondConjunct()
IndexedClassExpression	IndexedSubClassOfAxiom.getSubClass()
IndexedClassExpression	IndexedSubClassOfAxiom.getSuperClass()
IndexedClassExpression	AbstractIndexObjectConverter.visit(ElkClass elkClass)
IndexedClassExpression	AbstractIndexObjectConverter.visit(ElkDataAllValuesFrom elkDataAllValuesFrom)
IndexedClassExpression	AbstractIndexObjectConverter.visit(ElkDataExactCardinality elkDataExactCardinality)
IndexedClassExpression	AbstractIndexObjectConverter.visit(ElkDataExactCardinalityQualified elkDataExactCardinalityQualified)
IndexedClassExpression	IndexObjectConverter.visit(ElkDataHasValue elkDataHasValue)
IndexedClassExpression	AbstractIndexObjectConverter.visit(ElkDataHasValue elkDataHasValue)
IndexedClassExpression	AbstractIndexObjectConverter.visit(ElkDataMaxCardinality elkDataMaxCardinality)
IndexedClassExpression	AbstractIndexObjectConverter.visit(ElkDataMaxCardinalityQualified elkDataMaxCardinalityQualified)
IndexedClassExpression	AbstractIndexObjectConverter.visit(ElkDataMinCardinality elkDataMinCardinality)
IndexedClassExpression	AbstractIndexObjectConverter.visit(ElkDataMinCardinalityQualified elkDataMinCardinalityQualified)
IndexedClassExpression	AbstractIndexObjectConverter.visit(ElkDataSomeValuesFrom elkDataSomeValuesFrom)
IndexedClassExpression	AbstractIndexObjectConverter.visit(ElkObjectAllValuesFrom elkObjectAllValuesFrom)
IndexedClassExpression	IndexObjectConverter.visit(ElkObjectComplementOf elkObjectComplementOf)
IndexedClassExpression	AbstractIndexObjectConverter.visit(ElkObjectComplementOf elkObjectComplementOf)
IndexedClassExpression	AbstractIndexObjectConverter.visit(ElkObjectExactCardinality elkObjectExactCardinality)
IndexedClassExpression	AbstractIndexObjectConverter.visit(ElkObjectExactCardinalityQualified elkObjectExactCardinalityQualified)
IndexedClassExpression	AbstractIndexObjectConverter.visit(ElkObjectHasSelf elkObjectHasSelf)
IndexedClassExpression	IndexObjectConverter.visit(ElkObjectHasValue elkObjectHasValue)
IndexedClassExpression	AbstractIndexObjectConverter.visit(ElkObjectHasValue elkObjectHasValue)
IndexedClassExpression	IndexObjectConverter.visit(ElkObjectIntersectionOf elkObjectIntersectionOf)
IndexedClassExpression	AbstractIndexObjectConverter.visit(ElkObjectIntersectionOf elkObjectIntersectionOf)
IndexedClassExpression	AbstractIndexObjectConverter.visit(ElkObjectMaxCardinality elkObjectMaxCardinality)
IndexedClassExpression	AbstractIndexObjectConverter.visit(ElkObjectMaxCardinalityQualified elkObjectMaxCardinalityQualified)
IndexedClassExpression	AbstractIndexObjectConverter.visit(ElkObjectMinCardinality elkObjectMinCardinality)
IndexedClassExpression	AbstractIndexObjectConverter.visit(ElkObjectMinCardinalityQualified elkObjectMinCardinalityQualified)
IndexedClassExpression	AbstractIndexObjectConverter.visit(ElkObjectOneOf elkObjectOneOf)
IndexedClassExpression	IndexObjectConverter.visit(ElkObjectSomeValuesFrom elkObjectSomeValuesFrom)
IndexedClassExpression	AbstractIndexObjectConverter.visit(ElkObjectSomeValuesFrom elkObjectSomeValuesFrom)
IndexedClassExpression	IndexObjectConverter.visit(ElkObjectUnionOf elkObjectUnionOf)
IndexedClassExpression	AbstractIndexObjectConverter.visit(ElkObjectUnionOf elkObjectUnionOf)

Methods in org.semanticweb.elk.reasoner.indexing.hierarchy that return types with arguments of type IndexedClassExpression

Modifier and Type	Method and Description
Map<IndexedClassExpression,ChainableRule<Context>>	DifferentialIndex.getAddedContextRulesByClassExpressions()
Map<IndexedClassExpression,IndexedObjectIntersectionOf>	IndexedObjectIntersectionOf.ThisCompositionRule.getConjunctionsByConjunct()
Set<IndexedClassExpression>	IndexedDisjointnessAxiom.getDisjointMembers() IndexedClassExpressions that occur exactly once in this IndexedDisjointnessAxiom
Set<IndexedClassExpression>	IndexedObjectUnionOf.ThisCompositionRule.getDisjunctions()
Set<IndexedClassExpression>	IndexedObjectUnionOf.getDisjuncts()
Set<IndexedClassExpression>	IndexedDisjointnessAxiom.getInconsistentMembers()
Collection<IndexedClassExpression>	DirectIndex.getIndexedClassExpressions()
Collection<IndexedClassExpression>	DifferentialIndex.getRemovedClassExpressions()
Map<IndexedClassExpression,ChainableRule<Context>>	DifferentialIndex.getRemovedContextRulesByClassExpressions()
Collection<IndexedClassExpression>	IndexedSubClassOfAxiom.ThisCompositionRule.getToldSuperclasses()

Methods in org.semanticweb.elk.reasoner.indexing.hierarchy with parameters of type IndexedClassExpression

Modifier and Type	Method and Description
void	ModifiableOntologyIndex.add(IndexedClassExpression target, ChainableRule<Context> newRule) Adds a new context rule for the given IndexedClassExpression
void	DirectIndex.add(IndexedClassExpression target, ChainableRule<Context> rule)
void	DifferentialIndex.add(IndexedClassExpression target, ChainableRule<Context> newRule)
protected boolean	IndexedSubClassOfAxiom.ThisCompositionRule.addToldSuperClassExpression(IndexedClassExpression superClassExpression)
int	IndexedClassExpression.compareTo(IndexedClassExpression o)
void	ModifiableOntologyIndex.remove(IndexedClassExpression target, ChainableRule<Context> oldRule) Removes an existing context rule for the given IndexedClassExpression
void	DirectIndex.remove(IndexedClassExpression target, ChainableRule<Context> rule)
void	DifferentialIndex.remove(IndexedClassExpression target, ChainableRule<Context> oldRule)
protected boolean	IndexedSubClassOfAxiom.ThisCompositionRule.removeToldSuperClassExpression(IndexedClassExpression superClassExpression)

Constructors in org.semanticweb.elk.reasoner.indexing.hierarchy with parameters of type IndexedClassExpression

Constructor and Description
IndexedObjectComplementOf(IndexedClassExpression negated)
IndexedObjectIntersectionOf(IndexedClassExpression conjunctA, IndexedClassExpression conjunctB)
IndexedSubClassOfAxiom(IndexedClassExpression subClass, IndexedClassExpression superClass)

Uses of IndexedClassExpression in org.semanticweb.elk.reasoner.reduction

Classes in org.semanticweb.elk.reasoner.reduction with type parameters of type IndexedClassExpression

Modifier and Type	Class and Description
class	TransitiveReductionFactory<R extends IndexedClassExpression,J extends TransitiveReductionJob<R>> The factory for engines that concurrently perform the transitive reduction of the derived subsumption hierarchy between classes.
class	TransitiveReductionJob<R extends IndexedClassExpression> The type of the transitive reduction job.
class	TransitiveReductionOutput<R extends IndexedClassExpression> The abstract class representing the output of the transitive reduction process for a given indexed class expression.
class	TransitiveReductionOutputEquivalent<R extends IndexedClassExpression> The result of the transitive reduction for satisfiable indexed class expression; it contains information about equivalent classes.
class	TransitiveReductionOutputEquivalentDirect<R extends IndexedClassExpression> The result of the transitive reduction for a satisfiable IndexedClassExpression; it contains information about its equivalent classes and direct subsumers.
class	TransitiveReductionOutputUnsatisfiable<R extends IndexedClassExpression> The result of the transitive reduction for satisfiable IndexedClassExpressions.
interface	TransitiveReductionOutputVisitor<R extends IndexedClassExpression>

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

Classes in org.semanticweb.elk.reasoner.saturation with type parameters of type IndexedClassExpression

Modifier and Type	Class and Description
class	ClassExpressionSaturation<I extends IndexedClassExpression> A ReasonerComputation that computes saturation for the input collection of IndexedClassExpressions
class	ClassExpressionSaturationFactory<J extends SaturationJob<? extends IndexedClassExpression>> The factory for engines that concurrently submit, process, and post-process saturation jobs.
interface	ClassExpressionSaturationListener<J extends SaturationJob<? extends IndexedClassExpression>> A listener to be used with ClassExpressionSaturationFactory.
class	DummyClassExpressionSaturationListener<J extends SaturationJob<? extends IndexedClassExpression>> A ClassExpressionSaturationListener that does nothing with finished jobs
class	SaturationJob<I extends IndexedClassExpression>

Methods in org.semanticweb.elk.reasoner.saturation that return IndexedClassExpression

Modifier and Type	Method and Description
IndexedClassExpression	BasicSaturationStateWriter.getOwlNothing()
IndexedClassExpression	BasicSaturationStateWriter.getOwlThing()
IndexedClassExpression	ContextImpl.getRoot()

Methods in org.semanticweb.elk.reasoner.saturation that return types with arguments of type IndexedClassExpression

Modifier and Type	Method and Description
Collection<IndexedClassExpression>	SaturationState.getNotSaturatedContexts()
Set<IndexedClassExpression>	ContextImpl.getSubsumers()

Methods in org.semanticweb.elk.reasoner.saturation with parameters of type IndexedClassExpression

Modifier and Type	Method and Description
boolean	ContextImpl.addSubsumer(IndexedClassExpression expression)
boolean	ContextImpl.containsSubsumer(IndexedClassExpression expression)
Context	SaturationState.getContext(IndexedClassExpression ice)
Context	ExtendedSaturationStateWriter.getCreateContext(IndexedClassExpression root)
boolean	ContextImpl.removeSubsumer(IndexedClassExpression expression)

Constructors in org.semanticweb.elk.reasoner.saturation with parameters of type IndexedClassExpression

Constructor and Description
ContextImpl(IndexedClassExpression root) Construct a new Context for the given root IndexedClassExpression.

Uses of IndexedClassExpression in org.semanticweb.elk.reasoner.saturation.conclusions

Methods in org.semanticweb.elk.reasoner.saturation.conclusions that return IndexedClassExpression

Modifier and Type	Method and Description
IndexedClassExpression	Subsumer.getExpression()

Methods in org.semanticweb.elk.reasoner.saturation.conclusions that return types with arguments of type IndexedClassExpression

Modifier and Type	Method and Description
Multimap<IndexedPropertyChain,IndexedClassExpression>	Propagation.ThisBackwardLinkRule.getPropagationsByObjectProperty()

Constructors in org.semanticweb.elk.reasoner.saturation.conclusions with parameters of type IndexedClassExpression

Constructor and Description
NegativeSubsumer(IndexedClassExpression superClassExpression)
PositiveSubsumer(IndexedClassExpression superClassExpression)
Propagation(IndexedPropertyChain relation, IndexedClassExpression carry)
Subsumer(IndexedClassExpression expression)

Uses of IndexedClassExpression in org.semanticweb.elk.reasoner.saturation.context

Methods in org.semanticweb.elk.reasoner.saturation.context that return IndexedClassExpression

Modifier and Type	Method and Description
IndexedClassExpression	Context.getRoot()

Methods in org.semanticweb.elk.reasoner.saturation.context that return types with arguments of type IndexedClassExpression

Modifier and Type	Method and Description
Set<IndexedClassExpression>	Context.getSubsumers()

Methods in org.semanticweb.elk.reasoner.saturation.context with parameters of type IndexedClassExpression

Modifier and Type	Method and Description
boolean	Context.addSubsumer(IndexedClassExpression expression) Adds the given IndexedClassExpression to the subsumers of the root IndexedClassExpression of this Context.
boolean	Context.containsSubsumer(IndexedClassExpression expression) Tests whether the given IndexedClassExpression is a subsumer of the root IndexedClassExpression of this Context.
boolean	Context.removeSubsumer(IndexedClassExpression expression) Removes the given IndexedClassExpression from the subsumers of the root IndexedClassExpression of this Context.

Uses of IndexedClassExpression in org.semanticweb.elk.reasoner.saturation.rules

Methods in org.semanticweb.elk.reasoner.saturation.rules with parameters of type IndexedClassExpression

Modifier and Type	Method and Description
void	RuleApplicationFactory.DefaultEngine.submit(IndexedClassExpression job)
void	RuleDeapplicationFactory.DeapplicationEngine.submit(IndexedClassExpression job)

Uses of IndexedClassExpression in org.semanticweb.elk.reasoner.stages

Methods in org.semanticweb.elk.reasoner.stages that return types with arguments of type IndexedClassExpression

Modifier and Type	Method and Description
Map<IndexedClassExpression,Context>	AbstractReasonerState.getContextMap()
Collection<IndexedClassExpression>	AbstractReasonerState.getIndexedClassExpressions()