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