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