Download elk-reasoner.jar

Version	Vulnerabilities	Size	Updated
0.5.x	elk-reasoner-0.5.0.jar		1.41 MB	Oct 11, 2020

View Java Class Source Code in JAR file

Download JD-GUI to open JAR file and explore Java source code file (.class .java)
Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window elk-reasoner-0.5.0.jar file.
Once you open a JAR file, all the java classes in the JAR file will be displayed.

org.semanticweb.elk.reasoner.taxonomy

├─ org.semanticweb.elk.reasoner.taxonomy.ClassTaxonomyComputation.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.ClassTaxonomyComputationFactory.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.ConcurrentClassTaxonomy.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.ConcurrentInstanceTaxonomy.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.DummyInstanceTaxonomyListener.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.DummyNodeStoreListener.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.DummyTaxonomyListener.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.ElkClassKeyProvider.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.ElkEntityKeyProvider.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.ElkIndividualKeyProvider.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.ElkObjectPropertyKeyProvider.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.FreshInstanceNode.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.FreshNode.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.FreshTaxonomyNode.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.FreshTypeNode.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.IndividualTaxonomy.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.InstanceTaxonomyComputation.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.InstanceTaxonomyComputationFactory.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.InvalidTaxonomyException.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.OrphanInstanceNode.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.OrphanNode.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.OrphanTaxonomyNode.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.OrphanTypeNode.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.ReverseObjectPropertyTaxonomy.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.ReverseTaxonomy.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.SingletoneInstanceTaxonomy.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.SingletoneTaxonomy.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.TaxonomyCleaning.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.TaxonomyCleaningFactory.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.TaxonomyNodeUtils.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.TaxonomyNodeVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.TaxonomyPrinter.class - [JAR]

org.semanticweb.elk.reasoner.saturation.rules

├─ org.semanticweb.elk.reasoner.saturation.rules.AbstractRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.AllInferencesRuleVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.BasicRuleVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.ChainableRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.ClassInferenceProducer.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.CombinedConclusionProducer.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.ConditionalRuleVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.DelegatingRuleVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.DummyRuleVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.LinkRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.ModifiableLinkRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.Rule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationTimer.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationTimerVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.RuleCounter.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.RuleCounterVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.RuleStatistics.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.RuleTracingCheckingVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.RuleVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.RuleVisitors.class - [JAR]

org.semanticweb.elk.reasoner.saturation.rules.propagations

├─ org.semanticweb.elk.reasoner.saturation.rules.propagations.AbstractPropagationRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.propagations.PropagationRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.propagations.PropagationRuleVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.propagations.SubsumerPropagationRule.class - [JAR]

org.semanticweb.elk.reasoner.entailments.model

├─ org.semanticweb.elk.reasoner.entailments.model.AxiomEntailment.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.model.AxiomEntailmentInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.model.ClassAssertionAxiomEntailment.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.model.DerivedClassInclusionEntailsClassAssertionAxiom.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.model.DerivedClassInclusionEntailsObjectPropertyAssertionAxiom.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.model.DerivedClassInclusionEntailsObjectPropertyDomainAxiom.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.model.DerivedClassInclusionEntailsSubClassOfAxiom.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.model.DifferentIndividualsAxiomEntailment.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.model.DisjointClassesAxiomEntailment.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.model.EntailedClassInclusionCycleEntailsEquivalentClassesAxiom.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.model.EntailedDisjointClassesEntailsDifferentIndividualsAxiom.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.model.EntailedEquivalentClassesEntailsSameIndividualAxiom.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.model.EntailedIntersectionInconsistencyEntailsDisjointClassesAxiom.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.model.Entailment.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.model.EntailmentInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.model.EquivalentClassesAxiomEntailment.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.model.HasReason.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.model.IndividualInconsistencyEntailsOntologyInconsistency.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.model.ObjectPropertyAssertionAxiomEntailment.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.model.ObjectPropertyDomainAxiomEntailment.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.model.OntologyInconsistency.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.model.OntologyInconsistencyEntailmentInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.model.OntologyInconsistencyEntailsAnyAxiom.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.model.OwlThingInconsistencyEntailsOntologyInconsistency.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.model.SameIndividualAxiomEntailment.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.model.SubClassInconsistencyEntailsSubClassOfAxiom.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.model.SubClassOfAxiomEntailment.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.model.SubClassOfAxiomEntailmentInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.model.TopObjectPropertyInBottomEntailsOntologyInconsistency.class - [JAR]

org.semanticweb.elk.reasoner.config

├─ org.semanticweb.elk.reasoner.config.EvictorBuilder.class - [JAR]

├─ org.semanticweb.elk.reasoner.config.NumberOfWorkers.class - [JAR]

├─ org.semanticweb.elk.reasoner.config.ReasonerConfiguration.class - [JAR]

├─ org.semanticweb.elk.reasoner.config.UnsupportedFeatureTreatment.class - [JAR]

org.semanticweb.elk.reasoner.entailments.impl

├─ org.semanticweb.elk.reasoner.entailments.impl.AbstractAxiomEntailment.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.impl.AbstractAxiomEntailmentInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.impl.AbstractEntailment.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.impl.AbstractEntailmentInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.impl.AbstractOntologyInconsistencyEntailmentInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.impl.AbstractSubClassOfAxiomEntailmentInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.impl.ClassAssertionAxiomEntailmentImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.impl.DerivedClassInclusionEntailsClassAssertionAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.impl.DerivedClassInclusionEntailsObjectPropertyAssertionAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.impl.DerivedClassInclusionEntailsObjectPropertyDomainAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.impl.DerivedClassInclusionEntailsSubClassOfAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.impl.DifferentIndividualsAxiomEntailmentImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.impl.DisjointClassesAxiomEntailmentImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.impl.EntailedClassInclusionCycleEntailsEquivalentClassesAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.impl.EntailedDisjointClassesEntailsDifferentIndividualsAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.impl.EntailedEquivalentClassesEntailsSameIndividualAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.impl.EntailedIntersectionInconsistencyEntailsDisjointClassesAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.impl.EntailmentEquality.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.impl.EntailmentHasher.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.impl.EntailmentInferenceEquality.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.impl.EntailmentInferenceHasher.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.impl.EntailmentInferencePrinter.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.impl.EntailmentPrinter.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.impl.EquivalentClassesAxiomEntailmentImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.impl.IndividualInconsistencyEntailsOntologyInconsistencyImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.impl.ObjectPropertyAssertionAxiomEntailmentImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.impl.ObjectPropertyDomainAxiomEntailmentImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.impl.OntologyInconsistencyEntailsAnyAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.impl.OntologyInconsistencyImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.impl.OwlThingInconsistencyEntailsOntologyInconsistencyImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.impl.SameIndividualAxiomEntailmentImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.impl.SubClassInconsistencyEntailsSubClassOfAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.impl.SubClassOfAxiomEntailmentImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.impl.TopObjectPropertyInBottomEntailsOntologyInconsistencyImpl.class - [JAR]

