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

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

Package	Description
org.semanticweb.elk.reasoner.consistency
org.semanticweb.elk.reasoner.incremental
org.semanticweb.elk.reasoner.indexing
org.semanticweb.elk.reasoner.indexing.entries
org.semanticweb.elk.reasoner.indexing.hierarchy
org.semanticweb.elk.reasoner.indexing.visitors
org.semanticweb.elk.reasoner.reduction
org.semanticweb.elk.reasoner.saturation
org.semanticweb.elk.reasoner.saturation.conclusions
org.semanticweb.elk.reasoner.saturation.context
org.semanticweb.elk.reasoner.saturation.properties
org.semanticweb.elk.reasoner.saturation.rules
org.semanticweb.elk.reasoner.stages
org.semanticweb.elk.reasoner.taxonomy

Classes in org.semanticweb.elk.reasoner.indexing.hierarchy used by org.semanticweb.elk.reasoner.consistency

Class and Description
IndexedClassEntity Represents all occurrences of an ElkClass or ElkIndividual in an ontology.

Classes in org.semanticweb.elk.reasoner.indexing.hierarchy used by org.semanticweb.elk.reasoner.incremental

Class and Description
IndexedClassExpression Represents all occurrences of an ElkClassExpression in an ontology.

Classes in org.semanticweb.elk.reasoner.indexing.hierarchy used by org.semanticweb.elk.reasoner.indexing

Class and Description
IndexedClass Represents all occurrences of an ElkClass in an ontology.
IndexedClassExpression Represents all occurrences of an ElkClassExpression in an ontology.
IndexedIndividual Represents all occurrences of an ElkIndividual in an ontology.
IndexedObjectProperty Represents all occurrences of an ElkObjectProperty in an ontology.
IndexedPropertyChain Represents all occurrences of an ElkSubObjectPropertyExpression in an ontology.

Classes in org.semanticweb.elk.reasoner.indexing.hierarchy used by org.semanticweb.elk.reasoner.indexing.entries

Class and Description
IndexedAxiom
IndexedBinaryPropertyChain Represents a complex ElkSubObjectPropertyExpressions.
IndexedClass Represents all occurrences of an ElkClass 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
IndexedIndividual Represents all occurrences of an ElkIndividual in an ontology.
IndexedObject Top level class for all indexed objects
IndexedObjectComplementOf Represents all occurrences of an ElkObjectComplementOf in an ontology.
IndexedObjectIntersectionOf Represents all occurrences of an ElkObjectIntersectionOf in an ontology.
IndexedObjectProperty Represents all occurrences of an ElkObjectProperty in an ontology.
IndexedObjectSomeValuesFrom Represents all occurrences of an ElkObjectSomeValuesFrom in an ontology.
IndexedObjectUnionOf Represents all occurrences of an ElkObjectUnionOf in an ontology.
IndexedPropertyChain Represents all occurrences of an ElkSubObjectPropertyExpression in an ontology.
IndexedSubClassOfAxiom

Classes in org.semanticweb.elk.reasoner.indexing.hierarchy used by org.semanticweb.elk.reasoner.indexing.hierarchy

Class and Description
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.
DelegatingElkAxiomVisitor Delegates all visit method calls to the underlying visitor.
DirectIndex
ElkAxiomIndexer A collection of method for indexing ELK objects
ElkAxiomIndexingVisitor A simple intersection of the two interfaces
ElkIndexingException An exception to signal indexing problems
ElkUnexpectedIndexingException An exception to signal incorrect indexing behavior.
IndexedAxiom
IndexedBinaryPropertyChain Represents a complex ElkSubObjectPropertyExpressions.
IndexedClass Represents all occurrences of an ElkClass in an ontology.
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
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.
IndexedObjectIntersectionOf Represents all occurrences of an ElkObjectIntersectionOf in an ontology.
IndexedObjectProperty Represents all occurrences of an ElkObjectProperty in an ontology.
IndexedObjectSomeValuesFrom Represents all occurrences of an ElkObjectSomeValuesFrom in an ontology.
IndexedObjectUnionOf Represents all occurrences of an ElkObjectUnionOf in an ontology.
IndexedPropertyChain Represents all occurrences of an ElkSubObjectPropertyExpression in an ontology.
IndexedSubClassOfAxiom
IndexObjectConverter A converter from ElkClassExpressions, ElkSubObjectPropertyExpressions, and ElkIndividuals to corresponding IndexedObjects with filtering through the provided IndexedClassExpressionFilter and IndexedPropertyChainFilter.
IndexObjectConverterFactory
ModifiableOntologyIndex Common methods for constructing an OntologyIndex.

Classes in org.semanticweb.elk.reasoner.indexing.hierarchy used by org.semanticweb.elk.reasoner.indexing.visitors

