All Downloads are FREE. Search and download functionalities are using the official Maven repository.
Search JAR files by class name

Download elk-reasoner JAR 0.4.1 with all dependencies


ELK consequence-based reasoning engine

Files of the artifact elk-reasoner version 0.4.1 from the group org.semanticweb.elk.

Artifact elk-reasoner
Group org.semanticweb.elk
Version 0.4.1
Last update 15. August 2013
Tags: reasoning engine consequence based
Organization not specified
URL Not specified
License not specified
Dependencies amount 9
Dependencies elk-owl-model, elk-owl-implementation, elk-util-collections, elk-util-concurrent, elk-util-hashing, elk-util-logging, elk-util-common, elk-util-io, log4j,
There are maybe transitive dependencies!
There is a newer version: 0.4.3
Show newest version
Show more of this group  Show more artifacts with this name
Show all versions of elk-reasoner Show documentation

Please rate this JAR file. Is it a good library?

1 downloads

Source code of elk-reasoner version 0.4.1

META-INF
META-INF.META-INF.MANIFEST.MF
.elk.properties
org.semanticweb.elk.loading
org.semanticweb.elk.loading.org.semanticweb.elk.loading.AbstractAxiomLoader
org.semanticweb.elk.loading.org.semanticweb.elk.loading.AxiomLoader
org.semanticweb.elk.loading.org.semanticweb.elk.loading.ComposedAxiomLoader
org.semanticweb.elk.loading.org.semanticweb.elk.loading.ElkAxiomChange
org.semanticweb.elk.loading.org.semanticweb.elk.loading.ElkLoadingException
org.semanticweb.elk.loading.org.semanticweb.elk.loading.EmptyAxiomLoader
org.semanticweb.elk.loading.org.semanticweb.elk.loading.Owl2ParserLoader
org.semanticweb.elk.loading.org.semanticweb.elk.loading.Owl2StreamLoader
org.semanticweb.elk.loading.org.semanticweb.elk.loading.SimpleElkAxiomChange
org.semanticweb.elk.reasoner
org.semanticweb.elk.reasoner.org.semanticweb.elk.reasoner.DummyProgressMonitor
org.semanticweb.elk.reasoner.org.semanticweb.elk.reasoner.ElkFreshEntitiesException
org.semanticweb.elk.reasoner.org.semanticweb.elk.reasoner.ElkInconsistentOntologyException
org.semanticweb.elk.reasoner.org.semanticweb.elk.reasoner.ElkUnsupportedReasoningTaskException
org.semanticweb.elk.reasoner.org.semanticweb.elk.reasoner.ProgressMonitor
org.semanticweb.elk.reasoner.org.semanticweb.elk.reasoner.Reasoner
org.semanticweb.elk.reasoner.org.semanticweb.elk.reasoner.ReasonerComputation
org.semanticweb.elk.reasoner.org.semanticweb.elk.reasoner.ReasonerFactory
org.semanticweb.elk.reasoner.org.semanticweb.elk.reasoner.ReasonerJob
org.semanticweb.elk.reasoner.config
org.semanticweb.elk.reasoner.config.org.semanticweb.elk.reasoner.config.NumberOfWorkers
org.semanticweb.elk.reasoner.config.org.semanticweb.elk.reasoner.config.ReasonerConfiguration
org.semanticweb.elk.reasoner.config.org.semanticweb.elk.reasoner.config.UnsupportedFeatureTreatment
org.semanticweb.elk.reasoner.consistency
org.semanticweb.elk.reasoner.consistency.org.semanticweb.elk.reasoner.consistency.ConsistencyChecking
org.semanticweb.elk.reasoner.incremental
org.semanticweb.elk.reasoner.incremental.org.semanticweb.elk.reasoner.incremental.IncrementalChangesInitialization
org.semanticweb.elk.reasoner.incremental.org.semanticweb.elk.reasoner.incremental.IncrementalProcessingStatistics
org.semanticweb.elk.reasoner.incremental.org.semanticweb.elk.reasoner.incremental.IncrementalStages
org.semanticweb.elk.reasoner.incremental.org.semanticweb.elk.reasoner.incremental.NonIncrementalChangeListener
org.semanticweb.elk.reasoner.indexing
org.semanticweb.elk.reasoner.indexing.org.semanticweb.elk.reasoner.indexing.OntologyIndex
org.semanticweb.elk.reasoner.indexing.entries
org.semanticweb.elk.reasoner.indexing.entries.org.semanticweb.elk.reasoner.indexing.entries.IndexedAxiomEntry
org.semanticweb.elk.reasoner.indexing.entries.org.semanticweb.elk.reasoner.indexing.entries.IndexedBinaryPropertyChainEntry
org.semanticweb.elk.reasoner.indexing.entries.org.semanticweb.elk.reasoner.indexing.entries.IndexedClassEntry
org.semanticweb.elk.reasoner.indexing.entries.org.semanticweb.elk.reasoner.indexing.entries.IndexedClassExpressionEntry
org.semanticweb.elk.reasoner.indexing.entries.org.semanticweb.elk.reasoner.indexing.entries.IndexedDataHasValueEntry
org.semanticweb.elk.reasoner.indexing.entries.org.semanticweb.elk.reasoner.indexing.entries.IndexedDisjointnessAxiomEntry
org.semanticweb.elk.reasoner.indexing.entries.org.semanticweb.elk.reasoner.indexing.entries.IndexedEntryConverter
org.semanticweb.elk.reasoner.indexing.entries.org.semanticweb.elk.reasoner.indexing.entries.IndexedIndividualEntry
org.semanticweb.elk.reasoner.indexing.entries.org.semanticweb.elk.reasoner.indexing.entries.IndexedObjectComplementOfEntry
org.semanticweb.elk.reasoner.indexing.entries.org.semanticweb.elk.reasoner.indexing.entries.IndexedObjectEntry
org.semanticweb.elk.reasoner.indexing.entries.org.semanticweb.elk.reasoner.indexing.entries.IndexedObjectIntersectionOfEntry
org.semanticweb.elk.reasoner.indexing.entries.org.semanticweb.elk.reasoner.indexing.entries.IndexedObjectPropertyEntry
org.semanticweb.elk.reasoner.indexing.entries.org.semanticweb.elk.reasoner.indexing.entries.IndexedObjectSomeValuesFromEntry
org.semanticweb.elk.reasoner.indexing.entries.org.semanticweb.elk.reasoner.indexing.entries.IndexedObjectUnionOfEntry
org.semanticweb.elk.reasoner.indexing.entries.org.semanticweb.elk.reasoner.indexing.entries.IndexedPropertyChainEntry
org.semanticweb.elk.reasoner.indexing.entries.org.semanticweb.elk.reasoner.indexing.entries.IndexedSubClassOfAxiomEntry
org.semanticweb.elk.reasoner.indexing.hierarchy
org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractElkAxiomIndexerVisitor
org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractIndexObjectConverter
org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.ChangeIndexingProcessor
org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.DelegatingElkAxiomVisitor
org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.DifferentialIndex
org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.DirectIndex
org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexer
org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexingVisitor
org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.ElkIndexingException
org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.ElkIndexingUnsupportedException
org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.ElkUnexpectedIndexingException
org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverter
org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.IndexObjectConverterFactory
org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedAxiom
org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedBinaryPropertyChain
org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClass
org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClassEntity
org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClassExpression
org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDataHasValue
org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDisjointnessAxiom
org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedIndividual
org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObject
org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectCache
org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectComplementOf
org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectIntersectionOf
org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectProperty
org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectSomeValuesFrom
org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectUnionOf
org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedPropertyChain
org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedSubClassOfAxiom
org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.MainAxiomIndexerVisitor
org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.ModifiableOntologyIndex
org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.NonIncrementalChangeCheckingVisitor
org.semanticweb.elk.reasoner.indexing.visitors
org.semanticweb.elk.reasoner.indexing.visitors.org.semanticweb.elk.reasoner.indexing.visitors.AbstractIndexedClassEntityVisitor
org.semanticweb.elk.reasoner.indexing.visitors.org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomFilter
org.semanticweb.elk.reasoner.indexing.visitors.org.semanticweb.elk.reasoner.indexing.visitors.IndexedAxiomVisitor
org.semanticweb.elk.reasoner.indexing.visitors.org.semanticweb.elk.reasoner.indexing.visitors.IndexedBinaryPropertyChainVisitor
org.semanticweb.elk.reasoner.indexing.visitors.org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassEntityVisitor
org.semanticweb.elk.reasoner.indexing.visitors.org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionFilter
org.semanticweb.elk.reasoner.indexing.visitors.org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionVisitor
org.semanticweb.elk.reasoner.indexing.visitors.org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassVisitor
org.semanticweb.elk.reasoner.indexing.visitors.org.semanticweb.elk.reasoner.indexing.visitors.IndexedDataHasValueVisitor
org.semanticweb.elk.reasoner.indexing.visitors.org.semanticweb.elk.reasoner.indexing.visitors.IndexedDisjointnessAxiomVisitor
org.semanticweb.elk.reasoner.indexing.visitors.org.semanticweb.elk.reasoner.indexing.visitors.IndexedIndividualVisitor
org.semanticweb.elk.reasoner.indexing.visitors.org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectComplementOfVisitor
org.semanticweb.elk.reasoner.indexing.visitors.org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectFilter
org.semanticweb.elk.reasoner.indexing.visitors.org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectIntersectionOfVisitor
org.semanticweb.elk.reasoner.indexing.visitors.org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectPropertyVisitor
org.semanticweb.elk.reasoner.indexing.visitors.org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectSomeValuesFromVisitor
org.semanticweb.elk.reasoner.indexing.visitors.org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectUnionOfVisitor
org.semanticweb.elk.reasoner.indexing.visitors.org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectVisitor
org.semanticweb.elk.reasoner.indexing.visitors.org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainFilter
org.semanticweb.elk.reasoner.indexing.visitors.org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainVisitor
org.semanticweb.elk.reasoner.indexing.visitors.org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainVisitorEx
org.semanticweb.elk.reasoner.indexing.visitors.org.semanticweb.elk.reasoner.indexing.visitors.IndexedSubClassOfAxiomVisitor
org.semanticweb.elk.reasoner.reduction
org.semanticweb.elk.reasoner.reduction.org.semanticweb.elk.reasoner.reduction.SaturationJobForTransitiveReduction
org.semanticweb.elk.reasoner.reduction.org.semanticweb.elk.reasoner.reduction.SaturationJobRoot
org.semanticweb.elk.reasoner.reduction.org.semanticweb.elk.reasoner.reduction.SaturationJobSuperClass
org.semanticweb.elk.reasoner.reduction.org.semanticweb.elk.reasoner.reduction.SaturationJobVisitor
org.semanticweb.elk.reasoner.reduction.org.semanticweb.elk.reasoner.reduction.TransitiveReductionFactory
org.semanticweb.elk.reasoner.reduction.org.semanticweb.elk.reasoner.reduction.TransitiveReductionJob
org.semanticweb.elk.reasoner.reduction.org.semanticweb.elk.reasoner.reduction.TransitiveReductionListener
org.semanticweb.elk.reasoner.reduction.org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutput
org.semanticweb.elk.reasoner.reduction.org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutputEquivalent
org.semanticweb.elk.reasoner.reduction.org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutputEquivalentDirect
org.semanticweb.elk.reasoner.reduction.org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutputUnsatisfiable
org.semanticweb.elk.reasoner.reduction.org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutputVisitor
org.semanticweb.elk.reasoner.reduction.org.semanticweb.elk.reasoner.reduction.TransitiveReductionState
org.semanticweb.elk.reasoner.saturation
org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.BasicSaturationStateWriter
org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.ClassExpressionNoInputSaturation
org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturation
org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturationFactory
org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturationListener
org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.ContextCreationListener
org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.ContextImpl
org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.ContextModificationListener
org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.DummyClassExpressionSaturationListener
org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.ExtendedSaturationStateWriter
org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.SaturationJob
org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.SaturationState
org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.SaturationStateFactory
org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.SaturationStateImpl
org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.SaturationStatistics
org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.SaturationUtils
org.semanticweb.elk.reasoner.saturation.conclusions
org.semanticweb.elk.reasoner.saturation.conclusions.org.semanticweb.elk.reasoner.saturation.conclusions.AbstractConclusion
org.semanticweb.elk.reasoner.saturation.conclusions.org.semanticweb.elk.reasoner.saturation.conclusions.BackwardLink
org.semanticweb.elk.reasoner.saturation.conclusions.org.semanticweb.elk.reasoner.saturation.conclusions.CombinedConclusionVisitor
org.semanticweb.elk.reasoner.saturation.conclusions.org.semanticweb.elk.reasoner.saturation.conclusions.Conclusion
org.semanticweb.elk.reasoner.saturation.conclusions.org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionApplicationVisitor
org.semanticweb.elk.reasoner.saturation.conclusions.org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionCounter
org.semanticweb.elk.reasoner.saturation.conclusions.org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionDeapplicationVisitor
org.semanticweb.elk.reasoner.saturation.conclusions.org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionDeletionVisitor
org.semanticweb.elk.reasoner.saturation.conclusions.org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionInsertionVisitor
org.semanticweb.elk.reasoner.saturation.conclusions.org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionOccurranceCheckingVisitor
org.semanticweb.elk.reasoner.saturation.conclusions.org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionSourceUnsaturationVisitor
org.semanticweb.elk.reasoner.saturation.conclusions.org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionStatistics
org.semanticweb.elk.reasoner.saturation.conclusions.org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionTimer
org.semanticweb.elk.reasoner.saturation.conclusions.org.semanticweb.elk.reasoner.saturation.conclusions.ConclusionVisitor
org.semanticweb.elk.reasoner.saturation.conclusions.org.semanticweb.elk.reasoner.saturation.conclusions.Contradiction
org.semanticweb.elk.reasoner.saturation.conclusions.org.semanticweb.elk.reasoner.saturation.conclusions.CountingConclusionVisitor
org.semanticweb.elk.reasoner.saturation.conclusions.org.semanticweb.elk.reasoner.saturation.conclusions.DisjointnessAxiom
org.semanticweb.elk.reasoner.saturation.conclusions.org.semanticweb.elk.reasoner.saturation.conclusions.ForwardLink
org.semanticweb.elk.reasoner.saturation.conclusions.org.semanticweb.elk.reasoner.saturation.conclusions.NegativeSubsumer
org.semanticweb.elk.reasoner.saturation.conclusions.org.semanticweb.elk.reasoner.saturation.conclusions.PositiveSubsumer
org.semanticweb.elk.reasoner.saturation.conclusions.org.semanticweb.elk.reasoner.saturation.conclusions.PreprocessedConclusionVisitor
org.semanticweb.elk.reasoner.saturation.conclusions.org.semanticweb.elk.reasoner.saturation.conclusions.Propagation
org.semanticweb.elk.reasoner.saturation.conclusions.org.semanticweb.elk.reasoner.saturation.conclusions.Subsumer
org.semanticweb.elk.reasoner.saturation.conclusions.org.semanticweb.elk.reasoner.saturation.conclusions.TimedConclusionVisitor
org.semanticweb.elk.reasoner.saturation.context
org.semanticweb.elk.reasoner.saturation.context.org.semanticweb.elk.reasoner.saturation.context.Context
org.semanticweb.elk.reasoner.saturation.context.org.semanticweb.elk.reasoner.saturation.context.ContextStatistics
org.semanticweb.elk.reasoner.saturation.properties
org.semanticweb.elk.reasoner.saturation.properties.org.semanticweb.elk.reasoner.saturation.properties.CompositionClosure
org.semanticweb.elk.reasoner.saturation.properties.org.semanticweb.elk.reasoner.saturation.properties.PropertyHierarchyCompositionComputation
org.semanticweb.elk.reasoner.saturation.properties.org.semanticweb.elk.reasoner.saturation.properties.PropertyHierarchyCompositionComputationFactory
org.semanticweb.elk.reasoner.saturation.properties.org.semanticweb.elk.reasoner.saturation.properties.ReducingCompositionClosure
org.semanticweb.elk.reasoner.saturation.properties.org.semanticweb.elk.reasoner.saturation.properties.ReflexivePropertyComputation
org.semanticweb.elk.reasoner.saturation.properties.org.semanticweb.elk.reasoner.saturation.properties.ReflexivePropertyComputationFactory
org.semanticweb.elk.reasoner.saturation.properties.org.semanticweb.elk.reasoner.saturation.properties.SaturatedPropertyChain
org.semanticweb.elk.reasoner.saturation.properties.org.semanticweb.elk.reasoner.saturation.properties.SubPropertyExplorer
org.semanticweb.elk.reasoner.saturation.properties.org.semanticweb.elk.reasoner.saturation.properties.SuperPropertyExplorer
org.semanticweb.elk.reasoner.saturation.rules
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.BackwardDecompositionRuleApplicationVisitor
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.BasicCompositionRuleApplicationVisitor
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.BasicDecompositionRuleApplicationVisitor
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.ChainableRule
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.ContextCleaningFactory
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.ContextCompletionFactory
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationCounter
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationCounterVisitor
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationTimer
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationTimerVisitor
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.DecompositionRuleApplicationVisitor
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.ForwardDecompositionRuleApplicationVisitor
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.LinkRule
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.ModifiableLinkRule
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.Rule
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationCounter
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationCounterVisitor
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationFactory
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationTimer
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationTimerVisitor
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationVisitor
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.RuleDeapplicationFactory
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.RuleEngine
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.RuleStatistics
org.semanticweb.elk.reasoner.stages
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.AbstractIncrementalChangesInitializationStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.AbstractIncrementalContextInitializationStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.AbstractReasonerStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.AbstractReasonerState
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.AbstractStageExecutor
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.AxiomLoadingStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.ClassSaturationStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.ClassTaxonomyComputationStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.ClassTaxonomyState
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.ConsistencyCheckingStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.ContextInitializationStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.ElkInterruptedException
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.IncrementalAdditionInitializationStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.IncrementalAdditionStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.IncrementalClassTaxonomyComputationStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.IncrementalCompletionStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.IncrementalConsistencyCheckingStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.IncrementalContextCleaningStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.IncrementalDeletionInitializationStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.IncrementalDeletionStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.IncrementalInstanceTaxonomyComputationStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.IncrementalOverdeletionPruningStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.IncrementalTaxonomyCleaningStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.InitializeContextsAfterCleaningStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.InitializeContextsAfterDeletionsStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.InstanceTaxonomyComputationStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.InstanceTaxonomyState
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.LoggingStageExecutor
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.PropertyHierarchyCompositionComputationStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.PropertyInitializationStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.PropertyReflexivityComputationStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.ReasonerStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.ReasonerStageExecutor
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.ReasonerStageManager
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.RestartingStageExecutor
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.SimpleStageExecutor
org.semanticweb.elk.reasoner.taxonomy
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.ClassTaxonomyComputation
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.ClassTaxonomyComputationFactory
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.ConcurrentClassTaxonomy
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.ConcurrentInstanceTaxonomy
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.IndividualClassTaxonomy
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.IndividualNode
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.InstanceTaxonomyComputation
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.InstanceTaxonomyComputationFactory
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.InvalidTaxonomyException
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.NonBottomClassNode
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.OrphanInstanceNode
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.OrphanNode
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.OrphanTypeNode
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.SingletoneInstanceTaxonomy
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.SingletoneTaxonomy
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.TaxonomyCleaning
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.TaxonomyNodeVisitor
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.TaxonomyPrinter
org.semanticweb.elk.reasoner.taxonomy.hashing
org.semanticweb.elk.reasoner.taxonomy.hashing.org.semanticweb.elk.reasoner.taxonomy.hashing.InstanceNodeHasher
org.semanticweb.elk.reasoner.taxonomy.hashing.org.semanticweb.elk.reasoner.taxonomy.hashing.InstanceTaxonomyHasher
org.semanticweb.elk.reasoner.taxonomy.hashing.org.semanticweb.elk.reasoner.taxonomy.hashing.NodeHasher
org.semanticweb.elk.reasoner.taxonomy.hashing.org.semanticweb.elk.reasoner.taxonomy.hashing.TaxonomyHasher
org.semanticweb.elk.reasoner.taxonomy.hashing.org.semanticweb.elk.reasoner.taxonomy.hashing.TaxonomyNodeHasher
org.semanticweb.elk.reasoner.taxonomy.hashing.org.semanticweb.elk.reasoner.taxonomy.hashing.TypeNodeHasher
org.semanticweb.elk.reasoner.taxonomy.model
org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.AnonymousNode
org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.FreshInstanceNode
org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.FreshNode
org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.FreshTaxonomyNode
org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.FreshTypeNode
org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.InstanceNode
org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.InstanceTaxonomy
org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.Node
org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.SimpleNode
org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.Taxonomy
org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.TaxonomyNode
org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.TaxonomyNodeUtils
org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.TypeNode
org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.UpdateableBottomNode
org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.UpdateableInstanceNode
org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.UpdateableInstanceTaxonomy
org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.UpdateableNode
org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTaxonomy
org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTaxonomyNode
org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTypeNode




© 2015 - 2024 Weber Informatics LLC | Privacy Policy