org.semanticweb.elk.reasoner.query

├─ org.semanticweb.elk.reasoner.query.AbstractEntailmentQueryResult.class - [JAR]

├─ org.semanticweb.elk.reasoner.query.AbstractEntailmentQueryWithPremises.class - [JAR]

├─ org.semanticweb.elk.reasoner.query.AbstractIndexedEntailmentQuery.class - [JAR]

├─ org.semanticweb.elk.reasoner.query.AbstractProperEntailmentQueryResult.class - [JAR]

├─ org.semanticweb.elk.reasoner.query.ClassAssertionEntailmentQuery.class - [JAR]

├─ org.semanticweb.elk.reasoner.query.ClassExpressionQueryComputation.class - [JAR]

├─ org.semanticweb.elk.reasoner.query.ClassExpressionQueryComputationFactory.class - [JAR]

├─ org.semanticweb.elk.reasoner.query.DifferentIndividualsEntailmentQuery.class - [JAR]

├─ org.semanticweb.elk.reasoner.query.DisjointClassesEntailmentQuery.class - [JAR]

├─ org.semanticweb.elk.reasoner.query.ElkQueryException.class - [JAR]

├─ org.semanticweb.elk.reasoner.query.EntailmentQueryConverter.class - [JAR]

├─ org.semanticweb.elk.reasoner.query.EntailmentQueryIndexingProcessor.class - [JAR]

├─ org.semanticweb.elk.reasoner.query.EntailmentQueryResult.class - [JAR]

├─ org.semanticweb.elk.reasoner.query.EquivalentClassesEntailmentQuery.class - [JAR]

├─ org.semanticweb.elk.reasoner.query.IndexedEntailmentQuery.class - [JAR]

├─ org.semanticweb.elk.reasoner.query.ObjectPropertyAssertionEntailmentQuery.class - [JAR]

├─ org.semanticweb.elk.reasoner.query.ObjectPropertyDomainEntailmentQuery.class - [JAR]

├─ org.semanticweb.elk.reasoner.query.ProperEntailmentQueryResult.class - [JAR]

├─ org.semanticweb.elk.reasoner.query.QueryNode.class - [JAR]

├─ org.semanticweb.elk.reasoner.query.SameIndividualEntailmentQuery.class - [JAR]

├─ org.semanticweb.elk.reasoner.query.SubClassOfEntailmentQuery.class - [JAR]

├─ org.semanticweb.elk.reasoner.query.UnsupportedIndexingEntailmentQueryResult.class - [JAR]

├─ org.semanticweb.elk.reasoner.query.UnsupportedIndexingEntailmentQueryResultImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.query.UnsupportedQueryTypeEntailmentQueryResult.class - [JAR]

├─ org.semanticweb.elk.reasoner.query.UnsupportedQueryTypeEntailmentQueryResultImpl.class - [JAR]

org.semanticweb.elk.reasoner.reduction

├─ org.semanticweb.elk.reasoner.reduction.SaturationJobForTransitiveReduction.class - [JAR]

├─ org.semanticweb.elk.reasoner.reduction.SaturationJobRoot.class - [JAR]

├─ org.semanticweb.elk.reasoner.reduction.SaturationJobSuperClass.class - [JAR]

├─ org.semanticweb.elk.reasoner.reduction.SaturationJobVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.reduction.TransitiveReductionFactory.class - [JAR]

├─ org.semanticweb.elk.reasoner.reduction.TransitiveReductionJob.class - [JAR]

├─ org.semanticweb.elk.reasoner.reduction.TransitiveReductionListener.class - [JAR]

├─ org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutput.class - [JAR]

├─ org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutputEquivalent.class - [JAR]

├─ org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutputEquivalentDirect.class - [JAR]

├─ org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutputUnsatisfiable.class - [JAR]

├─ org.semanticweb.elk.reasoner.reduction.TransitiveReductionOutputVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.reduction.TransitiveReductionState.class - [JAR]

org.semanticweb.elk.reasoner.saturation.rules.factories

├─ org.semanticweb.elk.reasoner.saturation.rules.factories.AbstractRuleApplicationFactory.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.factories.AbstractRuleEngine.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.factories.AbstractRuleEngineWithStatistics.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.factories.BasicRuleEngine.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.factories.RuleApplicationAdditionFactory.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.factories.RuleApplicationAdditionPruningFactory.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.factories.RuleApplicationAdditionUnSaturationFactory.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.factories.RuleApplicationDeletionFactory.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.factories.RuleApplicationDeletionNotSaturatedFactory.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.factories.RuleApplicationFactory.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.factories.RuleApplicationInput.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.factories.WorkerLocalTodo.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.factories.WorkerLocalTodoImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.factories.WorkerLocalizedSaturationStateWriter.class - [JAR]

org.semanticweb.elk.reasoner.consistency

├─ org.semanticweb.elk.reasoner.consistency.ConsistencyCheckingState.class - [JAR]

org.semanticweb.elk.reasoner.taxonomy.model

├─ org.semanticweb.elk.reasoner.taxonomy.model.ComparatorKeyProvider.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.model.GenericInstanceNode.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.model.GenericTaxonomyNode.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.model.GenericTypeNode.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.model.HasTaxonomy.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.model.InstanceNode.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.model.InstanceTaxonomy.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.model.KeyProvider.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.model.Node.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.model.NodeFactory.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.model.NodeStore.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.model.NonBottomTaxonomyNode.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.model.NonBottomTypeNode.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.model.Taxonomy.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.model.TaxonomyNode.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.model.TaxonomyNodeFactory.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.model.TypeNode.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.model.UpdateableInstanceTaxonomy.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTaxonomy.class - [JAR]

