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

Packages that use IndexedObjectSomeValuesFrom

org.semanticweb.elk.reasoner.indexing.entries
org.semanticweb.elk.reasoner.indexing.hierarchy
org.semanticweb.elk.reasoner.indexing.visitors
org.semanticweb.elk.reasoner.saturation.rules

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

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

class

IndexedObjectSomeValuesFromEntry<T,K extends IndexedObjectSomeValuesFrom> Implements equality for instances of IndexedObjectSomeValuesFrom

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

IndexedClassExpressionEntry<T,IndexedObjectSomeValuesFrom>

IndexedEntryConverter.visit(IndexedObjectSomeValuesFrom element)

Methods in org.semanticweb.elk.reasoner.indexing.entries with parameters of type IndexedObjectSomeValuesFrom

IndexedClassExpressionEntry<T,IndexedObjectSomeValuesFrom>

IndexedEntryConverter.visit(IndexedObjectSomeValuesFrom element)

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

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

IndexedObjectSomeValuesFrom

IndexedObjectCache.visit(IndexedObjectSomeValuesFrom element)

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

Collection<IndexedObjectSomeValuesFrom>

IndexedObjectSomeValuesFrom.ThisCompositionRule.getNegativeExistentials()

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

IndexedObjectSomeValuesFrom

IndexedObjectCache.visit(IndexedObjectSomeValuesFrom element)

Uses of IndexedObjectSomeValuesFrom in org.semanticweb.elk.reasoner.indexing.visitors

Methods in org.semanticweb.elk.reasoner.indexing.visitors with parameters of type IndexedObjectSomeValuesFrom

O	IndexedObjectSomeValuesFromVisitor.visit(IndexedObjectSomeValuesFrom element)
O	AbstractIndexedClassEntityVisitor.visit(IndexedObjectSomeValuesFrom element)

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

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

void	ForwardDecompositionRuleApplicationVisitor.visit(IndexedObjectSomeValuesFrom ice, Context context)
void	DecompositionRuleApplicationCounterVisitor.visit(IndexedObjectSomeValuesFrom ice, Context context)
void	DecompositionRuleApplicationVisitor.visit(IndexedObjectSomeValuesFrom ice, Context context)
void	BackwardDecompositionRuleApplicationVisitor.visit(IndexedObjectSomeValuesFrom ice, Context context)
void	DecompositionRuleApplicationTimerVisitor.visit(IndexedObjectSomeValuesFrom ice, Context context)