Download elk-reasoner-0.3.1-sources.jar
elk/elk-reasoner-0.3.1-sources.jar.zip( 195 k)
The download jar file contains the following class files or Java source files.
META-INF/MANIFEST.MF elk.properties org.semanticweb.elk.loading.ChangesLoader.java org.semanticweb.elk.loading.ElkLoadingException.java org.semanticweb.elk.loading.EmptyChangesLoader.java org.semanticweb.elk.loading.EmptyLoader.java org.semanticweb.elk.loading.EmptyOntologyLoader.java org.semanticweb.elk.loading.Loader.java org.semanticweb.elk.loading.OntologyLoader.java org.semanticweb.elk.loading.Owl2ParserLoader.java org.semanticweb.elk.loading.Owl2StreamLoader.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.indexing.OntologyIndex.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.IndexedEntryConverter.java org.semanticweb.elk.reasoner.indexing.entries.IndexedIndividualEntry.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.IndexedPropertyChainEntry.java org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractElkAxiomIndexerVisitor.java org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractElkObjectIndexerVisitor.java org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexerVisitor.java org.semanticweb.elk.reasoner.indexing.hierarchy.ElkObjectIndexerVisitor.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.IndexedObjectCache.java org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectFilter.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.IndexedPropertyChain.java org.semanticweb.elk.reasoner.indexing.hierarchy.IndexingException.java org.semanticweb.elk.reasoner.indexing.hierarchy.OntologyIndexImpl.java org.semanticweb.elk.reasoner.indexing.visitors.IndexedBinaryPropertyChainVisitor.java org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassEntityVisitor.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.IndexedIndividualVisitor.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.IndexedPropertyChainVisitor.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.ClassExpressionSaturationFactory.java org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturationListener.java org.semanticweb.elk.reasoner.saturation.SaturationJob.java org.semanticweb.elk.reasoner.saturation.classes.BackwardLink.java org.semanticweb.elk.reasoner.saturation.classes.ContextClassSaturation.java org.semanticweb.elk.reasoner.saturation.classes.ContextElClassSaturation.java org.semanticweb.elk.reasoner.saturation.classes.ForwardLink.java org.semanticweb.elk.reasoner.saturation.classes.InferenceRuleNegSCE.java org.semanticweb.elk.reasoner.saturation.classes.InferenceRulePosSCE.java org.semanticweb.elk.reasoner.saturation.classes.InferenceRuleSCE.java org.semanticweb.elk.reasoner.saturation.classes.InferenceSystemElClassSaturation.java org.semanticweb.elk.reasoner.saturation.classes.InferenceSystemInvocationManagerSCE.java org.semanticweb.elk.reasoner.saturation.classes.NegativeSuperClassExpression.java org.semanticweb.elk.reasoner.saturation.classes.PositiveSuperClassExpression.java org.semanticweb.elk.reasoner.saturation.classes.RuleBottom.java org.semanticweb.elk.reasoner.saturation.classes.RuleConjunctionPlus.java org.semanticweb.elk.reasoner.saturation.classes.RuleDecomposition.java org.semanticweb.elk.reasoner.saturation.classes.RuleDisjoint.java org.semanticweb.elk.reasoner.saturation.classes.RuleExistentialPlus.java org.semanticweb.elk.reasoner.saturation.classes.RuleInitialization.java org.semanticweb.elk.reasoner.saturation.classes.RuleReflexiveRole.java org.semanticweb.elk.reasoner.saturation.classes.RuleRoleComposition.java org.semanticweb.elk.reasoner.saturation.classes.RuleStatistics.java org.semanticweb.elk.reasoner.saturation.classes.RuleSubsumption.java org.semanticweb.elk.reasoner.saturation.classes.RuleWithBackwardLink.java org.semanticweb.elk.reasoner.saturation.classes.RuleWithBackwardLinks.java org.semanticweb.elk.reasoner.saturation.classes.SuperClassExpression.java org.semanticweb.elk.reasoner.saturation.properties.ObjectPropertyCompositionsPrecomputation.java org.semanticweb.elk.reasoner.saturation.properties.ObjectPropertyCompositionsPrecomputationFactory.java org.semanticweb.elk.reasoner.saturation.properties.ObjectPropertyHierarchyComputation.java org.semanticweb.elk.reasoner.saturation.properties.ObjectPropertyHierarchyComputationFactory.java org.semanticweb.elk.reasoner.saturation.properties.SaturatedPropertyChain.java org.semanticweb.elk.reasoner.saturation.rulesystem.AbstractContext.java org.semanticweb.elk.reasoner.saturation.rulesystem.Context.java org.semanticweb.elk.reasoner.saturation.rulesystem.IllegalInferenceMethodException.java org.semanticweb.elk.reasoner.saturation.rulesystem.InferenceRule.java org.semanticweb.elk.reasoner.saturation.rulesystem.InferenceSystem.java org.semanticweb.elk.reasoner.saturation.rulesystem.InferenceSystemInvocationManager.java org.semanticweb.elk.reasoner.saturation.rulesystem.Queueable.java org.semanticweb.elk.reasoner.saturation.rulesystem.RuleApplicationFactory.java org.semanticweb.elk.reasoner.stages.AbstractReasonerStage.java org.semanticweb.elk.reasoner.stages.AbstractReasonerState.java org.semanticweb.elk.reasoner.stages.ChangesLoadingStage.java org.semanticweb.elk.reasoner.stages.ClassTaxonomyComputationStage.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.InstanceTaxonomyComputationStage.java org.semanticweb.elk.reasoner.stages.LoggingStageExecutor.java org.semanticweb.elk.reasoner.stages.ObjectPropertyCompositionsPrecomputationStage.java org.semanticweb.elk.reasoner.stages.ObjectPropertyHierarchyComputationStage.java org.semanticweb.elk.reasoner.stages.OntologyLoadingStage.java org.semanticweb.elk.reasoner.stages.ReasonerStage.java org.semanticweb.elk.reasoner.stages.ReasonerStageExecutor.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.ConcurrentTaxonomy.java org.semanticweb.elk.reasoner.taxonomy.DepthFirstSearch.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.MockInstanceTaxonomy.java org.semanticweb.elk.reasoner.taxonomy.NonBottomClassNode.java org.semanticweb.elk.reasoner.taxonomy.PredefinedTaxonomy.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.Taxonomy.java org.semanticweb.elk.reasoner.taxonomy.model.TaxonomyNode.java org.semanticweb.elk.reasoner.taxonomy.model.TypeNode.java