Package org.semanticweb.elk.reasoner.indexing.hierarchy

Interface Summary

ElkAxiomIndexer	A collection of method for indexing ELK objects
ElkAxiomIndexingVisitor	A simple intersection of the two interfaces
IndexObjectConverterFactory
ModifiableOntologyIndex	Common methods for constructing an OntologyIndex.

Class Summary

AbstractElkAxiomIndexerVisitor	An abstract class for indexing axioms.
AbstractIndexObjectConverter	A converter from ElkClassExpressions, ElkSubObjectPropertyExpressions, and ElkIndividuals to corresponding IndexedObjects that simply throws an ElkIndexingException on all arguments.
ChangeIndexingProcessor	Basically an adapter from ElkAxiomIndexingVisitor to ElkAxiomProcessor specifically for classes which index axioms.
DelegatingElkAxiomVisitor	Delegates all visit method calls to the underlying visitor.
DifferentialIndex	An object representing incremental changes in the index.
DirectIndex
DirectIndex.ContextRootInitializationRule	Adds root to the context
IndexedAxiom
IndexedBinaryPropertyChain	Represents a complex ElkSubObjectPropertyExpressions.
IndexedClass	Represents all occurrences of an ElkClass in an ontology.
IndexedClass.OwlThingContextInitializationRule	Adds owl:Thing to the context.
IndexedClassEntity	Represents all occurrences of an ElkClass or ElkIndividual in an ontology.
IndexedClassExpression	Represents all occurrences of an ElkClassExpression in an ontology.
IndexedDataHasValue	Represents all occurrences of an ElkObjectHasValue in an ontology.
IndexedDisjointnessAxiom	Defines the disjointness inference rule for indexed class expressions
IndexedDisjointnessAxiom.ThisCompositionRule	IndexedDisjointnessAxiom.ThisCompositionRule derives the disjointness axioms as a new kind of element.
IndexedDisjointnessAxiom.ThisContradictionRule	A rule which derives a Contradiction for inconsistent members of this IndexedDisjointnessAxiom.
IndexedIndividual	Represents all occurrences of an ElkIndividual in an ontology.
IndexedObject	Top level class for all indexed objects
IndexedObjectCache	A cache of IndexedObjects in the ontology backed by a KeyEntryHashSet.
IndexedObjectComplementOf	Represents all occurrences of an ElkObjectComplementOf in an ontology.
IndexedObjectComplementOf.ThisCompositionRule
IndexedObjectIntersectionOf	Represents all occurrences of an ElkObjectIntersectionOf in an ontology.
IndexedObjectIntersectionOf.ThisCompositionRule
IndexedObjectProperty	Represents all occurrences of an ElkObjectProperty in an ontology.
IndexedObjectSomeValuesFrom	Represents all occurrences of an ElkObjectSomeValuesFrom in an ontology.
IndexedObjectSomeValuesFrom.ThisCompositionRule
IndexedObjectUnionOf	Represents all occurrences of an ElkObjectUnionOf in an ontology.
IndexedObjectUnionOf.ThisCompositionRule
IndexedPropertyChain	Represents all occurrences of an ElkSubObjectPropertyExpression in an ontology.
IndexedSubClassOfAxiom
IndexedSubClassOfAxiom.ThisCompositionRule
IndexObjectConverter	A converter from ElkClassExpressions, ElkSubObjectPropertyExpressions, and ElkIndividuals to corresponding IndexedObjects with filtering through the provided IndexedClassExpressionFilter and IndexedPropertyChainFilter.
MainAxiomIndexerVisitor	An object that indexes axioms into a given ontology index.
NonIncrementalChangeCheckingVisitor	A delegating visitor which notifies the NonIncrementalChangeCheckingVisitor that some axiom represents a change which cannot be processed incrementally by the reasoner

Exception Summary

ElkIndexingException	An exception to signal indexing problems
ElkIndexingUnsupportedException	This exception should be used to indicate that some ElkObject cannot be represented within the index datastructure, that is, it is not supported by the reasoner.
ElkUnexpectedIndexingException	An exception to signal incorrect indexing behavior.