| Modifier and Type | Method and Description |
|---|---|
IndexedClass |
OntologyIndex.getIndexedOwlNothing()
Return the indexed representation of
owl:Nothing |
IndexedClass |
OntologyIndex.getIndexedOwlThing()
Return the indexed representation of
owl:Thing |
| Modifier and Type | Method and Description |
|---|---|
Collection<IndexedClass> |
OntologyIndex.getIndexedClasses() |
| Modifier and Type | Class and Description |
|---|---|
class |
IndexedClassEntry<T,K extends IndexedClass>
Implements an equality view for instances of
IndexedClass |
| Modifier and Type | Method and Description |
|---|---|
IndexedClassExpressionEntry<T,IndexedClass> |
IndexedEntryConverter.visit(IndexedClass element) |
| Modifier and Type | Method and Description |
|---|---|
IndexedClassExpressionEntry<T,IndexedClass> |
IndexedEntryConverter.visit(IndexedClass element) |
| Modifier and Type | Method and Description |
|---|---|
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) |
| Modifier and Type | Method and Description |
|---|---|
Collection<IndexedClass> |
DirectIndex.getIndexedClasses() |
| Modifier and Type | Method and Description |
|---|---|
IndexedClass |
IndexedObjectCache.visit(IndexedClass element) |
| Modifier and Type | Method and Description |
|---|---|
O |
IndexedClassVisitor.visit(IndexedClass element) |
| Modifier and Type | Method and Description |
|---|---|
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.
|
| Modifier and Type | Method and Description |
|---|---|
void |
DecompositionRuleApplicationCounterVisitor.visit(IndexedClass ice,
Context context) |
void |
DecompositionRuleApplicationVisitor.visit(IndexedClass ice,
Context context) |
void |
DecompositionRuleApplicationTimerVisitor.visit(IndexedClass ice,
Context context) |
| Modifier and Type | Method and Description |
|---|---|
void |
ClassTaxonomyState.Writer.markRemovedClass(IndexedClass clazz) |
| Modifier and Type | Method and Description |
|---|---|
void |
ClassTaxonomyComputationFactory.Engine.submit(Collection<IndexedClass> input) |
| Constructor and Description |
|---|
ClassTaxonomyComputation(Collection<? extends Collection<IndexedClass>> inputs,
ComputationExecutor executor,
int maxWorkers,
ProgressMonitor progressMonitor,
SaturationState saturationState,
UpdateableTaxonomy<ElkClass> partialTaxonomy) |
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.