Class and Description
IndexedBinaryPropertyChain Represents a complex ElkSubObjectPropertyExpressions.
IndexedClass Represents all occurrences of an ElkClass in an ontology.
IndexedDataHasValue Represents all occurrences of an ElkObjectHasValue in an ontology.
IndexedDisjointnessAxiom Defines the disjointness inference rule for indexed class expressions
IndexedIndividual Represents all occurrences of an ElkIndividual in an ontology.
IndexedObjectComplementOf Represents all occurrences of an ElkObjectComplementOf in an ontology.
IndexedObjectIntersectionOf Represents all occurrences of an ElkObjectIntersectionOf in an ontology.
IndexedObjectProperty Represents all occurrences of an ElkObjectProperty in an ontology.
IndexedObjectSomeValuesFrom Represents all occurrences of an ElkObjectSomeValuesFrom in an ontology.
IndexedObjectUnionOf Represents all occurrences of an ElkObjectUnionOf in an ontology.
IndexedSubClassOfAxiom

Classes in org.semanticweb.elk.reasoner.indexing.hierarchy used by org.semanticweb.elk.reasoner.reduction

Class and Description
IndexedClass Represents all occurrences of an ElkClass in an ontology.
IndexedClassExpression Represents all occurrences of an ElkClassExpression in an ontology.

Classes in org.semanticweb.elk.reasoner.indexing.hierarchy used by org.semanticweb.elk.reasoner.saturation

Class and Description
IndexedClassExpression Represents all occurrences of an ElkClassExpression in an ontology.
IndexedDisjointnessAxiom Defines the disjointness inference rule for indexed class expressions
IndexedPropertyChain Represents all occurrences of an ElkSubObjectPropertyExpression in an ontology.

Classes in org.semanticweb.elk.reasoner.indexing.hierarchy used by org.semanticweb.elk.reasoner.saturation.conclusions

Class and Description
IndexedClassExpression Represents all occurrences of an ElkClassExpression in an ontology.
IndexedDisjointnessAxiom Defines the disjointness inference rule for indexed class expressions
IndexedPropertyChain Represents all occurrences of an ElkSubObjectPropertyExpression in an ontology.

Classes in org.semanticweb.elk.reasoner.indexing.hierarchy used by org.semanticweb.elk.reasoner.saturation.context

Class and Description
IndexedClassExpression Represents all occurrences of an ElkClassExpression in an ontology.
IndexedDisjointnessAxiom Defines the disjointness inference rule for indexed class expressions
IndexedPropertyChain Represents all occurrences of an ElkSubObjectPropertyExpression in an ontology.

Classes in org.semanticweb.elk.reasoner.indexing.hierarchy used by org.semanticweb.elk.reasoner.saturation.properties

Class and Description
IndexedPropertyChain Represents all occurrences of an ElkSubObjectPropertyExpression in an ontology.

Classes in org.semanticweb.elk.reasoner.indexing.hierarchy used by org.semanticweb.elk.reasoner.saturation.rules

Class and Description
DirectIndex.ContextRootInitializationRule Adds root to the context
IndexedClass Represents all occurrences of an ElkClass in an ontology.
IndexedClass.OwlThingContextInitializationRule Adds owl:Thing to the context.
IndexedClassExpression Represents all occurrences of an ElkClassExpression in an ontology.
IndexedDataHasValue Represents all occurrences of an ElkObjectHasValue in an ontology.
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.
IndexedObjectComplementOf Represents all occurrences of an ElkObjectComplementOf in an ontology.
IndexedObjectComplementOf.ThisCompositionRule
IndexedObjectIntersectionOf Represents all occurrences of an ElkObjectIntersectionOf in an ontology.
IndexedObjectIntersectionOf.ThisCompositionRule
IndexedObjectSomeValuesFrom Represents all occurrences of an ElkObjectSomeValuesFrom in an ontology.
IndexedObjectSomeValuesFrom.ThisCompositionRule
IndexedObjectUnionOf.ThisCompositionRule
IndexedSubClassOfAxiom.ThisCompositionRule

Classes in org.semanticweb.elk.reasoner.indexing.hierarchy used by org.semanticweb.elk.reasoner.stages

Class and Description
IndexedClass Represents all occurrences of an ElkClass in an ontology.
IndexedClassExpression Represents all occurrences of an ElkClassExpression in an ontology.
IndexedIndividual Represents all occurrences of an ElkIndividual in an ontology.
IndexedPropertyChain Represents all occurrences of an ElkSubObjectPropertyExpression in an ontology.
ModifiableOntologyIndex Common methods for constructing an OntologyIndex.

Classes in org.semanticweb.elk.reasoner.indexing.hierarchy used by org.semanticweb.elk.reasoner.taxonomy

Class and Description
IndexedClass Represents all occurrences of an ElkClass in an ontology.
IndexedClassEntity Represents all occurrences of an ElkClass or ElkIndividual in an ontology.
IndexedIndividual Represents all occurrences of an ElkIndividual in an ontology.