Uses of Interface
org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexingVisitor

Packages that use ElkAxiomIndexingVisitor
org.semanticweb.elk.reasoner.indexing.hierarchy   
 

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

Classes in org.semanticweb.elk.reasoner.indexing.hierarchy that implement ElkAxiomIndexingVisitor
 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
 

Methods in org.semanticweb.elk.reasoner.indexing.hierarchy that return ElkAxiomIndexingVisitor
 ElkAxiomIndexingVisitor NonIncrementalChangeCheckingVisitor.getIndexingVisitor()
           
 

Constructors in org.semanticweb.elk.reasoner.indexing.hierarchy with parameters of type ElkAxiomIndexingVisitor
ChangeIndexingProcessor(ElkAxiomIndexingVisitor indexer)
           
NonIncrementalChangeCheckingVisitor(ElkAxiomIndexingVisitor visitor, NonIncrementalChangeListener<ElkAxiom> listener)
           
 



Copyright © 2011-2013 Department of Computer Science, University of Oxford. All Rights Reserved.