A B C D E F G H I L M N O P R S T U V

A

AbstractAxiomLoader - Class in org.semanticweb.elk.loading

A skeletal implementation of the AxiomLoader that minimizes the effort to implement the interface.

AbstractAxiomLoader() - Constructor for class org.semanticweb.elk.loading.AbstractAxiomLoader

AbstractConclusion - Class in org.semanticweb.elk.reasoner.saturation.conclusions

AbstractConclusion() - Constructor for class org.semanticweb.elk.reasoner.saturation.conclusions.AbstractConclusion

AbstractElkAxiomIndexerVisitor - Class in org.semanticweb.elk.reasoner.indexing.hierarchy

An abstract class for indexing axioms.

AbstractElkAxiomIndexerVisitor() - Constructor for class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractElkAxiomIndexerVisitor

AbstractIndexedClassEntityVisitor<O> - Class in org.semanticweb.elk.reasoner.indexing.visitors

AbstractIndexedClassEntityVisitor() - Constructor for class org.semanticweb.elk.reasoner.indexing.visitors.AbstractIndexedClassEntityVisitor

AbstractIndexObjectConverter - Class in org.semanticweb.elk.reasoner.indexing.hierarchy

A converter from ElkClassExpressions, ElkSubObjectPropertyExpressions, and ElkIndividuals to corresponding IndexedObjects that simply throws an ElkIndexingException on all arguments.

AbstractIndexObjectConverter() - Constructor for class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractIndexObjectConverter

AbstractReasonerState - Class in org.semanticweb.elk.reasoner.stages

The execution state of the reasoner containing information about which reasoning stages have been completed and holding the results of these reasoning stages, such as the consistency status of the ontology, class, or instance taxonomy.

AbstractReasonerState() - Constructor for class org.semanticweb.elk.reasoner.stages.AbstractReasonerState

AbstractReasonerState(AxiomLoader) - Constructor for class org.semanticweb.elk.reasoner.stages.AbstractReasonerState

AbstractStageExecutor - Class in org.semanticweb.elk.reasoner.stages

An abstract base class which implements a very simple logic of executing stages: first check the completion flag, if false - first complete all dependencies, and finally execute the stage.

AbstractStageExecutor() - Constructor for class org.semanticweb.elk.reasoner.stages.AbstractStageExecutor

