Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes
Hierarchy For All Packages
Package Hierarchies:
org.semanticweb.elk.loading
,
org.semanticweb.elk.reasoner
,
org.semanticweb.elk.reasoner.config
,
org.semanticweb.elk.reasoner.consistency
,
org.semanticweb.elk.reasoner.incremental
,
org.semanticweb.elk.reasoner.indexing
,
org.semanticweb.elk.reasoner.indexing.entries
,
org.semanticweb.elk.reasoner.indexing.hierarchy
,
org.semanticweb.elk.reasoner.indexing.visitors
,
org.semanticweb.elk.reasoner.reduction
,
org.semanticweb.elk.reasoner.saturation
,
org.semanticweb.elk.reasoner.saturation.conclusions
,
org.semanticweb.elk.reasoner.saturation.context
,
org.semanticweb.elk.reasoner.saturation.properties
,
org.semanticweb.elk.reasoner.saturation.rules
,
org.semanticweb.elk.reasoner.stages
,
org.semanticweb.elk.reasoner.taxonomy
,
org.semanticweb.elk.reasoner.taxonomy.hashing
,
org.semanticweb.elk.reasoner.taxonomy.model
Class Hierarchy
java.lang.
Object
org.semanticweb.elk.loading.
AbstractAxiomLoader
(implements org.semanticweb.elk.loading.
AxiomLoader
)
org.semanticweb.elk.loading.
EmptyAxiomLoader
(implements org.semanticweb.elk.loading.
AxiomLoader
)
org.semanticweb.elk.loading.
Owl2ParserLoader
(implements org.semanticweb.elk.loading.
AxiomLoader
)
org.semanticweb.elk.loading.
Owl2StreamLoader
(implements org.semanticweb.elk.loading.
AxiomLoader
)
org.semanticweb.elk.reasoner.saturation.conclusions.
AbstractConclusion
(implements org.semanticweb.elk.reasoner.saturation.conclusions.
Conclusion
)
org.semanticweb.elk.reasoner.saturation.conclusions.
Contradiction
org.semanticweb.elk.reasoner.saturation.conclusions.
DisjointnessAxiom
org.semanticweb.elk.reasoner.saturation.conclusions.
ForwardLink
org.semanticweb.elk.reasoner.saturation.conclusions.
Propagation
org.semanticweb.elk.owl.
AbstractElkAxiomVisitor
<O> (implements org.semanticweb.elk.owl.visitors.
ElkAxiomVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.hierarchy.
AbstractElkAxiomIndexerVisitor
(implements org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexer
)
org.semanticweb.elk.reasoner.indexing.hierarchy.
MainAxiomIndexerVisitor
(implements org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexingVisitor
)
org.semanticweb.elk.reasoner.indexing.visitors.
AbstractIndexedClassEntityVisitor
<O> (implements org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.hierarchy.
AbstractIndexObjectConverter
(implements org.semanticweb.elk.owl.visitors.
ElkClassExpressionVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkIndividualVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkSubObjectPropertyExpressionVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.hierarchy.
IndexObjectConverter
org.semanticweb.elk.reasoner.stages.
AbstractReasonerState
org.semanticweb.elk.reasoner.
Reasoner
org.semanticweb.elk.reasoner.stages.
AxiomLoadingStage
org.semanticweb.elk.reasoner.saturation.rules.
BackwardDecompositionRuleApplicationVisitor
org.semanticweb.elk.reasoner.saturation.conclusions.
BackwardLink
(implements org.semanticweb.elk.reasoner.saturation.conclusions.
Conclusion
)
org.semanticweb.elk.config.
BaseConfiguration
org.semanticweb.elk.reasoner.config.
ReasonerConfiguration
org.semanticweb.elk.reasoner.saturation.rules.
BasicCompositionRuleApplicationVisitor
(implements org.semanticweb.elk.reasoner.saturation.rules.
RuleApplicationVisitor
)
org.semanticweb.elk.reasoner.indexing.hierarchy.
ChangeIndexingProcessor
(implements org.semanticweb.elk.owl.visitors.
ElkAxiomProcessor
)
org.semanticweb.elk.reasoner.saturation.
ClassExpressionSaturationFactory
<J> (implements org.semanticweb.elk.util.concurrent.computation.
InputProcessorFactory
<I,P>)
org.semanticweb.elk.reasoner.saturation.
ClassExpressionSaturationFactory.Engine
(implements org.semanticweb.elk.util.concurrent.computation.
InputProcessor
<J>)
org.semanticweb.elk.reasoner.stages.
ClassSaturationStage
org.semanticweb.elk.reasoner.taxonomy.
ClassTaxonomyComputationFactory
(implements org.semanticweb.elk.util.concurrent.computation.
InputProcessorFactory
<I,P>)
org.semanticweb.elk.reasoner.taxonomy.
ClassTaxonomyComputationFactory.Engine
(implements org.semanticweb.elk.util.concurrent.computation.
InputProcessor
<J>)
org.semanticweb.elk.reasoner.stages.
ClassTaxonomyState
org.semanticweb.elk.reasoner.stages.
ClassTaxonomyState.Writer
org.semanticweb.elk.reasoner.saturation.conclusions.
CombinedConclusionVisitor
(implements org.semanticweb.elk.reasoner.saturation.conclusions.
ConclusionVisitor
<R>)
org.semanticweb.elk.loading.
ComposedAxiomLoader
(implements org.semanticweb.elk.loading.
AxiomLoader
)
org.semanticweb.elk.reasoner.saturation.conclusions.
ConclusionApplicationVisitor
(implements org.semanticweb.elk.reasoner.saturation.conclusions.
ConclusionVisitor
<R>)
org.semanticweb.elk.reasoner.saturation.conclusions.
ConclusionCounter
org.semanticweb.elk.reasoner.saturation.conclusions.
ConclusionDeapplicationVisitor
(implements org.semanticweb.elk.reasoner.saturation.conclusions.
ConclusionVisitor
<R>)
org.semanticweb.elk.reasoner.saturation.conclusions.
ConclusionDeletionVisitor
(implements org.semanticweb.elk.reasoner.saturation.conclusions.
ConclusionVisitor
<R>)
org.semanticweb.elk.reasoner.saturation.conclusions.
ConclusionInsertionVisitor
(implements org.semanticweb.elk.reasoner.saturation.conclusions.
ConclusionVisitor
<R>)
org.semanticweb.elk.reasoner.saturation.conclusions.
ConclusionOccurranceCheckingVisitor
(implements org.semanticweb.elk.reasoner.saturation.conclusions.
ConclusionVisitor
<R>)
org.semanticweb.elk.reasoner.saturation.conclusions.
ConclusionSourceUnsaturationVisitor
(implements org.semanticweb.elk.reasoner.saturation.conclusions.
ConclusionVisitor
<R>)
org.semanticweb.elk.reasoner.saturation.conclusions.
ConclusionStatistics
org.semanticweb.elk.reasoner.saturation.conclusions.
ConclusionTimer
org.semanticweb.elk.reasoner.taxonomy.
ConcurrentClassTaxonomy
(implements org.semanticweb.elk.reasoner.taxonomy.model.
UpdateableTaxonomy
<T>)
org.semanticweb.elk.reasoner.taxonomy.
ConcurrentClassTaxonomy.BottomClassNode
(implements org.semanticweb.elk.reasoner.taxonomy.model.
UpdateableBottomNode
<T>)
org.semanticweb.elk.util.concurrent.computation.
ConcurrentComputation
<I,F>
org.semanticweb.elk.reasoner.
ReasonerComputation
<I,F>
org.semanticweb.elk.reasoner.saturation.
ClassExpressionNoInputSaturation
org.semanticweb.elk.reasoner.saturation.
ClassExpressionSaturation
<I>
org.semanticweb.elk.reasoner.taxonomy.
ClassTaxonomyComputation
org.semanticweb.elk.reasoner.consistency.
ConsistencyChecking
org.semanticweb.elk.reasoner.incremental.
IncrementalChangesInitialization
org.semanticweb.elk.reasoner.taxonomy.
InstanceTaxonomyComputation
org.semanticweb.elk.reasoner.saturation.properties.
PropertyHierarchyCompositionComputation
org.semanticweb.elk.reasoner.saturation.properties.
ReflexivePropertyComputation
org.semanticweb.elk.reasoner.taxonomy.
TaxonomyCleaning
org.semanticweb.elk.reasoner.taxonomy.
ConcurrentInstanceTaxonomy
(implements org.semanticweb.elk.reasoner.taxonomy.
IndividualClassTaxonomy
)
org.semanticweb.elk.reasoner.saturation.
ContextImpl
(implements org.semanticweb.elk.reasoner.saturation.context.
Context
)
org.semanticweb.elk.reasoner.saturation.context.
ContextStatistics
org.semanticweb.elk.reasoner.saturation.conclusions.
CountingConclusionVisitor
(implements org.semanticweb.elk.reasoner.saturation.conclusions.
ConclusionVisitor
<R>)
org.semanticweb.elk.reasoner.saturation.rules.
DecompositionRuleApplicationCounter
org.semanticweb.elk.reasoner.saturation.rules.
DecompositionRuleApplicationCounterVisitor
(implements org.semanticweb.elk.reasoner.saturation.rules.
DecompositionRuleApplicationVisitor
)
org.semanticweb.elk.reasoner.saturation.rules.
DecompositionRuleApplicationTimer
org.semanticweb.elk.reasoner.saturation.rules.
DecompositionRuleApplicationTimerVisitor
(implements org.semanticweb.elk.reasoner.saturation.rules.
DecompositionRuleApplicationVisitor
)
org.semanticweb.elk.reasoner.indexing.hierarchy.
DelegatingElkAxiomVisitor
(implements org.semanticweb.elk.owl.visitors.
ElkAxiomVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.hierarchy.
NonIncrementalChangeCheckingVisitor
(implements org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexingVisitor
)
org.semanticweb.elk.reasoner.indexing.hierarchy.
DirectIndex
(implements org.semanticweb.elk.reasoner.indexing.hierarchy.
ModifiableOntologyIndex
)
org.semanticweb.elk.reasoner.indexing.hierarchy.
DifferentialIndex
org.semanticweb.elk.reasoner.saturation.
DummyClassExpressionSaturationListener
<J> (implements org.semanticweb.elk.reasoner.saturation.
ClassExpressionSaturationListener
<J>)
org.semanticweb.elk.reasoner.
DummyProgressMonitor
(implements org.semanticweb.elk.reasoner.
ProgressMonitor
)
org.semanticweb.elk.reasoner.saturation.rules.
ForwardDecompositionRuleApplicationVisitor
org.semanticweb.elk.reasoner.taxonomy.model.
FreshNode
<T> (implements org.semanticweb.elk.reasoner.taxonomy.model.
Node
<T>)
org.semanticweb.elk.reasoner.taxonomy.model.
FreshInstanceNode
<T,I> (implements org.semanticweb.elk.reasoner.taxonomy.model.
InstanceNode
<T,I>)
org.semanticweb.elk.reasoner.taxonomy.model.
FreshTaxonomyNode
<T> (implements org.semanticweb.elk.reasoner.taxonomy.model.
TaxonomyNode
<T>)
org.semanticweb.elk.reasoner.taxonomy.model.
FreshTypeNode
<T,I> (implements org.semanticweb.elk.reasoner.taxonomy.model.
TypeNode
<T,I>)
org.semanticweb.elk.reasoner.stages.
IncrementalAdditionInitializationStage
org.semanticweb.elk.reasoner.stages.
IncrementalAdditionStage
org.semanticweb.elk.reasoner.stages.
IncrementalClassTaxonomyComputationStage
org.semanticweb.elk.reasoner.stages.
IncrementalCompletionStage
org.semanticweb.elk.reasoner.stages.
IncrementalContextCleaningStage
org.semanticweb.elk.reasoner.stages.
IncrementalDeletionInitializationStage
org.semanticweb.elk.reasoner.stages.
IncrementalDeletionStage
org.semanticweb.elk.reasoner.stages.
IncrementalInstanceTaxonomyComputationStage
org.semanticweb.elk.reasoner.stages.
IncrementalOverdeletionPruningStage
org.semanticweb.elk.reasoner.incremental.
IncrementalProcessingStatistics
org.semanticweb.elk.reasoner.stages.
IncrementalTaxonomyCleaningStage
org.semanticweb.elk.reasoner.indexing.entries.
IndexedEntryConverter
<T> (implements org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.hierarchy.
IndexedObject
org.semanticweb.elk.reasoner.indexing.hierarchy.
IndexedAxiom
org.semanticweb.elk.reasoner.indexing.hierarchy.
IndexedDisjointnessAxiom
org.semanticweb.elk.reasoner.indexing.hierarchy.
IndexedSubClassOfAxiom
org.semanticweb.elk.reasoner.indexing.hierarchy.
IndexedClassExpression
(implements java.lang.
Comparable
<T>)
org.semanticweb.elk.reasoner.indexing.hierarchy.
IndexedClassEntity
org.semanticweb.elk.reasoner.indexing.hierarchy.
IndexedClass
org.semanticweb.elk.reasoner.indexing.hierarchy.
IndexedIndividual
org.semanticweb.elk.reasoner.indexing.hierarchy.
IndexedDataHasValue
org.semanticweb.elk.reasoner.indexing.hierarchy.
IndexedObjectComplementOf
org.semanticweb.elk.reasoner.indexing.hierarchy.
IndexedObjectIntersectionOf
org.semanticweb.elk.reasoner.indexing.hierarchy.
IndexedObjectSomeValuesFrom
org.semanticweb.elk.reasoner.indexing.hierarchy.
IndexedObjectUnionOf
org.semanticweb.elk.reasoner.indexing.hierarchy.
IndexedPropertyChain
(implements java.lang.
Comparable
<T>)
org.semanticweb.elk.reasoner.indexing.hierarchy.
IndexedBinaryPropertyChain
org.semanticweb.elk.reasoner.indexing.hierarchy.
IndexedObjectProperty
org.semanticweb.elk.reasoner.indexing.hierarchy.
IndexedObjectCache
(implements org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectFilter
)
org.semanticweb.elk.reasoner.taxonomy.
IndividualNode
(implements org.semanticweb.elk.reasoner.taxonomy.model.
UpdateableInstanceNode
<T,I>)
org.semanticweb.elk.reasoner.taxonomy.hashing.
InstanceNodeHasher
(implements org.semanticweb.elk.util.hashing.
Hasher
<T>)
org.semanticweb.elk.reasoner.taxonomy.
InstanceTaxonomyComputationFactory
(implements org.semanticweb.elk.util.concurrent.computation.
InputProcessorFactory
<I,P>)
org.semanticweb.elk.reasoner.taxonomy.
InstanceTaxonomyComputationFactory.Engine
(implements org.semanticweb.elk.util.concurrent.computation.
InputProcessor
<J>)
org.semanticweb.elk.reasoner.taxonomy.hashing.
InstanceTaxonomyHasher
org.semanticweb.elk.reasoner.stages.
InstanceTaxonomyState
org.semanticweb.elk.reasoner.stages.
InstanceTaxonomyState.Writer
org.semanticweb.elk.util.collections.chains.
ModifiableLinkImpl
<T> (implements org.semanticweb.elk.util.collections.chains.
ModifiableLink
<T>)
org.semanticweb.elk.reasoner.saturation.conclusions.
Contradiction.ContradictionBackwardLinkRule
(implements org.semanticweb.elk.reasoner.saturation.rules.
ModifiableLinkRule
<E>)
org.semanticweb.elk.reasoner.indexing.hierarchy.
DirectIndex.ContextRootInitializationRule
(implements org.semanticweb.elk.reasoner.saturation.rules.
ChainableRule
<E>)
org.semanticweb.elk.reasoner.saturation.conclusions.
ForwardLink.ThisBackwardLinkRule
(implements org.semanticweb.elk.reasoner.saturation.rules.
ModifiableLinkRule
<E>)
org.semanticweb.elk.reasoner.indexing.hierarchy.
IndexedClass.OwlThingContextInitializationRule
(implements org.semanticweb.elk.reasoner.saturation.rules.
ChainableRule
<E>)
org.semanticweb.elk.reasoner.indexing.hierarchy.
IndexedDisjointnessAxiom.ThisCompositionRule
(implements org.semanticweb.elk.reasoner.saturation.rules.
ChainableRule
<E>)
org.semanticweb.elk.reasoner.indexing.hierarchy.
IndexedDisjointnessAxiom.ThisContradictionRule
(implements org.semanticweb.elk.reasoner.saturation.rules.
ChainableRule
<E>)
org.semanticweb.elk.reasoner.indexing.hierarchy.
IndexedObjectComplementOf.ThisCompositionRule
(implements org.semanticweb.elk.reasoner.saturation.rules.
ChainableRule
<E>)
org.semanticweb.elk.reasoner.indexing.hierarchy.
IndexedObjectIntersectionOf.ThisCompositionRule
(implements org.semanticweb.elk.reasoner.saturation.rules.
ChainableRule
<E>)
org.semanticweb.elk.reasoner.indexing.hierarchy.
IndexedObjectSomeValuesFrom.ThisCompositionRule
(implements org.semanticweb.elk.reasoner.saturation.rules.
ChainableRule
<E>)
org.semanticweb.elk.reasoner.indexing.hierarchy.
IndexedObjectUnionOf.ThisCompositionRule
(implements org.semanticweb.elk.reasoner.saturation.rules.
ChainableRule
<E>)
org.semanticweb.elk.reasoner.indexing.hierarchy.
IndexedSubClassOfAxiom.ThisCompositionRule
(implements org.semanticweb.elk.reasoner.saturation.rules.
ChainableRule
<E>)
org.semanticweb.elk.reasoner.saturation.conclusions.
Propagation.ThisBackwardLinkRule
(implements org.semanticweb.elk.reasoner.saturation.rules.
ModifiableLinkRule
<E>)
org.semanticweb.elk.reasoner.taxonomy.hashing.
NodeHasher
(implements org.semanticweb.elk.util.hashing.
Hasher
<T>)
org.semanticweb.elk.reasoner.config.
NumberOfWorkers
org.semanticweb.elk.reasoner.taxonomy.
OrphanNode
<T> (implements org.semanticweb.elk.reasoner.taxonomy.model.
TaxonomyNode
<T>)
org.semanticweb.elk.reasoner.taxonomy.
OrphanInstanceNode
<T,I> (implements org.semanticweb.elk.reasoner.taxonomy.model.
InstanceNode
<T,I>)
org.semanticweb.elk.reasoner.taxonomy.
OrphanTypeNode
<T,I> (implements org.semanticweb.elk.reasoner.taxonomy.model.
TypeNode
<T,I>)
org.semanticweb.elk.reasoner.saturation.conclusions.
PreprocessedConclusionVisitor
<T> (implements org.semanticweb.elk.reasoner.saturation.conclusions.
ConclusionVisitor
<R>)
org.semanticweb.elk.reasoner.saturation.properties.
PropertyHierarchyCompositionComputationFactory
(implements org.semanticweb.elk.util.concurrent.computation.
InputProcessorFactory
<I,P>)
org.semanticweb.elk.reasoner.stages.
PropertyHierarchyCompositionComputationStage
org.semanticweb.elk.reasoner.stages.
PropertyReflexivityComputationStage
org.semanticweb.elk.reasoner.
ReasonerFactory
org.semanticweb.elk.reasoner.
ReasonerJob
<I,O>
org.semanticweb.elk.reasoner.saturation.
SaturationJob
<I>
org.semanticweb.elk.reasoner.reduction.
TransitiveReductionJob
<R>
org.semanticweb.elk.reasoner.stages.
ReasonerStageManager
org.semanticweb.elk.reasoner.saturation.properties.
ReflexivePropertyComputationFactory
(implements org.semanticweb.elk.util.concurrent.computation.
InputProcessorFactory
<I,P>)
org.semanticweb.elk.reasoner.saturation.rules.
RuleApplicationCounter
org.semanticweb.elk.reasoner.saturation.rules.
RuleApplicationCounterVisitor
(implements org.semanticweb.elk.reasoner.saturation.rules.
RuleApplicationVisitor
)
org.semanticweb.elk.reasoner.saturation.rules.
RuleApplicationFactory
org.semanticweb.elk.reasoner.saturation.rules.
ContextCompletionFactory
org.semanticweb.elk.reasoner.saturation.rules.
RuleDeapplicationFactory
org.semanticweb.elk.reasoner.saturation.rules.
ContextCleaningFactory
org.semanticweb.elk.reasoner.saturation.rules.
RuleApplicationFactory.BaseEngine
(implements org.semanticweb.elk.util.concurrent.computation.
InputProcessor
<J>, org.semanticweb.elk.reasoner.saturation.rules.
RuleEngine
)
org.semanticweb.elk.reasoner.saturation.rules.
RuleApplicationFactory.DefaultEngine
org.semanticweb.elk.reasoner.saturation.rules.
RuleDeapplicationFactory.DeapplicationEngine
org.semanticweb.elk.reasoner.saturation.rules.
ContextCleaningFactory.CleaningEngine
org.semanticweb.elk.reasoner.saturation.rules.
RuleApplicationTimer
org.semanticweb.elk.reasoner.saturation.rules.
RuleApplicationTimerVisitor
(implements org.semanticweb.elk.reasoner.saturation.rules.
RuleApplicationVisitor
)
org.semanticweb.elk.reasoner.saturation.rules.
RuleStatistics
org.semanticweb.elk.reasoner.saturation.properties.
SaturatedPropertyChain
org.semanticweb.elk.reasoner.saturation.
SaturationStateFactory
org.semanticweb.elk.reasoner.saturation.
SaturationStatistics
org.semanticweb.elk.reasoner.saturation.
SaturationUtils
org.semanticweb.elk.loading.
SimpleElkAxiomChange
(implements org.semanticweb.elk.loading.
ElkAxiomChange
)
org.semanticweb.elk.util.concurrent.computation.
SimpleInterrupter
(implements org.semanticweb.elk.util.concurrent.computation.
Interrupter
)
org.semanticweb.elk.reasoner.stages.
AbstractStageExecutor
(implements org.semanticweb.elk.reasoner.stages.
ReasonerStageExecutor
)
org.semanticweb.elk.reasoner.stages.
LoggingStageExecutor
org.semanticweb.elk.reasoner.stages.
SimpleStageExecutor
org.semanticweb.elk.reasoner.stages.
RestartingStageExecutor
(implements org.semanticweb.elk.reasoner.stages.
ReasonerStageExecutor
)
org.semanticweb.elk.reasoner.taxonomy.model.
SimpleNode
<T> (implements org.semanticweb.elk.reasoner.taxonomy.model.
Node
<T>)
org.semanticweb.elk.reasoner.taxonomy.model.
AnonymousNode
<T> (implements org.semanticweb.elk.reasoner.taxonomy.model.
Node
<T>)
org.semanticweb.elk.reasoner.taxonomy.
SingletoneTaxonomy
<T,N> (implements org.semanticweb.elk.reasoner.taxonomy.model.
Taxonomy
<T>)
org.semanticweb.elk.reasoner.taxonomy.
SingletoneInstanceTaxonomy
<T,I,N> (implements org.semanticweb.elk.reasoner.taxonomy.model.
InstanceTaxonomy
<T,I>)
org.semanticweb.elk.util.collections.entryset.
StrongKeyEntry
<T,K> (implements org.semanticweb.elk.util.collections.entryset.
KeyEntry
<T,K>)
org.semanticweb.elk.reasoner.indexing.entries.
IndexedObjectEntry
<T,K>
org.semanticweb.elk.reasoner.indexing.entries.
IndexedAxiomEntry
<T,K>
org.semanticweb.elk.reasoner.indexing.entries.
IndexedDisjointnessAxiomEntry
<T,K>
org.semanticweb.elk.reasoner.indexing.entries.
IndexedSubClassOfAxiomEntry
<T,K>
org.semanticweb.elk.reasoner.indexing.entries.
IndexedClassExpressionEntry
<T,K>
org.semanticweb.elk.reasoner.indexing.entries.
IndexedClassEntry
<T,K>
org.semanticweb.elk.reasoner.indexing.entries.
IndexedDataHasValueEntry
<T,K>
org.semanticweb.elk.reasoner.indexing.entries.
IndexedIndividualEntry
<T,K>
org.semanticweb.elk.reasoner.indexing.entries.
IndexedObjectComplementOfEntry
<T,K>
org.semanticweb.elk.reasoner.indexing.entries.
IndexedObjectIntersectionOfEntry
<T,K>
org.semanticweb.elk.reasoner.indexing.entries.
IndexedObjectSomeValuesFromEntry
<T,K>
org.semanticweb.elk.reasoner.indexing.entries.
IndexedObjectUnionOfEntry
<T,K>
org.semanticweb.elk.reasoner.indexing.entries.
IndexedPropertyChainEntry
<T,K>
org.semanticweb.elk.reasoner.indexing.entries.
IndexedBinaryPropertyChainEntry
<T,K>
org.semanticweb.elk.reasoner.indexing.entries.
IndexedObjectPropertyEntry
<T,K>
org.semanticweb.elk.reasoner.saturation.conclusions.
Subsumer
(implements org.semanticweb.elk.reasoner.saturation.conclusions.
Conclusion
)
org.semanticweb.elk.reasoner.saturation.conclusions.
NegativeSubsumer
org.semanticweb.elk.reasoner.saturation.conclusions.
PositiveSubsumer
org.semanticweb.elk.reasoner.taxonomy.hashing.
TaxonomyHasher
org.semanticweb.elk.reasoner.taxonomy.hashing.
TaxonomyNodeHasher
(implements org.semanticweb.elk.util.hashing.
Hasher
<T>)
org.semanticweb.elk.reasoner.taxonomy.model.
TaxonomyNodeUtils
org.semanticweb.elk.reasoner.taxonomy.
TaxonomyPrinter
java.lang.
Throwable
(implements java.io.
Serializable
)
java.lang.
Exception
org.semanticweb.elk.owl.exceptions.
ElkException
org.semanticweb.elk.reasoner.
ElkFreshEntitiesException
org.semanticweb.elk.reasoner.
ElkInconsistentOntologyException
org.semanticweb.elk.reasoner.stages.
ElkInterruptedException
org.semanticweb.elk.loading.
ElkLoadingException
java.lang.
RuntimeException
org.semanticweb.elk.owl.exceptions.
ElkRuntimeException
org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkIndexingException
org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkIndexingUnsupportedException
org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkUnexpectedIndexingException
org.semanticweb.elk.reasoner.taxonomy.
InvalidTaxonomyException
java.lang.
UnsupportedOperationException
org.semanticweb.elk.reasoner.
ElkUnsupportedReasoningTaskException
org.semanticweb.elk.reasoner.saturation.conclusions.
TimedConclusionVisitor
(implements org.semanticweb.elk.reasoner.saturation.conclusions.
ConclusionVisitor
<R>)
org.semanticweb.elk.reasoner.reduction.
TransitiveReductionFactory
<R,J> (implements org.semanticweb.elk.util.concurrent.computation.
InputProcessorFactory
<I,P>)
org.semanticweb.elk.reasoner.reduction.
TransitiveReductionFactory.Engine
(implements org.semanticweb.elk.util.concurrent.computation.
InputProcessor
<J>)
org.semanticweb.elk.reasoner.reduction.
TransitiveReductionOutput
<R>
org.semanticweb.elk.reasoner.reduction.
TransitiveReductionOutputEquivalent
<R>
org.semanticweb.elk.reasoner.reduction.
TransitiveReductionOutputEquivalentDirect
<R>
org.semanticweb.elk.reasoner.reduction.
TransitiveReductionOutputUnsatisfiable
<R>
org.semanticweb.elk.reasoner.taxonomy.hashing.
TypeNodeHasher
(implements org.semanticweb.elk.util.hashing.
Hasher
<T>)
Interface Hierarchy
org.semanticweb.elk.loading.
AxiomLoader
org.semanticweb.elk.reasoner.saturation.
BasicSaturationStateWriter
org.semanticweb.elk.reasoner.saturation.
ExtendedSaturationStateWriter
org.semanticweb.elk.util.collections.chains.
Chainable
<T>
org.semanticweb.elk.reasoner.saturation.rules.
ChainableRule
<E> (also extends org.semanticweb.elk.reasoner.saturation.rules.
LinkRule
<E>, org.semanticweb.elk.util.collections.chains.
ModifiableLink
<T>)
org.semanticweb.elk.reasoner.saturation.conclusions.
Conclusion
org.semanticweb.elk.reasoner.saturation.conclusions.
ConclusionVisitor
<R>
org.semanticweb.elk.reasoner.saturation.context.
Context
org.semanticweb.elk.reasoner.saturation.
ContextCreationListener
org.semanticweb.elk.reasoner.saturation.
ContextModificationListener
org.semanticweb.elk.reasoner.saturation.rules.
DecompositionRuleApplicationVisitor
org.semanticweb.elk.owl.visitors.
ElkAnnotationAxiomVisitor
<O>
org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexingVisitor
(also extends org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexer
, org.semanticweb.elk.owl.visitors.
ElkAxiomVisitor
<O>)
org.semanticweb.elk.owl.visitors.
ElkAxiomVisitor
<O> (also extends org.semanticweb.elk.owl.visitors.
ElkAssertionAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkClassAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkDataPropertyAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkDatatypeDefinitionVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkDeclarationAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkHasKeyAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkObjectPropertyAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkSWRLRuleVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexingVisitor
(also extends org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexer
)
org.semanticweb.elk.owl.visitors.
ElkAssertionAxiomVisitor
<O>
org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexingVisitor
(also extends org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexer
, org.semanticweb.elk.owl.visitors.
ElkAxiomVisitor
<O>)
org.semanticweb.elk.owl.visitors.
ElkAxiomVisitor
<O> (also extends org.semanticweb.elk.owl.visitors.
ElkAnnotationAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkClassAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkDataPropertyAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkDatatypeDefinitionVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkDeclarationAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkHasKeyAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkObjectPropertyAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkSWRLRuleVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexingVisitor
(also extends org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexer
)
org.semanticweb.elk.loading.
ElkAxiomChange
org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexer
org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexingVisitor
(also extends org.semanticweb.elk.owl.visitors.
ElkAxiomVisitor
<O>)
org.semanticweb.elk.owl.visitors.
ElkClassAxiomVisitor
<O>
org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexingVisitor
(also extends org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexer
, org.semanticweb.elk.owl.visitors.
ElkAxiomVisitor
<O>)
org.semanticweb.elk.owl.visitors.
ElkAxiomVisitor
<O> (also extends org.semanticweb.elk.owl.visitors.
ElkAnnotationAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkAssertionAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkDataPropertyAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkDatatypeDefinitionVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkDeclarationAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkHasKeyAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkObjectPropertyAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkSWRLRuleVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexingVisitor
(also extends org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexer
)
org.semanticweb.elk.owl.visitors.
ElkDataPropertyAxiomVisitor
<O>
org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexingVisitor
(also extends org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexer
, org.semanticweb.elk.owl.visitors.
ElkAxiomVisitor
<O>)
org.semanticweb.elk.owl.visitors.
ElkAxiomVisitor
<O> (also extends org.semanticweb.elk.owl.visitors.
ElkAnnotationAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkAssertionAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkClassAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkDatatypeDefinitionVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkDeclarationAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkHasKeyAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkObjectPropertyAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkSWRLRuleVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexingVisitor
(also extends org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexer
)
org.semanticweb.elk.owl.visitors.
ElkDatatypeDefinitionVisitor
<O>
org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexingVisitor
(also extends org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexer
, org.semanticweb.elk.owl.visitors.
ElkAxiomVisitor
<O>)
org.semanticweb.elk.owl.visitors.
ElkAxiomVisitor
<O> (also extends org.semanticweb.elk.owl.visitors.
ElkAnnotationAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkAssertionAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkClassAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkDataPropertyAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkDeclarationAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkHasKeyAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkObjectPropertyAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkSWRLRuleVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexingVisitor
(also extends org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexer
)
org.semanticweb.elk.owl.visitors.
ElkDeclarationAxiomVisitor
<O>
org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexingVisitor
(also extends org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexer
, org.semanticweb.elk.owl.visitors.
ElkAxiomVisitor
<O>)
org.semanticweb.elk.owl.visitors.
ElkAxiomVisitor
<O> (also extends org.semanticweb.elk.owl.visitors.
ElkAnnotationAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkAssertionAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkClassAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkDataPropertyAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkDatatypeDefinitionVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkHasKeyAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkObjectPropertyAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkSWRLRuleVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexingVisitor
(also extends org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexer
)
org.semanticweb.elk.owl.visitors.
ElkHasKeyAxiomVisitor
<O>
org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexingVisitor
(also extends org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexer
, org.semanticweb.elk.owl.visitors.
ElkAxiomVisitor
<O>)
org.semanticweb.elk.owl.visitors.
ElkAxiomVisitor
<O> (also extends org.semanticweb.elk.owl.visitors.
ElkAnnotationAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkAssertionAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkClassAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkDataPropertyAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkDatatypeDefinitionVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkDeclarationAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkObjectPropertyAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkSWRLRuleVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexingVisitor
(also extends org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexer
)
org.semanticweb.elk.owl.visitors.
ElkObjectPropertyAxiomVisitor
<O>
org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexingVisitor
(also extends org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexer
, org.semanticweb.elk.owl.visitors.
ElkAxiomVisitor
<O>)
org.semanticweb.elk.owl.visitors.
ElkAxiomVisitor
<O> (also extends org.semanticweb.elk.owl.visitors.
ElkAnnotationAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkAssertionAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkClassAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkDataPropertyAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkDatatypeDefinitionVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkDeclarationAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkHasKeyAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkSWRLRuleVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexingVisitor
(also extends org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexer
)
org.semanticweb.elk.owl.visitors.
ElkSWRLRuleVisitor
<O>
org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexingVisitor
(also extends org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexer
, org.semanticweb.elk.owl.visitors.
ElkAxiomVisitor
<O>)
org.semanticweb.elk.owl.visitors.
ElkAxiomVisitor
<O> (also extends org.semanticweb.elk.owl.visitors.
ElkAnnotationAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkAssertionAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkClassAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkDataPropertyAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkDatatypeDefinitionVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkDeclarationAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkHasKeyAxiomVisitor
<O>, org.semanticweb.elk.owl.visitors.
ElkObjectPropertyAxiomVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexingVisitor
(also extends org.semanticweb.elk.reasoner.indexing.hierarchy.
ElkAxiomIndexer
)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedBinaryPropertyChainVisitor
<O>
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectFilter
(also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomFilter
, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionFilter
, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainFilter
)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainFilter
(also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectPropertyVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectFilter
(also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomFilter
, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionFilter
)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectPropertyVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassVisitor
<O>
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassEntityVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedIndividualVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedDataHasValueVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectComplementOfVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectIntersectionOfVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectSomeValuesFromVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectUnionOfVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionFilter
(also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedDataHasValueVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedIndividualVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectComplementOfVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectIntersectionOfVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectSomeValuesFromVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectUnionOfVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectFilter
(also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomFilter
, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainFilter
)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassEntityVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedDataHasValueVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectComplementOfVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectIntersectionOfVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectSomeValuesFromVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectUnionOfVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectFilter
(also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomFilter
, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionFilter
, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainFilter
)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedDataHasValueVisitor
<O>
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionFilter
(also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedIndividualVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectComplementOfVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectIntersectionOfVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectSomeValuesFromVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectUnionOfVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectFilter
(also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomFilter
, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainFilter
)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassEntityVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectComplementOfVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectIntersectionOfVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectSomeValuesFromVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectUnionOfVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectFilter
(also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomFilter
, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionFilter
, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainFilter
)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedDisjointnessAxiomVisitor
<O>
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomFilter
(also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedSubClassOfAxiomVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectFilter
(also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionFilter
, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainFilter
)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedSubClassOfAxiomVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectFilter
(also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomFilter
, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionFilter
, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainFilter
)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedIndividualVisitor
<O>
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassEntityVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedDataHasValueVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectComplementOfVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectIntersectionOfVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectSomeValuesFromVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectUnionOfVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionFilter
(also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedDataHasValueVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectComplementOfVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectIntersectionOfVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectSomeValuesFromVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectUnionOfVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectFilter
(also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomFilter
, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainFilter
)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassEntityVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedDataHasValueVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectComplementOfVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectIntersectionOfVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectSomeValuesFromVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectUnionOfVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectFilter
(also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomFilter
, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionFilter
, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainFilter
)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectComplementOfVisitor
<O>
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionFilter
(also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedDataHasValueVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedIndividualVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectIntersectionOfVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectSomeValuesFromVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectUnionOfVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectFilter
(also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomFilter
, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainFilter
)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassEntityVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedDataHasValueVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectIntersectionOfVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectSomeValuesFromVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectUnionOfVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectFilter
(also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomFilter
, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionFilter
, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainFilter
)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectIntersectionOfVisitor
<O>
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionFilter
(also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedDataHasValueVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedIndividualVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectComplementOfVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectSomeValuesFromVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectUnionOfVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectFilter
(also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomFilter
, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainFilter
)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassEntityVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedDataHasValueVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectComplementOfVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectSomeValuesFromVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectUnionOfVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectFilter
(also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomFilter
, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionFilter
, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainFilter
)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectPropertyVisitor
<O>
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectFilter
(also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomFilter
, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionFilter
, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainFilter
)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainFilter
(also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedBinaryPropertyChainVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectFilter
(also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomFilter
, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionFilter
)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedBinaryPropertyChainVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectSomeValuesFromVisitor
<O>
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionFilter
(also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedDataHasValueVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedIndividualVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectComplementOfVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectIntersectionOfVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectUnionOfVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectFilter
(also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomFilter
, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainFilter
)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassEntityVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedDataHasValueVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectComplementOfVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectIntersectionOfVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectUnionOfVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectFilter
(also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomFilter
, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionFilter
, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainFilter
)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectUnionOfVisitor
<O>
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionFilter
(also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedDataHasValueVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedIndividualVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectComplementOfVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectIntersectionOfVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectSomeValuesFromVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectFilter
(also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomFilter
, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainFilter
)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassEntityVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedDataHasValueVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectComplementOfVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectIntersectionOfVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectSomeValuesFromVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectFilter
(also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomFilter
, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionFilter
, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainFilter
)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainVisitorEx
<O,P>
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedSubClassOfAxiomVisitor
<O>
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomFilter
(also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedDisjointnessAxiomVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectFilter
(also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionFilter
, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainFilter
)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedDisjointnessAxiomVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectFilter
(also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomFilter
, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionFilter
, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainFilter
)
org.semanticweb.elk.reasoner.indexing.visitors.
IndexedObjectVisitor
<O> (also extends org.semanticweb.elk.reasoner.indexing.visitors.
IndexedAxiomVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedClassExpressionVisitor
<O>, org.semanticweb.elk.reasoner.indexing.visitors.
IndexedPropertyChainVisitor
<O>)
org.semanticweb.elk.reasoner.indexing.hierarchy.
IndexObjectConverterFactory
org.semanticweb.elk.util.concurrent.computation.
InputProcessorListenerNotifyFinishedJob
<J>
org.semanticweb.elk.reasoner.saturation.
ClassExpressionSaturationListener
<J>
org.semanticweb.elk.reasoner.reduction.
TransitiveReductionListener
<J>
org.semanticweb.elk.util.concurrent.computation.
Interrupter
org.semanticweb.elk.reasoner.stages.
ReasonerStageExecutor
org.semanticweb.elk.util.collections.chains.
Link
<T>
org.semanticweb.elk.reasoner.saturation.rules.
ChainableRule
<E> (also extends org.semanticweb.elk.util.collections.chains.
Chainable
<T>, org.semanticweb.elk.reasoner.saturation.rules.
LinkRule
<E>, org.semanticweb.elk.util.collections.chains.
ModifiableLink
<T>)
org.semanticweb.elk.reasoner.saturation.rules.
LinkRule
<E> (also extends org.semanticweb.elk.reasoner.saturation.rules.
Rule
<E>)
org.semanticweb.elk.reasoner.saturation.rules.
ChainableRule
<E> (also extends org.semanticweb.elk.util.collections.chains.
Chainable
<T>, org.semanticweb.elk.util.collections.chains.
ModifiableLink
<T>)
org.semanticweb.elk.reasoner.saturation.rules.
ModifiableLinkRule
<E> (also extends org.semanticweb.elk.util.collections.chains.
ModifiableLink
<T>)
org.semanticweb.elk.reasoner.saturation.rules.
ModifiableLinkRule
<E> (also extends org.semanticweb.elk.reasoner.saturation.rules.
LinkRule
<E>, org.semanticweb.elk.util.collections.chains.
ModifiableLink
<T>)
org.semanticweb.elk.util.collections.chains.
ModifiableLink
<T>
org.semanticweb.elk.reasoner.saturation.rules.
ChainableRule
<E> (also extends org.semanticweb.elk.util.collections.chains.
Chainable
<T>, org.semanticweb.elk.reasoner.saturation.rules.
LinkRule
<E>)
org.semanticweb.elk.reasoner.saturation.rules.
ModifiableLinkRule
<E> (also extends org.semanticweb.elk.reasoner.saturation.rules.
LinkRule
<E>)
org.semanticweb.elk.reasoner.taxonomy.model.
Node
<T>
org.semanticweb.elk.reasoner.taxonomy.model.
InstanceNode
<T,I>
org.semanticweb.elk.reasoner.taxonomy.model.
UpdateableInstanceNode
<T,I> (also extends org.semanticweb.elk.reasoner.taxonomy.model.
UpdateableNode
<T>)
org.semanticweb.elk.reasoner.taxonomy.model.
TaxonomyNode
<T>
org.semanticweb.elk.reasoner.taxonomy.model.
TypeNode
<T,I>
org.semanticweb.elk.reasoner.taxonomy.model.
UpdateableTypeNode
<T,I> (also extends org.semanticweb.elk.reasoner.taxonomy.model.
UpdateableTaxonomyNode
<T>)
org.semanticweb.elk.reasoner.taxonomy.model.
UpdateableBottomNode
<T>
org.semanticweb.elk.reasoner.taxonomy.model.
UpdateableTaxonomyNode
<T> (also extends org.semanticweb.elk.reasoner.taxonomy.model.
UpdateableNode
<T>)
org.semanticweb.elk.reasoner.taxonomy.model.
UpdateableTypeNode
<T,I> (also extends org.semanticweb.elk.reasoner.taxonomy.model.
TypeNode
<T,I>)
org.semanticweb.elk.reasoner.taxonomy.model.
UpdateableTypeNode
<T,I> (also extends org.semanticweb.elk.reasoner.taxonomy.model.
TypeNode
<T,I>, org.semanticweb.elk.reasoner.taxonomy.model.
UpdateableTaxonomyNode
<T>)
org.semanticweb.elk.reasoner.taxonomy.model.
TypeNode
<T,I>
org.semanticweb.elk.reasoner.taxonomy.model.
UpdateableTypeNode
<T,I> (also extends org.semanticweb.elk.reasoner.taxonomy.model.
UpdateableTaxonomyNode
<T>)
org.semanticweb.elk.reasoner.taxonomy.model.
UpdateableBottomNode
<T>
org.semanticweb.elk.reasoner.taxonomy.model.
UpdateableInstanceNode
<T,I> (also extends org.semanticweb.elk.reasoner.taxonomy.model.
InstanceNode
<T,I>, org.semanticweb.elk.reasoner.taxonomy.model.
UpdateableNode
<T>)
org.semanticweb.elk.reasoner.taxonomy.model.
UpdateableNode
<T>
org.semanticweb.elk.reasoner.taxonomy.model.
UpdateableInstanceNode
<T,I> (also extends org.semanticweb.elk.reasoner.taxonomy.model.
InstanceNode
<T,I>)
org.semanticweb.elk.reasoner.taxonomy.model.
UpdateableTaxonomyNode
<T> (also extends org.semanticweb.elk.reasoner.taxonomy.model.
TaxonomyNode
<T>)
org.semanticweb.elk.reasoner.taxonomy.model.
UpdateableTypeNode
<T,I> (also extends org.semanticweb.elk.reasoner.taxonomy.model.
TypeNode
<T,I>)
org.semanticweb.elk.reasoner.taxonomy.model.
UpdateableTypeNode
<T,I> (also extends org.semanticweb.elk.reasoner.taxonomy.model.
TypeNode
<T,I>, org.semanticweb.elk.reasoner.taxonomy.model.
UpdateableTaxonomyNode
<T>)
org.semanticweb.elk.reasoner.taxonomy.model.
UpdateableTaxonomyNode
<T> (also extends org.semanticweb.elk.reasoner.taxonomy.model.
TaxonomyNode
<T>, org.semanticweb.elk.reasoner.taxonomy.model.
UpdateableNode
<T>)
org.semanticweb.elk.reasoner.taxonomy.model.
UpdateableTypeNode
<T,I> (also extends org.semanticweb.elk.reasoner.taxonomy.model.
TypeNode
<T,I>)
org.semanticweb.elk.reasoner.taxonomy.model.
UpdateableTypeNode
<T,I> (also extends org.semanticweb.elk.reasoner.taxonomy.model.
TypeNode
<T,I>, org.semanticweb.elk.reasoner.taxonomy.model.
UpdateableTaxonomyNode
<T>)
org.semanticweb.elk.reasoner.incremental.
NonIncrementalChangeListener
<T>
org.semanticweb.elk.reasoner.indexing.
OntologyIndex
org.semanticweb.elk.reasoner.indexing.hierarchy.
ModifiableOntologyIndex
org.semanticweb.elk.reasoner.
ProgressMonitor
org.semanticweb.elk.reasoner.stages.
ReasonerStage
org.semanticweb.elk.reasoner.saturation.rules.
Rule
<E>
org.semanticweb.elk.reasoner.saturation.rules.
ChainableRule
<E> (also extends org.semanticweb.elk.util.collections.chains.
Chainable
<T>, org.semanticweb.elk.reasoner.saturation.rules.
LinkRule
<E>, org.semanticweb.elk.util.collections.chains.
ModifiableLink
<T>)
org.semanticweb.elk.reasoner.saturation.rules.
LinkRule
<E> (also extends org.semanticweb.elk.util.collections.chains.
Link
<T>)
org.semanticweb.elk.reasoner.saturation.rules.
ChainableRule
<E> (also extends org.semanticweb.elk.util.collections.chains.
Chainable
<T>, org.semanticweb.elk.util.collections.chains.
ModifiableLink
<T>)
org.semanticweb.elk.reasoner.saturation.rules.
ModifiableLinkRule
<E> (also extends org.semanticweb.elk.util.collections.chains.
ModifiableLink
<T>)
org.semanticweb.elk.reasoner.saturation.rules.
ModifiableLinkRule
<E> (also extends org.semanticweb.elk.reasoner.saturation.rules.
LinkRule
<E>, org.semanticweb.elk.util.collections.chains.
ModifiableLink
<T>)
org.semanticweb.elk.reasoner.saturation.rules.
RuleApplicationVisitor
org.semanticweb.elk.reasoner.saturation.rules.
RuleEngine
org.semanticweb.elk.reasoner.saturation.
SaturationState
org.semanticweb.elk.reasoner.taxonomy.model.
Taxonomy
<T>
org.semanticweb.elk.reasoner.taxonomy.
IndividualClassTaxonomy
org.semanticweb.elk.reasoner.taxonomy.model.
InstanceTaxonomy
<T,I>
org.semanticweb.elk.reasoner.taxonomy.
IndividualClassTaxonomy
org.semanticweb.elk.reasoner.taxonomy.model.
UpdateableInstanceTaxonomy
<T,I> (also extends org.semanticweb.elk.reasoner.taxonomy.model.
UpdateableTaxonomy
<T>)
org.semanticweb.elk.reasoner.taxonomy.
IndividualClassTaxonomy
org.semanticweb.elk.reasoner.taxonomy.model.
UpdateableInstanceTaxonomy
<T,I> (also extends org.semanticweb.elk.reasoner.taxonomy.model.
InstanceTaxonomy
<T,I>, org.semanticweb.elk.reasoner.taxonomy.model.
UpdateableTaxonomy
<T>)
org.semanticweb.elk.reasoner.taxonomy.
IndividualClassTaxonomy
org.semanticweb.elk.reasoner.taxonomy.model.
UpdateableTaxonomy
<T>
org.semanticweb.elk.reasoner.taxonomy.
IndividualClassTaxonomy
org.semanticweb.elk.reasoner.taxonomy.model.
UpdateableInstanceTaxonomy
<T,I> (also extends org.semanticweb.elk.reasoner.taxonomy.model.
InstanceTaxonomy
<T,I>)
org.semanticweb.elk.reasoner.taxonomy.
IndividualClassTaxonomy
org.semanticweb.elk.reasoner.taxonomy.
TaxonomyNodeVisitor
<T>
org.semanticweb.elk.reasoner.reduction.
TransitiveReductionOutputVisitor
<R>
Enum Hierarchy
java.lang.
Object
java.lang.
Enum
<E> (implements java.lang.
Comparable
<T>, java.io.
Serializable
)
org.semanticweb.elk.reasoner.incremental.
IncrementalStages
org.semanticweb.elk.reasoner.config.
UnsupportedFeatureTreatment
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes
Copyright © 2011-2013
Department of Computer Science, University of Oxford
. All Rights Reserved.