org.semanticweb.elk.reasoner.saturation.rules.contextinit

├─ org.semanticweb.elk.reasoner.saturation.rules.contextinit.AbstractChainableContextInitRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.contextinit.AbstractContextInitRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.contextinit.ChainableContextInitRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.contextinit.ContextInitRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.contextinit.ContextInitRuleVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.contextinit.LinkedContextInitRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.contextinit.LinkedContextInitRuleVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.contextinit.OwlThingContextInitRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.contextinit.RootContextInitializationRule.class - [JAR]

org.semanticweb.elk.reasoner.taxonomy.hashing

├─ org.semanticweb.elk.reasoner.taxonomy.hashing.InstanceNodeHasher.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.hashing.InstanceTaxonomyEqualator.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.hashing.InstanceTaxonomyHasher.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.hashing.NodeHasher.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.hashing.TaxonomyEqualator.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.hashing.TaxonomyHasher.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.hashing.TaxonomyNodeHasher.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.hashing.TypeNodeHasher.class - [JAR]

org.semanticweb.elk.reasoner.tracing.factories

├─ org.semanticweb.elk.reasoner.tracing.factories.ClassInferenceBlockingFilter.class - [JAR]

├─ org.semanticweb.elk.reasoner.tracing.factories.ClassInferenceConclusionGettingVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.tracing.factories.ClassInferenceLocalPremiseVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.tracing.factories.ConclusionEqualityChecker.class - [JAR]

├─ org.semanticweb.elk.reasoner.tracing.factories.ContextTracingRuleApplicationFactory.class - [JAR]

├─ org.semanticweb.elk.reasoner.tracing.factories.SingleContextTracingFactory.class - [JAR]

├─ org.semanticweb.elk.reasoner.tracing.factories.TracingJobListener.class - [JAR]

org.semanticweb.elk.reasoner.saturation.rules.backwardlinks

├─ org.semanticweb.elk.reasoner.saturation.rules.backwardlinks.AbstractBackwardLinkRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.backwardlinks.AbstractLinkableBackwardLinkRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.backwardlinks.BackwardLinkChainFromBackwardLinkRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.backwardlinks.BackwardLinkRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.backwardlinks.BackwardLinkRuleVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.backwardlinks.ContradictionOverBackwardLinkRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.backwardlinks.LinkableBackwardLinkRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.backwardlinks.LinkedBackwardLinkRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.backwardlinks.LinkedBackwardLinkRuleVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.backwardlinks.SubsumerBackwardLinkRule.class - [JAR]

org.semanticweb.elk.reasoner.indexing.conversion

├─ org.semanticweb.elk.reasoner.indexing.conversion.ElkAxiomConverter.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.conversion.ElkAxiomConverterImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.conversion.ElkEntityConverter.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.conversion.ElkEntityConverterImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.conversion.ElkIndexingException.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.conversion.ElkIndexingUnsupportedException.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.conversion.ElkPolarityExpressionConverter.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.conversion.ElkPolarityExpressionConverterImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.conversion.ElkUnexpectedIndexingException.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.conversion.FailingElkAxiomConverter.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.conversion.FailingElkEntityConverter.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.conversion.FailingElkPolarityExpressionConverter.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.conversion.ModifiableIndexedAxiomInferenceConclusionVisitingFactory.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.conversion.NoOpElkAnnotationAxiomConverter.class - [JAR]

org.semanticweb.elk.reasoner.indexing.model

