|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Uses of IndexedClass in org.semanticweb.elk.reasoner.indexing |
|---|
| Methods in org.semanticweb.elk.reasoner.indexing that return IndexedClass | |
|---|---|
IndexedClass |
OntologyIndex.getIndexedOwlNothing()
Return the indexed representation of owl:Nothing |
IndexedClass |
OntologyIndex.getIndexedOwlThing()
Return the indexed representation of owl:Thing |
| Methods in org.semanticweb.elk.reasoner.indexing that return types with arguments of type IndexedClass | |
|---|---|
Collection<IndexedClass> |
OntologyIndex.getIndexedClasses()
|
| Uses of IndexedClass in org.semanticweb.elk.reasoner.indexing.entries |
|---|
| Classes in org.semanticweb.elk.reasoner.indexing.entries with type parameters of type IndexedClass | |
|---|---|
class |
IndexedClassEntry<T,K extends IndexedClass>
Implements an equality view for instances of IndexedClass |
| Methods in org.semanticweb.elk.reasoner.indexing.entries that return types with arguments of type IndexedClass | |
|---|---|
IndexedClassExpressionEntry<T,IndexedClass> |
IndexedEntryConverter.visit(IndexedClass element)
|
| Methods in org.semanticweb.elk.reasoner.indexing.entries with parameters of type IndexedClass | |
|---|---|
IndexedClassExpressionEntry<T,IndexedClass> |
IndexedEntryConverter.visit(IndexedClass element)
|
| Uses of IndexedClass in org.semanticweb.elk.reasoner.indexing.hierarchy |
|---|
| Methods in org.semanticweb.elk.reasoner.indexing.hierarchy that return IndexedClass | |
|---|---|
IndexedClass |
DirectIndex.getIndexedOwlNothing()
|
IndexedClass |
DirectIndex.getIndexedOwlThing()
|
IndexedClass |
MainAxiomIndexerVisitor.indexClassDeclaration(ElkClass ec)
|
IndexedClass |
NonIncrementalChangeCheckingVisitor.indexClassDeclaration(ElkClass ec)
|
IndexedClass |
ElkAxiomIndexer.indexClassDeclaration(ElkClass ec)
|
IndexedClass |
IndexObjectConverter.visit(ElkClass elkClass)
|
IndexedClass |
IndexedObjectCache.visit(IndexedClass element)
|
| Methods in org.semanticweb.elk.reasoner.indexing.hierarchy that return types with arguments of type IndexedClass | |
|---|---|
Collection<IndexedClass> |
DirectIndex.getIndexedClasses()
|
| Methods in org.semanticweb.elk.reasoner.indexing.hierarchy with parameters of type IndexedClass | |
|---|---|
IndexedClass |
IndexedObjectCache.visit(IndexedClass element)
|
| Uses of IndexedClass in org.semanticweb.elk.reasoner.indexing.visitors |
|---|
| Methods in org.semanticweb.elk.reasoner.indexing.visitors with parameters of type IndexedClass | |
|---|---|
O |
IndexedClassVisitor.visit(IndexedClass element)
|
| Uses of IndexedClass in org.semanticweb.elk.reasoner.reduction |
|---|
| Methods in org.semanticweb.elk.reasoner.reduction that return types with arguments of type IndexedClass | |
|---|---|
List<TransitiveReductionOutputEquivalent<IndexedClass>> |
TransitiveReductionOutputEquivalentDirect.getDirectSubsumers()
Returns the list of partial outputs of transitive reduction, containing equivalent classes of direct, i.e., transitively reduced, subsumers of the root. |
| Uses of IndexedClass in org.semanticweb.elk.reasoner.saturation.rules |
|---|
| Methods in org.semanticweb.elk.reasoner.saturation.rules with parameters of type IndexedClass | |
|---|---|
void |
DecompositionRuleApplicationCounterVisitor.visit(IndexedClass ice,
Context context)
|
void |
DecompositionRuleApplicationVisitor.visit(IndexedClass ice,
Context context)
|
void |
DecompositionRuleApplicationTimerVisitor.visit(IndexedClass ice,
Context context)
|
| Uses of IndexedClass in org.semanticweb.elk.reasoner.stages |
|---|
| Methods in org.semanticweb.elk.reasoner.stages with parameters of type IndexedClass | |
|---|---|
void |
ClassTaxonomyState.Writer.markRemovedClass(IndexedClass clazz)
|
| Uses of IndexedClass in org.semanticweb.elk.reasoner.taxonomy |
|---|
| Method parameters in org.semanticweb.elk.reasoner.taxonomy with type arguments of type IndexedClass | |
|---|---|
void |
ClassTaxonomyComputationFactory.Engine.submit(Collection<IndexedClass> input)
|
| Constructor parameters in org.semanticweb.elk.reasoner.taxonomy with type arguments of type IndexedClass | |
|---|---|
ClassTaxonomyComputation(Collection<? extends Collection<IndexedClass>> inputs,
ComputationExecutor executor,
int maxWorkers,
ProgressMonitor progressMonitor,
SaturationState saturationState,
UpdateableTaxonomy<ElkClass> partialTaxonomy)
|
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||