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