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

Packages that use ModifiableOntologyIndex

org.semanticweb.elk.reasoner.indexing.hierarchy

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

Classes in org.semanticweb.elk.reasoner.indexing.hierarchy that implement ModifiableOntologyIndex

class	DifferentialIndex An object representing incremental changes in the index.
class	DirectIndex

Methods in org.semanticweb.elk.reasoner.indexing.hierarchy with parameters of type ModifiableOntologyIndex

protected void	IndexedSubClassOfAxiom.updateOccurrenceNumbers(ModifiableOntologyIndex index, int increment)
protected void	IndexedDisjointnessAxiom.updateOccurrenceNumbers(ModifiableOntologyIndex index, int increment)
protected void	IndexedObjectIntersectionOf.updateOccurrenceNumbers(ModifiableOntologyIndex index, int increment, int positiveIncrement, int negativeIncrement)
protected void	IndexedClass.updateOccurrenceNumbers(ModifiableOntologyIndex index, int increment, int positiveIncrement, int negativeIncrement)
protected void	IndexedObjectSomeValuesFrom.updateOccurrenceNumbers(ModifiableOntologyIndex index, int increment, int positiveIncrement, int negativeIncrement)
protected void	IndexedIndividual.updateOccurrenceNumbers(ModifiableOntologyIndex index, int increment, int positiveIncrement, int negativeIncrement)
protected void	IndexedDataHasValue.updateOccurrenceNumbers(ModifiableOntologyIndex index, int increment, int positiveIncrement, int negativeIncrement)

Constructors in org.semanticweb.elk.reasoner.indexing.hierarchy with parameters of type ModifiableOntologyIndex

MainAxiomIndexerVisitor(ModifiableOntologyIndex index, boolean insert)