All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Search JAR files by class name

Download elk-reasoner JAR 0.3.1 with all dependencies

ELK consequence-based reasoning engine

Files of the artifact elk-reasoner version 0.3.1 from the group org.semanticweb.elk.

Test

Artifact elk-reasoner
Group org.semanticweb.elk
Version 0.3.1
Last update 30. August 2012
Tags: reasoning engine consequence based
Organization not specified
URL Not specified
License not specified
Dependencies amount 9
Dependencies elk-owl-model, elk-owl-implementation, elk-util-collections, elk-util-concurrent, elk-util-hashing, elk-util-logging, elk-util-common, elk-util-io, log4j,
There are maybe transitive dependencies!

There is a newer version: 0.4.3

Show newest version

Show more of this group Show more artifacts with this name
Show all versions of elk-reasoner Show documentation

Please rate this JAR file. Is it a good library?

1 downloads

Source code of elk-reasoner version 0.3.1

META-INF

META-INF.META-INF.MANIFEST.MF

.elk.properties

org.semanticweb.elk.loading

org.semanticweb.elk.loading.org.semanticweb.elk.loading.ChangesLoader

org.semanticweb.elk.loading.org.semanticweb.elk.loading.ElkLoadingException

org.semanticweb.elk.loading.org.semanticweb.elk.loading.EmptyChangesLoader

org.semanticweb.elk.loading.org.semanticweb.elk.loading.EmptyLoader

org.semanticweb.elk.loading.org.semanticweb.elk.loading.EmptyOntologyLoader

org.semanticweb.elk.loading.org.semanticweb.elk.loading.Loader

org.semanticweb.elk.loading.org.semanticweb.elk.loading.OntologyLoader

org.semanticweb.elk.loading.org.semanticweb.elk.loading.Owl2ParserLoader

org.semanticweb.elk.loading.org.semanticweb.elk.loading.Owl2StreamLoader

org.semanticweb.elk.reasoner

org.semanticweb.elk.reasoner.org.semanticweb.elk.reasoner.DummyProgressMonitor

org.semanticweb.elk.reasoner.org.semanticweb.elk.reasoner.ElkFreshEntitiesException

org.semanticweb.elk.reasoner.org.semanticweb.elk.reasoner.ElkInconsistentOntologyException

org.semanticweb.elk.reasoner.org.semanticweb.elk.reasoner.ElkUnsupportedReasoningTaskException

org.semanticweb.elk.reasoner.org.semanticweb.elk.reasoner.ProgressMonitor

org.semanticweb.elk.reasoner.org.semanticweb.elk.reasoner.Reasoner

org.semanticweb.elk.reasoner.org.semanticweb.elk.reasoner.ReasonerComputation

org.semanticweb.elk.reasoner.org.semanticweb.elk.reasoner.ReasonerFactory

org.semanticweb.elk.reasoner.org.semanticweb.elk.reasoner.ReasonerJob

org.semanticweb.elk.reasoner.config

org.semanticweb.elk.reasoner.config.org.semanticweb.elk.reasoner.config.NumberOfWorkers

org.semanticweb.elk.reasoner.config.org.semanticweb.elk.reasoner.config.ReasonerConfiguration

org.semanticweb.elk.reasoner.config.org.semanticweb.elk.reasoner.config.UnsupportedFeatureTreatment

org.semanticweb.elk.reasoner.consistency

org.semanticweb.elk.reasoner.consistency.org.semanticweb.elk.reasoner.consistency.ConsistencyChecking

org.semanticweb.elk.reasoner.indexing

org.semanticweb.elk.reasoner.indexing.org.semanticweb.elk.reasoner.indexing.OntologyIndex

org.semanticweb.elk.reasoner.indexing.entries

org.semanticweb.elk.reasoner.indexing.entries.org.semanticweb.elk.reasoner.indexing.entries.IndexedBinaryPropertyChainEntry

org.semanticweb.elk.reasoner.indexing.entries.org.semanticweb.elk.reasoner.indexing.entries.IndexedClassEntry

org.semanticweb.elk.reasoner.indexing.entries.org.semanticweb.elk.reasoner.indexing.entries.IndexedClassExpressionEntry

org.semanticweb.elk.reasoner.indexing.entries.org.semanticweb.elk.reasoner.indexing.entries.IndexedDataHasValueEntry

