| Package | Description |
|---|---|
| org.semanticweb.elk.reasoner.indexing.hierarchy |
| Modifier and Type | Class and Description |
|---|---|
class |
MainAxiomIndexerVisitor
An object that indexes axioms into a given ontology index.
|
class |
NonIncrementalChangeCheckingVisitor
A delegating visitor which notifies the
NonIncrementalChangeCheckingVisitor that some axiom represents a
change which cannot be processed incrementally by the reasoner |
| Modifier and Type | Method and Description |
|---|---|
ElkAxiomIndexingVisitor |
NonIncrementalChangeCheckingVisitor.getIndexingVisitor() |
| Constructor and Description |
|---|
ChangeIndexingProcessor(ElkAxiomIndexingVisitor indexer) |
NonIncrementalChangeCheckingVisitor(ElkAxiomIndexingVisitor visitor,
NonIncrementalChangeListener<ElkAxiom> listener) |
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.