├─ org.semanticweb.elk.reasoner.indexing.model.CachedIndexedClass.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.CachedIndexedClassEntity.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.CachedIndexedClassExpression.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.CachedIndexedClassExpressionList.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.CachedIndexedComplexClassExpression.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.CachedIndexedComplexPropertyChain.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.CachedIndexedDataHasValue.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.CachedIndexedEntity.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.CachedIndexedIndividual.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.CachedIndexedObject.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.CachedIndexedObjectComplementOf.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.CachedIndexedObjectHasSelf.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.CachedIndexedObjectIntersectionOf.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.CachedIndexedObjectProperty.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.CachedIndexedObjectSomeValuesFrom.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.CachedIndexedObjectUnionOf.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.CachedIndexedOwlBottomObjectProperty.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.CachedIndexedOwlNothing.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.CachedIndexedOwlThing.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.CachedIndexedOwlTopObjectProperty.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.CachedIndexedPropertyChain.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.CachedIndexedSubObject.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ElkClassAssertionAxiomConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ElkDeclarationAxiomConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ElkDifferentIndividualsAxiomBinaryConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ElkDifferentIndividualsAxiomNaryConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ElkDisjointClassesAxiomBinaryConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ElkDisjointClassesAxiomNaryConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ElkDisjointUnionAxiomBinaryConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ElkDisjointUnionAxiomEquivalenceConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ElkDisjointUnionAxiomNaryConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ElkDisjointUnionAxiomOwlNothingConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ElkDisjointUnionAxiomSubClassConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ElkEquivalentClassesAxiomEquivalenceConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ElkEquivalentClassesAxiomSubClassConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ElkEquivalentObjectPropertiesAxiomConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ElkObjectPropertyAssertionAxiomConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ElkObjectPropertyDomainAxiomConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ElkObjectPropertyRangeAxiomConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ElkReflexiveObjectPropertyAxiomConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ElkSameIndividualAxiomConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ElkSubClassOfAxiomConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ElkSubObjectPropertyOfAxiomConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ElkTransitiveObjectPropertyAxiomConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.IndexedAxiom.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.IndexedAxiomInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.IndexedClass.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.IndexedClassEntity.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.IndexedClassExpression.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.IndexedClassExpressionList.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.IndexedComplexPropertyChain.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.IndexedContextRoot.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.IndexedDataHasValue.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.IndexedDeclarationAxiom.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.IndexedDeclarationAxiomInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.IndexedDisjointClassesAxiom.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.IndexedDisjointClassesAxiomInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.IndexedEntity.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.IndexedEquivalentClassesAxiom.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.IndexedEquivalentClassesAxiomInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.IndexedIndividual.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.IndexedObject.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.IndexedObjectCache.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.IndexedObjectComplementOf.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.IndexedObjectHasSelf.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.IndexedObjectIntersectionOf.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.IndexedObjectProperty.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.IndexedObjectPropertyRangeAxiom.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.IndexedObjectPropertyRangeAxiomInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.IndexedObjectSomeValuesFrom.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.IndexedObjectUnionOf.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.IndexedPropertyChain.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.IndexedRangeFiller.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.IndexedSubClassOfAxiom.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.IndexedSubClassOfAxiomInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.IndexedSubObjectPropertyOfAxiom.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.IndexedSubObjectPropertyOfAxiomInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.IndexingListener.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableElkClassAssertionAxiomConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableElkDeclarationAxiomConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableElkDifferentIndividualsAxiomBinaryConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableElkDifferentIndividualsAxiomNaryConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableElkDisjointClassesAxiomBinaryConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableElkDisjointClassesAxiomNaryConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableElkDisjointUnionAxiomBinaryConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableElkDisjointUnionAxiomEquivalenceConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableElkDisjointUnionAxiomNaryConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableElkDisjointUnionAxiomOwlNothingConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableElkDisjointUnionAxiomSubClassConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableElkEquivalentClassesAxiomEquivalenceConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableElkEquivalentClassesAxiomSubClassConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableElkEquivalentObjectPropertiesAxiomConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableElkObjectPropertyAssertionAxiomConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableElkObjectPropertyDomainAxiomConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableElkObjectPropertyRangeAxiomConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableElkReflexiveObjectPropertyAxiomConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableElkSameIndividualAxiomConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableElkSubClassOfAxiomConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableElkSubObjectPropertyOfAxiomConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableElkTransitiveObjectPropertyAxiomConversion.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedAxiom.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedAxiomInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedClass.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedClassEntity.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedClassExpression.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedClassExpressionList.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedComplexPropertyChain.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedDataHasValue.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedDeclarationAxiom.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedDeclarationAxiomInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedDisjointClassesAxiom.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedDisjointClassesAxiomInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedEntity.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedEquivalentClassesAxiom.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedEquivalentClassesAxiomInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedIndividual.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedObject.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedObjectCache.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedObjectComplementOf.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedObjectHasSelf.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedObjectIntersectionOf.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedObjectProperty.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedObjectPropertyRangeAxiom.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedObjectPropertyRangeAxiomInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedObjectSomeValuesFrom.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedObjectUnionOf.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedPropertyChain.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedRangeFiller.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedSubClassOfAxiom.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedSubClassOfAxiomInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedSubObject.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedSubObjectPropertyOfAxiom.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedSubObjectPropertyOfAxiomInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.ModifiableOntologyIndex.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.Occurrence.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.OccurrenceIncrement.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.OccurrenceStore.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.model.OntologyIndex.class - [JAR]

org.semanticweb.elk.reasoner.tracing

├─ org.semanticweb.elk.reasoner.tracing.AbstractConclusion.class - [JAR]

├─ org.semanticweb.elk.reasoner.tracing.AbstractTracingInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.tracing.Conclusion.class - [JAR]

├─ org.semanticweb.elk.reasoner.tracing.ConclusionBaseFactory.class - [JAR]

├─ org.semanticweb.elk.reasoner.tracing.ConclusionDelegatingFactory.class - [JAR]

├─ org.semanticweb.elk.reasoner.tracing.ConclusionEquality.class - [JAR]

├─ org.semanticweb.elk.reasoner.tracing.ConclusionHash.class - [JAR]

├─ org.semanticweb.elk.reasoner.tracing.ConclusionPrinter.class - [JAR]

├─ org.semanticweb.elk.reasoner.tracing.DummyConclusionVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.tracing.GenericTracingProof.class - [JAR]

├─ org.semanticweb.elk.reasoner.tracing.ModifiableTracingProof.class - [JAR]

├─ org.semanticweb.elk.reasoner.tracing.ModifiableTracingProofImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.tracing.RecursiveTraceUnwinder.class - [JAR]

├─ org.semanticweb.elk.reasoner.tracing.SynchronizedModifiableTracingProof.class - [JAR]

├─ org.semanticweb.elk.reasoner.tracing.TraceState.class - [JAR]

├─ org.semanticweb.elk.reasoner.tracing.TraceUnwinder.class - [JAR]

├─ org.semanticweb.elk.reasoner.tracing.TracingComputation.class - [JAR]

├─ org.semanticweb.elk.reasoner.tracing.TracingInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.tracing.TracingInferenceConclusion.class - [JAR]

├─ org.semanticweb.elk.reasoner.tracing.TracingInferenceConclusionGetter.class - [JAR]

├─ org.semanticweb.elk.reasoner.tracing.TracingInferenceConclusionVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.tracing.TracingInferenceDummyVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.tracing.TracingInferencePremiseVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.tracing.TracingInferencePrinter.class - [JAR]

├─ org.semanticweb.elk.reasoner.tracing.TracingProof.class - [JAR]

org.semanticweb.elk.reasoner.saturation

├─ org.semanticweb.elk.reasoner.saturation.AbstractSaturationState.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturation.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturationFactory.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturationListener.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturationNoInput.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturationNoInputFactory.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.ContextCreatingSaturationStateWriter.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.ContextCreationListener.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.ContextExistenceCheckingWriter.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.ContextFactory.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.ContextImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.ContextModificationListener.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.DummyClassExpressionSaturationListener.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.ExtendedContext.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.MainContextFactory.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.MapSaturationState.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.ReferenceSaturationState.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.SaturationCheckingWriter.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.SaturationJob.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.SaturationState.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.SaturationStateDummyChangeListener.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.SaturationStateFactory.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.SaturationStateWriter.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.SaturationStateWriterWrap.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.SaturationStatistics.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.SaturationUtils.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.SubContextImpl.class - [JAR]