org.semanticweb.elk.reasoner.indexing.entries.org.semanticweb.elk.reasoner.indexing.entries.IndexedEntryConverter

org.semanticweb.elk.reasoner.indexing.entries.org.semanticweb.elk.reasoner.indexing.entries.IndexedIndividualEntry

org.semanticweb.elk.reasoner.indexing.entries.org.semanticweb.elk.reasoner.indexing.entries.IndexedObjectIntersectionOfEntry

org.semanticweb.elk.reasoner.indexing.entries.org.semanticweb.elk.reasoner.indexing.entries.IndexedObjectPropertyEntry

org.semanticweb.elk.reasoner.indexing.entries.org.semanticweb.elk.reasoner.indexing.entries.IndexedObjectSomeValuesFromEntry

org.semanticweb.elk.reasoner.indexing.entries.org.semanticweb.elk.reasoner.indexing.entries.IndexedPropertyChainEntry

org.semanticweb.elk.reasoner.indexing.hierarchy

org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractElkAxiomIndexerVisitor

org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.AbstractElkObjectIndexerVisitor

org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.ElkAxiomIndexerVisitor

org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.ElkObjectIndexerVisitor

org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedBinaryPropertyChain

org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClass

org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClassEntity

org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClassExpression

org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDataHasValue

org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDisjointnessAxiom

org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedIndividual

org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectCache

org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectFilter

org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectIntersectionOf

org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectProperty

org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectSomeValuesFrom

org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedPropertyChain

org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.IndexingException

org.semanticweb.elk.reasoner.indexing.hierarchy.org.semanticweb.elk.reasoner.indexing.hierarchy.OntologyIndexImpl

org.semanticweb.elk.reasoner.indexing.visitors

org.semanticweb.elk.reasoner.indexing.visitors.org.semanticweb.elk.reasoner.indexing.visitors.IndexedBinaryPropertyChainVisitor

org.semanticweb.elk.reasoner.indexing.visitors.org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassEntityVisitor

org.semanticweb.elk.reasoner.indexing.visitors.org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassExpressionVisitor

org.semanticweb.elk.reasoner.indexing.visitors.org.semanticweb.elk.reasoner.indexing.visitors.IndexedClassVisitor

org.semanticweb.elk.reasoner.indexing.visitors.org.semanticweb.elk.reasoner.indexing.visitors.IndexedDataHasValueVisitor

org.semanticweb.elk.reasoner.indexing.visitors.org.semanticweb.elk.reasoner.indexing.visitors.IndexedIndividualVisitor

org.semanticweb.elk.reasoner.indexing.visitors.org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectIntersectionOfVisitor

org.semanticweb.elk.reasoner.indexing.visitors.org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectPropertyVisitor

org.semanticweb.elk.reasoner.indexing.visitors.org.semanticweb.elk.reasoner.indexing.visitors.IndexedObjectSomeValuesFromVisitor

org.semanticweb.elk.reasoner.indexing.visitors.org.semanticweb.elk.reasoner.indexing.visitors.IndexedPropertyChainVisitor

org.semanticweb.elk.reasoner.reduction

org.semanticweb.elk.reasoner.reduction.org.semanticweb.elk.reasoner.reduction.SaturationJobForTransitiveReduction

org.semanticweb.elk.reasoner.reduction.org.semanticweb.elk.reasoner.reduction.SaturationJobRoot

org.semanticweb.elk.reasoner.reduction.org.semanticweb.elk.reasoner.reduction.SaturationJobSuperClass

org.semanticweb.elk.reasoner.reduction.org.semanticweb.elk.reasoner.reduction.SaturationJobVisitor

org.semanticweb.elk.reasoner.reduction.org.semanticweb.elk.reasoner.reduction.TransitiveReductionFactory

org.semanticweb.elk.reasoner.reduction.org.semanticweb.elk.reasoner.reduction.TransitiveReductionJob

org.semanticweb.elk.reasoner.reduction.org.semanticweb.elk.reasoner.reduction.TransitiveReductionListener

org.semanticweb.elk.reasoner.reduction.org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutput

org.semanticweb.elk.reasoner.reduction.org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutputEquivalent

org.semanticweb.elk.reasoner.reduction.org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutputEquivalentDirect

org.semanticweb.elk.reasoner.reduction.org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutputUnsatisfiable

org.semanticweb.elk.reasoner.reduction.org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutputVisitor

org.semanticweb.elk.reasoner.reduction.org.semanticweb.elk.reasoner.reduction.TransitiveReductionState

org.semanticweb.elk.reasoner.saturation

org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturationFactory

org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturationListener

org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.SaturationJob

org.semanticweb.elk.reasoner.saturation.classes

org.semanticweb.elk.reasoner.saturation.classes.org.semanticweb.elk.reasoner.saturation.classes.BackwardLink

org.semanticweb.elk.reasoner.saturation.classes.org.semanticweb.elk.reasoner.saturation.classes.ContextClassSaturation

org.semanticweb.elk.reasoner.saturation.classes.org.semanticweb.elk.reasoner.saturation.classes.ContextElClassSaturation

org.semanticweb.elk.reasoner.saturation.classes.org.semanticweb.elk.reasoner.saturation.classes.ForwardLink

org.semanticweb.elk.reasoner.saturation.classes.org.semanticweb.elk.reasoner.saturation.classes.InferenceRuleNegSCE

org.semanticweb.elk.reasoner.saturation.classes.org.semanticweb.elk.reasoner.saturation.classes.InferenceRulePosSCE

org.semanticweb.elk.reasoner.saturation.classes.org.semanticweb.elk.reasoner.saturation.classes.InferenceRuleSCE

org.semanticweb.elk.reasoner.saturation.classes.org.semanticweb.elk.reasoner.saturation.classes.InferenceSystemElClassSaturation

org.semanticweb.elk.reasoner.saturation.classes.org.semanticweb.elk.reasoner.saturation.classes.InferenceSystemInvocationManagerSCE

org.semanticweb.elk.reasoner.saturation.classes.org.semanticweb.elk.reasoner.saturation.classes.NegativeSuperClassExpression

org.semanticweb.elk.reasoner.saturation.classes.org.semanticweb.elk.reasoner.saturation.classes.PositiveSuperClassExpression

org.semanticweb.elk.reasoner.saturation.classes.org.semanticweb.elk.reasoner.saturation.classes.RuleBottom

org.semanticweb.elk.reasoner.saturation.classes.org.semanticweb.elk.reasoner.saturation.classes.RuleConjunctionPlus

org.semanticweb.elk.reasoner.saturation.classes.org.semanticweb.elk.reasoner.saturation.classes.RuleDecomposition

org.semanticweb.elk.reasoner.saturation.classes.org.semanticweb.elk.reasoner.saturation.classes.RuleDisjoint

org.semanticweb.elk.reasoner.saturation.classes.org.semanticweb.elk.reasoner.saturation.classes.RuleExistentialPlus

org.semanticweb.elk.reasoner.saturation.classes.org.semanticweb.elk.reasoner.saturation.classes.RuleInitialization

org.semanticweb.elk.reasoner.saturation.classes.org.semanticweb.elk.reasoner.saturation.classes.RuleReflexiveRole

org.semanticweb.elk.reasoner.saturation.classes.org.semanticweb.elk.reasoner.saturation.classes.RuleRoleComposition

org.semanticweb.elk.reasoner.saturation.classes.org.semanticweb.elk.reasoner.saturation.classes.RuleStatistics

org.semanticweb.elk.reasoner.saturation.classes.org.semanticweb.elk.reasoner.saturation.classes.RuleSubsumption

org.semanticweb.elk.reasoner.saturation.classes.org.semanticweb.elk.reasoner.saturation.classes.RuleWithBackwardLink

org.semanticweb.elk.reasoner.saturation.classes.org.semanticweb.elk.reasoner.saturation.classes.RuleWithBackwardLinks

org.semanticweb.elk.reasoner.saturation.classes.org.semanticweb.elk.reasoner.saturation.classes.SuperClassExpression

org.semanticweb.elk.reasoner.saturation.properties

org.semanticweb.elk.reasoner.saturation.properties.org.semanticweb.elk.reasoner.saturation.properties.ObjectPropertyCompositionsPrecomputation

org.semanticweb.elk.reasoner.saturation.properties.org.semanticweb.elk.reasoner.saturation.properties.ObjectPropertyCompositionsPrecomputationFactory

org.semanticweb.elk.reasoner.saturation.properties.org.semanticweb.elk.reasoner.saturation.properties.ObjectPropertyHierarchyComputation

