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