org.semanticweb.elk.reasoner.saturation.rules.disjointsubsumer

├─ org.semanticweb.elk.reasoner.saturation.rules.disjointsubsumer.AbstractDisjointSubsumerRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.disjointsubsumer.ContradictionCompositionRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.disjointsubsumer.DisjointSubsumerRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.disjointsubsumer.DisjointSubsumerRuleVisitor.class - [JAR]

org.semanticweb.elk.reasoner.stages

├─ org.semanticweb.elk.reasoner.stages.AbstractIncrementalChangesInitializationStage.class - [JAR]

├─ org.semanticweb.elk.reasoner.stages.AbstractReasonerStage.class - [JAR]

├─ org.semanticweb.elk.reasoner.stages.AbstractReasonerState.class - [JAR]

├─ org.semanticweb.elk.reasoner.stages.AbstractStageExecutor.class - [JAR]

├─ org.semanticweb.elk.reasoner.stages.ClassExpressionQueryStage.class - [JAR]

├─ org.semanticweb.elk.reasoner.stages.ClassExpressionQueryState.class - [JAR]

├─ org.semanticweb.elk.reasoner.stages.ClassSaturationStage.class - [JAR]

├─ org.semanticweb.elk.reasoner.stages.ClassTaxonomyComputationStage.class - [JAR]

├─ org.semanticweb.elk.reasoner.stages.ClassTaxonomyState.class - [JAR]

├─ org.semanticweb.elk.reasoner.stages.ConsistencyCheckingStage.class - [JAR]

├─ org.semanticweb.elk.reasoner.stages.ContextAssignmentResetStage.class - [JAR]

├─ org.semanticweb.elk.reasoner.stages.ElkInterruptedException.class - [JAR]

├─ org.semanticweb.elk.reasoner.stages.EntailmentQueryStage.class - [JAR]

├─ org.semanticweb.elk.reasoner.stages.EntailmentQueryState.class - [JAR]

├─ org.semanticweb.elk.reasoner.stages.IncrementalAdditionInitializationStage.class - [JAR]

├─ org.semanticweb.elk.reasoner.stages.IncrementalAdditionStage.class - [JAR]

├─ org.semanticweb.elk.reasoner.stages.IncrementalCompletionStage.class - [JAR]

├─ org.semanticweb.elk.reasoner.stages.IncrementalDeletionInitializationStage.class - [JAR]

├─ org.semanticweb.elk.reasoner.stages.IncrementalDeletionStage.class - [JAR]

├─ org.semanticweb.elk.reasoner.stages.IncrementalOverdeletionPruningStage.class - [JAR]

├─ org.semanticweb.elk.reasoner.stages.IncrementalTaxonomyCleaningStage.class - [JAR]

├─ org.semanticweb.elk.reasoner.stages.InputLoadingStage.class - [JAR]

├─ org.semanticweb.elk.reasoner.stages.InstanceTaxonomyComputationStage.class - [JAR]

├─ org.semanticweb.elk.reasoner.stages.InstanceTaxonomyState.class - [JAR]

├─ org.semanticweb.elk.reasoner.stages.LoggingStageExecutor.class - [JAR]

├─ org.semanticweb.elk.reasoner.stages.ObjectPropertyTaxonomyState.class - [JAR]

├─ org.semanticweb.elk.reasoner.stages.OccurrencesInStatedAxiomsStore.class - [JAR]

├─ org.semanticweb.elk.reasoner.stages.PropertyHierarchyCompositionComputationStage.class - [JAR]

├─ org.semanticweb.elk.reasoner.stages.PropertyHierarchyCompositionState.class - [JAR]

├─ org.semanticweb.elk.reasoner.stages.PropertyInitializationStage.class - [JAR]

├─ org.semanticweb.elk.reasoner.stages.ReasonerStage.class - [JAR]

├─ org.semanticweb.elk.reasoner.stages.ReasonerStageExecutor.class - [JAR]

├─ org.semanticweb.elk.reasoner.stages.ReasonerStageManager.class - [JAR]

├─ org.semanticweb.elk.reasoner.stages.SimpleStageExecutor.class - [JAR]

├─ org.semanticweb.elk.reasoner.stages.TracingStage.class - [JAR]

org.semanticweb.elk.reasoner.saturation.conclusions.classes

├─ org.semanticweb.elk.reasoner.saturation.conclusions.classes.AbstractClassConclusion.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.classes.AbstractObjectPropertyConclusion.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.classes.AbstractSubClassConclusion.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.classes.AbstractSubClassInclusion.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.classes.BackwardLinkImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.classes.ClassConclusionCounter.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.classes.ClassConclusionDeletionVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.classes.ClassConclusionInsertionVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.classes.ClassConclusionOccurrenceCheckingVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.classes.ClassConclusionStatistics.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.classes.ClassConclusionTimer.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.classes.ClassConclusionTracingContextNotSaturatedCheckingVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.classes.ClassConclusionTracingContextUnsaturationVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.classes.ClassInconsistencyImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.classes.ComposedClassConclusionVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.classes.ContextInitializationImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.classes.ContextInitializingClassConclusionInsertionVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.classes.CountingClassConclusionVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.classes.DerivedClassConclusionDummyVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.classes.DisjointSubsumerImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.classes.DummyClassConclusionVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.classes.DummyObjectPropertyConclusionVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.classes.DummySubClassConclusionVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.classes.ForwardLinkImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.classes.PropagationImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.classes.PropertyRangeImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.classes.RelativizedContextReference.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.classes.RuleApplicationClassConclusionVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.classes.SaturationConclusionBaseFactory.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.classes.SubClassInclusionComposedImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.classes.SubClassInclusionDecomposedImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.classes.SubContextInitializationImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.classes.SubPropertyChainImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.classes.TimedClassConclusionVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.classes.TracingRuleApplicationClassConclusionVisitor.class - [JAR]

org.semanticweb.elk.reasoner.saturation.rules.subsumers