org.semanticweb.elk.reasoner.saturation.properties.org.semanticweb.elk.reasoner.saturation.properties.ObjectPropertyHierarchyComputationFactory

org.semanticweb.elk.reasoner.saturation.properties.org.semanticweb.elk.reasoner.saturation.properties.SaturatedPropertyChain

org.semanticweb.elk.reasoner.saturation.rulesystem

org.semanticweb.elk.reasoner.saturation.rulesystem.org.semanticweb.elk.reasoner.saturation.rulesystem.AbstractContext

org.semanticweb.elk.reasoner.saturation.rulesystem.org.semanticweb.elk.reasoner.saturation.rulesystem.Context

org.semanticweb.elk.reasoner.saturation.rulesystem.org.semanticweb.elk.reasoner.saturation.rulesystem.IllegalInferenceMethodException

org.semanticweb.elk.reasoner.saturation.rulesystem.org.semanticweb.elk.reasoner.saturation.rulesystem.InferenceRule

org.semanticweb.elk.reasoner.saturation.rulesystem.org.semanticweb.elk.reasoner.saturation.rulesystem.InferenceSystem

org.semanticweb.elk.reasoner.saturation.rulesystem.org.semanticweb.elk.reasoner.saturation.rulesystem.InferenceSystemInvocationManager

org.semanticweb.elk.reasoner.saturation.rulesystem.org.semanticweb.elk.reasoner.saturation.rulesystem.Queueable

org.semanticweb.elk.reasoner.saturation.rulesystem.org.semanticweb.elk.reasoner.saturation.rulesystem.RuleApplicationFactory

org.semanticweb.elk.reasoner.stages

org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.AbstractReasonerStage

org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.AbstractReasonerState

org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.ChangesLoadingStage

org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.ClassTaxonomyComputationStage

org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.ConsistencyCheckingStage

org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.ContextInitializationStage

org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.ElkInterruptedException

org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.InstanceTaxonomyComputationStage

org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.LoggingStageExecutor

org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.ObjectPropertyCompositionsPrecomputationStage

org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.ObjectPropertyHierarchyComputationStage

org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.OntologyLoadingStage

org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.ReasonerStage

org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.ReasonerStageExecutor

org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.RestartingStageExecutor

org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.SimpleStageExecutor

org.semanticweb.elk.reasoner.taxonomy

org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.ClassTaxonomyComputation

org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.ClassTaxonomyComputationFactory

org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.ConcurrentTaxonomy

org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.DepthFirstSearch

org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.IndividualClassTaxonomy

org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.IndividualNode

org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.InstanceTaxonomyComputation

org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.InstanceTaxonomyComputationFactory

org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.MockInstanceTaxonomy

org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.NonBottomClassNode

org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.PredefinedTaxonomy

org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.TaxonomyNodeVisitor

org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.TaxonomyPrinter

org.semanticweb.elk.reasoner.taxonomy.hashing

org.semanticweb.elk.reasoner.taxonomy.hashing.org.semanticweb.elk.reasoner.taxonomy.hashing.InstanceNodeHasher

org.semanticweb.elk.reasoner.taxonomy.hashing.org.semanticweb.elk.reasoner.taxonomy.hashing.InstanceTaxonomyHasher

org.semanticweb.elk.reasoner.taxonomy.hashing.org.semanticweb.elk.reasoner.taxonomy.hashing.NodeHasher

org.semanticweb.elk.reasoner.taxonomy.hashing.org.semanticweb.elk.reasoner.taxonomy.hashing.TaxonomyHasher

org.semanticweb.elk.reasoner.taxonomy.hashing.org.semanticweb.elk.reasoner.taxonomy.hashing.TaxonomyNodeHasher

org.semanticweb.elk.reasoner.taxonomy.hashing.org.semanticweb.elk.reasoner.taxonomy.hashing.TypeNodeHasher

org.semanticweb.elk.reasoner.taxonomy.model

org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.FreshInstanceNode

org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.FreshNode

org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.FreshTaxonomyNode

org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.FreshTypeNode

org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.InstanceNode

org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.InstanceTaxonomy

org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.Node

org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.Taxonomy

org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.TaxonomyNode

org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.TypeNode

© 2015 - 2025 Weber Informatics LLC | Privacy Policy