accept(RuleApplicationVisitor, BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DirectIndex.ContextRootInitializationRule

accept(IndexedAxiomVisitor<O>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedAxiom

accept(IndexedObjectVisitor<O>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedAxiom

accept(IndexedPropertyChainVisitor<O>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedBinaryPropertyChain

accept(IndexedBinaryPropertyChainVisitor<O>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedBinaryPropertyChain

accept(IndexedPropertyChainVisitorEx<O, P>, P) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedBinaryPropertyChain

accept(IndexedClassVisitor<O>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClass

accept(IndexedClassEntityVisitor<O>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClass

accept(DecompositionRuleApplicationVisitor, Context) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClass

accept(RuleApplicationVisitor, BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClass.OwlThingContextInitializationRule

accept(IndexedClassEntityVisitor<O>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClassEntity

accept(IndexedClassExpressionVisitor<O>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClassEntity

accept(IndexedObjectVisitor<O>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClassExpression

accept(IndexedClassExpressionVisitor<O>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClassExpression

accept(DecompositionRuleApplicationVisitor, Context) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClassExpression

accept(IndexedDataHasValueVisitor<O>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDataHasValue

accept(IndexedClassExpressionVisitor<O>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDataHasValue

accept(DecompositionRuleApplicationVisitor, Context) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDataHasValue

accept(IndexedAxiomVisitor<O>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDisjointnessAxiom

accept(RuleApplicationVisitor, BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDisjointnessAxiom.ThisCompositionRule

accept(RuleApplicationVisitor, BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDisjointnessAxiom.ThisContradictionRule

accept(IndexedIndividualVisitor<O>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedIndividual

accept(IndexedClassEntityVisitor<O>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedIndividual

accept(DecompositionRuleApplicationVisitor, Context) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedIndividual

accept(IndexedObjectVisitor<O>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObject

accept(IndexedObjectComplementOfVisitor<O>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectComplementOf

accept(IndexedClassExpressionVisitor<O>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectComplementOf

accept(DecompositionRuleApplicationVisitor, Context) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectComplementOf

accept(RuleApplicationVisitor, BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectComplementOf.ThisCompositionRule

accept(IndexedObjectIntersectionOfVisitor<O>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectIntersectionOf

accept(IndexedClassExpressionVisitor<O>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectIntersectionOf

accept(DecompositionRuleApplicationVisitor, Context) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectIntersectionOf

accept(RuleApplicationVisitor, BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectIntersectionOf.ThisCompositionRule

accept(IndexedObjectPropertyVisitor<O>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectProperty

accept(IndexedPropertyChainVisitor<O>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectProperty

accept(IndexedPropertyChainVisitorEx<O, P>, P) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectProperty

accept(IndexedObjectSomeValuesFromVisitor<O>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectSomeValuesFrom

accept(IndexedClassExpressionVisitor<O>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectSomeValuesFrom

accept(DecompositionRuleApplicationVisitor, Context) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectSomeValuesFrom

accept(RuleApplicationVisitor, BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectSomeValuesFrom.ThisCompositionRule

accept(IndexedObjectUnionOfVisitor<O>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectUnionOf

accept(IndexedClassExpressionVisitor<O>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectUnionOf

accept(DecompositionRuleApplicationVisitor, Context) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectUnionOf

accept(RuleApplicationVisitor, BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectUnionOf.ThisCompositionRule

accept(IndexedPropertyChainVisitor<O>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedPropertyChain

accept(IndexedObjectVisitor<O>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedPropertyChain

accept(IndexedPropertyChainVisitorEx<O, P>, P) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedPropertyChain

accept(IndexedAxiomVisitor<O>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedSubClassOfAxiom

accept(RuleApplicationVisitor, BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedSubClassOfAxiom.ThisCompositionRule

accept(TransitiveReductionOutputVisitor<R>) - Method in class org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutput

accept(TransitiveReductionOutputVisitor<R>) - Method in class org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutputEquivalent

accept(TransitiveReductionOutputVisitor<R>) - Method in class org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutputEquivalentDirect

accept(TransitiveReductionOutputVisitor<R>) - Method in class org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutputUnsatisfiable

accept(ConclusionVisitor<R>, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.BackwardLink

accept(ConclusionVisitor<R>, Context) - Method in interface org.semanticweb.elk.reasoner.saturation.conclusions.Conclusion

accept(ConclusionVisitor<R>, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.Contradiction

accept(RuleApplicationVisitor, BasicSaturationStateWriter, BackwardLink) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.Contradiction.ContradictionBackwardLinkRule

accept(ConclusionVisitor<R>, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.DisjointnessAxiom

accept(ConclusionVisitor<R>, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ForwardLink

accept(RuleApplicationVisitor, BasicSaturationStateWriter, BackwardLink) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ForwardLink.ThisBackwardLinkRule

accept(ConclusionVisitor<R>, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.NegativeSubsumer

accept(ConclusionVisitor<R>, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.PositiveSubsumer

accept(ConclusionVisitor<R>, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.Propagation

accept(RuleApplicationVisitor, BasicSaturationStateWriter, BackwardLink) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.Propagation.ThisBackwardLinkRule

accept(RuleApplicationVisitor, BasicSaturationStateWriter, E) - Method in interface org.semanticweb.elk.reasoner.saturation.rules.LinkRule

add(IncrementalProcessingStatistics) - Method in class org.semanticweb.elk.reasoner.incremental.IncrementalProcessingStatistics

add(IndexedClassExpression, ChainableRule<Context>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DifferentialIndex

add(IndexedObject) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DifferentialIndex

add(IndexedClassExpression, ChainableRule<Context>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DirectIndex

add(IndexedObject) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DirectIndex

add(IndexedObject) - Method in interface org.semanticweb.elk.reasoner.indexing.hierarchy.ModifiableOntologyIndex

Adds the given IndexedObject to this OntologyIndex

add(IndexedClassExpression, ChainableRule<Context>) - Method in interface org.semanticweb.elk.reasoner.indexing.hierarchy.ModifiableOntologyIndex

Adds a new context rule for the given IndexedClassExpression

add(ConclusionCounter) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionCounter

Adds all counters of the argument to the corresponding counters of this object.

add(ConclusionStatistics) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionStatistics

add(ConclusionTimer) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionTimer

Adds all timers of the argument to the corresponding counters of this object.

add(ContextStatistics) - Method in class org.semanticweb.elk.reasoner.saturation.context.ContextStatistics

add(DecompositionRuleApplicationCounter) - Method in class org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationCounter

Add the values the corresponding values of the given counter

add(DecompositionRuleApplicationTimer) - Method in class org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationTimer

Add the values the corresponding values of the given timer

add(RuleApplicationCounter) - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationCounter

Add the values the corresponding values of the given counter

add(RuleApplicationTimer) - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationTimer

Add the values the corresponding values of the given timer

add(RuleStatistics) - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleStatistics

add(SaturationStatistics) - Method in class org.semanticweb.elk.reasoner.saturation.SaturationStatistics

addBackwardLink(BackwardLink) - Method in interface org.semanticweb.elk.reasoner.saturation.context.Context

Adds the given BackwardLink to this Context.

addBackwardLink(BackwardLink) - Method in class org.semanticweb.elk.reasoner.saturation.ContextImpl

addClass(ElkClass) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DifferentialIndex

addClass(ElkClass) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DirectIndex

addClass(ElkClass) - Method in interface org.semanticweb.elk.reasoner.indexing.hierarchy.ModifiableOntologyIndex

Add the given ElkClass to the signature of this OntologyIndex

addContextInitRule(ChainableRule<Context>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DifferentialIndex

addContextInitRule(ChainableRule<Context>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DirectIndex

addContextInitRule(ChainableRule<Context>) - Method in interface org.semanticweb.elk.reasoner.indexing.hierarchy.ModifiableOntologyIndex

Adds a new context initialization for this OntologyIndex.

addDirectInstanceNode(UpdateableInstanceNode<ElkClass, ElkNamedIndividual>) - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTypeNode

addDirectSubNode(UpdateableTaxonomyNode<T>) - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTaxonomyNode

addDirectSuperNode(UpdateableTaxonomyNode<T>) - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTaxonomyNode

addDirectTypeNode(UpdateableTypeNode<ElkClass, ElkNamedIndividual>) - Method in class org.semanticweb.elk.reasoner.taxonomy.IndividualNode

Add a direct super-class node.

addDirectTypeNode(UpdateableTypeNode<T, I>) - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.UpdateableInstanceNode

addDisjointnessAxiom(IndexedDisjointnessAxiom) - Method in interface org.semanticweb.elk.reasoner.saturation.context.Context

Adds one instance of IndexedDisjointnessAxiom to this Context.

addDisjointnessAxiom(IndexedDisjointnessAxiom) - Method in class org.semanticweb.elk.reasoner.saturation.ContextImpl

addInstanceNode(OrphanInstanceNode<T, I>) - Method in class org.semanticweb.elk.reasoner.taxonomy.OrphanTypeNode

addLeftChain(IndexedBinaryPropertyChain) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectProperty

Adds the given IndexedBinaryPropertyChain to the list of IndexedBinaryPropertyChain that contains this IndexedPropertyChain in the left-hand-side

addNamedIndividual(ElkNamedIndividual) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DifferentialIndex

addNamedIndividual(ElkNamedIndividual) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DirectIndex

addNamedIndividual(ElkNamedIndividual) - Method in interface org.semanticweb.elk.reasoner.indexing.hierarchy.ModifiableOntologyIndex

Add the given ElkNamedIndividual to the signature of this OntologyIndex

addReflexiveProperty(IndexedObjectProperty) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DirectIndex

addReflexiveProperty(IndexedObjectProperty) - Method in interface org.semanticweb.elk.reasoner.indexing.hierarchy.ModifiableOntologyIndex

Assert reflexivity of the given IndexedObjectProperty

addRightChain(IndexedBinaryPropertyChain) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedPropertyChain

Adds the given IndexedBinaryPropertyChain to the list of IndexedBinaryPropertyChain that contains this IndexedPropertyChain in the right-hand-side

addStatsToConclusionVisitor(ConclusionStatistics) - Static method in class org.semanticweb.elk.reasoner.saturation.SaturationUtils

addStatsToContextCreationListener(ContextCreationListener, ContextStatistics) - Static method in class org.semanticweb.elk.reasoner.saturation.SaturationUtils

addStatsToContextModificationListener(ContextModificationListener, ContextStatistics) - Static method in class org.semanticweb.elk.reasoner.saturation.SaturationUtils

addSubsumer(IndexedClassExpression) - Method in interface org.semanticweb.elk.reasoner.saturation.context.Context

Adds the given IndexedClassExpression to the subsumers of the root IndexedClassExpression of this Context.

addSubsumer(IndexedClassExpression) - Method in class org.semanticweb.elk.reasoner.saturation.ContextImpl

addTo(Chain<ChainableRule<Context>>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DirectIndex.ContextRootInitializationRule

addTo(Chain<ChainableRule<Context>>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClass.OwlThingContextInitializationRule

addTo(Chain<ChainableRule<Context>>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDisjointnessAxiom.ThisCompositionRule

addTo(Chain<ChainableRule<Context>>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDisjointnessAxiom.ThisContradictionRule

addTo(Chain<ChainableRule<Context>>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectComplementOf.ThisCompositionRule

addTo(Chain<ChainableRule<Context>>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectIntersectionOf.ThisCompositionRule

addTo(Chain<ChainableRule<Context>>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectSomeValuesFrom.ThisCompositionRule

addTo(Chain<ChainableRule<Context>>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectUnionOf.ThisCompositionRule

addTo(Chain<ChainableRule<Context>>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedSubClassOfAxiom.ThisCompositionRule

addToBottomNode(ElkClass) - Method in class org.semanticweb.elk.reasoner.taxonomy.ConcurrentClassTaxonomy

addToBottomNode(ElkClass) - Method in class org.semanticweb.elk.reasoner.taxonomy.ConcurrentInstanceTaxonomy

addToBottomNode(T) - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTaxonomy

addToContextBackwardLinkRule(Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ForwardLink

addToContextBackwardLinkRule(Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.Propagation

addToDo(Conclusion) - Method in interface org.semanticweb.elk.reasoner.saturation.context.Context

Adds the given Conclusion to be processed within this Context.

addToDo(Conclusion) - Method in class org.semanticweb.elk.reasoner.saturation.ContextImpl

addToldSubPropertyChain(IndexedPropertyChain) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectProperty

addToldSuperClassExpression(IndexedClassExpression) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedSubClassOfAxiom.ThisCompositionRule

allowFreshEntities - Variable in class org.semanticweb.elk.reasoner.Reasoner

Should fresh entities in reasoner queries be accepted (configuration setting).

AnonymousNode<T extends ElkObject> - Class in org.semanticweb.elk.reasoner.taxonomy.model

A Node created for an anonymous ElkObject that should not be listed among its members

AnonymousNode(T, Collection<T>, Comparator<T>) - Constructor for class org.semanticweb.elk.reasoner.taxonomy.model.AnonymousNode

apply(BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DirectIndex.ContextRootInitializationRule

apply(BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClass.OwlThingContextInitializationRule

apply(BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDisjointnessAxiom.ThisCompositionRule

apply(BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDisjointnessAxiom.ThisContradictionRule

apply(BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectComplementOf.ThisCompositionRule

apply(BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectIntersectionOf.ThisCompositionRule

apply(BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectSomeValuesFrom.ThisCompositionRule

apply(BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectUnionOf.ThisCompositionRule

apply(BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedSubClassOfAxiom.ThisCompositionRule

apply(BasicSaturationStateWriter, Context, RuleApplicationVisitor) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.BackwardLink

apply(BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.Contradiction

apply(BasicSaturationStateWriter, BackwardLink) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.Contradiction.ContradictionBackwardLinkRule

apply(BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.DisjointnessAxiom

apply(BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ForwardLink

apply(BasicSaturationStateWriter, BackwardLink) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ForwardLink.ThisBackwardLinkRule

apply(BasicSaturationStateWriter, Context, RuleApplicationVisitor) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.NegativeSubsumer

apply(BasicSaturationStateWriter, Context, RuleApplicationVisitor, DecompositionRuleApplicationVisitor) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.PositiveSubsumer

apply(BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.Propagation

apply(BasicSaturationStateWriter, BackwardLink) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.Propagation.ThisBackwardLinkRule

apply(BasicSaturationStateWriter, E) - Method in interface org.semanticweb.elk.reasoner.saturation.rules.Rule

Applying the rule to an element within a BasicSaturationStateWriter

applyCompositionRules(BasicSaturationStateWriter, Context, RuleApplicationVisitor) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.Subsumer

applyDecompositionRules(Context, DecompositionRuleApplicationVisitor) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.NegativeSubsumer

AxiomLoader - Interface in org.semanticweb.elk.loading

An object through which axioms can be add or removed to the ontology

AxiomLoadingStage - Class in org.semanticweb.elk.reasoner.stages

A ReasonerStage during which the input ontology is loaded into the reasoner.

AxiomLoadingStage(AbstractReasonerState, AbstractReasonerStage...) - Constructor for class org.semanticweb.elk.reasoner.stages.AxiomLoadingStage

B

BackwardDecompositionRuleApplicationVisitor - Class in org.semanticweb.elk.reasoner.saturation.rules

Used for decomposing class expressions when rules are applied backwards

BackwardDecompositionRuleApplicationVisitor(BasicSaturationStateWriter) - Constructor for class org.semanticweb.elk.reasoner.saturation.rules.BackwardDecompositionRuleApplicationVisitor

BackwardLink - Class in org.semanticweb.elk.reasoner.saturation.conclusions

A Conclusion representing derived existential restrictions from a source Context to this target Context.

BackwardLink(Context, IndexedPropertyChain) - Constructor for class org.semanticweb.elk.reasoner.saturation.conclusions.BackwardLink

BasicCompositionRuleApplicationVisitor - Class in org.semanticweb.elk.reasoner.saturation.rules

BasicCompositionRuleApplicationVisitor() - Constructor for class org.semanticweb.elk.reasoner.saturation.rules.BasicCompositionRuleApplicationVisitor

BasicSaturationStateWriter - Interface in org.semanticweb.elk.reasoner.saturation

Functions that can write the saturation state are grouped here.

C

ChainableRule<E> - Interface in org.semanticweb.elk.reasoner.saturation.rules

ChangeIndexingProcessor - Class in org.semanticweb.elk.reasoner.indexing.hierarchy

Basically an adapter from ElkAxiomIndexingVisitor to ElkAxiomProcessor specifically for classes which index axioms.

ChangeIndexingProcessor(ElkAxiomIndexingVisitor) - Constructor for class org.semanticweb.elk.reasoner.indexing.hierarchy.ChangeIndexingProcessor

check(Logger) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionStatistics

check(Logger) - Method in class org.semanticweb.elk.reasoner.saturation.context.ContextStatistics

check(Logger) - Method in class org.semanticweb.elk.reasoner.saturation.SaturationStatistics

checkOccurrenceNumbers() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClass

checkOccurrenceNumbers() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClassExpression

verifies that occurrence numbers are not negative

checkOccurrenceNumbers() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedPropertyChain

verifies that occurrence numbers are not negative

CLASS_COMPARATOR - Static variable in class org.semanticweb.elk.reasoner.taxonomy.TaxonomyPrinter

ClassExpressionNoInputSaturation - Class in org.semanticweb.elk.reasoner.saturation

A ReasonerComputation that continues saturation based on what's currently initialized in the RuleApplicationFactory

ClassExpressionNoInputSaturation(ComputationExecutor, int, ProgressMonitor, RuleApplicationFactory, ContextModificationListener) - Constructor for class org.semanticweb.elk.reasoner.saturation.ClassExpressionNoInputSaturation

ClassExpressionSaturation<I extends IndexedClassExpression> - Class in org.semanticweb.elk.reasoner.saturation

A ReasonerComputation that computes saturation for the input collection of IndexedClassExpressions

ClassExpressionSaturation(Collection<I>, ComputationExecutor, int, ProgressMonitor, SaturationState) - Constructor for class org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturation

ClassExpressionSaturation(Collection<I>, ComputationExecutor, int, ProgressMonitor, SaturationState, ClassExpressionSaturationListener<SaturationJob<I>>) - Constructor for class org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturation

ClassExpressionSaturation(Collection<I>, ComputationExecutor, int, ProgressMonitor, RuleApplicationFactory) - Constructor for class org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturation

ClassExpressionSaturationFactory<J extends SaturationJob<? extends IndexedClassExpression>> - Class in org.semanticweb.elk.reasoner.saturation

The factory for engines that concurrently submit, process, and post-process saturation jobs.

ClassExpressionSaturationFactory(SaturationState, int, ClassExpressionSaturationListener<J>) - Constructor for class org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturationFactory

Creates a new saturation engine using the given saturation state, listener for callback functions, and threshold for the number of unprocessed contexts.

ClassExpressionSaturationFactory(RuleApplicationFactory, int, ClassExpressionSaturationListener<J>) - Constructor for class org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturationFactory

ClassExpressionSaturationFactory(RuleApplicationFactory, int) - Constructor for class org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturationFactory

Creates a new saturation factory using the given rule application factory.

ClassExpressionSaturationFactory.Engine - Class in org.semanticweb.elk.reasoner.saturation

ClassExpressionSaturationListener<J extends SaturationJob<? extends IndexedClassExpression>> - Interface in org.semanticweb.elk.reasoner.saturation

A listener to be used with ClassExpressionSaturationFactory.

ClassSaturationStage - Class in org.semanticweb.elk.reasoner.stages

A ReasonerStage which computes saturation for every class of the ontology

ClassSaturationStage(AbstractReasonerState, AbstractReasonerStage...) - Constructor for class org.semanticweb.elk.reasoner.stages.ClassSaturationStage

ClassTaxonomyComputation - Class in org.semanticweb.elk.reasoner.taxonomy

Computing taxonomy relations between atomic classes of the ontology.

ClassTaxonomyComputation(Collection<? extends Collection<IndexedClass>>, ComputationExecutor, int, ProgressMonitor, SaturationState, UpdateableTaxonomy<ElkClass>) - Constructor for class org.semanticweb.elk.reasoner.taxonomy.ClassTaxonomyComputation

ClassTaxonomyComputationFactory - Class in org.semanticweb.elk.reasoner.taxonomy

The factory for engines that concurrently construct a Taxonomy.

ClassTaxonomyComputationFactory(SaturationState, int, UpdateableTaxonomy<ElkClass>) - Constructor for class org.semanticweb.elk.reasoner.taxonomy.ClassTaxonomyComputationFactory

Create a shared engine for the input ontology index and a partially pre-computed taxonomy object.

ClassTaxonomyComputationFactory(SaturationState, int) - Constructor for class org.semanticweb.elk.reasoner.taxonomy.ClassTaxonomyComputationFactory

Create a new class taxonomy engine for the input ontology index.

ClassTaxonomyComputationFactory.Engine - Class in org.semanticweb.elk.reasoner.taxonomy

ClassTaxonomyState - Class in org.semanticweb.elk.reasoner.stages

Stores information about the state of the class taxonomy

ClassTaxonomyState() - Constructor for class org.semanticweb.elk.reasoner.stages.ClassTaxonomyState

ClassTaxonomyState.Writer - Class in org.semanticweb.elk.reasoner.stages

Groups all methods to change the state

ClassTaxonomyState.Writer() - Constructor for class org.semanticweb.elk.reasoner.stages.ClassTaxonomyState.Writer

clear() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectCache

clear() - Method in class org.semanticweb.elk.reasoner.saturation.properties.SaturatedPropertyChain

Clear all derived information for this SaturatedPropertyChain

clear() - Method in class org.semanticweb.elk.reasoner.stages.ClassTaxonomyState.Writer

clear() - Method in class org.semanticweb.elk.reasoner.stages.InstanceTaxonomyState.Writer

clearDeletedRules() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DifferentialIndex

Removes the deleted rules from this DifferentialIndex; these rules should be already applied in the main index during their registration

clearModifiedIndividuals() - Method in class org.semanticweb.elk.reasoner.stages.InstanceTaxonomyState.Writer

clearModifiedNodeObjects() - Method in class org.semanticweb.elk.reasoner.stages.ClassTaxonomyState.Writer

clearNotSaturatedContexts() - Method in interface org.semanticweb.elk.reasoner.saturation.BasicSaturationStateWriter

clearRemovedClasses() - Method in class org.semanticweb.elk.reasoner.stages.ClassTaxonomyState.Writer

clearRemovedIndividuals() - Method in class org.semanticweb.elk.reasoner.stages.InstanceTaxonomyState.Writer

clearTaxonomy() - Method in class org.semanticweb.elk.reasoner.stages.ClassTaxonomyState.Writer

clearTaxonomy() - Method in class org.semanticweb.elk.reasoner.stages.InstanceTaxonomyState.Writer

clone() - Method in class org.semanticweb.elk.reasoner.saturation.properties.SaturatedPropertyChain

COLLECT_CONCLUSION_COUNTS - Static variable in class org.semanticweb.elk.reasoner.saturation.SaturationUtils

COLLECT_CONCLUSION_TIMES - Static variable in class org.semanticweb.elk.reasoner.saturation.SaturationUtils

COLLECT_PROCESSING_TIMES - Static variable in class org.semanticweb.elk.reasoner.saturation.SaturationUtils

COLLECT_RULE_COUNTS - Static variable in class org.semanticweb.elk.reasoner.saturation.SaturationUtils

COLLECT_RULE_TIMES - Static variable in class org.semanticweb.elk.reasoner.saturation.SaturationUtils

CombinedConclusionVisitor - Class in org.semanticweb.elk.reasoner.saturation.conclusions

CombinedConclusionVisitor(ConclusionVisitor<Boolean>, ConclusionVisitor<Boolean>) - Constructor for class org.semanticweb.elk.reasoner.saturation.conclusions.CombinedConclusionVisitor

commitAddedRules() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DifferentialIndex

Commits the added rules to the main index and removes them from this DifferentialIndex.

compareTo(IndexedClassExpression) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClassExpression

compareTo(IndexedPropertyChain) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedPropertyChain

complete(ReasonerStage) - Method in class org.semanticweb.elk.reasoner.stages.AbstractReasonerState

complete(ReasonerStage) - Method in class org.semanticweb.elk.reasoner.stages.AbstractStageExecutor

complete(ReasonerStage) - Method in interface org.semanticweb.elk.reasoner.stages.ReasonerStageExecutor

Makes sure that the given stage is completed; it might not necessarily execute this stage if the results are already computed

complete(ReasonerStage) - Method in class org.semanticweb.elk.reasoner.stages.RestartingStageExecutor

ComposedAxiomLoader - Class in org.semanticweb.elk.loading

A AxiomLoader that consists of two given AxiomLoaders.

ComposedAxiomLoader(AxiomLoader, AxiomLoader) - Constructor for class org.semanticweb.elk.loading.ComposedAxiomLoader

computation_ - Variable in class org.semanticweb.elk.reasoner.stages.IncrementalClassTaxonomyComputationStage

computeHashCode() - Method in class org.semanticweb.elk.reasoner.indexing.entries.IndexedBinaryPropertyChainEntry

computeHashCode() - Method in class org.semanticweb.elk.reasoner.indexing.entries.IndexedClassEntry

computeHashCode() - Method in class org.semanticweb.elk.reasoner.indexing.entries.IndexedDataHasValueEntry

computeHashCode() - Method in class org.semanticweb.elk.reasoner.indexing.entries.IndexedDisjointnessAxiomEntry

computeHashCode() - Method in class org.semanticweb.elk.reasoner.indexing.entries.IndexedIndividualEntry

computeHashCode() - Method in class org.semanticweb.elk.reasoner.indexing.entries.IndexedObjectComplementOfEntry

computeHashCode() - Method in class org.semanticweb.elk.reasoner.indexing.entries.IndexedObjectIntersectionOfEntry

computeHashCode() - Method in class org.semanticweb.elk.reasoner.indexing.entries.IndexedObjectPropertyEntry

computeHashCode() - Method in class org.semanticweb.elk.reasoner.indexing.entries.IndexedObjectSomeValuesFromEntry

computeHashCode() - Method in class org.semanticweb.elk.reasoner.indexing.entries.IndexedObjectUnionOfEntry

computeHashCode() - Method in class org.semanticweb.elk.reasoner.indexing.entries.IndexedSubClassOfAxiomEntry

Conclusion - Interface in org.semanticweb.elk.reasoner.saturation.conclusions

A general type of conclusions, produced by inference rules.

ConclusionApplicationVisitor - Class in org.semanticweb.elk.reasoner.saturation.conclusions

ConclusionApplicationVisitor(BasicSaturationStateWriter, RuleApplicationVisitor, DecompositionRuleApplicationVisitor) - Constructor for class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionApplicationVisitor

ConclusionCounter - Class in org.semanticweb.elk.reasoner.saturation.conclusions

ConclusionCounter() - Constructor for class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionCounter

ConclusionDeapplicationVisitor - Class in org.semanticweb.elk.reasoner.saturation.conclusions

ConclusionDeapplicationVisitor(BasicSaturationStateWriter, RuleApplicationVisitor, DecompositionRuleApplicationVisitor) - Constructor for class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionDeapplicationVisitor

ConclusionDeletionVisitor - Class in org.semanticweb.elk.reasoner.saturation.conclusions

ConclusionDeletionVisitor() - Constructor for class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionDeletionVisitor

ConclusionInsertionVisitor - Class in org.semanticweb.elk.reasoner.saturation.conclusions

ConclusionInsertionVisitor() - Constructor for class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionInsertionVisitor

ConclusionOccurranceCheckingVisitor - Class in org.semanticweb.elk.reasoner.saturation.conclusions

ConclusionOccurranceCheckingVisitor() - Constructor for class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionOccurranceCheckingVisitor

ConclusionSourceUnsaturationVisitor - Class in org.semanticweb.elk.reasoner.saturation.conclusions

A ConclusionVisitor that marks the source context of the conclusion as not saturated

ConclusionSourceUnsaturationVisitor(BasicSaturationStateWriter) - Constructor for class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionSourceUnsaturationVisitor

ConclusionStatistics - Class in org.semanticweb.elk.reasoner.saturation.conclusions

ConclusionStatistics(ConclusionCounter, ConclusionCounter, ConclusionCounter, ConclusionTimer) - Constructor for class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionStatistics

ConclusionStatistics() - Constructor for class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionStatistics

ConclusionTimer - Class in org.semanticweb.elk.reasoner.saturation.conclusions

ConclusionTimer() - Constructor for class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionTimer

ConclusionVisitor<R> - Interface in org.semanticweb.elk.reasoner.saturation.conclusions

ConcurrentClassTaxonomy - Class in org.semanticweb.elk.reasoner.taxonomy

Class taxonomy that is suitable for concurrent processing.

ConcurrentClassTaxonomy() - Constructor for class org.semanticweb.elk.reasoner.taxonomy.ConcurrentClassTaxonomy

ConcurrentClassTaxonomy.BottomClassNode - Class in org.semanticweb.elk.reasoner.taxonomy

Special implementation for the bottom node in the taxonomy.

ConcurrentClassTaxonomy.BottomClassNode() - Constructor for class org.semanticweb.elk.reasoner.taxonomy.ConcurrentClassTaxonomy.BottomClassNode

ConcurrentInstanceTaxonomy - Class in org.semanticweb.elk.reasoner.taxonomy

Class taxonomy that is suitable for concurrent processing.

ConcurrentInstanceTaxonomy() - Constructor for class org.semanticweb.elk.reasoner.taxonomy.ConcurrentInstanceTaxonomy

ConcurrentInstanceTaxonomy(UpdateableTaxonomy<ElkClass>) - Constructor for class org.semanticweb.elk.reasoner.taxonomy.ConcurrentInstanceTaxonomy

ConsistencyChecking - Class in org.semanticweb.elk.reasoner.consistency

A ReasonerComputation for checking consistency of the ontology.

ConsistencyChecking(Collection<IndexedClassEntity>, ConsistencyChecking.ConsistencyMonitor, SaturationState, ComputationExecutor, int, ProgressMonitor) - Constructor for class org.semanticweb.elk.reasoner.consistency.ConsistencyChecking

Constructing the object for checking if all given entities are consistent.

ConsistencyChecking(ComputationExecutor, int, ProgressMonitor, OntologyIndex, SaturationState) - Constructor for class org.semanticweb.elk.reasoner.consistency.ConsistencyChecking

Constructing the object for checking if the given ontology is consistent

containsBackwardLink(BackwardLink) - Method in interface org.semanticweb.elk.reasoner.saturation.context.Context

containsBackwardLink(BackwardLink) - Method in class org.semanticweb.elk.reasoner.saturation.ContextImpl

containsBackwardLinkRule(Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ForwardLink

containsBackwardLinkRule(Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.Propagation

containsDisjointnessAxiom(IndexedDisjointnessAxiom) - Method in interface org.semanticweb.elk.reasoner.saturation.context.Context

containsDisjointnessAxiom(IndexedDisjointnessAxiom) - Method in class org.semanticweb.elk.reasoner.saturation.ContextImpl

containsSubsumer(IndexedClassExpression) - Method in interface org.semanticweb.elk.reasoner.saturation.context.Context

Tests whether the given IndexedClassExpression is a subsumer of the root IndexedClassExpression of this Context.

containsSubsumer(IndexedClassExpression) - Method in class org.semanticweb.elk.reasoner.saturation.ContextImpl

Context - Interface in org.semanticweb.elk.reasoner.saturation.context

An object representing an elementary unit of computation for saturation of an IndexedClassExpression, stored as a root of the Context.

ContextCleaningFactory - Class in org.semanticweb.elk.reasoner.saturation.rules

Creates an engine which works as the de-application engine except that it doesn't modify saturated contexts.

ContextCleaningFactory(SaturationState) - Constructor for class org.semanticweb.elk.reasoner.saturation.rules.ContextCleaningFactory

ContextCleaningFactory.CleaningEngine - Class in org.semanticweb.elk.reasoner.saturation.rules

A RuleDeapplicationFactory that its own saturation state riter that does not produce conclusions if their source is marked as saturated.

ContextCleaningFactory.CleaningEngine() - Constructor for class org.semanticweb.elk.reasoner.saturation.rules.ContextCleaningFactory.CleaningEngine

ContextCompletionFactory - Class in org.semanticweb.elk.reasoner.saturation.rules

Applies rules to all conclusions of partially completed contexts to close them deductively.

ContextCompletionFactory(SaturationState) - Constructor for class org.semanticweb.elk.reasoner.saturation.rules.ContextCompletionFactory

ContextCreationListener - Interface in org.semanticweb.elk.reasoner.saturation

ContextImpl - Class in org.semanticweb.elk.reasoner.saturation

Context implementation that is used for EL reasoning.

ContextImpl(IndexedClassExpression) - Constructor for class org.semanticweb.elk.reasoner.saturation.ContextImpl

Construct a new Context for the given root IndexedClassExpression.

ContextModificationListener - Interface in org.semanticweb.elk.reasoner.saturation

ContextStatistics - Class in org.semanticweb.elk.reasoner.saturation.context

Keeps statistics about the number of created and modified contexts

ContextStatistics() - Constructor for class org.semanticweb.elk.reasoner.saturation.context.ContextStatistics

Contradiction - Class in org.semanticweb.elk.reasoner.saturation.conclusions

Contradiction.ContradictionBackwardLinkRule - Class in org.semanticweb.elk.reasoner.saturation.conclusions

A backward link rule to propagate contradiction through any new backward links

countCreatedContexts - Variable in class org.semanticweb.elk.reasoner.saturation.context.ContextStatistics

The number of created contexts

CountingConclusionVisitor - Class in org.semanticweb.elk.reasoner.saturation.conclusions

CountingConclusionVisitor(ConclusionCounter) - Constructor for class org.semanticweb.elk.reasoner.saturation.conclusions.CountingConclusionVisitor

countModifiedContexts - Variable in class org.semanticweb.elk.reasoner.saturation.context.ContextStatistics

countProcessedContexts - Variable in class org.semanticweb.elk.reasoner.saturation.context.ContextStatistics

the number of times a context has been processed

create(IndexObjectConverter) - Method in interface org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverterFactory

createReasoner(AxiomLoader) - Method in class org.semanticweb.elk.reasoner.ReasonerFactory

createReasoner(AxiomLoader, ReasonerStageExecutor) - Method in class org.semanticweb.elk.reasoner.ReasonerFactory

Creates Reasoner with the configuration loaded from elk.properties (if exists in the classpath) or the default configuration

createReasoner(AxiomLoader, ReasonerStageExecutor, ReasonerConfiguration) - Method in class org.semanticweb.elk.reasoner.ReasonerFactory

Creates Reasoner with the provided configuration

createReasoner(AxiomLoader, ReasonerStageExecutor, ExecutorService, ReasonerConfiguration) - Method in class org.semanticweb.elk.reasoner.ReasonerFactory

createSaturationState(OntologyIndex) - Static method in class org.semanticweb.elk.reasoner.saturation.SaturationStateFactory

Creates a new instance of SaturationStateImpl

D

deapply(BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.Contradiction

DecompositionRuleApplicationCounter - Class in org.semanticweb.elk.reasoner.saturation.rules

An object which can be used to measure the methods invocations of a DecompositionRuleApplicationVisitor.

DecompositionRuleApplicationCounter() - Constructor for class org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationCounter

DecompositionRuleApplicationCounterVisitor - Class in org.semanticweb.elk.reasoner.saturation.rules

A DecompositionRuleApplicationVisitor wrapper for a given DecompositionRuleApplicationVisitor that additionally records the number of invocations of the methods using the given DecompositionRuleApplicationCounter.

DecompositionRuleApplicationCounterVisitor(DecompositionRuleApplicationVisitor, DecompositionRuleApplicationCounter) - Constructor for class org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationCounterVisitor

Creates a new DecompositionRuleApplicationVisitor that executes the corresponding methods of the given DecompositionRuleApplicationVisitor and counts the number of invocations of the corresponding methods using the given DecompositionRuleApplicationCounter.

DecompositionRuleApplicationTimer - Class in org.semanticweb.elk.reasoner.saturation.rules

DecompositionRuleApplicationTimer() - Constructor for class org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationTimer

DecompositionRuleApplicationTimerVisitor - Class in org.semanticweb.elk.reasoner.saturation.rules

DecompositionRuleApplicationTimerVisitor(DecompositionRuleApplicationVisitor, DecompositionRuleApplicationTimer) - Constructor for class org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationTimerVisitor

Creates a new DecompositionRuleApplicationVisitor that executes the corresponding methods of the given DecompositionRuleApplicationVisitor and measures the time spent within the corresponding methods using the given DecompositionRuleApplicationTimer.

DecompositionRuleApplicationVisitor - Interface in org.semanticweb.elk.reasoner.saturation.rules

Applies decomposition rules for IndexedClassExpressions.

decompositionRuleCounter - Variable in class org.semanticweb.elk.reasoner.saturation.rules.RuleStatistics

decompositionRuleTimer - Variable in class org.semanticweb.elk.reasoner.saturation.rules.RuleStatistics

defaultLogicalVisit(ElkAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractElkAxiomIndexerVisitor

defaultVisit(ElkClassExpression) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractIndexObjectConverter

defaultVisit(ElkSubObjectPropertyExpression) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractIndexObjectConverter

defaultVisit(ElkIndividual) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractIndexObjectConverter

DelegatingElkAxiomVisitor - Class in org.semanticweb.elk.reasoner.indexing.hierarchy

Delegates all visit method calls to the underlying visitor.

DelegatingElkAxiomVisitor(ElkAxiomVisitor<Void>) - Constructor for class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

DifferentialIndex - Class in org.semanticweb.elk.reasoner.indexing.hierarchy

An object representing incremental changes in the index.

DifferentialIndex(IndexedObjectCache) - Constructor for class org.semanticweb.elk.reasoner.indexing.hierarchy.DifferentialIndex

DirectIndex - Class in org.semanticweb.elk.reasoner.indexing.hierarchy

DirectIndex(IndexedObjectCache) - Constructor for class org.semanticweb.elk.reasoner.indexing.hierarchy.DirectIndex

DirectIndex() - Constructor for class org.semanticweb.elk.reasoner.indexing.hierarchy.DirectIndex

DirectIndex.ContextRootInitializationRule - Class in org.semanticweb.elk.reasoner.indexing.hierarchy

Adds root to the context

DirectIndex.ContextRootInitializationRule() - Constructor for class org.semanticweb.elk.reasoner.indexing.hierarchy.DirectIndex.ContextRootInitializationRule

DisjointnessAxiom - Class in org.semanticweb.elk.reasoner.saturation.conclusions

DisjointnessAxiom(IndexedDisjointnessAxiom) - Constructor for class org.semanticweb.elk.reasoner.saturation.conclusions.DisjointnessAxiom

dispose() - Method in class org.semanticweb.elk.loading.AbstractAxiomLoader

dispose() - Method in interface org.semanticweb.elk.loading.AxiomLoader

Close resources used by this AxiomLoader

dispose() - Method in class org.semanticweb.elk.loading.ComposedAxiomLoader

dispose() - Method in class org.semanticweb.elk.loading.Owl2ParserLoader

dispose() - Method in class org.semanticweb.elk.reasoner.stages.AbstractStageExecutor

dispose() - Method in class org.semanticweb.elk.reasoner.stages.AxiomLoadingStage

dispose() - Method in class org.semanticweb.elk.reasoner.stages.ClassSaturationStage

dispose() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalAdditionStage

dispose() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalClassTaxonomyComputationStage

dispose() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalCompletionStage

dispose() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalContextCleaningStage

dispose() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalDeletionStage

dispose() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalInstanceTaxonomyComputationStage

dispose() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalOverdeletionPruningStage

dispose() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalTaxonomyCleaningStage

dispose() - Method in class org.semanticweb.elk.reasoner.stages.PropertyHierarchyCompositionComputationStage

dispose() - Method in class org.semanticweb.elk.reasoner.stages.PropertyReflexivityComputationStage

dispose() - Method in interface org.semanticweb.elk.reasoner.stages.ReasonerStage

Free resources occupied by the reasoning stage.

dispose() - Method in interface org.semanticweb.elk.reasoner.stages.ReasonerStageExecutor

Performs the necessary cleanup to free any resources taken by this executor

disposeParserResources() - Method in class org.semanticweb.elk.loading.Owl2ParserLoader

A hook to free resources used by the parser

disposeParserResources() - Method in class org.semanticweb.elk.loading.Owl2StreamLoader

doneConsistencyCheck() - Method in class org.semanticweb.elk.reasoner.stages.AbstractReasonerState

doneInstanceTaxonomy() - Method in class org.semanticweb.elk.reasoner.stages.AbstractReasonerState

doneTaxonomy() - Method in class org.semanticweb.elk.reasoner.stages.AbstractReasonerState

DUMMY - Static variable in interface org.semanticweb.elk.reasoner.incremental.NonIncrementalChangeListener

DUMMY - Static variable in interface org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionVisitor

A dummy visitor, does nothing

DUMMY - Static variable in interface org.semanticweb.elk.reasoner.saturation.ContextCreationListener

DUMMY - Static variable in interface org.semanticweb.elk.reasoner.saturation.ContextModificationListener

DummyClassExpressionSaturationListener<J extends SaturationJob<? extends IndexedClassExpression>> - Class in org.semanticweb.elk.reasoner.saturation

A ClassExpressionSaturationListener that does nothing with finished jobs

DummyClassExpressionSaturationListener() - Constructor for class org.semanticweb.elk.reasoner.saturation.DummyClassExpressionSaturationListener

DummyProgressMonitor - Class in org.semanticweb.elk.reasoner

A progress monitor that does nothing.

DummyProgressMonitor() - Constructor for class org.semanticweb.elk.reasoner.DummyProgressMonitor

dumpClassTaxomomy(Taxonomy<ElkClass>, Writer, boolean) - Static method in class org.semanticweb.elk.reasoner.taxonomy.TaxonomyPrinter

Print the contents of the given Taxonomy to the specified Writer.

dumpClassTaxomomyToFile(Taxonomy<ElkClass>, String, boolean) - Static method in class org.semanticweb.elk.reasoner.taxonomy.TaxonomyPrinter

Convenience method for printing a Taxonomy to a file at the given location.

dumpDiff(SaturatedPropertyChain, Writer) - Method in class org.semanticweb.elk.reasoner.saturation.properties.SaturatedPropertyChain

Prints differences with other SaturatedPropertyChain

dumpInstanceTaxomomy(InstanceTaxonomy<ElkClass, ElkNamedIndividual>, Writer, boolean) - Static method in class org.semanticweb.elk.reasoner.taxonomy.TaxonomyPrinter

Print the contents of the given InstanceTaxonomy to the specified Writer.

dumpInstanceTaxomomyToFile(InstanceTaxonomy<ElkClass, ElkNamedIndividual>, String, boolean) - Static method in class org.semanticweb.elk.reasoner.taxonomy.TaxonomyPrinter

Convenience method for printing an InstanceTaxonomy to a file at the given location.

E

ELIMINATE_IMPLIED_COMPOSITIONS - Static variable in class org.semanticweb.elk.reasoner.saturation.properties.SaturatedPropertyChain

If set to true, then compositions between each pair of R1 and R2 are reduced under role hierarchies.

ElkAxiomChange - Interface in org.semanticweb.elk.loading

ElkAxiomIndexer - Interface in org.semanticweb.elk.reasoner.indexing.hierarchy

A collection of method for indexing ELK objects

ElkAxiomIndexingVisitor - Interface in org.semanticweb.elk.reasoner.indexing.hierarchy

A simple intersection of the two interfaces

elkClass - Variable in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClass

The indexed ElkClass

ElkFreshEntitiesException - Exception in org.semanticweb.elk.reasoner

Exception that is thrown when a query that is asked to the reasoner refers to vocabulary symbols that do not occur in the ontology yet.

ElkFreshEntitiesException(ElkEntity) - Constructor for exception org.semanticweb.elk.reasoner.ElkFreshEntitiesException

ElkFreshEntitiesException(Set<ElkEntity>) - Constructor for exception org.semanticweb.elk.reasoner.ElkFreshEntitiesException

ElkInconsistentOntologyException - Exception in org.semanticweb.elk.reasoner

Thrown when irrelevant reasoning methods are called for an ontology that is inconsistent.

ElkInconsistentOntologyException() - Constructor for exception org.semanticweb.elk.reasoner.ElkInconsistentOntologyException

ElkInconsistentOntologyException(String) - Constructor for exception org.semanticweb.elk.reasoner.ElkInconsistentOntologyException

ElkInconsistentOntologyException(String, Throwable) - Constructor for exception org.semanticweb.elk.reasoner.ElkInconsistentOntologyException

ElkInconsistentOntologyException(Throwable) - Constructor for exception org.semanticweb.elk.reasoner.ElkInconsistentOntologyException

ElkIndexingException - Exception in org.semanticweb.elk.reasoner.indexing.hierarchy

An exception to signal indexing problems

ElkIndexingException() - Constructor for exception org.semanticweb.elk.reasoner.indexing.hierarchy.ElkIndexingException

ElkIndexingException(String) - Constructor for exception org.semanticweb.elk.reasoner.indexing.hierarchy.ElkIndexingException

ElkIndexingException(String, Throwable) - Constructor for exception org.semanticweb.elk.reasoner.indexing.hierarchy.ElkIndexingException

ElkIndexingException(Throwable) - Constructor for exception org.semanticweb.elk.reasoner.indexing.hierarchy.ElkIndexingException

ElkIndexingUnsupportedException - Exception in org.semanticweb.elk.reasoner.indexing.hierarchy

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.

ElkIndexingUnsupportedException() - Constructor for exception org.semanticweb.elk.reasoner.indexing.hierarchy.ElkIndexingUnsupportedException

ElkIndexingUnsupportedException(String) - Constructor for exception org.semanticweb.elk.reasoner.indexing.hierarchy.ElkIndexingUnsupportedException

ElkIndexingUnsupportedException(String, Throwable) - Constructor for exception org.semanticweb.elk.reasoner.indexing.hierarchy.ElkIndexingUnsupportedException

ElkIndexingUnsupportedException(Throwable) - Constructor for exception org.semanticweb.elk.reasoner.indexing.hierarchy.ElkIndexingUnsupportedException

ElkIndexingUnsupportedException(ElkObject) - Constructor for exception org.semanticweb.elk.reasoner.indexing.hierarchy.ElkIndexingUnsupportedException

ElkIndexingUnsupportedException(ElkObject, Throwable) - Constructor for exception org.semanticweb.elk.reasoner.indexing.hierarchy.ElkIndexingUnsupportedException

ElkInterruptedException - Exception in org.semanticweb.elk.reasoner.stages

Thrown when the reasoner process has been interrupted

ElkInterruptedException() - Constructor for exception org.semanticweb.elk.reasoner.stages.ElkInterruptedException

ElkInterruptedException(String) - Constructor for exception org.semanticweb.elk.reasoner.stages.ElkInterruptedException

ElkInterruptedException(String, Throwable) - Constructor for exception org.semanticweb.elk.reasoner.stages.ElkInterruptedException

ElkInterruptedException(Throwable) - Constructor for exception org.semanticweb.elk.reasoner.stages.ElkInterruptedException

ElkLoadingException - Exception in org.semanticweb.elk.loading

ElkLoadingException() - Constructor for exception org.semanticweb.elk.loading.ElkLoadingException

ElkLoadingException(String) - Constructor for exception org.semanticweb.elk.loading.ElkLoadingException

ElkLoadingException(String, Throwable) - Constructor for exception org.semanticweb.elk.loading.ElkLoadingException

ElkLoadingException(Throwable) - Constructor for exception org.semanticweb.elk.loading.ElkLoadingException

elkObjectProperty - Variable in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectProperty

ElkUnexpectedIndexingException - Exception in org.semanticweb.elk.reasoner.indexing.hierarchy

An exception to signal incorrect indexing behavior.

ElkUnexpectedIndexingException() - Constructor for exception org.semanticweb.elk.reasoner.indexing.hierarchy.ElkUnexpectedIndexingException

ElkUnexpectedIndexingException(String) - Constructor for exception org.semanticweb.elk.reasoner.indexing.hierarchy.ElkUnexpectedIndexingException

ElkUnexpectedIndexingException(String, Throwable) - Constructor for exception org.semanticweb.elk.reasoner.indexing.hierarchy.ElkUnexpectedIndexingException

ElkUnexpectedIndexingException(Throwable) - Constructor for exception org.semanticweb.elk.reasoner.indexing.hierarchy.ElkUnexpectedIndexingException

ElkUnsupportedReasoningTaskException - Exception in org.semanticweb.elk.reasoner

Exception that is thrown when the reasoner is asked to perform a reasoning task that is not supported.

ElkUnsupportedReasoningTaskException() - Constructor for exception org.semanticweb.elk.reasoner.ElkUnsupportedReasoningTaskException

ElkUnsupportedReasoningTaskException(String) - Constructor for exception org.semanticweb.elk.reasoner.ElkUnsupportedReasoningTaskException

ElkUnsupportedReasoningTaskException(String, Throwable) - Constructor for exception org.semanticweb.elk.reasoner.ElkUnsupportedReasoningTaskException

ElkUnsupportedReasoningTaskException(Throwable) - Constructor for exception org.semanticweb.elk.reasoner.ElkUnsupportedReasoningTaskException

EmptyAxiomLoader - Class in org.semanticweb.elk.loading

An AxiomLoader that loads nothing

EmptyAxiomLoader() - Constructor for class org.semanticweb.elk.loading.EmptyAxiomLoader

entities - Variable in exception org.semanticweb.elk.reasoner.ElkFreshEntitiesException

equals(Object) - Method in class org.semanticweb.elk.reasoner.indexing.entries.IndexedBinaryPropertyChainEntry

equals(Object) - Method in class org.semanticweb.elk.reasoner.indexing.entries.IndexedClassEntry

equals(Object) - Method in class org.semanticweb.elk.reasoner.indexing.entries.IndexedDataHasValueEntry

equals(Object) - Method in class org.semanticweb.elk.reasoner.indexing.entries.IndexedDisjointnessAxiomEntry

equals(Object) - Method in class org.semanticweb.elk.reasoner.indexing.entries.IndexedIndividualEntry

equals(Object) - Method in class org.semanticweb.elk.reasoner.indexing.entries.IndexedObjectComplementOfEntry

equals(Object) - Method in class org.semanticweb.elk.reasoner.indexing.entries.IndexedObjectIntersectionOfEntry

equals(Object) - Method in class org.semanticweb.elk.reasoner.indexing.entries.IndexedObjectPropertyEntry

equals(Object) - Method in class org.semanticweb.elk.reasoner.indexing.entries.IndexedObjectSomeValuesFromEntry

equals(Object) - Method in class org.semanticweb.elk.reasoner.indexing.entries.IndexedObjectUnionOfEntry

equals(Object) - Method in class org.semanticweb.elk.reasoner.indexing.entries.IndexedSubClassOfAxiomEntry

exception - Variable in class org.semanticweb.elk.loading.Owl2ParserLoader

the exception created if something goes wrong

execute(ReasonerStage) - Method in class org.semanticweb.elk.reasoner.stages.AbstractStageExecutor

execute(ReasonerStage) - Method in class org.semanticweb.elk.reasoner.stages.LoggingStageExecutor

execute() - Method in interface org.semanticweb.elk.reasoner.stages.ReasonerStage

Performs the execution of this stage.

execute(ReasonerStage) - Method in class org.semanticweb.elk.reasoner.stages.SimpleStageExecutor

executeStage() - Method in class org.semanticweb.elk.reasoner.stages.AxiomLoadingStage

executeStage() - Method in class org.semanticweb.elk.reasoner.stages.ClassSaturationStage

executeStage() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalAdditionStage

executeStage() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalClassTaxonomyComputationStage

executeStage() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalCompletionStage

executeStage() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalContextCleaningStage

executeStage() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalDeletionStage

executeStage() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalInstanceTaxonomyComputationStage

executeStage() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalTaxonomyCleaningStage

executeStage() - Method in class org.semanticweb.elk.reasoner.stages.PropertyHierarchyCompositionComputationStage

executeStage() - Method in class org.semanticweb.elk.reasoner.stages.PropertyReflexivityComputationStage

ExtendedSaturationStateWriter - Interface in org.semanticweb.elk.reasoner.saturation

The extended writer for situations when new contexts may need to be created/initialized or removed.

F

filler - Variable in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDataHasValue

filler - Variable in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectSomeValuesFrom

finish() - Method in class org.semanticweb.elk.reasoner.DummyProgressMonitor

finish() - Method in interface org.semanticweb.elk.reasoner.ProgressMonitor

Indicates that the process is finished.

finish() - Method in class org.semanticweb.elk.reasoner.reduction.TransitiveReductionFactory.Engine

finish() - Method in class org.semanticweb.elk.reasoner.reduction.TransitiveReductionFactory

finish() - Method in class org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturationFactory.Engine

finish() - Method in class org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturationFactory

finish() - Method in class org.semanticweb.elk.reasoner.saturation.properties.PropertyHierarchyCompositionComputationFactory

finish() - Method in class org.semanticweb.elk.reasoner.saturation.properties.ReflexivePropertyComputationFactory

finish() - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationFactory.BaseEngine

finish() - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationFactory

finish() - Method in class org.semanticweb.elk.reasoner.taxonomy.ClassTaxonomyComputationFactory.Engine

finish() - Method in class org.semanticweb.elk.reasoner.taxonomy.ClassTaxonomyComputationFactory

finish() - Method in class org.semanticweb.elk.reasoner.taxonomy.InstanceTaxonomyComputationFactory.Engine

finish() - Method in class org.semanticweb.elk.reasoner.taxonomy.InstanceTaxonomyComputationFactory

forceLoading() - Method in class org.semanticweb.elk.reasoner.stages.AbstractReasonerState

Forces loading of all axioms from the registered AxiomLoaders.

ForwardDecompositionRuleApplicationVisitor - Class in org.semanticweb.elk.reasoner.saturation.rules

Used for decomposing class expressions when rules are applied forward

ForwardDecompositionRuleApplicationVisitor(ExtendedSaturationStateWriter) - Constructor for class org.semanticweb.elk.reasoner.saturation.rules.ForwardDecompositionRuleApplicationVisitor

ForwardLink - Class in org.semanticweb.elk.reasoner.saturation.conclusions

A Conclusion representing derived existential restrictions from this source Context to a target Context.

ForwardLink(IndexedPropertyChain, Context) - Constructor for class org.semanticweb.elk.reasoner.saturation.conclusions.ForwardLink

ForwardLink.ThisBackwardLinkRule - Class in org.semanticweb.elk.reasoner.saturation.conclusions

A type of ModifiableLinkRule created for ForwardLinks and stored in the Context where it is produced.

FreshInstanceNode<T extends ElkObject,I extends ElkObject> - Class in org.semanticweb.elk.reasoner.taxonomy.model

A fresh InstanceNode containing an object that does not occur in a taxonomy.

FreshInstanceNode(I, InstanceTaxonomy<T, I>) - Constructor for class org.semanticweb.elk.reasoner.taxonomy.model.FreshInstanceNode

FreshNode<T extends ElkObject> - Class in org.semanticweb.elk.reasoner.taxonomy.model

A fresh Node containing an object that does not occur in a taxonomy.

FreshNode(T) - Constructor for class org.semanticweb.elk.reasoner.taxonomy.model.FreshNode

FreshTaxonomyNode<T extends ElkObject> - Class in org.semanticweb.elk.reasoner.taxonomy.model

A fresh TaxonomyNode containing an object that does not occur in a taxonomy.

FreshTaxonomyNode(T, Taxonomy<T>) - Constructor for class org.semanticweb.elk.reasoner.taxonomy.model.FreshTaxonomyNode

FreshTypeNode<T extends ElkObject,I extends ElkObject> - Class in org.semanticweb.elk.reasoner.taxonomy.model

A fresh TypeNode containing an object that does not occur in a taxonomy.

FreshTypeNode(T, InstanceTaxonomy<T, I>) - Constructor for class org.semanticweb.elk.reasoner.taxonomy.model.FreshTypeNode

G

generatePropagations(BasicSaturationStateWriter, IndexedPropertyChain, Context) - Static method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectSomeValuesFrom

getAddedClasses() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DifferentialIndex

getAddedContextInitRules() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DifferentialIndex

getAddedContextRulesByClassExpressions() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DifferentialIndex

getAddedIndividuals() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DifferentialIndex

getAllClasses() - Method in class org.semanticweb.elk.reasoner.stages.AbstractReasonerState

getAllInstanceNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.model.FreshTypeNode

getAllInstanceNodes() - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.TypeNode

Get an unmodifiable set of InstanceNodes that are (possibly indirect) instances of this TypeNode.

getAllInstanceNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.OrphanTypeNode

getAllNamedIndividuals() - Method in class org.semanticweb.elk.reasoner.stages.AbstractReasonerState

getAllowFreshEntities() - Method in class org.semanticweb.elk.reasoner.Reasoner

Get whether fresh entities are allowed.

getAllSubNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.ConcurrentClassTaxonomy.BottomClassNode

getAllSubNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.model.FreshTaxonomyNode

getAllSubNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.model.FreshTypeNode

getAllSubNodes() - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.TaxonomyNode

Computes an unmodifiable set of nodes for ElkObjects that are (possibly indirect) sub-objects of members of this Node.

getAllSubNodes(TaxonomyNode<T>) - Static method in class org.semanticweb.elk.reasoner.taxonomy.model.TaxonomyNodeUtils

getAllSubNodes() - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.TypeNode

getAllSubNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.OrphanNode

getAllSubNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.OrphanTypeNode

getAllSuperNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.ConcurrentClassTaxonomy.BottomClassNode

getAllSuperNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.model.FreshTaxonomyNode

getAllSuperNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.model.FreshTypeNode

getAllSuperNodes() - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.TaxonomyNode

Computes an unmodifiable set of nodes for ElkObjects that are (possibly indirect) super-objects of members of this Node.

getAllSuperNodes(TaxonomyNode<T>) - Static method in class org.semanticweb.elk.reasoner.taxonomy.model.TaxonomyNodeUtils

getAllSuperNodes() - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.TypeNode

getAllSuperNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.OrphanNode

getAllSuperNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.OrphanTypeNode

getAllTypeNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.IndividualNode

getAllTypeNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.model.FreshInstanceNode

getAllTypeNodes() - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.InstanceNode

Get an unmodifiable set of TypeNodes of which the members of this InstanceNode are (possibly indirect) instances.

getAllTypeNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.OrphanInstanceNode

getAllUpdateableSubNodes(UpdateableTaxonomyNode<T>) - Static method in class org.semanticweb.elk.reasoner.taxonomy.model.TaxonomyNodeUtils

getAllUpdateableSuperNodes(UpdateableTaxonomyNode<T>) - Static method in class org.semanticweb.elk.reasoner.taxonomy.model.TaxonomyNodeUtils

getAllUpdateableSuperNodes(UpdateableBottomNode<T>) - Static method in class org.semanticweb.elk.reasoner.taxonomy.model.TaxonomyNodeUtils

getAxiom() - Method in interface org.semanticweb.elk.loading.ElkAxiomChange

getAxiom() - Method in class org.semanticweb.elk.loading.SimpleElkAxiomChange

getAxiom() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.DisjointnessAxiom

getAxiomLoader() - Method in class org.semanticweb.elk.reasoner.stages.AbstractReasonerState

getBackwardLinkRuleChain() - Method in interface org.semanticweb.elk.reasoner.saturation.context.Context

getBackwardLinkRuleChain() - Method in class org.semanticweb.elk.reasoner.saturation.ContextImpl

getBackwardLinkRuleHead() - Method in interface org.semanticweb.elk.reasoner.saturation.context.Context

getBackwardLinkRuleHead() - Method in class org.semanticweb.elk.reasoner.saturation.ContextImpl

getBackwardLinksByObjectProperty() - Method in interface org.semanticweb.elk.reasoner.saturation.context.Context

getBackwardLinksByObjectProperty() - Method in class org.semanticweb.elk.reasoner.saturation.ContextImpl

getBaseConclusionProcessor(BasicSaturationStateWriter) - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationFactory.BaseEngine

Returns the base ConclusionVisitor that performs processing of Conclusions within a Context.

getBaseConclusionProcessor(BasicSaturationStateWriter) - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleDeapplicationFactory.DeapplicationEngine

getBottomNode() - Method in class org.semanticweb.elk.reasoner.taxonomy.ConcurrentClassTaxonomy

getBottomNode() - Method in class org.semanticweb.elk.reasoner.taxonomy.ConcurrentInstanceTaxonomy

getBottomNode() - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.InstanceTaxonomy

getBottomNode() - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.Taxonomy

getBottomNode() - Method in class org.semanticweb.elk.reasoner.taxonomy.SingletoneInstanceTaxonomy

getBottomNode() - Method in class org.semanticweb.elk.reasoner.taxonomy.SingletoneTaxonomy

getCanonicalMember() - Method in class org.semanticweb.elk.reasoner.taxonomy.ConcurrentClassTaxonomy.BottomClassNode

getCanonicalMember() - Method in class org.semanticweb.elk.reasoner.taxonomy.IndividualNode

getCanonicalMember() - Method in class org.semanticweb.elk.reasoner.taxonomy.model.FreshNode

getCanonicalMember() - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.Node

Get one object to canonically represent the classes in this Node.

getCanonicalMember() - Method in class org.semanticweb.elk.reasoner.taxonomy.model.SimpleNode

getCanonicalMember() - Method in class org.semanticweb.elk.reasoner.taxonomy.OrphanNode

getChangeInitContextCollectionProcessingTime() - Method in class org.semanticweb.elk.reasoner.incremental.IncrementalProcessingStatistics

getChangeInitContextProcessingTime() - Method in class org.semanticweb.elk.reasoner.incremental.IncrementalProcessingStatistics

getClassNode(ElkClassExpression) - Method in class org.semanticweb.elk.reasoner.Reasoner

Return the TaxonomyNode for the given ElkClassExpression.

getComplementaryConverter() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter

getComposable(IndexedPropertyChain) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedBinaryPropertyChain

getCompositionRuleHead() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClassExpression

getCompositionsByLeftSubProperty() - Method in class org.semanticweb.elk.reasoner.saturation.properties.SaturatedPropertyChain

getCompositionsByRightSubProperty() - Method in class org.semanticweb.elk.reasoner.saturation.properties.SaturatedPropertyChain

getConclusionProcessor(BasicSaturationStateWriter) - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationFactory.BaseEngine

Returns the final ConclusionVisitor that is used by this RuleApplicationFactory.DefaultEngine for processing Conclusions within Contexts

getConclusionStatistics() - Method in class org.semanticweb.elk.reasoner.saturation.SaturationStatistics

getConclusionTimers() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionStatistics

getConfiguration() - Static method in class org.semanticweb.elk.reasoner.config.ReasonerConfiguration

getConjunctionsByConjunct() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectIntersectionOf.ThisCompositionRule

getContext() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClassExpression

getContext(IndexedClassExpression) - Method in interface org.semanticweb.elk.reasoner.saturation.SaturationState

getContextCount() - Method in class org.semanticweb.elk.reasoner.incremental.IncrementalProcessingStatistics

getContextInitRuleChain() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DirectIndex

getContextInitRuleHead() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DirectIndex

getContextInitRuleHead() - Method in interface org.semanticweb.elk.reasoner.indexing.OntologyIndex

getContextMap() - Method in class org.semanticweb.elk.reasoner.stages.AbstractReasonerState

getContexts() - Method in interface org.semanticweb.elk.reasoner.saturation.SaturationState

getContextStatistics() - Method in class org.semanticweb.elk.reasoner.saturation.SaturationStatistics

getCountBackwardLinks() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionCounter

getCountBottoms() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionCounter

getCountDisjointnessAxioms() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionCounter

getCountForwardLinks() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionCounter

getCountNegativeSubsumers() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionCounter

getCountPositiveSubsumers() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionCounter

getCountPropagations() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionCounter

getCreate(IndexedPropertyChain) - Static method in class org.semanticweb.elk.reasoner.saturation.properties.SaturatedPropertyChain

getCreateContext(IndexedClassExpression) - Method in interface org.semanticweb.elk.reasoner.saturation.ExtendedSaturationStateWriter

getCreateInstanceNode(Collection<ElkNamedIndividual>) - Method in class org.semanticweb.elk.reasoner.taxonomy.ConcurrentInstanceTaxonomy

getCreateInstanceNode(Collection<I>) - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.UpdateableInstanceTaxonomy

getCreateNode(Collection<ElkClass>) - Method in class org.semanticweb.elk.reasoner.taxonomy.ConcurrentClassTaxonomy

getCreateNode(Collection<ElkClass>) - Method in class org.semanticweb.elk.reasoner.taxonomy.ConcurrentInstanceTaxonomy

getCreateNode(Collection<T>) - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTaxonomy

getCreateNonBottomClassNode(Collection<ElkClass>) - Method in class org.semanticweb.elk.reasoner.taxonomy.ConcurrentClassTaxonomy

getCreateTypeNode(Collection<ElkClass>) - Method in class org.semanticweb.elk.reasoner.taxonomy.ConcurrentInstanceTaxonomy

getCreateTypeNode(Collection<T>) - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.UpdateableInstanceTaxonomy

getDecompositionRuleApplicationVisitor() - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationFactory.BaseEngine

getDecompositionRuleApplicationVisitor() - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationFactory.DefaultEngine

getDecompositionRuleApplicationVisitor() - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleDeapplicationFactory.DeapplicationEngine

getDefaultEngine(ContextCreationListener, ContextModificationListener) - Method in class org.semanticweb.elk.reasoner.saturation.rules.ContextCleaningFactory

getDefaultEngine(ContextCreationListener, ContextModificationListener) - Method in class org.semanticweb.elk.reasoner.saturation.rules.ContextCompletionFactory

getDefaultEngine(ContextCreationListener, ContextModificationListener) - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationFactory

getDefaultEngine(ContextCreationListener, ContextModificationListener) - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleDeapplicationFactory

getDirectInstanceNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.model.FreshTypeNode

getDirectInstanceNodes() - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.TypeNode

Get an unmodifiable set of InstanceNodes that are direct instances of this TypeNode.

getDirectInstanceNodes() - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTypeNode

getDirectInstanceNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.OrphanTypeNode

getDirectSubNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.ConcurrentClassTaxonomy.BottomClassNode

getDirectSubNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.model.FreshTaxonomyNode

getDirectSubNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.model.FreshTypeNode

getDirectSubNodes() - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.TaxonomyNode

Get an unmodifiable set of nodes for ElkObjects that are direct sub-objects of this Node.

getDirectSubNodes() - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.TypeNode

getDirectSubNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.OrphanNode

getDirectSubNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.OrphanTypeNode

getDirectSubsumers() - Method in class org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutputEquivalentDirect

Returns the list of partial outputs of transitive reduction, containing equivalent classes of direct, i.e., transitively reduced, subsumers of the root.

getDirectSuperNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.ConcurrentClassTaxonomy.BottomClassNode

getDirectSuperNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.model.FreshTaxonomyNode

getDirectSuperNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.model.FreshTypeNode

getDirectSuperNodes() - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.TaxonomyNode

Get an unmodifiable set of nodes for ElkObjects that are direct super-objects of this Node.

getDirectSuperNodes() - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.TypeNode

getDirectSuperNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.OrphanNode

getDirectSuperNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.OrphanTypeNode

getDirectTypeNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.IndividualNode

getDirectTypeNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.model.FreshInstanceNode

getDirectTypeNodes() - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.InstanceNode

Get an unmodifiable set of nodes for ElkObjects that are direct types of this Node.

getDirectTypeNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.OrphanInstanceNode

getDirectUpdateableSubNodes() - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTaxonomyNode

getDirectUpdateableSubNodes() - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTypeNode

getDirectUpdateableSuperNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.ConcurrentClassTaxonomy.BottomClassNode

getDirectUpdateableSuperNodes() - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.UpdateableBottomNode

getDirectUpdateableSuperNodes() - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTaxonomyNode

getDirectUpdateableSuperNodes() - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTypeNode

getDisjointMembers() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDisjointnessAxiom

IndexedClassExpressions that occur exactly once in this IndexedDisjointnessAxiom

getDisjointnessAxioms() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDisjointnessAxiom.ThisCompositionRule

getDisjunctions() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectUnionOf.ThisCompositionRule

getDisjuncts() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectUnionOf

getElkClass() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClass

getElkNamedIndividual() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedIndividual

getElkObjectProperty() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectProperty

getEngine() - Method in class org.semanticweb.elk.reasoner.reduction.TransitiveReductionFactory

getEngine() - Method in class org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturationFactory

getEngine() - Method in class org.semanticweb.elk.reasoner.saturation.properties.PropertyHierarchyCompositionComputationFactory

getEngine() - Method in class org.semanticweb.elk.reasoner.saturation.properties.ReflexivePropertyComputationFactory

getEngine() - Method in class org.semanticweb.elk.reasoner.taxonomy.ClassTaxonomyComputationFactory

getEngine() - Method in class org.semanticweb.elk.reasoner.taxonomy.InstanceTaxonomyComputationFactory

getEntities() - Method in exception org.semanticweb.elk.reasoner.ElkFreshEntitiesException

getEquivalent() - Method in class org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutputEquivalent

getEquivalentClasses(ElkClassExpression) - Method in class org.semanticweb.elk.reasoner.Reasoner

Return the Node containing equivalent classes of the given ElkClassExpression.

getExpression() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.Subsumer

getExtendedWriter(ContextCreationListener, ContextModificationListener, RuleApplicationVisitor, ConclusionVisitor<?>, boolean) - Method in interface org.semanticweb.elk.reasoner.saturation.SaturationState

Creates a new ExtendedSaturationStateWriter for modifying this SaturationState associated with the given ContextCreationListener.

getExtendedWriter(ConclusionVisitor<?>) - Method in interface org.semanticweb.elk.reasoner.saturation.SaturationState

getFiller() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDataHasValue

getFiller() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectSomeValuesFrom

getFirstConjunct() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectIntersectionOf

getForwardLinksByObjectProperty() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ForwardLink.ThisBackwardLinkRule

getHashString(Taxonomy<ElkClass>) - Static method in class org.semanticweb.elk.reasoner.taxonomy.TaxonomyPrinter

Get a has string for the given Taxonomy.

getInconsistentMembers() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDisjointnessAxiom

getIncrementalProcessingStatistics() - Method in class org.semanticweb.elk.reasoner.saturation.SaturationStatistics

getIndexedClasses() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DirectIndex

getIndexedClasses() - Method in interface org.semanticweb.elk.reasoner.indexing.OntologyIndex

getIndexedClassExpressions() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DirectIndex

getIndexedClassExpressions() - Method in interface org.semanticweb.elk.reasoner.indexing.OntologyIndex

getIndexedClassExpressions() - Method in class org.semanticweb.elk.reasoner.stages.AbstractReasonerState

getIndexedIndividuals() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DirectIndex

getIndexedIndividuals() - Method in interface org.semanticweb.elk.reasoner.indexing.OntologyIndex

getIndexedObjectCache() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DirectIndex

getIndexedObjectCache() - Method in interface org.semanticweb.elk.reasoner.indexing.hierarchy.ModifiableOntologyIndex

getIndexedObjectProperties() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DirectIndex

getIndexedObjectProperties() - Method in interface org.semanticweb.elk.reasoner.indexing.OntologyIndex

getIndexedOwlNothing() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DirectIndex

getIndexedOwlNothing() - Method in interface org.semanticweb.elk.reasoner.indexing.OntologyIndex

Return the indexed representation of owl:Nothing

getIndexedOwlThing() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DirectIndex

getIndexedOwlThing() - Method in interface org.semanticweb.elk.reasoner.indexing.OntologyIndex

Return the indexed representation of owl:Thing

getIndexedPropertyChains() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DirectIndex

getIndexedPropertyChains() - Method in interface org.semanticweb.elk.reasoner.indexing.OntologyIndex

getIndexingVisitor() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.NonIncrementalChangeCheckingVisitor

getIndexObjectConverter() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectCache

getInput() - Method in class org.semanticweb.elk.reasoner.ReasonerJob

Returns the input for this job.

getInstance() - Static method in class org.semanticweb.elk.reasoner.saturation.conclusions.Contradiction

getInstanceHashString(InstanceTaxonomy<ElkClass, ElkNamedIndividual>) - Static method in class org.semanticweb.elk.reasoner.taxonomy.TaxonomyPrinter

getInstanceNode(ElkNamedIndividual) - Method in class org.semanticweb.elk.reasoner.Reasoner

Helper method to get an InstanceNode from the taxonomy.

getInstanceNode(ElkNamedIndividual) - Method in class org.semanticweb.elk.reasoner.taxonomy.ConcurrentInstanceTaxonomy

Obtain a TypeNode object for a given ElkClass, or null if none assigned.

getInstanceNode(I) - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.InstanceTaxonomy

getInstanceNode(I) - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.UpdateableInstanceTaxonomy

getInstanceNode(I) - Method in class org.semanticweb.elk.reasoner.taxonomy.SingletoneInstanceTaxonomy

getInstanceNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.ConcurrentInstanceTaxonomy

getInstanceNodes() - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.InstanceTaxonomy

Obtain an unmodifiable Set of all instance nodes in this taxonomy.

getInstanceNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.SingletoneInstanceTaxonomy

getInstances(ElkClassExpression, boolean) - Method in class org.semanticweb.elk.reasoner.Reasoner

Return the (direct or indirect) instances of the given ElkClassExpression as specified by the parameter.

getInstanceTaxonomy() - Method in class org.semanticweb.elk.reasoner.stages.AbstractReasonerState

Compute the inferred taxonomy of the named classes with instances if this has not been done yet.

getInstanceTaxonomyQuietly() - Method in class org.semanticweb.elk.reasoner.stages.AbstractReasonerState

Compute the inferred taxonomy of the named classes with instances if this has not been done yet.

getLeftChains() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectProperty

getLeftProperty() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedBinaryPropertyChain

getMembers() - Method in class org.semanticweb.elk.reasoner.taxonomy.ConcurrentClassTaxonomy.BottomClassNode

getMembers() - Method in class org.semanticweb.elk.reasoner.taxonomy.IndividualNode

getMembers() - Method in class org.semanticweb.elk.reasoner.taxonomy.model.FreshNode

getMembers() - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.Node

Get an unmodifiable set of objects that this Node represents.

getMembers() - Method in class org.semanticweb.elk.reasoner.taxonomy.model.SimpleNode

getMembers() - Method in class org.semanticweb.elk.reasoner.taxonomy.OrphanNode

getModifiableOntologyIndex() - Method in class org.semanticweb.elk.reasoner.stages.AbstractReasonerState

getMultiplicity() - Method in interface org.semanticweb.elk.loading.ElkAxiomChange

getMultiplicity() - Method in class org.semanticweb.elk.loading.SimpleElkAxiomChange

getMultiplicity() - Method in interface org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexingVisitor

getMultiplicity() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.MainAxiomIndexerVisitor

getMultiplicity() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.NonIncrementalChangeCheckingVisitor

getName() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DirectIndex.ContextRootInitializationRule

getName() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClass.OwlThingContextInitializationRule

getName() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDisjointnessAxiom.ThisCompositionRule

getName() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDisjointnessAxiom.ThisContradictionRule

getName() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectComplementOf.ThisCompositionRule

getName() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectIntersectionOf.ThisCompositionRule

getName() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectSomeValuesFrom.ThisCompositionRule

getName() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectUnionOf.ThisCompositionRule

getName() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedSubClassOfAxiom.ThisCompositionRule

getName() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.Contradiction.ContradictionBackwardLinkRule

getName() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ForwardLink.ThisBackwardLinkRule

getName() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.Propagation.ThisBackwardLinkRule

getName() - Method in interface org.semanticweb.elk.reasoner.saturation.rules.Rule

getName() - Method in class org.semanticweb.elk.reasoner.stages.AxiomLoadingStage

getName() - Method in class org.semanticweb.elk.reasoner.stages.ClassSaturationStage

getName() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalAdditionStage

getName() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalClassTaxonomyComputationStage

getName() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalCompletionStage

getName() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalContextCleaningStage

getName() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalDeletionStage

getName() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalInstanceTaxonomyComputationStage

getName() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalOverdeletionPruningStage

getName() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalTaxonomyCleaningStage

getName() - Method in class org.semanticweb.elk.reasoner.stages.PropertyHierarchyCompositionComputationStage

getName() - Method in class org.semanticweb.elk.reasoner.stages.PropertyReflexivityComputationStage

getName() - Method in interface org.semanticweb.elk.reasoner.stages.ReasonerStage

getNegated() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectComplementOf

getNegation() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectComplementOf.ThisCompositionRule

getNegativeExistentials() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectSomeValuesFrom.ThisCompositionRule

getNode(ElkClass) - Method in class org.semanticweb.elk.reasoner.taxonomy.ConcurrentClassTaxonomy

getNode(ElkClass) - Method in class org.semanticweb.elk.reasoner.taxonomy.ConcurrentInstanceTaxonomy

getNode(T) - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.Taxonomy

Returns the TaxonomyNode containing the given ElkObject as a member or null if the input does not occur in the taxonomy.

getNode(T) - Method in class org.semanticweb.elk.reasoner.taxonomy.SingletoneTaxonomy

getNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.ConcurrentClassTaxonomy

getNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.ConcurrentInstanceTaxonomy

getNodes() - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.Taxonomy

Obtain an unmodifiable Set of all nodes in this taxonomy.

getNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.SingletoneTaxonomy

getNotSaturatedContexts() - Method in interface org.semanticweb.elk.reasoner.saturation.SaturationState

getNumberOfWorkers() - Method in class org.semanticweb.elk.reasoner.config.NumberOfWorkers

getNumberOfWorkers() - Method in class org.semanticweb.elk.reasoner.Reasoner

getNumberOfWorkers() - Method in class org.semanticweb.elk.reasoner.stages.AbstractReasonerState

getOntologyIndex() - Method in interface org.semanticweb.elk.reasoner.saturation.SaturationState

getOntologyIndex() - Method in class org.semanticweb.elk.reasoner.stages.AbstractReasonerState

Compute the index representation of the given ontology if it has not been done yet.

getOutput() - Method in class org.semanticweb.elk.reasoner.ReasonerJob

Returns the output of this job, or null if the job has not been processed yet.

getOwlNothing() - Method in interface org.semanticweb.elk.reasoner.saturation.BasicSaturationStateWriter

getOwlThing() - Method in interface org.semanticweb.elk.reasoner.saturation.BasicSaturationStateWriter

getPreStages() - Method in interface org.semanticweb.elk.reasoner.stages.ReasonerStage

getProcessedConclusionCountingProcessor(ConclusionVisitor<Boolean>, SaturationStatistics) - Static method in class org.semanticweb.elk.reasoner.saturation.SaturationUtils

getProcessedConclusionCounts() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionStatistics

getProcessExecutor() - Method in class org.semanticweb.elk.reasoner.Reasoner

getProcessExecutor() - Method in class org.semanticweb.elk.reasoner.stages.AbstractReasonerState

getProducedConclusionCounts() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionStatistics

getProgressMonitor() - Method in class org.semanticweb.elk.reasoner.Reasoner

getProgressMonitor() - Method in class org.semanticweb.elk.reasoner.stages.AbstractReasonerState

getPropagationsByObjectProperty() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.Propagation.ThisBackwardLinkRule

getPropertySaturationMap() - Method in class org.semanticweb.elk.reasoner.stages.AbstractReasonerState

getReflexiveObjectProperties() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DirectIndex

getReflexiveObjectProperties() - Method in interface org.semanticweb.elk.reasoner.indexing.OntologyIndex

getRelation() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDataHasValue

getRelation() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectSomeValuesFrom

getRelation() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.BackwardLink

getRelation() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ForwardLink

getRemovedClassExpressions() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DifferentialIndex

getRemovedContextInitRules() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DifferentialIndex

getRemovedContextRulesByClassExpressions() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DifferentialIndex

getRightChains() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedPropertyChain

getRightProperty() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedBinaryPropertyChain

getRoot() - Method in class org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutput

Returns the indexed class expression for which this output was computed.

getRoot() - Method in interface org.semanticweb.elk.reasoner.saturation.context.Context

getRoot() - Method in class org.semanticweb.elk.reasoner.saturation.ContextImpl

getRuleAndConclusionStatistics() - Method in class org.semanticweb.elk.reasoner.consistency.ConsistencyChecking

getRuleAndConclusionStatistics() - Method in class org.semanticweb.elk.reasoner.reduction.TransitiveReductionFactory

getRuleAndConclusionStatistics() - Method in class org.semanticweb.elk.reasoner.saturation.ClassExpressionNoInputSaturation

getRuleAndConclusionStatistics() - Method in class org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturation

getRuleAndConclusionStatistics() - Method in class org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturationFactory

getRuleAndConclusionStatistics() - Method in class org.semanticweb.elk.reasoner.taxonomy.ClassTaxonomyComputation

getRuleAndConclusionStatistics() - Method in class org.semanticweb.elk.reasoner.taxonomy.ClassTaxonomyComputationFactory

getRuleStatistics() - Method in class org.semanticweb.elk.reasoner.saturation.SaturationStatistics

getSaturated() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedPropertyChain

getSaturationState() - Method in class org.semanticweb.elk.reasoner.saturation.rules.ContextCompletionFactory

getSaturationState() - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationFactory

getSaturationStateWriter() - Method in class org.semanticweb.elk.reasoner.saturation.rules.BackwardDecompositionRuleApplicationVisitor

getSaturationStateWriter() - Method in class org.semanticweb.elk.reasoner.saturation.rules.ContextCleaningFactory.CleaningEngine

getSaturationStateWriter() - Method in class org.semanticweb.elk.reasoner.saturation.rules.ForwardDecompositionRuleApplicationVisitor

getSaturationStateWriter() - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationFactory.BaseEngine

getSaturationStateWriter() - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationFactory.DefaultEngine

getSaturationStateWriter() - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleDeapplicationFactory.DeapplicationEngine

getSaturationStatistics() - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationFactory

getSecondConjunct() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectIntersectionOf

getSource() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.BackwardLink

getSourceContext(Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.AbstractConclusion

getSourceContext(Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.BackwardLink

getSourceContext(Context) - Method in interface org.semanticweb.elk.reasoner.saturation.conclusions.Conclusion

getSourceContext(Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.Propagation

getSourceContext(Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.Subsumer

getStageExecutor() - Method in class org.semanticweb.elk.reasoner.Reasoner

getStageExecutor() - Method in class org.semanticweb.elk.reasoner.stages.AbstractReasonerState

getStatsAwareCompositionRuleAppVisitor(RuleStatistics) - Static method in class org.semanticweb.elk.reasoner.saturation.SaturationUtils

getStatsAwareDecompositionRuleAppVisitor(DecompositionRuleApplicationVisitor, RuleStatistics) - Static method in class org.semanticweb.elk.reasoner.saturation.SaturationUtils

getSubClass() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedSubClassOfAxiom

getSubClasses(ElkClassExpression, boolean) - Method in class org.semanticweb.elk.reasoner.Reasoner

Return the (direct or indirect) subclasses of the given ElkClassExpression as specified by the parameter.

getSubProperties() - Method in class org.semanticweb.elk.reasoner.saturation.properties.SaturatedPropertyChain

getSubsumers() - Method in interface org.semanticweb.elk.reasoner.saturation.context.Context

getSubsumers() - Method in class org.semanticweb.elk.reasoner.saturation.ContextImpl

getSubsumersPerContextCount() - Method in class org.semanticweb.elk.reasoner.incremental.IncrementalProcessingStatistics

getSuperClass() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedSubClassOfAxiom

getSuperClasses(ElkClassExpression, boolean) - Method in class org.semanticweb.elk.reasoner.Reasoner

Return the (direct or indirect) superclasses of the given ElkClassExpression as specified by the parameter.

getTarget() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ForwardLink

getTaxonomy() - Method in class org.semanticweb.elk.reasoner.stages.AbstractReasonerState

Compute the inferred taxonomy of the named classes for the given ontology if it has not been done yet.

getTaxonomy() - Method in class org.semanticweb.elk.reasoner.stages.ClassTaxonomyState

getTaxonomy() - Method in class org.semanticweb.elk.reasoner.stages.InstanceTaxonomyState

getTaxonomy() - Method in class org.semanticweb.elk.reasoner.taxonomy.ClassTaxonomyComputation

getTaxonomy() - Method in class org.semanticweb.elk.reasoner.taxonomy.ClassTaxonomyComputationFactory

Returns the taxonomy constructed by this engine

getTaxonomy() - Method in class org.semanticweb.elk.reasoner.taxonomy.InstanceTaxonomyComputation

getTaxonomy() - Method in class org.semanticweb.elk.reasoner.taxonomy.InstanceTaxonomyComputationFactory

Returns the taxonomy constructed by this engine

getTaxonomyNode(ElkClass) - Method in class org.semanticweb.elk.reasoner.Reasoner

Helper method to get a TaxonomyNode from the taxonomy.

getTaxonomyQuietly() - Method in class org.semanticweb.elk.reasoner.stages.AbstractReasonerState

Compute the inferred taxonomy of the named classes for the given ontology if it has not been done yet.

getTestEntities(OntologyIndex) - Static method in class org.semanticweb.elk.reasoner.consistency.ConsistencyChecking

getTimeBackwardLinks() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionTimer

getTimeBottoms() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionTimer

getTimeDisjointnessAxioms() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionTimer

getTimeForwardLinks() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionTimer

getTimeNegativeSubsumers() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionTimer

getTimePositiveSubsumers() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionTimer

getTimePropagations() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionTimer

getToldSubProperties() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectProperty

getToldSuperclasses() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedSubClassOfAxiom.ThisCompositionRule

getToldSuperProperties() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedPropertyChain

getTopNode() - Method in class org.semanticweb.elk.reasoner.taxonomy.ConcurrentClassTaxonomy

getTopNode() - Method in class org.semanticweb.elk.reasoner.taxonomy.ConcurrentInstanceTaxonomy

getTopNode() - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.InstanceTaxonomy

getTopNode() - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.Taxonomy

getTopNode() - Method in class org.semanticweb.elk.reasoner.taxonomy.SingletoneInstanceTaxonomy

getTopNode() - Method in class org.semanticweb.elk.reasoner.taxonomy.SingletoneTaxonomy

getTotalCount() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionCounter

getTotalRuleAppCount() - Method in class org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationCounter

getTotalRuleAppCount() - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationCounter

getTotalRuleAppCount() - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleStatistics

getTotalRuleAppTime() - Method in class org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationTimer

getTotalRuleAppTime() - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationTimer

getTotalRuleTime() - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleStatistics

getTotalTime() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionTimer

getTypeNode(ElkClass) - Method in class org.semanticweb.elk.reasoner.Reasoner

Helper method to get a TypeNode from the taxonomy.

getTypeNode(ElkClass) - Method in class org.semanticweb.elk.reasoner.taxonomy.ConcurrentInstanceTaxonomy

Obtain a TypeNode object for a given ElkClass, or null if none assigned.

getTypeNode(T) - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.InstanceTaxonomy

getTypeNode(T) - Method in class org.semanticweb.elk.reasoner.taxonomy.SingletoneInstanceTaxonomy

getTypeNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.ConcurrentInstanceTaxonomy

getTypeNodes() - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.InstanceTaxonomy

Obtain an unmodifiable Set of all type nodes in this taxonomy.

getTypeNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.SingletoneInstanceTaxonomy

getTypes(ElkNamedIndividual, boolean) - Method in class org.semanticweb.elk.reasoner.Reasoner

Return the (direct or indirect) types of the given ElkNamedIndividual.

getUpdateableBottomNode() - Method in class org.semanticweb.elk.reasoner.taxonomy.ConcurrentClassTaxonomy

getUpdateableBottomNode() - Method in class org.semanticweb.elk.reasoner.taxonomy.ConcurrentInstanceTaxonomy

getUpdateableBottomNode() - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTaxonomy

getUpdateableNode(ElkClass) - Method in class org.semanticweb.elk.reasoner.taxonomy.ConcurrentClassTaxonomy

getUpdateableNode(ElkClass) - Method in class org.semanticweb.elk.reasoner.taxonomy.ConcurrentInstanceTaxonomy

getUpdateableNode(T) - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTaxonomy

getUpdateableNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.ConcurrentClassTaxonomy

getUpdateableNodes() - Method in class org.semanticweb.elk.reasoner.taxonomy.ConcurrentInstanceTaxonomy

getUpdateableNodes() - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTaxonomy

getUpdateableTopNode() - Method in class org.semanticweb.elk.reasoner.taxonomy.ConcurrentClassTaxonomy

getUpdateableTopNode() - Method in class org.semanticweb.elk.reasoner.taxonomy.ConcurrentInstanceTaxonomy

getUpdateableTopNode() - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.UpdateableInstanceTaxonomy

getUpdateableTopNode() - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTaxonomy

getUpdateableTypeNode(ElkClass) - Method in class org.semanticweb.elk.reasoner.taxonomy.ConcurrentInstanceTaxonomy

getUpdateableTypeNode(T) - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.UpdateableInstanceTaxonomy

getUsedConclusionCountingProcessor(ConclusionVisitor<Boolean>, SaturationStatistics) - Static method in class org.semanticweb.elk.reasoner.saturation.SaturationUtils

getUsedConclusionCounts() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionStatistics

getUsedConclusionsCountingVisitor(ConclusionVisitor<Boolean>) - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationFactory.BaseEngine

Filters the ConclusionVisitor that applies inference rules to Conclusions by wrapping, if necessary, with the code producing statistics

getVisitor() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

getWriter(ContextModificationListener, ConclusionVisitor<?>) - Method in interface org.semanticweb.elk.reasoner.saturation.SaturationState

getWriter(ConclusionVisitor<?>) - Method in interface org.semanticweb.elk.reasoner.saturation.SaturationState

getWriter() - Method in class org.semanticweb.elk.reasoner.stages.ClassTaxonomyState

getWriter() - Method in class org.semanticweb.elk.reasoner.stages.InstanceTaxonomyState

H

hash(InstanceNode<? extends ElkEntity, ? extends ElkEntity>) - Method in class org.semanticweb.elk.reasoner.taxonomy.hashing.InstanceNodeHasher

hash(InstanceTaxonomy<? extends ElkEntity, ? extends ElkEntity>) - Static method in class org.semanticweb.elk.reasoner.taxonomy.hashing.InstanceTaxonomyHasher

Compute the hash code of a taxonomy.

hash(Node<? extends ElkEntity>) - Method in class org.semanticweb.elk.reasoner.taxonomy.hashing.NodeHasher

Compute the hash for an entity node.

hash(Taxonomy<? extends ElkEntity>) - Static method in class org.semanticweb.elk.reasoner.taxonomy.hashing.TaxonomyHasher

Compute the hash code of a taxonomy.

hash(TaxonomyNode<? extends ElkEntity>) - Method in class org.semanticweb.elk.reasoner.taxonomy.hashing.TaxonomyNodeHasher

hash(TypeNode<? extends ElkEntity, ? extends ElkEntity>) - Method in class org.semanticweb.elk.reasoner.taxonomy.hashing.TypeNodeHasher

hashCode() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClassExpression

Get an integer hash code to be used for this object.

hashCode() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedPropertyChain

Get an integer hash code to be used for this object.

hashCode() - Method in class org.semanticweb.elk.reasoner.taxonomy.IndividualNode

I

inconsistencyDisjointnessAxiom(IndexedDisjointnessAxiom) - Method in interface org.semanticweb.elk.reasoner.saturation.context.Context

inconsistencyDisjointnessAxiom(IndexedDisjointnessAxiom) - Method in class org.semanticweb.elk.reasoner.saturation.ContextImpl

INCREMENTAL_MODE_ALLOWED - Static variable in class org.semanticweb.elk.reasoner.config.ReasonerConfiguration

INCREMENTAL_TAXONOMY - Static variable in class org.semanticweb.elk.reasoner.config.ReasonerConfiguration

IncrementalAdditionInitializationStage - Class in org.semanticweb.elk.reasoner.stages

IncrementalAdditionInitializationStage(AbstractReasonerState, AbstractReasonerStage...) - Constructor for class org.semanticweb.elk.reasoner.stages.IncrementalAdditionInitializationStage

IncrementalAdditionStage - Class in org.semanticweb.elk.reasoner.stages

TODO docs

IncrementalAdditionStage(AbstractReasonerState, AbstractReasonerStage...) - Constructor for class org.semanticweb.elk.reasoner.stages.IncrementalAdditionStage

IncrementalChangesInitialization - Class in org.semanticweb.elk.reasoner.incremental

Goes through the input class expressions and puts each context's superclass for which there're changes into the ToDo queue

IncrementalChangesInitialization(Collection<ArrayList<Context>>, ChainableRule<Context>, Map<IndexedClassExpression, ChainableRule<Context>>, SaturationState, ComputationExecutor, SaturationStatistics, int, ProgressMonitor) - Constructor for class org.semanticweb.elk.reasoner.incremental.IncrementalChangesInitialization

IncrementalClassTaxonomyComputationStage - Class in org.semanticweb.elk.reasoner.stages

Incrementally updates the class taxonomy by creating nodes for named classes whose contexts have been either created or modified.

IncrementalClassTaxonomyComputationStage(AbstractReasonerState, AbstractReasonerStage...) - Constructor for class org.semanticweb.elk.reasoner.stages.IncrementalClassTaxonomyComputationStage

IncrementalCompletionStage - Class in org.semanticweb.elk.reasoner.stages

Completes saturation of all contexts which are not saturated at this point.

IncrementalCompletionStage(AbstractReasonerState, AbstractReasonerStage...) - Constructor for class org.semanticweb.elk.reasoner.stages.IncrementalCompletionStage

IncrementalContextCleaningStage - Class in org.semanticweb.elk.reasoner.stages

IncrementalContextCleaningStage(AbstractReasonerState, AbstractReasonerStage...) - Constructor for class org.semanticweb.elk.reasoner.stages.IncrementalContextCleaningStage

IncrementalDeletionInitializationStage - Class in org.semanticweb.elk.reasoner.stages

IncrementalDeletionInitializationStage(AbstractReasonerState, AbstractReasonerStage...) - Constructor for class org.semanticweb.elk.reasoner.stages.IncrementalDeletionInitializationStage

IncrementalDeletionStage - Class in org.semanticweb.elk.reasoner.stages

Reverts inferences

IncrementalDeletionStage(AbstractReasonerState, AbstractReasonerStage...) - Constructor for class org.semanticweb.elk.reasoner.stages.IncrementalDeletionStage

IncrementalInstanceTaxonomyComputationStage - Class in org.semanticweb.elk.reasoner.stages

Incrementally updates the instance taxonomy by creating nodes for individuals whose contexts have been either created or modified.

IncrementalInstanceTaxonomyComputationStage(AbstractReasonerState, AbstractReasonerStage...) - Constructor for class org.semanticweb.elk.reasoner.stages.IncrementalInstanceTaxonomyComputationStage

IncrementalOverdeletionPruningStage - Class in org.semanticweb.elk.reasoner.stages

Prunes the set of deleted conclusions by re-deriving those having alternative derivations (name taken from the original paper on the DRed algorithm).

IncrementalOverdeletionPruningStage(AbstractReasonerState, AbstractReasonerStage...) - Constructor for class org.semanticweb.elk.reasoner.stages.IncrementalOverdeletionPruningStage

IncrementalProcessingStatistics - Class in org.semanticweb.elk.reasoner.incremental

IncrementalProcessingStatistics() - Constructor for class org.semanticweb.elk.reasoner.incremental.IncrementalProcessingStatistics

IncrementalStages - Enum in org.semanticweb.elk.reasoner.incremental

IncrementalTaxonomyCleaningStage - Class in org.semanticweb.elk.reasoner.stages

Used to clean both class and instance taxonomies (removed nodes which super-nodes or types need to be recomputed)

IncrementalTaxonomyCleaningStage(AbstractReasonerState, AbstractReasonerStage...) - Constructor for class org.semanticweb.elk.reasoner.stages.IncrementalTaxonomyCleaningStage

indexClassAssertion(ElkIndividual, ElkClassExpression) - Method in interface org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexer

indexClassAssertion(ElkIndividual, ElkClassExpression) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.MainAxiomIndexerVisitor

indexClassAssertion(ElkIndividual, ElkClassExpression) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.NonIncrementalChangeCheckingVisitor

indexClassDeclaration(ElkClass) - Method in interface org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexer

indexClassDeclaration(ElkClass) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.MainAxiomIndexerVisitor

indexClassDeclaration(ElkClass) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.NonIncrementalChangeCheckingVisitor

indexDisjointClassExpressions(List<? extends ElkClassExpression>) - Method in interface org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexer

indexDisjointClassExpressions(List<? extends ElkClassExpression>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.MainAxiomIndexerVisitor

indexDisjointClassExpressions(List<? extends ElkClassExpression>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.NonIncrementalChangeCheckingVisitor

IndexedAxiom - Class in org.semanticweb.elk.reasoner.indexing.hierarchy

IndexedAxiom() - Constructor for class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedAxiom

IndexedAxiomEntry<T,K extends IndexedAxiom> - Class in org.semanticweb.elk.reasoner.indexing.entries

The wrapper class to define custom equality and hash functions for IndexedAxioms to be used in KeyEntryHashSet.

IndexedAxiomFilter - Interface in org.semanticweb.elk.reasoner.indexing.visitors

indexedAxiomLookup - Variable in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectCache

IndexedAxiomVisitor<O> - Interface in org.semanticweb.elk.reasoner.indexing.visitors

IndexedBinaryPropertyChain - Class in org.semanticweb.elk.reasoner.indexing.hierarchy

Represents a complex ElkSubObjectPropertyExpressions.

IndexedBinaryPropertyChainEntry<T,K extends IndexedBinaryPropertyChain> - Class in org.semanticweb.elk.reasoner.indexing.entries

Implements an equality view for instances of IndexedBinaryPropertyChain

IndexedBinaryPropertyChainVisitor<O> - Interface in org.semanticweb.elk.reasoner.indexing.visitors

Visitor pattern interface for instances of IndexedBinaryPropertyChain .

IndexedClass - Class in org.semanticweb.elk.reasoner.indexing.hierarchy

Represents all occurrences of an ElkClass in an ontology.

IndexedClass(ElkClass) - Constructor for class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClass

Creates an object representing the given ElkClass.

IndexedClass.OwlThingContextInitializationRule - Class in org.semanticweb.elk.reasoner.indexing.hierarchy

Adds owl:Thing to the context.

IndexedClass.OwlThingContextInitializationRule() - Constructor for class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClass.OwlThingContextInitializationRule

indexedClassCount - Variable in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectCache

IndexedClassEntity - Class in org.semanticweb.elk.reasoner.indexing.hierarchy

Represents all occurrences of an ElkClass or ElkIndividual in an ontology.

IndexedClassEntity() - Constructor for class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClassEntity

IndexedClassEntityVisitor<O> - Interface in org.semanticweb.elk.reasoner.indexing.visitors

Visitor pattern interface for instances of IndexedClassEntity.

IndexedClassEntry<T,K extends IndexedClass> - Class in org.semanticweb.elk.reasoner.indexing.entries

Implements an equality view for instances of IndexedClass

IndexedClassEntry(K) - Constructor for class org.semanticweb.elk.reasoner.indexing.entries.IndexedClassEntry

IndexedClassExpression - Class in org.semanticweb.elk.reasoner.indexing.hierarchy

Represents all occurrences of an ElkClassExpression in an ontology.

IndexedClassExpression() - Constructor for class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClassExpression

IndexedClassExpressionEntry<T,K extends IndexedClassExpression> - Class in org.semanticweb.elk.reasoner.indexing.entries

The wrapper class to define custom equality and hash functions for IndexedClassExpressions to be used in KeyEntryHashSet.

IndexedClassExpressionFilter - Interface in org.semanticweb.elk.reasoner.indexing.visitors

indexedClassExpressionLookup - Variable in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectCache

IndexedClassExpressionVisitor<O> - Interface in org.semanticweb.elk.reasoner.indexing.visitors

Visitor pattern interface for instances of IndexedClassExpression.

IndexedClassVisitor<O> - Interface in org.semanticweb.elk.reasoner.indexing.visitors

Visitor pattern interface for instances of IndexedClass.

IndexedDataHasValue - Class in org.semanticweb.elk.reasoner.indexing.hierarchy

Represents all occurrences of an ElkObjectHasValue in an ontology.

IndexedDataHasValue(ElkDataHasValue) - Constructor for class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDataHasValue

IndexedDataHasValueEntry<T,K extends IndexedDataHasValue> - Class in org.semanticweb.elk.reasoner.indexing.entries

Implements an equality view for instances of IndexedDataHasValue

IndexedDataHasValueEntry(K) - Constructor for class org.semanticweb.elk.reasoner.indexing.entries.IndexedDataHasValueEntry

IndexedDataHasValueVisitor<O> - Interface in org.semanticweb.elk.reasoner.indexing.visitors

Visitor pattern interface for instances of IndexedDataHasValue.

IndexedDisjointnessAxiom - Class in org.semanticweb.elk.reasoner.indexing.hierarchy

Defines the disjointness inference rule for indexed class expressions

IndexedDisjointnessAxiom.ThisCompositionRule - Class in org.semanticweb.elk.reasoner.indexing.hierarchy

IndexedDisjointnessAxiom.ThisCompositionRule derives the disjointness axioms as a new kind of element.

IndexedDisjointnessAxiom.ThisContradictionRule - Class in org.semanticweb.elk.reasoner.indexing.hierarchy

A rule which derives a Contradiction for inconsistent members of this IndexedDisjointnessAxiom.

IndexedDisjointnessAxiom.ThisContradictionRule(ChainableRule<Context>) - Constructor for class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDisjointnessAxiom.ThisContradictionRule

IndexedDisjointnessAxiomEntry<T,K extends IndexedDisjointnessAxiom> - Class in org.semanticweb.elk.reasoner.indexing.entries

Implements an equality view for instances of IndexedDisjointnessAxiom

IndexedDisjointnessAxiomEntry(K) - Constructor for class org.semanticweb.elk.reasoner.indexing.entries.IndexedDisjointnessAxiomEntry

IndexedDisjointnessAxiomVisitor<O> - Interface in org.semanticweb.elk.reasoner.indexing.visitors

IndexedEntryConverter<T> - Class in org.semanticweb.elk.reasoner.indexing.entries

A visitor for IndexedClassExpressions and IndexedPropertyChains that wraps the visited objects in the corresponding Entry wrapper to redefine equality.

IndexedEntryConverter() - Constructor for class org.semanticweb.elk.reasoner.indexing.entries.IndexedEntryConverter

IndexedIndividual - Class in org.semanticweb.elk.reasoner.indexing.hierarchy

Represents all occurrences of an ElkIndividual in an ontology.

indexedIndividualCount - Variable in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectCache

IndexedIndividualEntry<T,K extends IndexedIndividual> - Class in org.semanticweb.elk.reasoner.indexing.entries

Implements an equality view for instances of IndexedIndividual

IndexedIndividualEntry(K) - Constructor for class org.semanticweb.elk.reasoner.indexing.entries.IndexedIndividualEntry

IndexedIndividualVisitor<O> - Interface in org.semanticweb.elk.reasoner.indexing.visitors

Visitor pattern interface for instances of IndexedIndividual.

IndexedObject - Class in org.semanticweb.elk.reasoner.indexing.hierarchy

Top level class for all indexed objects

IndexedObject() - Constructor for class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObject

IndexedObjectCache - Class in org.semanticweb.elk.reasoner.indexing.hierarchy

A cache of IndexedObjects in the ontology backed by a KeyEntryHashSet.

IndexedObjectCache() - Constructor for class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectCache

IndexedObjectComplementOf - Class in org.semanticweb.elk.reasoner.indexing.hierarchy

Represents all occurrences of an ElkObjectComplementOf in an ontology.

IndexedObjectComplementOf(IndexedClassExpression) - Constructor for class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectComplementOf

IndexedObjectComplementOf.ThisCompositionRule - Class in org.semanticweb.elk.reasoner.indexing.hierarchy

IndexedObjectComplementOfEntry<T,K extends IndexedObjectComplementOf> - Class in org.semanticweb.elk.reasoner.indexing.entries

Implements an equality view for instances of IndexedObjectComplementOf

IndexedObjectComplementOfVisitor<O> - Interface in org.semanticweb.elk.reasoner.indexing.visitors

Visitor pattern interface for instances of IndexedObjectComplementOf.

IndexedObjectEntry<T,K extends IndexedObject> - Class in org.semanticweb.elk.reasoner.indexing.entries

The wrapper class to define custom equality and hash functions for IndexedObjects to be used in KeyEntryHashSet.

IndexedObjectFilter - Interface in org.semanticweb.elk.reasoner.indexing.visitors

IndexedObjectIntersectionOf - Class in org.semanticweb.elk.reasoner.indexing.hierarchy

Represents all occurrences of an ElkObjectIntersectionOf in an ontology.

IndexedObjectIntersectionOf(IndexedClassExpression, IndexedClassExpression) - Constructor for class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectIntersectionOf

IndexedObjectIntersectionOf.ThisCompositionRule - Class in org.semanticweb.elk.reasoner.indexing.hierarchy

IndexedObjectIntersectionOfEntry<T,K extends IndexedObjectIntersectionOf> - Class in org.semanticweb.elk.reasoner.indexing.entries

Implements an equality view for instances of IndexedObjectIntersectionOf

IndexedObjectIntersectionOfVisitor<O> - Interface in org.semanticweb.elk.reasoner.indexing.visitors

Visitor pattern interface for instances of IndexedObjectIntersectionOf.

IndexedObjectProperty - Class in org.semanticweb.elk.reasoner.indexing.hierarchy

Represents all occurrences of an ElkObjectProperty in an ontology.

IndexedObjectProperty(ElkObjectProperty) - Constructor for class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectProperty

Creates an object representing the given ElkObjectProperty.

indexedObjectPropertyCount - Variable in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectCache

IndexedObjectPropertyEntry<T,K extends IndexedObjectProperty> - Class in org.semanticweb.elk.reasoner.indexing.entries

Implements an equality view for instances of IndexedObjectProperty

IndexedObjectPropertyEntry(K) - Constructor for class org.semanticweb.elk.reasoner.indexing.entries.IndexedObjectPropertyEntry

IndexedObjectPropertyVisitor<O> - Interface in org.semanticweb.elk.reasoner.indexing.visitors

Visitor pattern interface for instances of IndexedObjectProperty.

IndexedObjectSomeValuesFrom - Class in org.semanticweb.elk.reasoner.indexing.hierarchy

Represents all occurrences of an ElkObjectSomeValuesFrom in an ontology.

IndexedObjectSomeValuesFrom.ThisCompositionRule - Class in org.semanticweb.elk.reasoner.indexing.hierarchy

IndexedObjectSomeValuesFromEntry<T,K extends IndexedObjectSomeValuesFrom> - Class in org.semanticweb.elk.reasoner.indexing.entries

Implements equality for instances of IndexedObjectSomeValuesFrom

IndexedObjectSomeValuesFromVisitor<O> - Interface in org.semanticweb.elk.reasoner.indexing.visitors

Visitor pattern interface for instances of IndexedObjectSomeValuesFrom.

IndexedObjectUnionOf - Class in org.semanticweb.elk.reasoner.indexing.hierarchy

Represents all occurrences of an ElkObjectUnionOf in an ontology.

IndexedObjectUnionOf.ThisCompositionRule - Class in org.semanticweb.elk.reasoner.indexing.hierarchy

IndexedObjectUnionOfEntry<T,K extends IndexedObjectUnionOf> - Class in org.semanticweb.elk.reasoner.indexing.entries

Implements an equality view for instances of IndexedObjectUnionOf

IndexedObjectUnionOfVisitor<O> - Interface in org.semanticweb.elk.reasoner.indexing.visitors

Visitor pattern interface for instances of IndexedObjectUnionOf.

IndexedObjectVisitor<O> - Interface in org.semanticweb.elk.reasoner.indexing.visitors

IndexedPropertyChain - Class in org.semanticweb.elk.reasoner.indexing.hierarchy

Represents all occurrences of an ElkSubObjectPropertyExpression in an ontology.

IndexedPropertyChain() - Constructor for class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedPropertyChain

IndexedPropertyChainEntry<T,K extends IndexedPropertyChain> - Class in org.semanticweb.elk.reasoner.indexing.entries

The wrapper class to define custom equality and hash functions for IndexedPropertyChains to be used in KeyEntryHashSet.

IndexedPropertyChainFilter - Interface in org.semanticweb.elk.reasoner.indexing.visitors

indexedPropertyChainLookup - Variable in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectCache

IndexedPropertyChainVisitor<O> - Interface in org.semanticweb.elk.reasoner.indexing.visitors

Visitor pattern interface for instances of IndexedPropertyChain.

IndexedPropertyChainVisitorEx<O,P> - Interface in org.semanticweb.elk.reasoner.indexing.visitors

IndexedSubClassOfAxiom - Class in org.semanticweb.elk.reasoner.indexing.hierarchy

IndexedSubClassOfAxiom(IndexedClassExpression, IndexedClassExpression) - Constructor for class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedSubClassOfAxiom

IndexedSubClassOfAxiom.ThisCompositionRule - Class in org.semanticweb.elk.reasoner.indexing.hierarchy

IndexedSubClassOfAxiomEntry<T,K extends IndexedSubClassOfAxiom> - Class in org.semanticweb.elk.reasoner.indexing.entries

Implements an equality view for instances of IndexedSubClassOfAxiom

IndexedSubClassOfAxiomEntry(K) - Constructor for class org.semanticweb.elk.reasoner.indexing.entries.IndexedSubClassOfAxiomEntry

IndexedSubClassOfAxiomVisitor<O> - Interface in org.semanticweb.elk.reasoner.indexing.visitors

indexNamedIndividualDeclaration(ElkNamedIndividual) - Method in interface org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexer

indexNamedIndividualDeclaration(ElkNamedIndividual) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.MainAxiomIndexerVisitor

indexNamedIndividualDeclaration(ElkNamedIndividual) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.NonIncrementalChangeCheckingVisitor

IndexObjectConverter - Class in org.semanticweb.elk.reasoner.indexing.hierarchy

A converter from ElkClassExpressions, ElkSubObjectPropertyExpressions, and ElkIndividuals to corresponding IndexedObjects with filtering through the provided IndexedClassExpressionFilter and IndexedPropertyChainFilter.

IndexObjectConverter(IndexedClassExpressionFilter, IndexedPropertyChainFilter, IndexObjectConverter) - Constructor for class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter

Creates a new IndexObjectConverter

IndexObjectConverter(IndexedClassExpressionFilter, IndexedPropertyChainFilter) - Constructor for class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter

Creates a new IndexObjectConverter which is also used for converting IndexedObjects of the complementary polarity

IndexObjectConverter(IndexedClassExpressionFilter, IndexedPropertyChainFilter, IndexObjectConverterFactory) - Constructor for class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter

Creates a new IndexObjectConverter

IndexObjectConverterFactory - Interface in org.semanticweb.elk.reasoner.indexing.hierarchy

indexObjectPropertyDeclaration(ElkObjectProperty) - Method in interface org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexer

indexObjectPropertyDeclaration(ElkObjectProperty) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.MainAxiomIndexerVisitor

indexObjectPropertyDeclaration(ElkObjectProperty) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.NonIncrementalChangeCheckingVisitor

indexReflexiveObjectProperty(ElkObjectPropertyExpression) - Method in interface org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexer

indexReflexiveObjectProperty(ElkObjectPropertyExpression) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.MainAxiomIndexerVisitor

indexReflexiveObjectProperty(ElkObjectPropertyExpression) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.NonIncrementalChangeCheckingVisitor

indexSubClassOfAxiom(ElkClassExpression, ElkClassExpression) - Method in interface org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexer

indexSubClassOfAxiom(ElkClassExpression, ElkClassExpression) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.MainAxiomIndexerVisitor

indexSubClassOfAxiom(ElkClassExpression, ElkClassExpression) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.NonIncrementalChangeCheckingVisitor

indexSubObjectPropertyOfAxiom(ElkSubObjectPropertyExpression, ElkObjectPropertyExpression) - Method in interface org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexer

indexSubObjectPropertyOfAxiom(ElkSubObjectPropertyExpression, ElkObjectPropertyExpression) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.MainAxiomIndexerVisitor

indexSubObjectPropertyOfAxiom(ElkSubObjectPropertyExpression, ElkObjectPropertyExpression) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.NonIncrementalChangeCheckingVisitor

INDIVIDUAL_COMPARATOR - Static variable in class org.semanticweb.elk.reasoner.taxonomy.TaxonomyPrinter

IndividualClassTaxonomy - Interface in org.semanticweb.elk.reasoner.taxonomy

A marker interface for taxonomy of classes and their instances (individuals).

IndividualNode - Class in org.semanticweb.elk.reasoner.taxonomy

Class for storing information about a class in the context of classification.

IndividualNode(Collection<ElkNamedIndividual>) - Constructor for class org.semanticweb.elk.reasoner.taxonomy.IndividualNode

Constructing the class node for a given taxonomy and the set of equivalent classes.

initAdditions() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DifferentialIndex

initClassSignatureChanges() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DifferentialIndex

initClassTaxonomy() - Method in class org.semanticweb.elk.reasoner.stages.AbstractReasonerState

initContext(Context) - Method in interface org.semanticweb.elk.reasoner.saturation.ExtendedSaturationStateWriter

initContext(Context, BasicSaturationStateWriter, OntologyIndex, RuleApplicationVisitor) - Static method in class org.semanticweb.elk.reasoner.saturation.SaturationUtils

Applies all initialization rules to the context

initDeletions() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DifferentialIndex

initIndividualSignatureChanges() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DifferentialIndex

initInstanceTaxonomy() - Method in class org.semanticweb.elk.reasoner.stages.AbstractReasonerState

INSTANCE - Static variable in class org.semanticweb.elk.reasoner.taxonomy.hashing.InstanceNodeHasher

We use one static instance for hashing all nodes.

INSTANCE - Static variable in class org.semanticweb.elk.reasoner.taxonomy.hashing.NodeHasher

We use one static instance for hashing (and caching!) all nodes.

INSTANCE - Static variable in class org.semanticweb.elk.reasoner.taxonomy.hashing.TaxonomyNodeHasher

We use one static instance for hashing all nodes.

INSTANCE - Static variable in class org.semanticweb.elk.reasoner.taxonomy.hashing.TypeNodeHasher

We use one static instance for hashing all nodes.

InstanceNode<T extends ElkObject,I extends ElkObject> - Interface in org.semanticweb.elk.reasoner.taxonomy.model

A node of instances in an InstanceTaxonomy.

InstanceNodeHasher - Class in org.semanticweb.elk.reasoner.taxonomy.hashing

Helper class for hashing InstanceNodes based on getMembers() and getDirectTypeNodes().

InstanceTaxonomy<T extends ElkObject,I extends ElkObject> - Interface in org.semanticweb.elk.reasoner.taxonomy.model

Extended Taxonomy that also provides instances for each of its members.

InstanceTaxonomyComputation - Class in org.semanticweb.elk.reasoner.taxonomy

Computing taxonomy relations between named individuals and atomic classes of the ontology.

InstanceTaxonomyComputation(Collection<IndexedIndividual>, ComputationExecutor, int, ProgressMonitor, SaturationState, UpdateableInstanceTaxonomy<ElkClass, ElkNamedIndividual>) - Constructor for class org.semanticweb.elk.reasoner.taxonomy.InstanceTaxonomyComputation

InstanceTaxonomyComputationFactory - Class in org.semanticweb.elk.reasoner.taxonomy

The factory for engines that concurrently construct an InstanceTaxonomy.

InstanceTaxonomyComputationFactory(SaturationState, int, UpdateableInstanceTaxonomy<ElkClass, ElkNamedIndividual>) - Constructor for class org.semanticweb.elk.reasoner.taxonomy.InstanceTaxonomyComputationFactory

Create a shared engine for the input ontology index and a partially pre-computed taxonomy object.

InstanceTaxonomyComputationFactory.Engine - Class in org.semanticweb.elk.reasoner.taxonomy

InstanceTaxonomyHasher - Class in org.semanticweb.elk.reasoner.taxonomy.hashing

A class for computing the structural hash of a Taxonomy.

InstanceTaxonomyHasher() - Constructor for class org.semanticweb.elk.reasoner.taxonomy.hashing.InstanceTaxonomyHasher

InstanceTaxonomyState - Class in org.semanticweb.elk.reasoner.stages

Stores information about the state of the instance taxonomy

InstanceTaxonomyState() - Constructor for class org.semanticweb.elk.reasoner.stages.InstanceTaxonomyState

InstanceTaxonomyState.Writer - Class in org.semanticweb.elk.reasoner.stages

Groups all methods to change the state

InstanceTaxonomyState.Writer() - Constructor for class org.semanticweb.elk.reasoner.stages.InstanceTaxonomyState.Writer

interrupt() - Method in class org.semanticweb.elk.reasoner.stages.AbstractReasonerState

interrupts running reasoning stages

InvalidTaxonomyException - Exception in org.semanticweb.elk.reasoner.taxonomy

isAllowIncrementalMode() - Method in class org.semanticweb.elk.reasoner.stages.AbstractReasonerState

isClear() - Method in class org.semanticweb.elk.reasoner.saturation.properties.SaturatedPropertyChain

isCompleted() - Method in interface org.semanticweb.elk.reasoner.stages.ReasonerStage

isDerivedReflexive() - Method in class org.semanticweb.elk.reasoner.saturation.properties.SaturatedPropertyChain

isEmpty() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DifferentialIndex

isEmpty() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDisjointnessAxiom.ThisCompositionRule

isEmpty() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDisjointnessAxiom.ThisContradictionRule

isEmpty() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectCache

isEmpty() - Method in interface org.semanticweb.elk.reasoner.saturation.context.Context

isEmpty() - Method in class org.semanticweb.elk.reasoner.saturation.ContextImpl

isInconsistent() - Method in class org.semanticweb.elk.reasoner.consistency.ConsistencyChecking

isInconsistent() - Method in interface org.semanticweb.elk.reasoner.saturation.context.Context

isInconsistent - Variable in class org.semanticweb.elk.reasoner.saturation.ContextImpl

true if owl:Nothing is stored in ContextImpl.subsumers_

isInconsistent() - Method in class org.semanticweb.elk.reasoner.saturation.ContextImpl

isInconsistent() - Method in class org.semanticweb.elk.reasoner.stages.AbstractReasonerState

Check consistency of the current ontology, if this has not been done yet.

isIncrementalMode() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DifferentialIndex

isIncrementalMode() - Method in class org.semanticweb.elk.reasoner.stages.AbstractReasonerState

isInterrupted() - Method in class org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturationFactory

isInterrupted() - Method in class org.semanticweb.elk.reasoner.taxonomy.InstanceTaxonomyComputationFactory

isLoadingFinished() - Method in class org.semanticweb.elk.loading.AbstractAxiomLoader

isLoadingFinished() - Method in interface org.semanticweb.elk.loading.AxiomLoader

isLoadingFinished() - Method in class org.semanticweb.elk.loading.ComposedAxiomLoader

isLoadingFinished() - Method in class org.semanticweb.elk.loading.EmptyAxiomLoader

isLoadingFinished() - Method in class org.semanticweb.elk.loading.Owl2ParserLoader

isModified() - Method in class org.semanticweb.elk.reasoner.taxonomy.IndividualNode

isModified() - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.UpdateableNode

isRelevant(IndexedPropertyChain) - Static method in class org.semanticweb.elk.reasoner.saturation.properties.SaturatedPropertyChain

Determines if the given IndexedPropertyChain can be produced in BackwardLinks or ForwardLinks.

isSatisfiable(ElkClassExpression) - Method in class org.semanticweb.elk.reasoner.Reasoner

Check if the given ElkClassExpression is satisfiable, that is, if it can possibly have instances.

isSaturated() - Method in interface org.semanticweb.elk.reasoner.saturation.context.Context

isSaturated - Variable in class org.semanticweb.elk.reasoner.saturation.ContextImpl

true if all derived Subsumer of ContextImpl.root_ have been computed.

isSaturated() - Method in class org.semanticweb.elk.reasoner.saturation.ContextImpl

isToldReflexive() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectProperty

L

LinkRule<E> - Interface in org.semanticweb.elk.reasoner.saturation.rules

load(ElkAxiomProcessor, ElkAxiomProcessor) - Method in class org.semanticweb.elk.loading.AbstractAxiomLoader

load(ElkAxiomProcessor, ElkAxiomProcessor) - Method in interface org.semanticweb.elk.loading.AxiomLoader

Loads pending axioms using the provided axiomInserter for inserting axioms and axiomDeleter for deleting axioms; if called twice, the already loaded axioms will not be processed again

load(ElkAxiomProcessor, ElkAxiomProcessor) - Method in class org.semanticweb.elk.loading.ComposedAxiomLoader

load(ElkAxiomProcessor, ElkAxiomProcessor) - Method in class org.semanticweb.elk.loading.EmptyAxiomLoader

load(ElkAxiomProcessor, ElkAxiomProcessor) - Method in class org.semanticweb.elk.loading.Owl2ParserLoader

localContextStatistics - Variable in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationFactory.BaseEngine

localStatistics - Variable in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationFactory.BaseEngine

Local SaturationStatistics created for every worker

LOGGER_ - Static variable in class org.semanticweb.elk.reasoner.indexing.hierarchy.DirectIndex

LOGGER_ - Static variable in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClass

LOGGER_ - Static variable in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClassExpression

LOGGER_ - Static variable in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDisjointnessAxiom

LOGGER_ - Static variable in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectComplementOf

LOGGER_ - Static variable in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectIntersectionOf

LOGGER_ - Static variable in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectSomeValuesFrom

LOGGER_ - Static variable in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectUnionOf

LOGGER_ - Static variable in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedPropertyChain

LOGGER_ - Static variable in class org.semanticweb.elk.reasoner.saturation.rules.ContextCompletionFactory

LOGGER_ - Static variable in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationFactory

LOGGER_ - Static variable in class org.semanticweb.elk.reasoner.saturation.SaturationUtils

LOGGER_ - Static variable in class org.semanticweb.elk.reasoner.stages.LoggingStageExecutor

LoggingStageExecutor - Class in org.semanticweb.elk.reasoner.stages

A ReasonerStageExecutor which prints log messages about the executed stages.

LoggingStageExecutor() - Constructor for class org.semanticweb.elk.reasoner.stages.LoggingStageExecutor

M

MainAxiomIndexerVisitor - Class in org.semanticweb.elk.reasoner.indexing.hierarchy

An object that indexes axioms into a given ontology index.

MainAxiomIndexerVisitor(ModifiableOntologyIndex, boolean) - Constructor for class org.semanticweb.elk.reasoner.indexing.hierarchy.MainAxiomIndexerVisitor

markAsNotSaturated(Context) - Method in interface org.semanticweb.elk.reasoner.saturation.BasicSaturationStateWriter

markClassesForModifiedNode(Node<ElkClass>) - Method in class org.semanticweb.elk.reasoner.stages.ClassTaxonomyState.Writer

markClassForModifiedNode(ElkClass) - Method in class org.semanticweb.elk.reasoner.stages.ClassTaxonomyState.Writer

markModifiedIndividuals(Collection<ElkNamedIndividual>) - Method in class org.semanticweb.elk.reasoner.stages.InstanceTaxonomyState.Writer

markRemovedClass(IndexedClass) - Method in class org.semanticweb.elk.reasoner.stages.ClassTaxonomyState.Writer

markRemovedIndividual(IndexedIndividual) - Method in class org.semanticweb.elk.reasoner.stages.InstanceTaxonomyState.Writer

member - Variable in class org.semanticweb.elk.reasoner.taxonomy.model.FreshNode

ModifiableLinkRule<E> - Interface in org.semanticweb.elk.reasoner.saturation.rules

ModifiableOntologyIndex - Interface in org.semanticweb.elk.reasoner.indexing.hierarchy

Common methods for constructing an OntologyIndex.

N

NAME - Static variable in class org.semanticweb.elk.reasoner.indexing.hierarchy.DirectIndex.ContextRootInitializationRule

NAME - Static variable in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClass.OwlThingContextInitializationRule

NAME - Static variable in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDisjointnessAxiom.ThisCompositionRule

NAME - Static variable in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDisjointnessAxiom.ThisContradictionRule

NegativeSubsumer - Class in org.semanticweb.elk.reasoner.saturation.conclusions

A Subsumer, for which the structure of the enclosed IndexedClassExpression should not be taken into account when applying the rules within Context.

NegativeSubsumer(IndexedClassExpression) - Constructor for class org.semanticweb.elk.reasoner.saturation.conclusions.NegativeSubsumer

Node<T extends ElkObject> - Interface in org.semanticweb.elk.reasoner.taxonomy.model

Basic interface for representing sets of equivalent ElkObjects with one canonical representative.

NodeHasher - Class in org.semanticweb.elk.reasoner.taxonomy.hashing

Helper class for hashing Nodes based on getMembers().

NonIncrementalChangeCheckingVisitor - Class in org.semanticweb.elk.reasoner.indexing.hierarchy

A delegating visitor which notifies the NonIncrementalChangeCheckingVisitor that some axiom represents a change which cannot be processed incrementally by the reasoner

NonIncrementalChangeCheckingVisitor(ElkAxiomIndexingVisitor, NonIncrementalChangeListener<ElkAxiom>) - Constructor for class org.semanticweb.elk.reasoner.indexing.hierarchy.NonIncrementalChangeCheckingVisitor

NonIncrementalChangeListener<T> - Interface in org.semanticweb.elk.reasoner.incremental

TODO doc

notify(T) - Method in interface org.semanticweb.elk.reasoner.incremental.NonIncrementalChangeListener

notifyContextCreation(Context) - Method in interface org.semanticweb.elk.reasoner.saturation.ContextCreationListener

notifyContextModification(Context) - Method in interface org.semanticweb.elk.reasoner.saturation.ContextModificationListener

Invoked right after the context has been marked as saturated or not saturated

notifyFinished(J) - Method in class org.semanticweb.elk.reasoner.saturation.DummyClassExpressionSaturationListener

NUM_OF_WORKING_THREADS - Static variable in class org.semanticweb.elk.reasoner.config.ReasonerConfiguration

NumberOfWorkers - Class in org.semanticweb.elk.reasoner.config

NumberOfWorkers(String) - Constructor for class org.semanticweb.elk.reasoner.config.NumberOfWorkers

O

occurrenceNo - Variable in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClass

This counts how many times this object occurred in the ontology.

occurs() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClass

occurs() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClassExpression

This method should always return true apart from intermediate steps during the indexing.

occurs() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDisjointnessAxiom

occurs() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedIndividual

occurs() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObject

occurs() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedPropertyChain

occurs() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedSubClassOfAxiom

occursNegatively() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClassExpression

occursPositively() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClassExpression

OntologyIndex - Interface in org.semanticweb.elk.reasoner.indexing

An object representing the compiled logical information about the ontology that enables execution of reasoning inference rules.

org.semanticweb.elk.loading - package org.semanticweb.elk.loading

org.semanticweb.elk.reasoner - package org.semanticweb.elk.reasoner

org.semanticweb.elk.reasoner.config - package org.semanticweb.elk.reasoner.config

org.semanticweb.elk.reasoner.consistency - package org.semanticweb.elk.reasoner.consistency

org.semanticweb.elk.reasoner.incremental - package org.semanticweb.elk.reasoner.incremental

org.semanticweb.elk.reasoner.indexing - package org.semanticweb.elk.reasoner.indexing

org.semanticweb.elk.reasoner.indexing.entries - package org.semanticweb.elk.reasoner.indexing.entries

org.semanticweb.elk.reasoner.indexing.hierarchy - package org.semanticweb.elk.reasoner.indexing.hierarchy

org.semanticweb.elk.reasoner.indexing.visitors - package org.semanticweb.elk.reasoner.indexing.visitors

org.semanticweb.elk.reasoner.reduction - package org.semanticweb.elk.reasoner.reduction

org.semanticweb.elk.reasoner.saturation - package org.semanticweb.elk.reasoner.saturation

org.semanticweb.elk.reasoner.saturation.conclusions - package org.semanticweb.elk.reasoner.saturation.conclusions

org.semanticweb.elk.reasoner.saturation.context - package org.semanticweb.elk.reasoner.saturation.context

org.semanticweb.elk.reasoner.saturation.properties - package org.semanticweb.elk.reasoner.saturation.properties

org.semanticweb.elk.reasoner.saturation.rules - package org.semanticweb.elk.reasoner.saturation.rules

org.semanticweb.elk.reasoner.stages - package org.semanticweb.elk.reasoner.stages

org.semanticweb.elk.reasoner.taxonomy - package org.semanticweb.elk.reasoner.taxonomy

org.semanticweb.elk.reasoner.taxonomy.hashing - package org.semanticweb.elk.reasoner.taxonomy.hashing

org.semanticweb.elk.reasoner.taxonomy.model - package org.semanticweb.elk.reasoner.taxonomy.model

OrphanInstanceNode<T extends ElkObject,I extends ElkObject> - Class in org.semanticweb.elk.reasoner.taxonomy

An OrphanNode with one member type node

OrphanInstanceNode(Set<I>, I, OrphanTypeNode<T, I>) - Constructor for class org.semanticweb.elk.reasoner.taxonomy.OrphanInstanceNode

OrphanNode<T extends ElkObject> - Class in org.semanticweb.elk.reasoner.taxonomy

A TaxonomyNode that does not have any super nodes or sub nodes.

OrphanNode(Set<T>, T) - Constructor for class org.semanticweb.elk.reasoner.taxonomy.OrphanNode

OrphanTypeNode<T extends ElkObject,I extends ElkObject> - Class in org.semanticweb.elk.reasoner.taxonomy

An OrphanNode with instances

OrphanTypeNode(Set<T>, T, int) - Constructor for class org.semanticweb.elk.reasoner.taxonomy.OrphanTypeNode

Owl2ParserLoader - Class in org.semanticweb.elk.loading

An AxiomLoader that loads an ontology using a provided Owl2Parser.

Owl2ParserLoader(Owl2Parser, int) - Constructor for class org.semanticweb.elk.loading.Owl2ParserLoader

Creating an Owl2ParserLoader, which loads axioms generated using Owl2Parser.

Owl2ParserLoader(Owl2Parser) - Constructor for class org.semanticweb.elk.loading.Owl2ParserLoader

Creating an Owl2ParserLoader, which loads axioms generated using Owl2Parser.

Owl2StreamLoader - Class in org.semanticweb.elk.loading

A AxiomLoader which loads ontology from streams (e.g., backed by files or strings) using a given Owl2ParserFactory

Owl2StreamLoader(Owl2ParserFactory, InputStream) - Constructor for class org.semanticweb.elk.loading.Owl2StreamLoader

Owl2StreamLoader(Owl2ParserFactory, File) - Constructor for class org.semanticweb.elk.loading.Owl2StreamLoader

Owl2StreamLoader(Owl2ParserFactory, String) - Constructor for class org.semanticweb.elk.loading.Owl2StreamLoader

P

pollForActiveContext() - Method in interface org.semanticweb.elk.reasoner.saturation.BasicSaturationStateWriter

PositiveSubsumer - Class in org.semanticweb.elk.reasoner.saturation.conclusions

A Subsumer, for which the structure of the enclosed IndexedClassExpression should be taken into account.

PositiveSubsumer(IndexedClassExpression) - Constructor for class org.semanticweb.elk.reasoner.saturation.conclusions.PositiveSubsumer

postExecute() - Method in class org.semanticweb.elk.reasoner.stages.ClassSaturationStage

postExecute() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalAdditionInitializationStage

postExecute() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalAdditionStage

postExecute() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalClassTaxonomyComputationStage

postExecute() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalCompletionStage

postExecute() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalContextCleaningStage

postExecute() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalDeletionInitializationStage

postExecute() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalDeletionStage

postExecute() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalInstanceTaxonomyComputationStage

postExecute() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalOverdeletionPruningStage

postExecute() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalTaxonomyCleaningStage

postExecute() - Method in class org.semanticweb.elk.reasoner.stages.PropertyHierarchyCompositionComputationStage

postExecute() - Method in class org.semanticweb.elk.reasoner.stages.PropertyReflexivityComputationStage

postExecute() - Method in interface org.semanticweb.elk.reasoner.stages.ReasonerStage

Invoked after a successful ReasonerStage.execute() to perform any necessary finalization, e.g., computation of statistics.

preExecute() - Method in class org.semanticweb.elk.reasoner.stages.AxiomLoadingStage

preExecute() - Method in class org.semanticweb.elk.reasoner.stages.ClassSaturationStage

preExecute() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalAdditionInitializationStage

preExecute() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalAdditionStage

preExecute() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalClassTaxonomyComputationStage

preExecute() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalCompletionStage

preExecute() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalContextCleaningStage

preExecute() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalDeletionInitializationStage

preExecute() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalDeletionStage

preExecute() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalInstanceTaxonomyComputationStage

preExecute() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalOverdeletionPruningStage

preExecute() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalTaxonomyCleaningStage

preExecute() - Method in class org.semanticweb.elk.reasoner.stages.PropertyHierarchyCompositionComputationStage

preExecute() - Method in class org.semanticweb.elk.reasoner.stages.PropertyReflexivityComputationStage

preExecute() - Method in interface org.semanticweb.elk.reasoner.stages.ReasonerStage

Invoked prior to ReasonerStage.execute() to perform any necessary initialization

PreprocessedConclusionVisitor<T> - Class in org.semanticweb.elk.reasoner.saturation.conclusions

PreprocessedConclusionVisitor(ConclusionVisitor<?>, ConclusionVisitor<T>) - Constructor for class org.semanticweb.elk.reasoner.saturation.conclusions.PreprocessedConclusionVisitor

print(Logger, Priority) - Method in class org.semanticweb.elk.reasoner.incremental.IncrementalProcessingStatistics

print(Logger) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionStatistics

print(Logger, Priority) - Method in class org.semanticweb.elk.reasoner.saturation.context.ContextStatistics

print(Logger) - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleStatistics

print(Logger) - Method in class org.semanticweb.elk.reasoner.saturation.SaturationStatistics

printClassAxioms(ElkClass, ArrayList<ElkClass>, TreeSet<ElkClass>, Appendable) - Static method in class org.semanticweb.elk.reasoner.taxonomy.TaxonomyPrinter

Process axioms related to one ElkClass, where the relevant related classes are given in two ordered collections of equivalent classes and subclasses, respectively.

printDeclarations(Taxonomy<ElkClass>, ElkObjectFactory, Appendable) - Static method in class org.semanticweb.elk.reasoner.taxonomy.TaxonomyPrinter

Prints class declarations

printIndividualAxioms(ElkNamedIndividual, ArrayList<ElkNamedIndividual>, TreeSet<ElkClass>, ElkObjectFactory, Writer) - Static method in class org.semanticweb.elk.reasoner.taxonomy.TaxonomyPrinter

printIndividualDeclarations(Set<? extends InstanceNode<ElkClass, ElkNamedIndividual>>, ElkObjectFactory, Writer) - Static method in class org.semanticweb.elk.reasoner.taxonomy.TaxonomyPrinter

printInfo() - Method in class org.semanticweb.elk.reasoner.stages.AxiomLoadingStage

printInfo() - Method in class org.semanticweb.elk.reasoner.stages.ClassSaturationStage

printInfo() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalAdditionStage

printInfo() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalClassTaxonomyComputationStage

printInfo() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalCompletionStage

printInfo() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalContextCleaningStage

printInfo() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalDeletionStage

printInfo() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalInstanceTaxonomyComputationStage

printInfo() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalOverdeletionPruningStage

printInfo() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalTaxonomyCleaningStage

printInfo() - Method in class org.semanticweb.elk.reasoner.stages.PropertyHierarchyCompositionComputationStage

printInfo() - Method in class org.semanticweb.elk.reasoner.stages.PropertyReflexivityComputationStage

printInfo() - Method in interface org.semanticweb.elk.reasoner.stages.ReasonerStage

Prints detailed information about the (progress) of this stage.

printOccurrenceNumbers() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClass

printOccurrenceNumbers() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClassExpression

printOccurrenceNumbers() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedPropertyChain

printStatistics() - Method in class org.semanticweb.elk.reasoner.consistency.ConsistencyChecking

Print statistics about consistency checking

printStatistics() - Method in class org.semanticweb.elk.reasoner.reduction.TransitiveReductionFactory

Print statistics about the transitive reduction stage

printStatistics() - Method in class org.semanticweb.elk.reasoner.saturation.ClassExpressionNoInputSaturation

Print statistics about the saturation computation

printStatistics() - Method in class org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturation

Print statistics about the saturation computation

printStatistics() - Method in class org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturationFactory

Print statistics about the saturation

printStatistics() - Method in class org.semanticweb.elk.reasoner.taxonomy.ClassTaxonomyComputation

Print statistics about taxonomy computation

printStatistics() - Method in class org.semanticweb.elk.reasoner.taxonomy.ClassTaxonomyComputationFactory

Print statistics about taxonomy construction

printStatistics() - Method in class org.semanticweb.elk.reasoner.taxonomy.InstanceTaxonomyComputation

Print statistics about taxonomy computation

printStatistics() - Method in class org.semanticweb.elk.reasoner.taxonomy.InstanceTaxonomyComputationFactory

Print statistics about taxonomy construction

process() - Method in class org.semanticweb.elk.reasoner.consistency.ConsistencyChecking

process() - Method in class org.semanticweb.elk.reasoner.ReasonerComputation

Process the given input concurrently using the provided input processor.

process() - Method in class org.semanticweb.elk.reasoner.reduction.TransitiveReductionFactory.Engine

process() - Method in class org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturationFactory.Engine

process() - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationFactory.BaseEngine

process(Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationFactory.BaseEngine

Process all scheduled items in the given context

process() - Method in class org.semanticweb.elk.reasoner.taxonomy.ClassTaxonomyComputationFactory.Engine

process() - Method in class org.semanticweb.elk.reasoner.taxonomy.InstanceTaxonomyComputationFactory.Engine

processInstanceTaxomomy(InstanceTaxonomy<ElkClass, ElkNamedIndividual>, Writer) - Static method in class org.semanticweb.elk.reasoner.taxonomy.TaxonomyPrinter

processTaxomomy(Taxonomy<ElkClass>, Appendable) - Static method in class org.semanticweb.elk.reasoner.taxonomy.TaxonomyPrinter

Process a taxonomy and write a normalized serialization.

produce(Context, Conclusion) - Method in interface org.semanticweb.elk.reasoner.saturation.BasicSaturationStateWriter

ProgressMonitor - Interface in org.semanticweb.elk.reasoner

Interface for monitoring progress in processes that can take some time to complete.

progressMonitor - Variable in class org.semanticweb.elk.reasoner.Reasoner

The progress monitor that is used for reporting progress.

progressMonitor - Variable in class org.semanticweb.elk.reasoner.ReasonerComputation

the progress monitor used to report the progress of this computation

Propagation - Class in org.semanticweb.elk.reasoner.saturation.conclusions

Propagation(IndexedPropertyChain, IndexedClassExpression) - Constructor for class org.semanticweb.elk.reasoner.saturation.conclusions.Propagation

Propagation.ThisBackwardLinkRule - Class in org.semanticweb.elk.reasoner.saturation.conclusions

property - Variable in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDataHasValue

property - Variable in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectSomeValuesFrom

PropertyHierarchyCompositionComputation - Class in org.semanticweb.elk.reasoner.saturation.properties

A ReasonerComputation that computes relevant sub-properties and composition maps

PropertyHierarchyCompositionComputation(OntologyIndex, ComputationExecutor, int, ProgressMonitor) - Constructor for class org.semanticweb.elk.reasoner.saturation.properties.PropertyHierarchyCompositionComputation

PropertyHierarchyCompositionComputationFactory - Class in org.semanticweb.elk.reasoner.saturation.properties

PropertyHierarchyCompositionComputationFactory() - Constructor for class org.semanticweb.elk.reasoner.saturation.properties.PropertyHierarchyCompositionComputationFactory

PropertyHierarchyCompositionComputationStage - Class in org.semanticweb.elk.reasoner.stages

PropertyHierarchyCompositionComputationStage(AbstractReasonerState, AbstractReasonerStage...) - Constructor for class org.semanticweb.elk.reasoner.stages.PropertyHierarchyCompositionComputationStage

PropertyReflexivityComputationStage - Class in org.semanticweb.elk.reasoner.stages

PropertyReflexivityComputationStage(AbstractReasonerState, AbstractReasonerStage...) - Constructor for class org.semanticweb.elk.reasoner.stages.PropertyReflexivityComputationStage

R

Reasoner - Class in org.semanticweb.elk.reasoner

The class for querying the results of the reasoning tasks for a given ontology.

Reasoner(AxiomLoader, ReasonerStageExecutor, ExecutorService) - Constructor for class org.semanticweb.elk.reasoner.Reasoner

Constructor.

REASONER_CONFIG_PREFIX - Static variable in class org.semanticweb.elk.reasoner.config.ReasonerConfiguration

ReasonerComputation<I,F extends InputProcessorFactory<I,?>> - Class in org.semanticweb.elk.reasoner

A ConcurrentComputation used for executing of reasoner stages

ReasonerComputation(Collection<? extends I>, F, ComputationExecutor, int, ProgressMonitor) - Constructor for class org.semanticweb.elk.reasoner.ReasonerComputation

ReasonerConfiguration - Class in org.semanticweb.elk.reasoner.config

Configuration for the reasoner

ReasonerConfiguration() - Constructor for class org.semanticweb.elk.reasoner.config.ReasonerConfiguration

ReasonerFactory - Class in org.semanticweb.elk.reasoner

The main factory to instantiate Reasoner

ReasonerFactory() - Constructor for class org.semanticweb.elk.reasoner.ReasonerFactory

ReasonerJob<I,O> - Class in org.semanticweb.elk.reasoner

A general class for jobs submitted for computation.

ReasonerJob(I) - Constructor for class org.semanticweb.elk.reasoner.ReasonerJob

Creating a job instance for the given input.

ReasonerStage - Interface in org.semanticweb.elk.reasoner.stages

A basic computation unit that can be executed by a reasoner.

ReasonerStageExecutor - Interface in org.semanticweb.elk.reasoner.stages

An abstract interface for defining how reasoner stages are executed by the reasoner.

ReasonerStageManager - Class in org.semanticweb.elk.reasoner.stages

Defines all ReasonerStages used by the reasoner and dependencies between them.

ReflexivePropertyComputation - Class in org.semanticweb.elk.reasoner.saturation.properties

A ReasonerComputation that computes reflexive IndexedPropertyChains

ReflexivePropertyComputation(OntologyIndex, ComputationExecutor, int, ProgressMonitor) - Constructor for class org.semanticweb.elk.reasoner.saturation.properties.ReflexivePropertyComputation

ReflexivePropertyComputationFactory - Class in org.semanticweb.elk.reasoner.saturation.properties

The factory of engines that compute implied reflexivity of object property (chains).

ReflexivePropertyComputationFactory() - Constructor for class org.semanticweb.elk.reasoner.saturation.properties.ReflexivePropertyComputationFactory

registerAxiomLoader(AxiomLoader) - Method in class org.semanticweb.elk.reasoner.stages.AbstractReasonerState

remove(IndexedClassExpression, ChainableRule<Context>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DifferentialIndex

remove(IndexedObject) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DifferentialIndex

remove(IndexedClassExpression, ChainableRule<Context>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DirectIndex

remove(IndexedObject) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DirectIndex

remove(IndexedObject) - Method in interface org.semanticweb.elk.reasoner.indexing.hierarchy.ModifiableOntologyIndex

Removes the given IndexedObject from this OntologyIndex

remove(IndexedClassExpression, ChainableRule<Context>) - Method in interface org.semanticweb.elk.reasoner.indexing.hierarchy.ModifiableOntologyIndex

Removes an existing context rule for the given IndexedClassExpression

removeBackwardLink(BackwardLink) - Method in interface org.semanticweb.elk.reasoner.saturation.context.Context

removeBackwardLink(BackwardLink) - Method in class org.semanticweb.elk.reasoner.saturation.ContextImpl

removeClass(ElkClass) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DifferentialIndex

removeClass(ElkClass) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DirectIndex

removeClass(ElkClass) - Method in interface org.semanticweb.elk.reasoner.indexing.hierarchy.ModifiableOntologyIndex

Removes the given ElkClass from the signature of this OntologyIndex

removeContext(Context) - Method in interface org.semanticweb.elk.reasoner.saturation.ExtendedSaturationStateWriter

removeContextInitRule(ChainableRule<Context>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DifferentialIndex

removeContextInitRule(ChainableRule<Context>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DirectIndex

removeContextInitRule(ChainableRule<Context>) - Method in interface org.semanticweb.elk.reasoner.indexing.hierarchy.ModifiableOntologyIndex

Removes an existing context initialization for this OntologyIndex

removeDirectInstanceNode(UpdateableInstanceNode<ElkClass, ElkNamedIndividual>) - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTypeNode

removeDirectSubNode(UpdateableTaxonomyNode<T>) - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTaxonomyNode

removeDirectSuperNode(UpdateableTaxonomyNode<T>) - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTaxonomyNode

removeDirectTypeNode(UpdateableTypeNode<ElkClass, ElkNamedIndividual>) - Method in class org.semanticweb.elk.reasoner.taxonomy.IndividualNode

removeDirectTypeNode(UpdateableTypeNode<T, I>) - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.UpdateableInstanceNode

removeDisjointnessAxiom(IndexedDisjointnessAxiom) - Method in interface org.semanticweb.elk.reasoner.saturation.context.Context

Removes one instance of the given IndexedDisjointnessAxiom from this Context.

removeDisjointnessAxiom(IndexedDisjointnessAxiom) - Method in class org.semanticweb.elk.reasoner.saturation.ContextImpl

removeFrom(Chain<ChainableRule<Context>>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DirectIndex.ContextRootInitializationRule

removeFrom(Chain<ChainableRule<Context>>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClass.OwlThingContextInitializationRule

removeFrom(Chain<ChainableRule<Context>>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDisjointnessAxiom.ThisCompositionRule

removeFrom(Chain<ChainableRule<Context>>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDisjointnessAxiom.ThisContradictionRule

removeFrom(Chain<ChainableRule<Context>>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectComplementOf.ThisCompositionRule

removeFrom(Chain<ChainableRule<Context>>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectIntersectionOf.ThisCompositionRule

removeFrom(Chain<ChainableRule<Context>>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectSomeValuesFrom.ThisCompositionRule

removeFrom(Chain<ChainableRule<Context>>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectUnionOf.ThisCompositionRule

removeFrom(Chain<ChainableRule<Context>>) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedSubClassOfAxiom.ThisCompositionRule

removeFromContextBackwardLinkRule(Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ForwardLink

removeFromContextBackwardLinkRule(Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.Propagation

removeInstanceNode(ElkNamedIndividual) - Method in class org.semanticweb.elk.reasoner.taxonomy.ConcurrentInstanceTaxonomy

removeInstanceNode(I) - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.UpdateableInstanceTaxonomy

removeLeftChain(IndexedBinaryPropertyChain) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectProperty

Adds the given IndexedBinaryPropertyChain from the list of IndexedBinaryPropertyChain that contain this IndexedPropertyChain in the left-hand-side

removeLinks() - Method in interface org.semanticweb.elk.reasoner.saturation.context.Context

removes links to the next and previous contexts, effectively removing this Context from the chain of contexts

removeLinks() - Method in class org.semanticweb.elk.reasoner.saturation.ContextImpl

removeNamedIndividual(ElkNamedIndividual) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DifferentialIndex

removeNamedIndividual(ElkNamedIndividual) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DirectIndex

removeNamedIndividual(ElkNamedIndividual) - Method in interface org.semanticweb.elk.reasoner.indexing.hierarchy.ModifiableOntologyIndex

Removes the given ElkNamedIndividual from the signature of this OntologyIndex

removeNode(UpdateableTaxonomyNode<ElkClass>) - Method in class org.semanticweb.elk.reasoner.taxonomy.ConcurrentClassTaxonomy

removeNode(UpdateableTaxonomyNode<ElkClass>) - Method in class org.semanticweb.elk.reasoner.taxonomy.ConcurrentInstanceTaxonomy

removeNode(UpdateableTaxonomyNode<T>) - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTaxonomy

removeReflexiveProperty(IndexedObjectProperty) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DirectIndex

removeReflexiveProperty(IndexedObjectProperty) - Method in interface org.semanticweb.elk.reasoner.indexing.hierarchy.ModifiableOntologyIndex

Retracts reflexivity of the given IndexedObjectProperty

removeRightChain(IndexedBinaryPropertyChain) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedPropertyChain

Adds the given IndexedBinaryPropertyChain from the list of IndexedBinaryPropertyChain that contain this IndexedPropertyChain in the right-hand-side

removeSubsumer(IndexedClassExpression) - Method in interface org.semanticweb.elk.reasoner.saturation.context.Context

Removes the given IndexedClassExpression from the subsumers of the root IndexedClassExpression of this Context.

removeSubsumer(IndexedClassExpression) - Method in class org.semanticweb.elk.reasoner.saturation.ContextImpl

removeToldSubObjectProperty(IndexedPropertyChain) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectProperty

removeToldSuperClassExpression(IndexedClassExpression) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedSubClassOfAxiom.ThisCompositionRule

removeToldSuperObjectProperty(IndexedObjectProperty) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedPropertyChain

Removes the given IndexedObjectProperty ones from the list of super-roles of this IndexedPropertyChain

REPLACE_CHAINS_BY_TOLD_SUPER_PROPERTIES - Static variable in class org.semanticweb.elk.reasoner.saturation.properties.SaturatedPropertyChain

If set to true, then binary property chains that do not occur on the right of another chain are skipped in the derivation and replaced directly by all their told super-properties.

report(int, int) - Method in class org.semanticweb.elk.reasoner.DummyProgressMonitor

report(int, int) - Method in interface org.semanticweb.elk.reasoner.ProgressMonitor

Reports the current progress.

reset() - Method in class org.semanticweb.elk.reasoner.incremental.IncrementalProcessingStatistics

reset() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionCounter

Reset all counters to zero.

reset() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionStatistics

Reset all timers to zero.

reset() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionTimer

Reset all times to zero.

reset() - Method in class org.semanticweb.elk.reasoner.saturation.context.ContextStatistics

Reset all timers to zero.

reset() - Method in class org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationCounter

Reset all counters to zero.

reset() - Method in class org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationTimer

Reset all timers zero.

reset() - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationCounter

Reset all counters to zero.

reset() - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationTimer

Reset all timers to zero.

reset() - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleStatistics

Reset all timers to zero.

reset() - Method in class org.semanticweb.elk.reasoner.saturation.SaturationStatistics

resetAxiomLoading() - Method in class org.semanticweb.elk.reasoner.stages.AbstractReasonerState

Reset the axiom loading stage and all subsequent stages

resetContext() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClassExpression

Resets the corresponding context to null.

resetContexts() - Method in interface org.semanticweb.elk.reasoner.saturation.BasicSaturationStateWriter

resetPropertySaturation() - Method in class org.semanticweb.elk.reasoner.stages.AbstractReasonerState

Reset the property saturation stage and all subsequent stages

resetSaturated() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedPropertyChain

Resets the corresponding SaturatedObjecProperty to null.

RestartingStageExecutor - Class in org.semanticweb.elk.reasoner.stages

A ReasonerStageExecutor which refuses to interrupt: it will restart any interrupted stage.

RestartingStageExecutor() - Constructor for class org.semanticweb.elk.reasoner.stages.RestartingStageExecutor

Rule<E> - Interface in org.semanticweb.elk.reasoner.saturation.rules

A rule that can be applied to elements of a particular type within a BasicSaturationStateWriter.

RuleApplicationCounter - Class in org.semanticweb.elk.reasoner.saturation.rules

An object which can be used to measure the methods invocations of a RuleApplicationVisitor.

RuleApplicationCounter() - Constructor for class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationCounter

RuleApplicationCounterVisitor - Class in org.semanticweb.elk.reasoner.saturation.rules

A RuleApplicationVisitor wrapper for a given RuleApplicationVisitor that additionally records the number of invocations of the methods using the given RuleApplicationCounter.

RuleApplicationCounterVisitor(RuleApplicationVisitor, RuleApplicationCounter) - Constructor for class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationCounterVisitor

Creates a new DecompositionRuleApplicationVisitor that executes the corresponding methods of the given DecompositionRuleApplicationVisitor and counts the number of invocations of the corresponding methods using the given RuleApplicationCounter.

RuleApplicationFactory - Class in org.semanticweb.elk.reasoner.saturation.rules

The factory for engines for concurrently computing the saturation of class expressions.

RuleApplicationFactory(SaturationState) - Constructor for class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationFactory

RuleApplicationFactory(SaturationState, boolean) - Constructor for class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationFactory

RuleApplicationFactory.BaseEngine - Class in org.semanticweb.elk.reasoner.saturation.rules

This engine has all the functionality for applying rules but needs to be extended if new contexts may need to be created

RuleApplicationFactory.BaseEngine(SaturationStatistics) - Constructor for class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationFactory.BaseEngine

RuleApplicationFactory.DefaultEngine - Class in org.semanticweb.elk.reasoner.saturation.rules

Default rule application engine which can create new contexts via ExtendedSaturationStateWriter (either directly when a new IndexedClassExpression is submitted or during decomposition

RuleApplicationFactory.DefaultEngine(ExtendedSaturationStateWriter, SaturationStatistics) - Constructor for class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationFactory.DefaultEngine

RuleApplicationFactory.DefaultEngine(ContextCreationListener, ContextModificationListener) - Constructor for class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationFactory.DefaultEngine

RuleApplicationTimer - Class in org.semanticweb.elk.reasoner.saturation.rules

An object which can be used to measure time spent within a methods of a RuleApplicationVisitor.

RuleApplicationTimer() - Constructor for class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationTimer

RuleApplicationTimerVisitor - Class in org.semanticweb.elk.reasoner.saturation.rules

A RuleApplicationVisitor wrapper for a given RuleApplicationVisitor that additionally records the time spend within methods in the given RuleApplicationTimer.

RuleApplicationTimerVisitor(RuleApplicationVisitor, RuleApplicationTimer) - Constructor for class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationTimerVisitor

Creates a new DecompositionRuleApplicationVisitor that executes the corresponding methods of the given DecompositionRuleApplicationVisitor and measures the time spent within the corresponding methods using the given RuleApplicationTimer.

RuleApplicationVisitor - Interface in org.semanticweb.elk.reasoner.saturation.rules

ruleCounter - Variable in class org.semanticweb.elk.reasoner.saturation.rules.RuleStatistics

RuleDeapplicationFactory - Class in org.semanticweb.elk.reasoner.saturation.rules

Creates an engine which applies rules backwards, e.g., removes conclusions from the context instead of adding them

RuleDeapplicationFactory(SaturationState, boolean) - Constructor for class org.semanticweb.elk.reasoner.saturation.rules.RuleDeapplicationFactory

RuleDeapplicationFactory.DeapplicationEngine - Class in org.semanticweb.elk.reasoner.saturation.rules

RuleDeapplicationFactory.DeapplicationEngine(ContextModificationListener) - Constructor for class org.semanticweb.elk.reasoner.saturation.rules.RuleDeapplicationFactory.DeapplicationEngine

RuleEngine - Interface in org.semanticweb.elk.reasoner.saturation.rules

A common interface for engines used in the saturation for IndexedClassExpressions.

RuleStatistics - Class in org.semanticweb.elk.reasoner.saturation.rules

The object that is used to measure the number of applied rules and time spent inside rules.

RuleStatistics() - Constructor for class org.semanticweb.elk.reasoner.saturation.rules.RuleStatistics

ruleTimer - Variable in class org.semanticweb.elk.reasoner.saturation.rules.RuleStatistics

S

SaturatedPropertyChain - Class in org.semanticweb.elk.reasoner.saturation.properties

This object is used for fast retrieval of property inclusions and compositions which are needed during saturation of class expressions.

SaturatedPropertyChain(IndexedPropertyChain) - Constructor for class org.semanticweb.elk.reasoner.saturation.properties.SaturatedPropertyChain

SaturationJob<I extends IndexedClassExpression> - Class in org.semanticweb.elk.reasoner.saturation

SaturationJob(I) - Constructor for class org.semanticweb.elk.reasoner.saturation.SaturationJob

SaturationState - Interface in org.semanticweb.elk.reasoner.saturation

Represents the state of saturation which can be changed by applying reasoning rules and processing their conclusions.

SaturationStateFactory - Class in org.semanticweb.elk.reasoner.saturation

A simple factory for creating saturation states

SaturationStateFactory() - Constructor for class org.semanticweb.elk.reasoner.saturation.SaturationStateFactory

SaturationStatistics - Class in org.semanticweb.elk.reasoner.saturation

SaturationStatistics() - Constructor for class org.semanticweb.elk.reasoner.saturation.SaturationStatistics

SaturationUtils - Class in org.semanticweb.elk.reasoner.saturation

Utilities for common saturation tasks

SaturationUtils() - Constructor for class org.semanticweb.elk.reasoner.saturation.SaturationUtils

setAllowFreshEntities(boolean) - Method in class org.semanticweb.elk.reasoner.Reasoner

Set if fresh entities should be allowed.

setAllowIncrementalMode(boolean) - Method in class org.semanticweb.elk.reasoner.stages.AbstractReasonerState

setAllowIncrementalTaxonomy(boolean) - Method in class org.semanticweb.elk.reasoner.stages.AbstractReasonerState

setConfigurationOptions(ReasonerConfiguration) - Method in class org.semanticweb.elk.reasoner.Reasoner

This supposed to be the central place where the reasoner gets its configuration options

setContext(Context) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClassExpression

Sets the corresponding context if none was yet assigned.

setInconsistent(boolean) - Method in interface org.semanticweb.elk.reasoner.saturation.context.Context

Sets the inconsistency of this Context to the given value.

setInconsistent(boolean) - Method in class org.semanticweb.elk.reasoner.saturation.ContextImpl

setIncrementalMode(boolean) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DifferentialIndex

Sets the incremental mode for this DifferentialIndex.

setInterrupt(boolean) - Method in class org.semanticweb.elk.loading.ComposedAxiomLoader

setInterrupt(boolean) - Method in class org.semanticweb.elk.reasoner.reduction.TransitiveReductionFactory

setInterrupt(boolean) - Method in class org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturationFactory

setInterrupt(boolean) - Method in class org.semanticweb.elk.reasoner.stages.AbstractReasonerState

setInterrupt(boolean) - Method in class org.semanticweb.elk.reasoner.stages.AbstractStageExecutor

setInterrupt(boolean) - Method in class org.semanticweb.elk.reasoner.stages.AxiomLoadingStage

setInterrupt(boolean) - Method in class org.semanticweb.elk.reasoner.stages.ClassSaturationStage

setInterrupt(boolean) - Method in class org.semanticweb.elk.reasoner.stages.IncrementalAdditionStage

setInterrupt(boolean) - Method in class org.semanticweb.elk.reasoner.stages.IncrementalClassTaxonomyComputationStage

setInterrupt(boolean) - Method in class org.semanticweb.elk.reasoner.stages.IncrementalCompletionStage

setInterrupt(boolean) - Method in class org.semanticweb.elk.reasoner.stages.IncrementalContextCleaningStage

setInterrupt(boolean) - Method in class org.semanticweb.elk.reasoner.stages.IncrementalDeletionStage

setInterrupt(boolean) - Method in class org.semanticweb.elk.reasoner.stages.IncrementalInstanceTaxonomyComputationStage

setInterrupt(boolean) - Method in class org.semanticweb.elk.reasoner.stages.IncrementalOverdeletionPruningStage

setInterrupt(boolean) - Method in class org.semanticweb.elk.reasoner.stages.IncrementalTaxonomyCleaningStage

setInterrupt(boolean) - Method in class org.semanticweb.elk.reasoner.stages.PropertyHierarchyCompositionComputationStage

setInterrupt(boolean) - Method in class org.semanticweb.elk.reasoner.stages.PropertyReflexivityComputationStage

setInterrupt(boolean) - Method in class org.semanticweb.elk.reasoner.taxonomy.ClassTaxonomyComputationFactory

setInterrupt(boolean) - Method in class org.semanticweb.elk.reasoner.taxonomy.InstanceTaxonomyComputationFactory

setMembers(Collection<ElkNamedIndividual>) - Method in class org.semanticweb.elk.reasoner.taxonomy.IndividualNode

setNumberOfWorkers(int) - Method in class org.semanticweb.elk.reasoner.Reasoner

Sets the number of working threads.

setOutput(O) - Method in class org.semanticweb.elk.reasoner.ReasonerJob

Set the output of this job to the given value.

setOutput(TransitiveReductionOutput<R>) - Method in class org.semanticweb.elk.reasoner.reduction.TransitiveReductionJob

setOutput(Context) - Method in class org.semanticweb.elk.reasoner.saturation.SaturationJob

setProgressMonitor(ProgressMonitor) - Method in class org.semanticweb.elk.reasoner.Reasoner

Set the progress monitor that will be used for reporting progress on all potentially long-running operations.

setSaturated(SaturatedPropertyChain) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedPropertyChain

Sets the corresponding SaturatedObjecProperty of this IndexedPropertyChain if none was yet assigned.

setSaturated(boolean) - Method in interface org.semanticweb.elk.reasoner.saturation.context.Context

Marks this Context as saturated.

setSaturated(boolean) - Method in class org.semanticweb.elk.reasoner.saturation.ContextImpl

shutdown(long, TimeUnit) - Method in class org.semanticweb.elk.reasoner.Reasoner

Tries to shut down the reasoner within the specified time

shutdown() - Method in class org.semanticweb.elk.reasoner.Reasoner

Tries to shut down the reasoner within 1 minute

SimpleElkAxiomChange - Class in org.semanticweb.elk.loading

SimpleElkAxiomChange(ElkAxiom, int) - Constructor for class org.semanticweb.elk.loading.SimpleElkAxiomChange

SimpleNode<T extends ElkObject> - Class in org.semanticweb.elk.reasoner.taxonomy.model

SimpleNode(Collection<T>, Comparator<T>) - Constructor for class org.semanticweb.elk.reasoner.taxonomy.model.SimpleNode

SimpleStageExecutor - Class in org.semanticweb.elk.reasoner.stages

A simple ReasonerStageExecutor.

SimpleStageExecutor() - Constructor for class org.semanticweb.elk.reasoner.stages.SimpleStageExecutor

SingletoneInstanceTaxonomy<T extends ElkObject,I extends ElkObject,N extends OrphanTypeNode<T,I>> - Class in org.semanticweb.elk.reasoner.taxonomy

An InstanceTaxonomy consisting of a single TypeNode = top node = bottom node, which has a single InstanceNode.

SingletoneInstanceTaxonomy(N) - Constructor for class org.semanticweb.elk.reasoner.taxonomy.SingletoneInstanceTaxonomy

SingletoneTaxonomy<T extends ElkObject,N extends OrphanNode<T>> - Class in org.semanticweb.elk.reasoner.taxonomy

A Taxonomy consisting of a single node = top node = bottom node.

SingletoneTaxonomy(N) - Constructor for class org.semanticweb.elk.reasoner.taxonomy.SingletoneTaxonomy

Constructs a SingletoneTaxonomy containing the given OrphanNode

size() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectCache

stage() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalAdditionInitializationStage

stage() - Method in class org.semanticweb.elk.reasoner.stages.IncrementalDeletionInitializationStage

start(String) - Method in class org.semanticweb.elk.reasoner.DummyProgressMonitor

start(String) - Method in interface org.semanticweb.elk.reasoner.ProgressMonitor

This method should be called in the beginning of the process.

startMeasurements() - Method in class org.semanticweb.elk.reasoner.incremental.IncrementalProcessingStatistics

startMeasurements() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionStatistics

startMeasurements() - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleStatistics

submit(J) - Method in class org.semanticweb.elk.reasoner.reduction.TransitiveReductionFactory.Engine

submit(J) - Method in class org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturationFactory.Engine

submit(IndexedClassExpression) - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationFactory.DefaultEngine

submit(IndexedClassExpression) - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleDeapplicationFactory.DeapplicationEngine

submit(Collection<IndexedClass>) - Method in class org.semanticweb.elk.reasoner.taxonomy.ClassTaxonomyComputationFactory.Engine

submit(IndexedIndividual) - Method in class org.semanticweb.elk.reasoner.taxonomy.InstanceTaxonomyComputationFactory.Engine

Subsumer - Class in org.semanticweb.elk.reasoner.saturation.conclusions

A Conclusion representing a subsumer IndexedClassExpression of the root of the Context for which it is produced.

Subsumer(IndexedClassExpression) - Constructor for class org.semanticweb.elk.reasoner.saturation.conclusions.Subsumer

subtract(IndexedObjectCache) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectCache

Remove all object of the given IndexedObjectCache from this IndexedObjectCache

T

takeToDo() - Method in interface org.semanticweb.elk.reasoner.saturation.context.Context

Removes and returns one of the unprocessed Conclusions of this context.

takeToDo() - Method in class org.semanticweb.elk.reasoner.saturation.ContextImpl

taxonomy - Variable in class org.semanticweb.elk.reasoner.taxonomy.model.FreshInstanceNode

taxonomy - Variable in class org.semanticweb.elk.reasoner.taxonomy.model.FreshTaxonomyNode

taxonomy - Variable in class org.semanticweb.elk.reasoner.taxonomy.model.FreshTypeNode

Taxonomy<T extends ElkObject> - Interface in org.semanticweb.elk.reasoner.taxonomy.model

A hierarchy of certain ElkObjects.

TaxonomyCleaning - Class in org.semanticweb.elk.reasoner.taxonomy

Cleans both class and instance taxonomies concurrently

TaxonomyCleaning(Collection<IndexedClassEntity>, ClassTaxonomyState, InstanceTaxonomyState, ComputationExecutor, int, ProgressMonitor) - Constructor for class org.semanticweb.elk.reasoner.taxonomy.TaxonomyCleaning

TaxonomyHasher - Class in org.semanticweb.elk.reasoner.taxonomy.hashing

A class for computing the structural hash of a Taxonomy.

TaxonomyHasher() - Constructor for class org.semanticweb.elk.reasoner.taxonomy.hashing.TaxonomyHasher

TaxonomyNode<T extends ElkObject> - Interface in org.semanticweb.elk.reasoner.taxonomy.model

A node in a taxonomy.

TaxonomyNodeHasher - Class in org.semanticweb.elk.reasoner.taxonomy.hashing

Helper class for hashing TaxonomyNodes based on getMembers(), getDirectSubNodes(), and getDirectSuperNodes().

TaxonomyNodeUtils - Class in org.semanticweb.elk.reasoner.taxonomy.model

A collection of utility methods, mostly for the frequent use case of recursive traversal

TaxonomyNodeUtils() - Constructor for class org.semanticweb.elk.reasoner.taxonomy.model.TaxonomyNodeUtils

TaxonomyNodeVisitor<T extends ElkObject> - Interface in org.semanticweb.elk.reasoner.taxonomy

TaxonomyPrinter - Class in org.semanticweb.elk.reasoner.taxonomy

Class of static helper functions for printing and hashing a taxonomy.

TaxonomyPrinter() - Constructor for class org.semanticweb.elk.reasoner.taxonomy.TaxonomyPrinter

timeContextProcess - Variable in class org.semanticweb.elk.reasoner.saturation.context.ContextStatistics

the time spent on processing

TimedConclusionVisitor - Class in org.semanticweb.elk.reasoner.saturation.conclusions

TimedConclusionVisitor(ConclusionTimer, ConclusionVisitor<?>) - Constructor for class org.semanticweb.elk.reasoner.saturation.conclusions.TimedConclusionVisitor

timeSubClassOfAxiomCompositionRule - Variable in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationTimer

timer for IndexedSubClassOfAxiom.ThisCompositionRule

todo - Variable in class org.semanticweb.elk.reasoner.ReasonerComputation

the inputs to be processed

toldSubProperties - Variable in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectProperty

Correctness of axioms deletions requires that toldSubProperties is a List.

toString() - Method in class org.semanticweb.elk.reasoner.config.NumberOfWorkers

toString() - Method in enum org.semanticweb.elk.reasoner.incremental.IncrementalStages

toString() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObject

toString() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedSubClassOfAxiom.ThisCompositionRule

toString() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.BackwardLink

toString() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.Contradiction

toString() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.DisjointnessAxiom

toString() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ForwardLink

toString() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.Propagation

toString() - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.Subsumer

toString() - Method in class org.semanticweb.elk.reasoner.saturation.ContextImpl

toString() - Method in class org.semanticweb.elk.reasoner.taxonomy.IndividualNode

toString() - Method in class org.semanticweb.elk.reasoner.taxonomy.model.SimpleNode

toStringStructural() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedBinaryPropertyChain

toStringStructural() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClass

toStringStructural() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDataHasValue

toStringStructural() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDisjointnessAxiom

toStringStructural() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedIndividual

toStringStructural() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectComplementOf

toStringStructural() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectIntersectionOf

toStringStructural() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectProperty

toStringStructural() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectSomeValuesFrom

toStringStructural() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectUnionOf

toStringStructural() - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedSubClassOfAxiom

transitiveReductionEngine - Variable in class org.semanticweb.elk.reasoner.taxonomy.ClassTaxonomyComputationFactory.Engine

The transitive reduction engine used in the taxonomy construction

transitiveReductionEngine - Variable in class org.semanticweb.elk.reasoner.taxonomy.InstanceTaxonomyComputationFactory.Engine

The transitive reduction engine used in the taxonomy construction

TransitiveReductionFactory<R extends IndexedClassExpression,J extends TransitiveReductionJob<R>> - Class in org.semanticweb.elk.reasoner.reduction

The factory for engines that concurrently perform the transitive reduction of the derived subsumption hierarchy between classes.

TransitiveReductionFactory(SaturationState, int, TransitiveReductionListener<J>) - Constructor for class org.semanticweb.elk.reasoner.reduction.TransitiveReductionFactory

Creating a new transitive reduction engine for the input ontology index and a listener for executing callback functions.

TransitiveReductionFactory.Engine - Class in org.semanticweb.elk.reasoner.reduction

TransitiveReductionJob<R extends IndexedClassExpression> - Class in org.semanticweb.elk.reasoner.reduction

The type of the transitive reduction job.

TransitiveReductionJob(R) - Constructor for class org.semanticweb.elk.reasoner.reduction.TransitiveReductionJob

TransitiveReductionListener<J extends TransitiveReductionJob<?>> - Interface in org.semanticweb.elk.reasoner.reduction

A listener to be used with the TransitiveReductionFactory.

TransitiveReductionOutput<R extends IndexedClassExpression> - Class in org.semanticweb.elk.reasoner.reduction

The abstract class representing the output of the transitive reduction process for a given indexed class expression.

TransitiveReductionOutputEquivalent<R extends IndexedClassExpression> - Class in org.semanticweb.elk.reasoner.reduction

The result of the transitive reduction for satisfiable indexed class expression; it contains information about equivalent classes.

TransitiveReductionOutputEquivalentDirect<R extends IndexedClassExpression> - Class in org.semanticweb.elk.reasoner.reduction

The result of the transitive reduction for a satisfiable IndexedClassExpression; it contains information about its equivalent classes and direct subsumers.

TransitiveReductionOutputEquivalentDirect(R) - Constructor for class org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutputEquivalentDirect

TransitiveReductionOutputUnsatisfiable<R extends IndexedClassExpression> - Class in org.semanticweb.elk.reasoner.reduction

The result of the transitive reduction for satisfiable IndexedClassExpressions.

TransitiveReductionOutputVisitor<R extends IndexedClassExpression> - Interface in org.semanticweb.elk.reasoner.reduction

trySetModified(boolean) - Method in class org.semanticweb.elk.reasoner.taxonomy.IndividualNode

trySetModified(boolean) - Method in interface org.semanticweb.elk.reasoner.taxonomy.model.UpdateableNode

TypeNode<T extends ElkObject,I extends ElkObject> - Interface in org.semanticweb.elk.reasoner.taxonomy.model

A node in a taxonomy that has instances.

TypeNodeHasher - Class in org.semanticweb.elk.reasoner.taxonomy.hashing

Helper class for hashing TypeNodes based on getMembers(), getDirectSubNodes(), getDirectSuperNodes(), and getDirectInstanceNodes().

U

UNSUPPORTED_FEATURE_TREATMENT - Static variable in class org.semanticweb.elk.reasoner.config.ReasonerConfiguration

UnsupportedFeatureTreatment - Enum in org.semanticweb.elk.reasoner.config

UpdateableBottomNode<T extends ElkObject> - Interface in org.semanticweb.elk.reasoner.taxonomy.model

Should be implemented by bottom nodes in updateable taxonomies

UpdateableInstanceNode<T extends ElkObject,I extends ElkObject> - Interface in org.semanticweb.elk.reasoner.taxonomy.model

UpdateableInstanceTaxonomy<T extends ElkObject,I extends ElkObject> - Interface in org.semanticweb.elk.reasoner.taxonomy.model

UpdateableNode<T extends ElkObject> - Interface in org.semanticweb.elk.reasoner.taxonomy.model

UpdateableTaxonomy<T extends ElkObject> - Interface in org.semanticweb.elk.reasoner.taxonomy.model

UpdateableTaxonomyNode<T extends ElkObject> - Interface in org.semanticweb.elk.reasoner.taxonomy.model

UpdateableTypeNode<T extends ElkObject,I extends ElkObject> - Interface in org.semanticweb.elk.reasoner.taxonomy.model

updateAndCheckOccurrenceNumbers(int) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedPropertyChain

updateOccurrenceNumber(int) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectProperty

updateOccurrenceNumbers(ModifiableOntologyIndex, int, int, int) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClass

updateOccurrenceNumbers(ModifiableOntologyIndex, int, int, int) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDataHasValue

updateOccurrenceNumbers(ModifiableOntologyIndex, int) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDisjointnessAxiom

updateOccurrenceNumbers(ModifiableOntologyIndex, int, int, int) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedIndividual

updateOccurrenceNumbers(ModifiableOntologyIndex, int, int, int) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectIntersectionOf

updateOccurrenceNumbers(ModifiableOntologyIndex, int, int, int) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectSomeValuesFrom

updateOccurrenceNumbers(ModifiableOntologyIndex, int) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedSubClassOfAxiom

useIncrementalTaxonomy() - Method in class org.semanticweb.elk.reasoner.stages.AbstractReasonerState

V

valueOf(String) - Static method in enum org.semanticweb.elk.reasoner.config.UnsupportedFeatureTreatment

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.semanticweb.elk.reasoner.incremental.IncrementalStages

Returns the enum constant of this type with the specified name.

values() - Static method in enum org.semanticweb.elk.reasoner.config.UnsupportedFeatureTreatment

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.semanticweb.elk.reasoner.incremental.IncrementalStages

Returns an array containing the constants of this enum type, in the order they are declared.

visit(IndexedClass) - Method in class org.semanticweb.elk.reasoner.indexing.entries.IndexedEntryConverter

visit(IndexedObjectComplementOf) - Method in class org.semanticweb.elk.reasoner.indexing.entries.IndexedEntryConverter

visit(IndexedObjectIntersectionOf) - Method in class org.semanticweb.elk.reasoner.indexing.entries.IndexedEntryConverter

visit(IndexedObjectSomeValuesFrom) - Method in class org.semanticweb.elk.reasoner.indexing.entries.IndexedEntryConverter

visit(IndexedObjectUnionOf) - Method in class org.semanticweb.elk.reasoner.indexing.entries.IndexedEntryConverter

visit(IndexedDataHasValue) - Method in class org.semanticweb.elk.reasoner.indexing.entries.IndexedEntryConverter

visit(IndexedObjectProperty) - Method in class org.semanticweb.elk.reasoner.indexing.entries.IndexedEntryConverter

visit(IndexedBinaryPropertyChain) - Method in class org.semanticweb.elk.reasoner.indexing.entries.IndexedEntryConverter

visit(IndexedIndividual) - Method in class org.semanticweb.elk.reasoner.indexing.entries.IndexedEntryConverter

visit(IndexedSubClassOfAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.entries.IndexedEntryConverter

visit(IndexedDisjointnessAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.entries.IndexedEntryConverter

visit(ElkEquivalentObjectPropertiesAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractElkAxiomIndexerVisitor

Reduces equivalent object properties to subproperty axioms.

visit(ElkObjectPropertyDomainAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractElkAxiomIndexerVisitor

visit(ElkReflexiveObjectPropertyAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractElkAxiomIndexerVisitor

visit(ElkSubObjectPropertyOfAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractElkAxiomIndexerVisitor

visit(ElkTransitiveObjectPropertyAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractElkAxiomIndexerVisitor

visit(ElkEquivalentClassesAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractElkAxiomIndexerVisitor

visit(ElkSubClassOfAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractElkAxiomIndexerVisitor

visit(ElkDisjointClassesAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractElkAxiomIndexerVisitor

visit(ElkClassAssertionAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractElkAxiomIndexerVisitor

visit(ElkObjectPropertyAssertionAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractElkAxiomIndexerVisitor

Reduces property assertions to class assertions with ObjectHasValue.

visit(ElkDeclarationAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractElkAxiomIndexerVisitor

Declares the corresponding entity

visit(ElkClass) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractIndexObjectConverter

visit(ElkObjectAllValuesFrom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractIndexObjectConverter

visit(ElkObjectComplementOf) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractIndexObjectConverter

visit(ElkObjectExactCardinality) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractIndexObjectConverter

visit(ElkObjectExactCardinalityQualified) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractIndexObjectConverter

visit(ElkObjectHasSelf) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractIndexObjectConverter

visit(ElkObjectHasValue) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractIndexObjectConverter

visit(ElkObjectIntersectionOf) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractIndexObjectConverter

visit(ElkObjectMaxCardinality) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractIndexObjectConverter

visit(ElkObjectMaxCardinalityQualified) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractIndexObjectConverter

visit(ElkObjectMinCardinality) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractIndexObjectConverter

visit(ElkObjectMinCardinalityQualified) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractIndexObjectConverter

visit(ElkObjectOneOf) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractIndexObjectConverter

visit(ElkObjectSomeValuesFrom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractIndexObjectConverter

visit(ElkObjectUnionOf) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractIndexObjectConverter

visit(ElkDataHasValue) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractIndexObjectConverter

visit(ElkDataMaxCardinality) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractIndexObjectConverter

visit(ElkDataMaxCardinalityQualified) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractIndexObjectConverter

visit(ElkDataMinCardinality) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractIndexObjectConverter

visit(ElkDataMinCardinalityQualified) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractIndexObjectConverter

visit(ElkDataExactCardinality) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractIndexObjectConverter

visit(ElkDataExactCardinalityQualified) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractIndexObjectConverter

visit(ElkDataSomeValuesFrom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractIndexObjectConverter

visit(ElkDataAllValuesFrom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractIndexObjectConverter

visit(ElkObjectInverseOf) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractIndexObjectConverter

visit(ElkObjectProperty) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractIndexObjectConverter

visit(ElkObjectPropertyChain) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractIndexObjectConverter

visit(ElkAnonymousIndividual) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractIndexObjectConverter

visit(ElkNamedIndividual) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractIndexObjectConverter

visit(ElkAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.ChangeIndexingProcessor

visit(ElkDeclarationAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

visit(ElkDisjointClassesAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

visit(ElkDisjointUnionAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

visit(ElkEquivalentClassesAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

visit(ElkSubClassOfAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

visit(ElkAsymmetricObjectPropertyAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

visit(ElkDisjointObjectPropertiesAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

visit(ElkEquivalentObjectPropertiesAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

visit(ElkFunctionalObjectPropertyAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

visit(ElkInverseFunctionalObjectPropertyAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

visit(ElkInverseObjectPropertiesAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

visit(ElkIrreflexiveObjectPropertyAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

visit(ElkObjectPropertyDomainAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

visit(ElkObjectPropertyRangeAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

visit(ElkReflexiveObjectPropertyAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

visit(ElkSubObjectPropertyOfAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

visit(ElkSymmetricObjectPropertyAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

visit(ElkTransitiveObjectPropertyAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

visit(ElkDataPropertyDomainAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

visit(ElkDataPropertyRangeAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

visit(ElkDisjointDataPropertiesAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

visit(ElkEquivalentDataPropertiesAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

visit(ElkFunctionalDataPropertyAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

visit(ElkSubDataPropertyOfAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

visit(ElkDatatypeDefinitionAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

visit(ElkHasKeyAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

visit(ElkClassAssertionAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

visit(ElkDataPropertyAssertionAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

visit(ElkDifferentIndividualsAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

visit(ElkNegativeDataPropertyAssertionAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

visit(ElkNegativeObjectPropertyAssertionAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

visit(ElkObjectPropertyAssertionAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

visit(ElkSameIndividualAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

visit(ElkSubAnnotationPropertyOfAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

visit(ElkAnnotationPropertyDomainAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

visit(ElkAnnotationPropertyRangeAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

visit(ElkAnnotationAssertionAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

visit(ElkSWRLRule) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor

visit(IndexedClass) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectCache

visit(IndexedIndividual) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectCache

visit(IndexedObjectComplementOf) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectCache

visit(IndexedObjectIntersectionOf) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectCache

visit(IndexedObjectSomeValuesFrom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectCache

visit(IndexedObjectUnionOf) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectCache

visit(IndexedDataHasValue) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectCache

visit(IndexedObjectProperty) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectCache

visit(IndexedBinaryPropertyChain) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectCache

visit(IndexedSubClassOfAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectCache

visit(IndexedDisjointnessAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectCache

visit(ElkClass) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter

visit(ElkObjectHasValue) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter

visit(ElkObjectComplementOf) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter

visit(ElkObjectIntersectionOf) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter

visit(ElkObjectSomeValuesFrom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter

visit(ElkObjectUnionOf) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter

visit(ElkDataHasValue) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter

visit(ElkObjectProperty) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter

visit(ElkObjectPropertyChain) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter

visit(ElkNamedIndividual) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter

visit(ElkEquivalentObjectPropertiesAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.NonIncrementalChangeCheckingVisitor

visit(ElkReflexiveObjectPropertyAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.NonIncrementalChangeCheckingVisitor

visit(ElkSubObjectPropertyOfAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.NonIncrementalChangeCheckingVisitor

visit(ElkTransitiveObjectPropertyAxiom) - Method in class org.semanticweb.elk.reasoner.indexing.hierarchy.NonIncrementalChangeCheckingVisitor

visit(IndexedDataHasValue) - Method in class org.semanticweb.elk.reasoner.indexing.visitors.AbstractIndexedClassEntityVisitor

visit(IndexedObjectComplementOf) - Method in class org.semanticweb.elk.reasoner.indexing.visitors.AbstractIndexedClassEntityVisitor

visit(IndexedObjectIntersectionOf) - Method in class org.semanticweb.elk.reasoner.indexing.visitors.AbstractIndexedClassEntityVisitor

visit(IndexedObjectSomeValuesFrom) - Method in class org.semanticweb.elk.reasoner.indexing.visitors.AbstractIndexedClassEntityVisitor

visit(IndexedObjectUnionOf) - Method in class org.semanticweb.elk.reasoner.indexing.visitors.AbstractIndexedClassEntityVisitor

visit(IndexedBinaryPropertyChain) - Method in interface org.semanticweb.elk.reasoner.indexing.visitors.IndexedBinaryPropertyChainVisitor

visit(IndexedClass) - Method in interface org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassVisitor

visit(IndexedDataHasValue) - Method in interface org.semanticweb.elk.reasoner.indexing.visitors.IndexedDataHasValueVisitor

visit(IndexedDisjointnessAxiom) - Method in interface org.semanticweb.elk.reasoner.indexing.visitors.IndexedDisjointnessAxiomVisitor

visit(IndexedIndividual) - Method in interface org.semanticweb.elk.reasoner.indexing.visitors.IndexedIndividualVisitor

visit(IndexedObjectComplementOf) - Method in interface org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectComplementOfVisitor

visit(IndexedObjectIntersectionOf) - Method in interface org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectIntersectionOfVisitor

visit(IndexedObjectProperty) - Method in interface org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectPropertyVisitor

visit(IndexedObjectSomeValuesFrom) - Method in interface org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectSomeValuesFromVisitor

visit(IndexedObjectUnionOf) - Method in interface org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectUnionOfVisitor

visit(IndexedObjectProperty, P) - Method in interface org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainVisitorEx

visit(IndexedBinaryPropertyChain, P) - Method in interface org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainVisitorEx

visit(IndexedSubClassOfAxiom) - Method in interface org.semanticweb.elk.reasoner.indexing.visitors.IndexedSubClassOfAxiomVisitor

visit(TransitiveReductionOutputEquivalentDirect<R>) - Method in interface org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutputVisitor

visit(TransitiveReductionOutputEquivalent<R>) - Method in interface org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutputVisitor

visit(TransitiveReductionOutputUnsatisfiable<R>) - Method in interface org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutputVisitor

visit(NegativeSubsumer, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.CombinedConclusionVisitor

visit(PositiveSubsumer, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.CombinedConclusionVisitor

visit(BackwardLink, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.CombinedConclusionVisitor

visit(ForwardLink, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.CombinedConclusionVisitor

visit(Contradiction, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.CombinedConclusionVisitor

visit(Propagation, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.CombinedConclusionVisitor

visit(DisjointnessAxiom, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.CombinedConclusionVisitor

visit(NegativeSubsumer, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionApplicationVisitor

visit(PositiveSubsumer, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionApplicationVisitor

visit(BackwardLink, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionApplicationVisitor

visit(ForwardLink, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionApplicationVisitor

visit(Contradiction, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionApplicationVisitor

visit(Propagation, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionApplicationVisitor

visit(DisjointnessAxiom, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionApplicationVisitor

visit(NegativeSubsumer, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionDeapplicationVisitor

visit(PositiveSubsumer, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionDeapplicationVisitor

visit(BackwardLink, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionDeapplicationVisitor

visit(ForwardLink, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionDeapplicationVisitor

visit(Contradiction, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionDeapplicationVisitor

visit(Propagation, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionDeapplicationVisitor

visit(DisjointnessAxiom, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionDeapplicationVisitor

visit(NegativeSubsumer, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionDeletionVisitor

visit(PositiveSubsumer, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionDeletionVisitor

visit(BackwardLink, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionDeletionVisitor

visit(ForwardLink, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionDeletionVisitor

visit(Contradiction, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionDeletionVisitor

visit(Propagation, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionDeletionVisitor

visit(DisjointnessAxiom, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionDeletionVisitor

visit(NegativeSubsumer, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionInsertionVisitor

visit(PositiveSubsumer, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionInsertionVisitor

visit(BackwardLink, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionInsertionVisitor

visit(ForwardLink, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionInsertionVisitor

visit(Contradiction, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionInsertionVisitor

visit(Propagation, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionInsertionVisitor

visit(DisjointnessAxiom, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionInsertionVisitor

visit(NegativeSubsumer, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionOccurranceCheckingVisitor

visit(PositiveSubsumer, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionOccurranceCheckingVisitor

visit(BackwardLink, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionOccurranceCheckingVisitor

visit(ForwardLink, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionOccurranceCheckingVisitor

visit(Contradiction, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionOccurranceCheckingVisitor

visit(Propagation, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionOccurranceCheckingVisitor

visit(DisjointnessAxiom, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionOccurranceCheckingVisitor

visit(NegativeSubsumer, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionSourceUnsaturationVisitor

visit(PositiveSubsumer, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionSourceUnsaturationVisitor

visit(BackwardLink, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionSourceUnsaturationVisitor

visit(ForwardLink, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionSourceUnsaturationVisitor

visit(Contradiction, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionSourceUnsaturationVisitor

visit(Propagation, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionSourceUnsaturationVisitor

visit(DisjointnessAxiom, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionSourceUnsaturationVisitor

visit(NegativeSubsumer, Context) - Method in interface org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionVisitor

visit(PositiveSubsumer, Context) - Method in interface org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionVisitor

visit(BackwardLink, Context) - Method in interface org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionVisitor

visit(ForwardLink, Context) - Method in interface org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionVisitor

visit(Contradiction, Context) - Method in interface org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionVisitor

visit(Propagation, Context) - Method in interface org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionVisitor

visit(DisjointnessAxiom, Context) - Method in interface org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionVisitor

visit(NegativeSubsumer, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.CountingConclusionVisitor

visit(PositiveSubsumer, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.CountingConclusionVisitor

visit(BackwardLink, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.CountingConclusionVisitor

visit(ForwardLink, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.CountingConclusionVisitor

visit(Contradiction, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.CountingConclusionVisitor

visit(Propagation, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.CountingConclusionVisitor

visit(DisjointnessAxiom, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.CountingConclusionVisitor

visit(NegativeSubsumer, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.PreprocessedConclusionVisitor

visit(PositiveSubsumer, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.PreprocessedConclusionVisitor

visit(BackwardLink, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.PreprocessedConclusionVisitor

visit(ForwardLink, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.PreprocessedConclusionVisitor

visit(Contradiction, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.PreprocessedConclusionVisitor

visit(Propagation, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.PreprocessedConclusionVisitor

visit(DisjointnessAxiom, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.PreprocessedConclusionVisitor

visit(NegativeSubsumer, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.TimedConclusionVisitor

visit(PositiveSubsumer, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.TimedConclusionVisitor

visit(BackwardLink, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.TimedConclusionVisitor

visit(ForwardLink, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.TimedConclusionVisitor

visit(Contradiction, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.TimedConclusionVisitor

visit(Propagation, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.TimedConclusionVisitor

visit(DisjointnessAxiom, Context) - Method in class org.semanticweb.elk.reasoner.saturation.conclusions.TimedConclusionVisitor

visit(IndexedObjectSomeValuesFrom, Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.BackwardDecompositionRuleApplicationVisitor

visit(IndexedClass.OwlThingContextInitializationRule, BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.BasicCompositionRuleApplicationVisitor

visit(DirectIndex.ContextRootInitializationRule, BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.BasicCompositionRuleApplicationVisitor

visit(IndexedDisjointnessAxiom.ThisCompositionRule, BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.BasicCompositionRuleApplicationVisitor

visit(IndexedObjectComplementOf.ThisCompositionRule, BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.BasicCompositionRuleApplicationVisitor

visit(IndexedObjectIntersectionOf.ThisCompositionRule, BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.BasicCompositionRuleApplicationVisitor

visit(IndexedSubClassOfAxiom.ThisCompositionRule, BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.BasicCompositionRuleApplicationVisitor

visit(IndexedObjectSomeValuesFrom.ThisCompositionRule, BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.BasicCompositionRuleApplicationVisitor

visit(IndexedObjectUnionOf.ThisCompositionRule, BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.BasicCompositionRuleApplicationVisitor

visit(IndexedDisjointnessAxiom.ThisContradictionRule, BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.BasicCompositionRuleApplicationVisitor

visit(ForwardLink.ThisBackwardLinkRule, BasicSaturationStateWriter, BackwardLink) - Method in class org.semanticweb.elk.reasoner.saturation.rules.BasicCompositionRuleApplicationVisitor

visit(Propagation.ThisBackwardLinkRule, BasicSaturationStateWriter, BackwardLink) - Method in class org.semanticweb.elk.reasoner.saturation.rules.BasicCompositionRuleApplicationVisitor

visit(Contradiction.ContradictionBackwardLinkRule, BasicSaturationStateWriter, BackwardLink) - Method in class org.semanticweb.elk.reasoner.saturation.rules.BasicCompositionRuleApplicationVisitor

visit(IndexedClass, Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationCounterVisitor

visit(IndexedObjectComplementOf, Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationCounterVisitor

visit(IndexedObjectIntersectionOf, Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationCounterVisitor

visit(IndexedObjectSomeValuesFrom, Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationCounterVisitor

visit(IndexedDataHasValue, Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationCounterVisitor

visit(IndexedClass, Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationTimerVisitor

visit(IndexedObjectComplementOf, Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationTimerVisitor

visit(IndexedObjectIntersectionOf, Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationTimerVisitor

visit(IndexedObjectSomeValuesFrom, Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationTimerVisitor

visit(IndexedDataHasValue, Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationTimerVisitor

visit(IndexedClass, Context) - Method in interface org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationVisitor

visit(IndexedObjectComplementOf, Context) - Method in interface org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationVisitor

visit(IndexedObjectIntersectionOf, Context) - Method in interface org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationVisitor

visit(IndexedObjectSomeValuesFrom, Context) - Method in interface org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationVisitor

visit(IndexedDataHasValue, Context) - Method in interface org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationVisitor

visit(IndexedObjectSomeValuesFrom, Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.ForwardDecompositionRuleApplicationVisitor

visit(IndexedClass.OwlThingContextInitializationRule, BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationCounterVisitor

visit(IndexedDisjointnessAxiom.ThisCompositionRule, BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationCounterVisitor

visit(IndexedDisjointnessAxiom.ThisContradictionRule, BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationCounterVisitor

visit(IndexedObjectComplementOf.ThisCompositionRule, BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationCounterVisitor

visit(IndexedObjectIntersectionOf.ThisCompositionRule, BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationCounterVisitor

visit(IndexedSubClassOfAxiom.ThisCompositionRule, BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationCounterVisitor

visit(IndexedObjectSomeValuesFrom.ThisCompositionRule, BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationCounterVisitor

visit(IndexedObjectUnionOf.ThisCompositionRule, BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationCounterVisitor

visit(ForwardLink.ThisBackwardLinkRule, BasicSaturationStateWriter, BackwardLink) - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationCounterVisitor

visit(Propagation.ThisBackwardLinkRule, BasicSaturationStateWriter, BackwardLink) - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationCounterVisitor

visit(Contradiction.ContradictionBackwardLinkRule, BasicSaturationStateWriter, BackwardLink) - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationCounterVisitor

visit(DirectIndex.ContextRootInitializationRule, BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationCounterVisitor

visit(IndexedClass.OwlThingContextInitializationRule, BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationTimerVisitor

visit(IndexedDisjointnessAxiom.ThisCompositionRule, BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationTimerVisitor

visit(IndexedDisjointnessAxiom.ThisContradictionRule, BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationTimerVisitor

visit(IndexedObjectComplementOf.ThisCompositionRule, BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationTimerVisitor

visit(IndexedObjectIntersectionOf.ThisCompositionRule, BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationTimerVisitor

visit(IndexedSubClassOfAxiom.ThisCompositionRule, BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationTimerVisitor

visit(IndexedObjectSomeValuesFrom.ThisCompositionRule, BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationTimerVisitor

visit(IndexedObjectUnionOf.ThisCompositionRule, BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationTimerVisitor

visit(ForwardLink.ThisBackwardLinkRule, BasicSaturationStateWriter, BackwardLink) - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationTimerVisitor

visit(Propagation.ThisBackwardLinkRule, BasicSaturationStateWriter, BackwardLink) - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationTimerVisitor

visit(Contradiction.ContradictionBackwardLinkRule, BasicSaturationStateWriter, BackwardLink) - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationTimerVisitor

visit(DirectIndex.ContextRootInitializationRule, BasicSaturationStateWriter, Context) - Method in class org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationTimerVisitor

visit(IndexedClass.OwlThingContextInitializationRule, BasicSaturationStateWriter, Context) - Method in interface org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationVisitor

visit(DirectIndex.ContextRootInitializationRule, BasicSaturationStateWriter, Context) - Method in interface org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationVisitor

visit(IndexedDisjointnessAxiom.ThisCompositionRule, BasicSaturationStateWriter, Context) - Method in interface org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationVisitor

visit(IndexedDisjointnessAxiom.ThisContradictionRule, BasicSaturationStateWriter, Context) - Method in interface org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationVisitor

visit(IndexedObjectComplementOf.ThisCompositionRule, BasicSaturationStateWriter, Context) - Method in interface org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationVisitor

visit(IndexedObjectIntersectionOf.ThisCompositionRule, BasicSaturationStateWriter, Context) - Method in interface org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationVisitor

visit(IndexedSubClassOfAxiom.ThisCompositionRule, BasicSaturationStateWriter, Context) - Method in interface org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationVisitor

visit(IndexedObjectSomeValuesFrom.ThisCompositionRule, BasicSaturationStateWriter, Context) - Method in interface org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationVisitor

visit(IndexedObjectUnionOf.ThisCompositionRule, BasicSaturationStateWriter, Context) - Method in interface org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationVisitor

visit(ForwardLink.ThisBackwardLinkRule, BasicSaturationStateWriter, BackwardLink) - Method in interface org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationVisitor

visit(Propagation.ThisBackwardLinkRule, BasicSaturationStateWriter, BackwardLink) - Method in interface org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationVisitor

visit(Contradiction.ContradictionBackwardLinkRule, BasicSaturationStateWriter, BackwardLink) - Method in interface org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationVisitor

visit(TaxonomyNode<T>, List<TaxonomyNode<T>>) - Method in interface org.semanticweb.elk.reasoner.taxonomy.TaxonomyNodeVisitor

A B C D E F G H I L M N O P R S T U V