├─ org.semanticweb.elk.reasoner.saturation.rules.subsumers.AbstractChainableSubsumerRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.subsumers.AbstractObjectIntersectionFromConjunctRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.subsumers.AbstractSubsumerDecompositionRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.subsumers.AbstractSubsumerRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.subsumers.ChainableSubsumerRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.subsumers.ComposedFromDecomposedSubsumerRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.subsumers.ContradictionFromNegationRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.subsumers.ContradictionFromOwlNothingRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.subsumers.DisjointSubsumerFromMemberRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.subsumers.EquivalentClassFirstFromSecondRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.subsumers.EquivalentClassSecondFromFirstRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.subsumers.IndexedClassDecompositionRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.subsumers.IndexedClassFromDefinitionRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.subsumers.IndexedObjectComplementOfDecomposition.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.subsumers.IndexedObjectHasSelfDecomposition.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.subsumers.IndexedObjectIntersectionOfDecomposition.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.subsumers.IndexedObjectSomeValuesFromDecomposition.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.subsumers.LinkedSubsumerRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.subsumers.LinkedSubsumerRuleVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.subsumers.ObjectIntersectionFromFirstConjunctRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.subsumers.ObjectIntersectionFromSecondConjunctRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.subsumers.ObjectUnionFromDisjunctRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.subsumers.PropagationFromExistentialFillerRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.subsumers.SubsumerDecompositionRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.subsumers.SubsumerDecompositionRuleVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.subsumers.SubsumerDecompositionVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.subsumers.SubsumerRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.subsumers.SubsumerRuleVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.subsumers.SuperClassFromSubClassRule.class - [JAR]

org.semanticweb.elk.reasoner.incremental

├─ org.semanticweb.elk.reasoner.incremental.AxiomLoadingListener.class - [JAR]

├─ org.semanticweb.elk.reasoner.incremental.ContextInitializationFactory.class - [JAR]

├─ org.semanticweb.elk.reasoner.incremental.IncrementalChangesInitialization.class - [JAR]

├─ org.semanticweb.elk.reasoner.incremental.IncrementalProcessingStatistics.class - [JAR]

├─ org.semanticweb.elk.reasoner.incremental.IncrementalStages.class - [JAR]

org.semanticweb.elk.reasoner.saturation.properties

├─ org.semanticweb.elk.reasoner.saturation.properties.ObjectPropertyTaxonomyComputation.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.properties.ObjectPropertyTaxonomyComputationFactory.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.properties.PropertyHierarchyCompositionComputation.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.properties.PropertyHierarchyCompositionComputationFactory.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.properties.RangeExplorer.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.properties.SaturatedPropertyChain.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.properties.SubPropertyExplorer.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.properties.TransitiveReductionOutput.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.properties.TransitiveReductionOutputEquivalent.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.properties.TransitiveReductionOutputEquivalentDirect.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.properties.TransitiveReductionOutputExtreme.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.properties.TransitiveReductionOutputVisitor.class - [JAR]

org.semanticweb.elk.reasoner.saturation.properties.inferences

├─ org.semanticweb.elk.reasoner.saturation.properties.inferences.AbstractObjectPropertyInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.properties.inferences.AbstractPropertyRangeInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.properties.inferences.AbstractSubPropertyChainInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.properties.inferences.DummyObjectPropertyInferenceVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.properties.inferences.ObjectPropertyInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.properties.inferences.ObjectPropertyInferenceConclusionVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.properties.inferences.PropertyRangeInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.properties.inferences.PropertyRangeInherited.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.properties.inferences.SubPropertyChainExpandedSubObjectPropertyOf.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.properties.inferences.SubPropertyChainInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.properties.inferences.SubPropertyChainInferenceConclusionVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.properties.inferences.SubPropertyChainTautology.class - [JAR]

org.semanticweb.elk.reasoner.saturation.conclusions.model

├─ org.semanticweb.elk.reasoner.saturation.conclusions.model.BackwardLink.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.model.ClassConclusion.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.model.ClassInconsistency.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.model.ContextInitialization.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.model.DerivedClassConclusionVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.model.DisjointSubsumer.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.model.ForwardLink.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.model.InitializationConclusion.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.model.ObjectPropertyConclusion.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.model.Propagation.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.model.PropertyRange.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.model.SaturationConclusion.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.model.SubClassConclusion.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.model.SubClassInclusion.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.model.SubClassInclusionComposed.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.model.SubClassInclusionDecomposed.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.model.SubContextInitialization.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.conclusions.model.SubPropertyChain.class - [JAR]

org.semanticweb.elk.reasoner

├─ org.semanticweb.elk.reasoner.DummyProgressMonitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.ElkFreshEntitiesException.class - [JAR]

├─ org.semanticweb.elk.reasoner.ElkInconsistentOntologyException.class - [JAR]

├─ org.semanticweb.elk.reasoner.ElkUnsupportedReasoningTaskException.class - [JAR]

├─ org.semanticweb.elk.reasoner.ProgressMonitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.Reasoner.class - [JAR]

├─ org.semanticweb.elk.reasoner.ReasonerComputation.class - [JAR]

├─ org.semanticweb.elk.reasoner.ReasonerComputationWithInputs.class - [JAR]

├─ org.semanticweb.elk.reasoner.ReasonerFactory.class - [JAR]

├─ org.semanticweb.elk.reasoner.ReasonerInterrupter.class - [JAR]

├─ org.semanticweb.elk.reasoner.ReasonerJob.class - [JAR]

├─ org.semanticweb.elk.reasoner.ReasonerOutput.class - [JAR]

├─ org.semanticweb.elk.reasoner.RootReasonerJob.class - [JAR]

org.semanticweb.elk.reasoner.saturation.inferences

