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

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

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

Subinterfaces of ElkAxiomIndexer in org.semanticweb.elk.reasoner.indexing.hierarchy
 interface ElkAxiomIndexingVisitor
          A simple intersection of the two interfaces
 

Classes in org.semanticweb.elk.reasoner.indexing.hierarchy that implement ElkAxiomIndexer
 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-2013 Department of Computer Science, University of Oxford. All Rights Reserved.