| Package | Description |
|---|---|
| org.semanticweb.elk.reasoner.indexing.hierarchy |
| Modifier and Type | Interface and Description |
|---|---|
interface |
ElkAxiomIndexingVisitor
A simple intersection of the two interfaces
|
| Modifier and Type | Class and Description |
|---|---|
class |
AbstractElkAxiomIndexerVisitor
An abstract class for indexing axioms.
|
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 |
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.