├─ org.semanticweb.elk.reasoner.saturation.inferences.AbstractBackwardLinkInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.AbstractClassInconsistencyInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.AbstractClassInconsistencyOfInconsistentSubsumerInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.AbstractClassInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.AbstractContextInitializationInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.AbstractDisjointSubsumerInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.AbstractForwardLinkInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.AbstractPropagationInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.AbstractSubClassInclusionComposedInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.AbstractSubClassInclusionDecomposedInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.AbstractSubClassInclusionExpansionInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.AbstractSubClassInclusionInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.AbstractSubClassInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.AbstractSubContextInitializationInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.BackwardLinkComposition.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.BackwardLinkInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.BackwardLinkOfObjectHasSelf.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.BackwardLinkOfObjectSomeValuesFrom.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.BackwardLinkReversedExpanded.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.ClassInconsistencyInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.ClassInconsistencyOfDisjointSubsumers.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.ClassInconsistencyOfObjectComplementOf.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.ClassInconsistencyOfOwlNothing.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.ClassInconsistencyPropagated.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.ClassInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.ClassInferenceConclusionVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.ComposedClassInferenceVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.ContextInitializationInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.ContextInitializationNoPremises.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.DisjointSubsumerFromSubsumer.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.DisjointSubsumerInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.DummyClassInferenceVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.DummySaturationInferenceVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.ForwardLinkComposition.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.ForwardLinkInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.ForwardLinkOfObjectHasSelf.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.ForwardLinkOfObjectSomeValuesFrom.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.InitializationInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.LinkComposition.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.PropagationGenerated.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.PropagationInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.SaturationInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.SubClassInclusionComposedDefinedClass.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.SubClassInclusionComposedEntity.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.SubClassInclusionComposedInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.SubClassInclusionComposedObjectIntersectionOf.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.SubClassInclusionComposedObjectSomeValuesFrom.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.SubClassInclusionComposedObjectUnionOf.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.SubClassInclusionDecomposedConjunct.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.SubClassInclusionDecomposedFirstConjunct.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.SubClassInclusionDecomposedInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.SubClassInclusionDecomposedSecondConjunct.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.SubClassInclusionExpandedDefinition.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.SubClassInclusionExpandedFirstEquivalentClass.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.SubClassInclusionExpandedSecondEquivalentClass.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.SubClassInclusionExpandedSubClassOf.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.SubClassInclusionInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.SubClassInclusionObjectHasSelfPropertyRange.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.SubClassInclusionOwlThing.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.SubClassInclusionRange.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.SubClassInclusionTautology.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.SubClassInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.SubContextInitializationInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.inferences.SubContextInitializationNoPremises.class - [JAR]

org.semanticweb.elk.reasoner.indexing.classes

├─ org.semanticweb.elk.reasoner.indexing.classes.AbstractIndexedAxiomInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.AbstractModifiableIndexedDeclarationAxiomInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.AbstractModifiableIndexedDisjointClassesAxiomInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.AbstractModifiableIndexedEquivalentClassesAxiomInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.AbstractModifiableIndexedObjectPropertyRangeAxiomInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.AbstractModifiableIndexedSubClassOfAxiomInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.AbstractModifiableIndexedSubObjectPropertyOfAxiomInference.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.CachedIndexedClassEntityImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.CachedIndexedClassExpressionImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.CachedIndexedClassExpressionListImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.CachedIndexedClassImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.CachedIndexedComplexClassExpressionImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.CachedIndexedComplexPropertyChainImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.CachedIndexedDataHasValueImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.CachedIndexedIndividualImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.CachedIndexedObjectComplementOfImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.CachedIndexedObjectHasSelfImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.CachedIndexedObjectImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.CachedIndexedObjectIntersectionOfImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.CachedIndexedObjectPropertyImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.CachedIndexedObjectSomeValuesFromImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.CachedIndexedObjectUnionOfImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.CachedIndexedOwlBottomObjectPropertyImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.CachedIndexedOwlNothingImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.CachedIndexedOwlThingImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.CachedIndexedOwlTopObjectPropertyImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.CachedIndexedPropertyChainImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ChangeIndexingProcessor.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ClassQueryIndexingProcessor.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.DelegatingCachedIndexedObjectFactory.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.DelegatingElkAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.DifferentialIndex.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.DirectIndex.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.DummyIndexedAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.DummyIndexedClassExpressionVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.DummyIndexedContextRootVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.DummyIndexedObjectVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.DummyIndexedPropertyChainVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.IndexedAxiomBaseFactory.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.IndexedAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.IndexedAxiomInferenceConclusionVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.IndexedDeclarationAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.IndexedDisjointClassesAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.IndexedEquivalentClassesAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.IndexedObjectCacheDummyChangeListener.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.IndexedObjectImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.IndexedObjectPrinter.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.IndexedObjectPropertyRangeAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.IndexedSubClassOfAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.IndexedSubObjectPropertyOfAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkClassAssertionAxiomConversionImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkDeclarationAxiomConversionImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkDifferentIndividualsAxiomBinaryConversionImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkDifferentIndividualsAxiomNaryConversionImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkDisjointClassesAxiomBinaryConversionImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkDisjointClassesAxiomNaryConversionImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkDisjointUnionAxiomBinaryConversionImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkDisjointUnionAxiomEquivalenceConversionImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkDisjointUnionAxiomNaryConversionImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkDisjointUnionAxiomOwlNothingConversionImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkDisjointUnionAxiomSubClassConversionImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkEquivalentClassesAxiomEquivalenceConversionImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkEquivalentClassesAxiomSubClassConversionImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkEquivalentObjectPropertiesAxiomConversionImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkObjectPropertyAssertionAxiomConversionImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkObjectPropertyDomainAxiomConversionImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkObjectPropertyRangeAxiomConversionImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkReflexiveObjectPropertyAxiomConversionImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkSameIndividualAxiomConversionImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkSubClassOfAxiomConversionImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkSubObjectPropertyOfAxiomConversionImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkTransitiveObjectPropertyAxiomConversionImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedAxiomDummyVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedAxiomInferenceBaseFactory.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedAxiomInferenceConclusionVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedAxiomInferenceDelegatingFactory.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedDeclarationAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedDisjointClassesAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedEquivalentClassesAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedObjectBaseFactory.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedObjectCacheImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedObjectPropertyRangeAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedRangeFillerImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedSubClassOfAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedSubObjectPropertyOfAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.NonIncrementalElkAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.NullableCachedIndexedObjectFactory.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.NullableModifiableIndexedObjectFactory.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.OntologyIndexDummyChangeListener.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ResolvingCachedIndexedObjectFactory.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ResolvingModifiableIndexedObjectFactory.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.UpdatingCachedIndexedObjectFactory.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.UpdatingModifiableIndexedObjectFactory.class - [JAR]

