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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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.

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

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.