org.semanticweb.elk.reasoner.saturation.context

├─ org.semanticweb.elk.reasoner.saturation.context.ClassConclusionProcessor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.context.ClassConclusionSet.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.context.Context.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.context.ContextPremises.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.context.ContextProcessor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.context.ContextRootCollection.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.context.ContextStatistics.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.context.HybridContextPremises.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.context.SubClassConclusionSet.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.context.SubContext.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.context.SubContextPremises.class - [JAR]

org.semanticweb.elk.reasoner.saturation.rules.subcontextinit

├─ org.semanticweb.elk.reasoner.saturation.rules.subcontextinit.AbstractSubContextInitRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.subcontextinit.PropagationInitializationRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.subcontextinit.SubContextInitRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.subcontextinit.SubContextInitRuleVisitor.class - [JAR]

org.semanticweb.elk.reasoner.taxonomy.impl

├─ org.semanticweb.elk.reasoner.taxonomy.impl.AbstractDistinctBottomTaxonomy.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.impl.AbstractInstanceTaxonomy.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.impl.AbstractNodeStore.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.impl.AbstractTaxonomy.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.impl.AbstractUpdateableGenericInstanceTaxonomy.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.impl.AbstractUpdateableGenericTaxonomy.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.impl.BottomGenericTaxonomyNode.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.impl.BottomGenericTypeNode.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.impl.ConcurrentNodeStore.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.impl.IndividualNode.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.impl.NonBottomGenericTaxonomyNode.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.impl.NonBottomGenericTypeNode.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.impl.SimpleNode.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.impl.SimpleUpdateableNode.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.impl.SynchronizedNodeStore.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.impl.UpdateableInstanceNode.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.impl.UpdateableNode.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.impl.UpdateableNodeStore.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.impl.UpdateableTaxonomyNode.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.impl.UpdateableTaxonomyTypeNode.class - [JAR]

├─ org.semanticweb.elk.reasoner.taxonomy.impl.UpdateableTypeNode.class - [JAR]

org.semanticweb.elk.reasoner.saturation.rules.forwardlink

├─ org.semanticweb.elk.reasoner.saturation.rules.forwardlink.AbstractForwardLinkRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.forwardlink.BackwardLinkFromForwardLinkRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.forwardlink.ForwardLinkRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.forwardlink.ForwardLinkRuleVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.forwardlink.NonReflexiveBackwardLinkCompositionRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.forwardlink.ReflexiveBackwardLinkCompositionRule.class - [JAR]

org.semanticweb.elk.loading

├─ org.semanticweb.elk.loading.AbstractAxiomLoader.class - [JAR]

├─ org.semanticweb.elk.loading.AbstractClassQueryLoader.class - [JAR]

├─ org.semanticweb.elk.loading.AbstractEntailmentQueryLoader.class - [JAR]

├─ org.semanticweb.elk.loading.AxiomLoader.class - [JAR]

├─ org.semanticweb.elk.loading.ClassQueryLoader.class - [JAR]

├─ org.semanticweb.elk.loading.ComposedAxiomLoader.class - [JAR]

├─ org.semanticweb.elk.loading.ElkLoadingException.class - [JAR]

├─ org.semanticweb.elk.loading.EntailmentQueryLoader.class - [JAR]

├─ org.semanticweb.elk.loading.Owl2ParserLoader.class - [JAR]

├─ org.semanticweb.elk.loading.Owl2StreamLoader.class - [JAR]

org.semanticweb.elk.reasoner.saturation.rules.contradiction

├─ org.semanticweb.elk.reasoner.saturation.rules.contradiction.AbstractContradictionRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.contradiction.ContradictionPropagationRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.contradiction.ContradictionRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.contradiction.ContradictionRuleVisitor.class - [JAR]

org.semanticweb.elk.reasoner.completeness

├─ org.semanticweb.elk.reasoner.completeness.DelegatingIncompletenessMonitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.completeness.IncompletenessDueToInStatedAxiomsMessageProvider.class - [JAR]

├─ org.semanticweb.elk.reasoner.completeness.IncompletenessDueToNegativeOccurrenceOfObjectComplementOfMonitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.completeness.IncompletenessDueToNegativeOccurrenceOfTopObjectPropertyMonitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.completeness.IncompletenessDueToOccurrenceOfDataHasValueMonitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.completeness.IncompletenessDueToOccurrenceOfDisjointUnionMonitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.completeness.IncompletenessDueToOccurrenceOfNominalMonitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.completeness.IncompletenessDueToOccurrenceOfUnsupportedExpressionMonitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.completeness.IncompletenessDueToOccurrencesInClassExpressionQueryMessageProvider.class - [JAR]

├─ org.semanticweb.elk.reasoner.completeness.IncompletenessDueToOccurrencesInEntailmentQueryMessageProvider.class - [JAR]

├─ org.semanticweb.elk.reasoner.completeness.IncompletenessDueToOccurrencesMonitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.completeness.IncompletenessDueToPositiveOccurrenceOfBottomObjectPropertyMonitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.completeness.IncompletenessDueToPositiveOccurrenceOfObjectUnionOfMonitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.completeness.IncompletenessDueToRangeAndPropertyAssertionOccurrencesInStatedAxiomsMonitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.completeness.IncompletenessDueToSingleOccurrenceMonitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.completeness.IncompletenessManager.class - [JAR]

├─ org.semanticweb.elk.reasoner.completeness.IncompletenessMessageProvider.class - [JAR]

├─ org.semanticweb.elk.reasoner.completeness.IncompletenessMonitor.class - [JAR]

org.semanticweb.elk.reasoner.entailments

├─ org.semanticweb.elk.reasoner.entailments.DefaultEntailmentInferenceVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.DefaultEntailmentVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.entailments.InconsistencyProofWrapper.class - [JAR]

au.csiro : elk-reasoner

Maven & Gradle

ELK Reasoner Core · The core ELK Reasoner package

Latest Version

All Versions

Download au.csiro : elk-reasoner JAR file - All Versions:

View Java Class Source Code in JAR file