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.29.0 with all dependencies


The core ELK Reasoner package

Files of the artifact elk-reasoner version 0.29.0 from the group dev.ikm.elk.

Artifact elk-reasoner
Group dev.ikm.elk
Version 0.29.0
Last update 17. September 2024
Tags: core package reasoner
Organization not specified
URL Not specified
License not specified
Dependencies amount 10
Dependencies guava, elk-owl-model, elk-owl-implementation, elk-util-collections, elk-util-common, elk-util-concurrent, elk-util-hashing, elk-util-io, elk-util-logging, junit,
There are maybe transitive dependencies!
The 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?

0 downloads

Source code of elk-reasoner version 0.29.0

.LICENSE.txt
META-INF
META-INF.META-INF.MANIFEST.MF
META-INF.maven.dev.ikm.elk.elk-reasoner
META-INF.maven.dev.ikm.elk.elk-reasoner.META-INF.maven.dev.ikm.elk.elk-reasoner.pom.properties
META-INF.maven.dev.ikm.elk.elk-reasoner.META-INF.maven.dev.ikm.elk.elk-reasoner.pom.xml
.module-info
org.semanticweb.elk.loading
org.semanticweb.elk.loading.org.semanticweb.elk.loading.AbstractAxiomLoader
org.semanticweb.elk.loading.org.semanticweb.elk.loading.AbstractClassQueryLoader
org.semanticweb.elk.loading.org.semanticweb.elk.loading.AbstractEntailmentQueryLoader
org.semanticweb.elk.loading.org.semanticweb.elk.loading.AxiomLoader
org.semanticweb.elk.loading.org.semanticweb.elk.loading.ClassQueryLoader
org.semanticweb.elk.loading.org.semanticweb.elk.loading.ComposedAxiomLoader
org.semanticweb.elk.loading.org.semanticweb.elk.loading.ElkLoadingException
org.semanticweb.elk.loading.org.semanticweb.elk.loading.EntailmentQueryLoader
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.BatchListener
org.semanticweb.elk.reasoner.org.semanticweb.elk.reasoner.DummyBatchListener
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.ReasonerComputationWithInputs
org.semanticweb.elk.reasoner.org.semanticweb.elk.reasoner.ReasonerFactory
org.semanticweb.elk.reasoner.org.semanticweb.elk.reasoner.ReasonerInterrupter
org.semanticweb.elk.reasoner.org.semanticweb.elk.reasoner.ReasonerJob
org.semanticweb.elk.reasoner.completeness
org.semanticweb.elk.reasoner.completeness.org.semanticweb.elk.reasoner.completeness.CombinedOccurrenceManager
org.semanticweb.elk.reasoner.completeness.org.semanticweb.elk.reasoner.completeness.DelegatingIncompletenessMonitor
org.semanticweb.elk.reasoner.completeness.org.semanticweb.elk.reasoner.completeness.DelegatingOccurrenceCounter
org.semanticweb.elk.reasoner.completeness.org.semanticweb.elk.reasoner.completeness.DelegatingOccurrenceManager
org.semanticweb.elk.reasoner.completeness.org.semanticweb.elk.reasoner.completeness.EmptyOccurrenceCounter
org.semanticweb.elk.reasoner.completeness.org.semanticweb.elk.reasoner.completeness.Feature
org.semanticweb.elk.reasoner.completeness.org.semanticweb.elk.reasoner.completeness.FirstOfIncompletenessMonitor
org.semanticweb.elk.reasoner.completeness.org.semanticweb.elk.reasoner.completeness.IncompleteResult
org.semanticweb.elk.reasoner.completeness.org.semanticweb.elk.reasoner.completeness.Incompleteness
org.semanticweb.elk.reasoner.completeness.org.semanticweb.elk.reasoner.completeness.IncompletenessDueToUnsupportedFeatures
org.semanticweb.elk.reasoner.completeness.org.semanticweb.elk.reasoner.completeness.IncompletenessManager
org.semanticweb.elk.reasoner.completeness.org.semanticweb.elk.reasoner.completeness.IncompletenessMonitor
org.semanticweb.elk.reasoner.completeness.org.semanticweb.elk.reasoner.completeness.IncompletenessStatusMonitor
org.semanticweb.elk.reasoner.completeness.org.semanticweb.elk.reasoner.completeness.NoIncompletenessMonitor
org.semanticweb.elk.reasoner.completeness.org.semanticweb.elk.reasoner.completeness.ObjectPropertyTaxonomyIncompleteness
org.semanticweb.elk.reasoner.completeness.org.semanticweb.elk.reasoner.completeness.OccurrenceCounter
org.semanticweb.elk.reasoner.completeness.org.semanticweb.elk.reasoner.completeness.OccurrenceListener
org.semanticweb.elk.reasoner.completeness.org.semanticweb.elk.reasoner.completeness.OccurrenceManager
org.semanticweb.elk.reasoner.completeness.org.semanticweb.elk.reasoner.completeness.OccurrenceRegistry
org.semanticweb.elk.reasoner.completeness.org.semanticweb.elk.reasoner.completeness.OccurrencesInClassExpressionQuery
org.semanticweb.elk.reasoner.completeness.org.semanticweb.elk.reasoner.completeness.OccurrencesInEntailmentQuery
org.semanticweb.elk.reasoner.completeness.org.semanticweb.elk.reasoner.completeness.OccurrencesInOntology
org.semanticweb.elk.reasoner.completeness.org.semanticweb.elk.reasoner.completeness.SomeOfIncompletenessMonitor
org.semanticweb.elk.reasoner.completeness.org.semanticweb.elk.reasoner.completeness.TopIncompletenessMonitor
org.semanticweb.elk.reasoner.completeness.org.semanticweb.elk.reasoner.completeness.UnsupportedQueryTypeIncompletenessMonitor
org.semanticweb.elk.reasoner.config
org.semanticweb.elk.reasoner.config.org.semanticweb.elk.reasoner.config.EvictorBuilder
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.ConsistencyCheckingState
org.semanticweb.elk.reasoner.entailments
org.semanticweb.elk.reasoner.entailments.org.semanticweb.elk.reasoner.entailments.DefaultEntailmentInferenceVisitor
org.semanticweb.elk.reasoner.entailments.org.semanticweb.elk.reasoner.entailments.DefaultEntailmentVisitor
org.semanticweb.elk.reasoner.entailments.org.semanticweb.elk.reasoner.entailments.InconsistencyProofWrapper
org.semanticweb.elk.reasoner.entailments.impl
org.semanticweb.elk.reasoner.entailments.impl.org.semanticweb.elk.reasoner.entailments.impl.AbstractAxiomEntailment
org.semanticweb.elk.reasoner.entailments.impl.org.semanticweb.elk.reasoner.entailments.impl.AbstractAxiomEntailmentInference
org.semanticweb.elk.reasoner.entailments.impl.org.semanticweb.elk.reasoner.entailments.impl.AbstractEntailment
org.semanticweb.elk.reasoner.entailments.impl.org.semanticweb.elk.reasoner.entailments.impl.AbstractEntailmentInference
org.semanticweb.elk.reasoner.entailments.impl.org.semanticweb.elk.reasoner.entailments.impl.AbstractOntologyInconsistencyEntailmentInference
org.semanticweb.elk.reasoner.entailments.impl.org.semanticweb.elk.reasoner.entailments.impl.AbstractSubClassOfAxiomEntailmentInference
org.semanticweb.elk.reasoner.entailments.impl.org.semanticweb.elk.reasoner.entailments.impl.ClassAssertionAxiomEntailmentImpl
org.semanticweb.elk.reasoner.entailments.impl.org.semanticweb.elk.reasoner.entailments.impl.DerivedClassInclusionEntailsClassAssertionAxiomImpl
org.semanticweb.elk.reasoner.entailments.impl.org.semanticweb.elk.reasoner.entailments.impl.DerivedClassInclusionEntailsObjectPropertyAssertionAxiomImpl
org.semanticweb.elk.reasoner.entailments.impl.org.semanticweb.elk.reasoner.entailments.impl.DerivedClassInclusionEntailsObjectPropertyDomainAxiomImpl
org.semanticweb.elk.reasoner.entailments.impl.org.semanticweb.elk.reasoner.entailments.impl.DerivedClassInclusionEntailsSubClassOfAxiomImpl
org.semanticweb.elk.reasoner.entailments.impl.org.semanticweb.elk.reasoner.entailments.impl.DifferentIndividualsAxiomEntailmentImpl
org.semanticweb.elk.reasoner.entailments.impl.org.semanticweb.elk.reasoner.entailments.impl.DisjointClassesAxiomEntailmentImpl
org.semanticweb.elk.reasoner.entailments.impl.org.semanticweb.elk.reasoner.entailments.impl.EntailedClassInclusionCycleEntailsEquivalentClassesAxiomImpl
org.semanticweb.elk.reasoner.entailments.impl.org.semanticweb.elk.reasoner.entailments.impl.EntailedDisjointClassesEntailsDifferentIndividualsAxiomImpl
org.semanticweb.elk.reasoner.entailments.impl.org.semanticweb.elk.reasoner.entailments.impl.EntailedEquivalentClassesEntailsSameIndividualAxiomImpl
org.semanticweb.elk.reasoner.entailments.impl.org.semanticweb.elk.reasoner.entailments.impl.EntailedIntersectionInconsistencyEntailsDisjointClassesAxiomImpl
org.semanticweb.elk.reasoner.entailments.impl.org.semanticweb.elk.reasoner.entailments.impl.EntailmentEquality
org.semanticweb.elk.reasoner.entailments.impl.org.semanticweb.elk.reasoner.entailments.impl.EntailmentHasher
org.semanticweb.elk.reasoner.entailments.impl.org.semanticweb.elk.reasoner.entailments.impl.EntailmentInferenceEquality
org.semanticweb.elk.reasoner.entailments.impl.org.semanticweb.elk.reasoner.entailments.impl.EntailmentInferenceHasher
org.semanticweb.elk.reasoner.entailments.impl.org.semanticweb.elk.reasoner.entailments.impl.EntailmentInferencePrinter
org.semanticweb.elk.reasoner.entailments.impl.org.semanticweb.elk.reasoner.entailments.impl.EntailmentPrinter
org.semanticweb.elk.reasoner.entailments.impl.org.semanticweb.elk.reasoner.entailments.impl.EquivalentClassesAxiomEntailmentImpl
org.semanticweb.elk.reasoner.entailments.impl.org.semanticweb.elk.reasoner.entailments.impl.IndividualInconsistencyEntailsOntologyInconsistencyImpl
org.semanticweb.elk.reasoner.entailments.impl.org.semanticweb.elk.reasoner.entailments.impl.ObjectPropertyAssertionAxiomEntailmentImpl
org.semanticweb.elk.reasoner.entailments.impl.org.semanticweb.elk.reasoner.entailments.impl.ObjectPropertyDomainAxiomEntailmentImpl
org.semanticweb.elk.reasoner.entailments.impl.org.semanticweb.elk.reasoner.entailments.impl.OntologyInconsistencyEntailsAnyAxiomImpl
org.semanticweb.elk.reasoner.entailments.impl.org.semanticweb.elk.reasoner.entailments.impl.OntologyInconsistencyImpl
org.semanticweb.elk.reasoner.entailments.impl.org.semanticweb.elk.reasoner.entailments.impl.OwlThingInconsistencyEntailsOntologyInconsistencyImpl
org.semanticweb.elk.reasoner.entailments.impl.org.semanticweb.elk.reasoner.entailments.impl.SameIndividualAxiomEntailmentImpl
org.semanticweb.elk.reasoner.entailments.impl.org.semanticweb.elk.reasoner.entailments.impl.SubClassInconsistencyEntailsSubClassOfAxiomImpl
org.semanticweb.elk.reasoner.entailments.impl.org.semanticweb.elk.reasoner.entailments.impl.SubClassOfAxiomEntailmentImpl
org.semanticweb.elk.reasoner.entailments.impl.org.semanticweb.elk.reasoner.entailments.impl.TopObjectPropertyInBottomEntailsOntologyInconsistencyImpl
org.semanticweb.elk.reasoner.entailments.model
org.semanticweb.elk.reasoner.entailments.model.org.semanticweb.elk.reasoner.entailments.model.AxiomEntailment
org.semanticweb.elk.reasoner.entailments.model.org.semanticweb.elk.reasoner.entailments.model.AxiomEntailmentInference
org.semanticweb.elk.reasoner.entailments.model.org.semanticweb.elk.reasoner.entailments.model.ClassAssertionAxiomEntailment
org.semanticweb.elk.reasoner.entailments.model.org.semanticweb.elk.reasoner.entailments.model.DerivedClassInclusionEntailsClassAssertionAxiom
org.semanticweb.elk.reasoner.entailments.model.org.semanticweb.elk.reasoner.entailments.model.DerivedClassInclusionEntailsObjectPropertyAssertionAxiom
org.semanticweb.elk.reasoner.entailments.model.org.semanticweb.elk.reasoner.entailments.model.DerivedClassInclusionEntailsObjectPropertyDomainAxiom
org.semanticweb.elk.reasoner.entailments.model.org.semanticweb.elk.reasoner.entailments.model.DerivedClassInclusionEntailsSubClassOfAxiom
org.semanticweb.elk.reasoner.entailments.model.org.semanticweb.elk.reasoner.entailments.model.DifferentIndividualsAxiomEntailment
org.semanticweb.elk.reasoner.entailments.model.org.semanticweb.elk.reasoner.entailments.model.DisjointClassesAxiomEntailment
org.semanticweb.elk.reasoner.entailments.model.org.semanticweb.elk.reasoner.entailments.model.EntailedClassInclusionCycleEntailsEquivalentClassesAxiom
org.semanticweb.elk.reasoner.entailments.model.org.semanticweb.elk.reasoner.entailments.model.EntailedDisjointClassesEntailsDifferentIndividualsAxiom
org.semanticweb.elk.reasoner.entailments.model.org.semanticweb.elk.reasoner.entailments.model.EntailedEquivalentClassesEntailsSameIndividualAxiom
org.semanticweb.elk.reasoner.entailments.model.org.semanticweb.elk.reasoner.entailments.model.EntailedIntersectionInconsistencyEntailsDisjointClassesAxiom
org.semanticweb.elk.reasoner.entailments.model.org.semanticweb.elk.reasoner.entailments.model.Entailment
org.semanticweb.elk.reasoner.entailments.model.org.semanticweb.elk.reasoner.entailments.model.EntailmentInference
org.semanticweb.elk.reasoner.entailments.model.org.semanticweb.elk.reasoner.entailments.model.EquivalentClassesAxiomEntailment
org.semanticweb.elk.reasoner.entailments.model.org.semanticweb.elk.reasoner.entailments.model.HasReason
org.semanticweb.elk.reasoner.entailments.model.org.semanticweb.elk.reasoner.entailments.model.IndividualInconsistencyEntailsOntologyInconsistency
org.semanticweb.elk.reasoner.entailments.model.org.semanticweb.elk.reasoner.entailments.model.ObjectPropertyAssertionAxiomEntailment
org.semanticweb.elk.reasoner.entailments.model.org.semanticweb.elk.reasoner.entailments.model.ObjectPropertyDomainAxiomEntailment
org.semanticweb.elk.reasoner.entailments.model.org.semanticweb.elk.reasoner.entailments.model.OntologyInconsistency
org.semanticweb.elk.reasoner.entailments.model.org.semanticweb.elk.reasoner.entailments.model.OntologyInconsistencyEntailmentInference
org.semanticweb.elk.reasoner.entailments.model.org.semanticweb.elk.reasoner.entailments.model.OntologyInconsistencyEntailsAnyAxiom
org.semanticweb.elk.reasoner.entailments.model.org.semanticweb.elk.reasoner.entailments.model.OwlThingInconsistencyEntailsOntologyInconsistency
org.semanticweb.elk.reasoner.entailments.model.org.semanticweb.elk.reasoner.entailments.model.SameIndividualAxiomEntailment
org.semanticweb.elk.reasoner.entailments.model.org.semanticweb.elk.reasoner.entailments.model.SubClassInconsistencyEntailsSubClassOfAxiom
org.semanticweb.elk.reasoner.entailments.model.org.semanticweb.elk.reasoner.entailments.model.SubClassOfAxiomEntailment
org.semanticweb.elk.reasoner.entailments.model.org.semanticweb.elk.reasoner.entailments.model.SubClassOfAxiomEntailmentInference
org.semanticweb.elk.reasoner.entailments.model.org.semanticweb.elk.reasoner.entailments.model.TopObjectPropertyInBottomEntailsOntologyInconsistency
org.semanticweb.elk.reasoner.incremental
org.semanticweb.elk.reasoner.incremental.org.semanticweb.elk.reasoner.incremental.AxiomLoadingListener
org.semanticweb.elk.reasoner.incremental.org.semanticweb.elk.reasoner.incremental.ContextInitializationFactory
org.semanticweb.elk.reasoner.incremental.org.semanticweb.elk.reasoner.incremental.IncrementalChangesInitialization
org.semanticweb.elk.reasoner.incremental.org.semanticweb.elk.reasoner.incremental.IncrementalProcessingStatistics
org.semanticweb.elk.reasoner.incremental.org.semanticweb.elk.reasoner.incremental.IncrementalStages
org.semanticweb.elk.reasoner.indexing.classes
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.AbstractIndexedAxiomInference
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.AbstractModifiableIndexedDeclarationAxiomInference
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.AbstractModifiableIndexedDisjointClassesAxiomInference
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.AbstractModifiableIndexedEquivalentClassesAxiomInference
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.AbstractModifiableIndexedObjectPropertyRangeAxiomInference
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.AbstractModifiableIndexedSubClassOfAxiomInference
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.AbstractModifiableIndexedSubObjectPropertyOfAxiomInference
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ChangeIndexingProcessor
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ClassQueryIndexingProcessor
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.DelegatingElkAxiomVisitor
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.DifferentialIndex
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.DirectIndex
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.DummyIndexedAxiomVisitor
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.DummyIndexedClassExpressionVisitor
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.DummyIndexedContextRootVisitor
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.DummyIndexedObjectVisitor
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.DummyIndexedPropertyChainVisitor
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.HasOccurrenceDefaults
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.IndexedAxiomBaseFactory
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.IndexedAxiomImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.IndexedAxiomInferenceConclusionVisitor
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.IndexedDeclarationAxiomImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.IndexedDisjointClassesAxiomImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.IndexedEquivalentClassesAxiomImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.IndexedObjectCacheDummyChangeListener
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.IndexedObjectImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.IndexedObjectPrinter
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.IndexedObjectPropertyRangeAxiomImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.IndexedSubClassOfAxiomImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.IndexedSubObjectPropertyOfAxiomImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkClassAssertionAxiomConversionImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkDeclarationAxiomConversionImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkDifferentIndividualsAxiomBinaryConversionImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkDifferentIndividualsAxiomNaryConversionImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkDisjointClassesAxiomBinaryConversionImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkDisjointClassesAxiomNaryConversionImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkDisjointUnionAxiomBinaryConversionImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkDisjointUnionAxiomEquivalenceConversionImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkDisjointUnionAxiomNaryConversionImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkDisjointUnionAxiomOwlNothingConversionImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkDisjointUnionAxiomSubClassConversionImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkEquivalentClassesAxiomEquivalenceConversionImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkEquivalentClassesAxiomSubClassConversionImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkEquivalentObjectPropertiesAxiomConversionImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkObjectPropertyAssertionAxiomConversionImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkObjectPropertyDomainAxiomConversionImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkObjectPropertyRangeAxiomConversionImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkReflexiveObjectPropertyAxiomConversionImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkSameIndividualAxiomConversionImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkSubClassOfAxiomConversionImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkSubObjectPropertyOfAxiomConversionImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableElkTransitiveObjectPropertyAxiomConversionImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedAxiomDummyVisitor
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedAxiomInferenceBaseFactory
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedAxiomInferenceConclusionVisitor
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedAxiomInferenceDelegatingFactory
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedClassEntityImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedClassExpressionImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedDataHasValueImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedDeclarationAxiomImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedDefinedClassImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedDisjointClassesAxiomImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedEquivalentClassesAxiomImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedObjectBaseFactory
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedObjectCacheImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedObjectComplementOfImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedObjectHasSelfImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedObjectIntersectionOfImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedObjectPropertyRangeAxiomImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedObjectSomeValuesFromImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedObjectUnionOfImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedOwlNothingImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedOwlThingImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedPropertyChainImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedRangeFillerImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedSubClassOfAxiomImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedSubObjectPropertyOfAxiomImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.NonIncrementalElkAxiomVisitor
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.NullableModifiableIndexedObjectFactory
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.OntologyIndexDummyChangeListener
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.OwlBottomObjectPropertyImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.OwlTopObjectPropertyImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.ResolvingModifiableIndexedObjectFactory
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.StructuralIndexedClassEntryImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.StructuralIndexedClassExpressionListEntryImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.StructuralIndexedComplexClassExpressionEntryImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.StructuralIndexedComplexPropertyChainEntryImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.StructuralIndexedIndividualEntryImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.StructuralIndexedObjectPropertyEntryImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.StructuralIndexedSubObjectHasOccurrenceImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.StructuralIndexedSubObjectImpl
org.semanticweb.elk.reasoner.indexing.classes.org.semanticweb.elk.reasoner.indexing.classes.UpdatingModifiableIndexedObjectFactory
org.semanticweb.elk.reasoner.indexing.conversion
org.semanticweb.elk.reasoner.indexing.conversion.org.semanticweb.elk.reasoner.indexing.conversion.ElkAxiomConverter
org.semanticweb.elk.reasoner.indexing.conversion.org.semanticweb.elk.reasoner.indexing.conversion.ElkAxiomConverterImpl
org.semanticweb.elk.reasoner.indexing.conversion.org.semanticweb.elk.reasoner.indexing.conversion.ElkEntityConverter
org.semanticweb.elk.reasoner.indexing.conversion.org.semanticweb.elk.reasoner.indexing.conversion.ElkEntityConverterImpl
org.semanticweb.elk.reasoner.indexing.conversion.org.semanticweb.elk.reasoner.indexing.conversion.ElkIndexingException
org.semanticweb.elk.reasoner.indexing.conversion.org.semanticweb.elk.reasoner.indexing.conversion.ElkIndexingUnsupportedException
org.semanticweb.elk.reasoner.indexing.conversion.org.semanticweb.elk.reasoner.indexing.conversion.ElkIndexingUnsupportedFeature
org.semanticweb.elk.reasoner.indexing.conversion.org.semanticweb.elk.reasoner.indexing.conversion.ElkPolarityExpressionConverter
org.semanticweb.elk.reasoner.indexing.conversion.org.semanticweb.elk.reasoner.indexing.conversion.ElkPolarityExpressionConverterImpl
org.semanticweb.elk.reasoner.indexing.conversion.org.semanticweb.elk.reasoner.indexing.conversion.ElkUnexpectedIndexingException
org.semanticweb.elk.reasoner.indexing.conversion.org.semanticweb.elk.reasoner.indexing.conversion.FailingElkAxiomConverter
org.semanticweb.elk.reasoner.indexing.conversion.org.semanticweb.elk.reasoner.indexing.conversion.FailingElkEntityConverter
org.semanticweb.elk.reasoner.indexing.conversion.org.semanticweb.elk.reasoner.indexing.conversion.FailingElkPolarityExpressionConverter
org.semanticweb.elk.reasoner.indexing.conversion.org.semanticweb.elk.reasoner.indexing.conversion.ModifiableIndexedAxiomConclusionVisitingFactory
org.semanticweb.elk.reasoner.indexing.conversion.org.semanticweb.elk.reasoner.indexing.conversion.NoOpElkAnnotationAxiomConverter
org.semanticweb.elk.reasoner.indexing.model
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ElkClassAssertionAxiomConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ElkDeclarationAxiomConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ElkDifferentIndividualsAxiomBinaryConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ElkDifferentIndividualsAxiomNaryConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ElkDisjointClassesAxiomBinaryConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ElkDisjointClassesAxiomNaryConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ElkDisjointUnionAxiomBinaryConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ElkDisjointUnionAxiomEquivalenceConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ElkDisjointUnionAxiomNaryConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ElkDisjointUnionAxiomOwlNothingConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ElkDisjointUnionAxiomSubClassConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ElkEquivalentClassesAxiomEquivalenceConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ElkEquivalentClassesAxiomSubClassConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ElkEquivalentObjectPropertiesAxiomConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ElkObjectPropertyAssertionAxiomConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ElkObjectPropertyDomainAxiomConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ElkObjectPropertyRangeAxiomConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ElkReflexiveObjectPropertyAxiomConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ElkSameIndividualAxiomConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ElkSubClassOfAxiomConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ElkSubObjectPropertyOfAxiomConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ElkTransitiveObjectPropertyAxiomConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.HasNegativeOccurrence
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.HasOccurrence
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.HasPositiveOccurrence
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.IndexedAxiom
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.IndexedAxiomInference
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.IndexedClass
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.IndexedClassEntity
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.IndexedClassExpression
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.IndexedClassExpressionList
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.IndexedComplexClassExpression
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.IndexedComplexPropertyChain
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.IndexedContextRoot
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.IndexedDataHasValue
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.IndexedDeclarationAxiom
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.IndexedDeclarationAxiomInference
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.IndexedDefinedClass
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.IndexedDisjointClassesAxiom
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.IndexedDisjointClassesAxiomInference
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.IndexedEntity
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.IndexedEquivalentClassesAxiom
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.IndexedEquivalentClassesAxiomInference
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.IndexedIndividual
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.IndexedObject
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.IndexedObjectCache
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.IndexedObjectComplementOf
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.IndexedObjectHasSelf
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.IndexedObjectIntersectionOf
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.IndexedObjectProperty
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.IndexedObjectPropertyRangeAxiom
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.IndexedObjectPropertyRangeAxiomInference
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.IndexedObjectSomeValuesFrom
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.IndexedObjectUnionOf
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.IndexedPredefinedClass
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.IndexedPropertyChain
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.IndexedRangeFiller
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.IndexedSubClassOfAxiom
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.IndexedSubClassOfAxiomInference
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.IndexedSubObject
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.IndexedSubObjectPropertyOfAxiom
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.IndexedSubObjectPropertyOfAxiomInference
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableElkClassAssertionAxiomConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableElkDeclarationAxiomConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableElkDifferentIndividualsAxiomBinaryConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableElkDifferentIndividualsAxiomNaryConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableElkDisjointClassesAxiomBinaryConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableElkDisjointClassesAxiomNaryConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableElkDisjointUnionAxiomBinaryConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableElkDisjointUnionAxiomEquivalenceConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableElkDisjointUnionAxiomNaryConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableElkDisjointUnionAxiomOwlNothingConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableElkDisjointUnionAxiomSubClassConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableElkEquivalentClassesAxiomEquivalenceConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableElkEquivalentClassesAxiomSubClassConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableElkEquivalentObjectPropertiesAxiomConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableElkObjectPropertyAssertionAxiomConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableElkObjectPropertyDomainAxiomConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableElkObjectPropertyRangeAxiomConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableElkReflexiveObjectPropertyAxiomConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableElkSameIndividualAxiomConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableElkSubClassOfAxiomConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableElkSubObjectPropertyOfAxiomConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableElkTransitiveObjectPropertyAxiomConversion
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedAxiom
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedAxiomInference
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedClass
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedClassEntity
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedClassExpression
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedClassExpressionList
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedComplexPropertyChain
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedDataHasValue
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedDeclarationAxiom
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedDeclarationAxiomInference
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedDefinedClass
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedDisjointClassesAxiom
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedDisjointClassesAxiomInference
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedEntity
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedEquivalentClassesAxiom
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedEquivalentClassesAxiomInference
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedIndividual
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedObject
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedObjectCache
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedObjectComplementOf
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedObjectHasSelf
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedObjectIntersectionOf
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedObjectProperty
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedObjectPropertyRangeAxiom
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedObjectPropertyRangeAxiomInference
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedObjectSomeValuesFrom
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedObjectUnionOf
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedPropertyChain
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedRangeFiller
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedSubClassOfAxiom
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedSubClassOfAxiomInference
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedSubObject
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedSubObjectPropertyOfAxiom
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableIndexedSubObjectPropertyOfAxiomInference
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.ModifiableOntologyIndex
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.OccurrenceIncrement
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.OntologyIndex
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.StructuralIndexedClassEntry
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.StructuralIndexedClassExpressionListEntry
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.StructuralIndexedComplexClassExpressionEntry
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.StructuralIndexedComplexPropertyChainEntry
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.StructuralIndexedIndividualEntry
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.StructuralIndexedObjectPropertyEntry
org.semanticweb.elk.reasoner.indexing.model.org.semanticweb.elk.reasoner.indexing.model.StructuralIndexedSubObject
org.semanticweb.elk.reasoner.proof
org.semanticweb.elk.reasoner.proof.org.semanticweb.elk.reasoner.proof.ModifiableReasonerProof
org.semanticweb.elk.reasoner.proof.org.semanticweb.elk.reasoner.proof.ReasonerInference
org.semanticweb.elk.reasoner.proof.org.semanticweb.elk.reasoner.proof.ReasonerProducer
org.semanticweb.elk.reasoner.proof.org.semanticweb.elk.reasoner.proof.ReasonerProof
org.semanticweb.elk.reasoner.proof.org.semanticweb.elk.reasoner.proof.ReasonerProofUnion
org.semanticweb.elk.reasoner.query
org.semanticweb.elk.reasoner.query.org.semanticweb.elk.reasoner.query.AbstractEntailmentQueryWithPremises
org.semanticweb.elk.reasoner.query.org.semanticweb.elk.reasoner.query.AbstractIndexedEntailmentQuery
org.semanticweb.elk.reasoner.query.org.semanticweb.elk.reasoner.query.ClassAssertionEntailmentQuery
org.semanticweb.elk.reasoner.query.org.semanticweb.elk.reasoner.query.ClassExpressionQueryComputation
org.semanticweb.elk.reasoner.query.org.semanticweb.elk.reasoner.query.ClassExpressionQueryComputationFactory
org.semanticweb.elk.reasoner.query.org.semanticweb.elk.reasoner.query.CompleteQueryResult
org.semanticweb.elk.reasoner.query.org.semanticweb.elk.reasoner.query.DifferentIndividualsEntailmentQuery
org.semanticweb.elk.reasoner.query.org.semanticweb.elk.reasoner.query.DisjointClassesEntailmentQuery
org.semanticweb.elk.reasoner.query.org.semanticweb.elk.reasoner.query.ElkQueryAxiomIndexingVisitor
org.semanticweb.elk.reasoner.query.org.semanticweb.elk.reasoner.query.ElkQueryException
org.semanticweb.elk.reasoner.query.org.semanticweb.elk.reasoner.query.EntailmentQueryConverter
org.semanticweb.elk.reasoner.query.org.semanticweb.elk.reasoner.query.EntailmentQueryIndexingProcessor
org.semanticweb.elk.reasoner.query.org.semanticweb.elk.reasoner.query.EquivalentClassesEntailmentQuery
org.semanticweb.elk.reasoner.query.org.semanticweb.elk.reasoner.query.EquivalentClassesQueryResult
org.semanticweb.elk.reasoner.query.org.semanticweb.elk.reasoner.query.IndexedEntailmentQuery
org.semanticweb.elk.reasoner.query.org.semanticweb.elk.reasoner.query.ObjectPropertyAssertionEntailmentQuery
org.semanticweb.elk.reasoner.query.org.semanticweb.elk.reasoner.query.ObjectPropertyDomainEntailmentQuery
org.semanticweb.elk.reasoner.query.org.semanticweb.elk.reasoner.query.QueryNode
org.semanticweb.elk.reasoner.query.org.semanticweb.elk.reasoner.query.QueryResult
org.semanticweb.elk.reasoner.query.org.semanticweb.elk.reasoner.query.SameIndividualEntailmentQuery
org.semanticweb.elk.reasoner.query.org.semanticweb.elk.reasoner.query.SubClassOfEntailmentQuery
org.semanticweb.elk.reasoner.query.org.semanticweb.elk.reasoner.query.VerifiableQueryResult
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.AbstractSaturationState
org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturation
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.ClassExpressionSaturationNoInput
org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.ClassExpressionSaturationNoInputFactory
org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.ContextCreatingSaturationStateWriter
org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.ContextCreationListener
org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.ContextExistenceCheckingWriter
org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.ContextFactory
org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.ContextImpl
org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.ContextModificationListener
org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.DummyClassExpressionSaturationListener
org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.ExtendedContext
org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.MainContextFactory
org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.MapSaturationState
org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.ReferenceSaturationState
org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.SaturationCheckingWriter
org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.SaturationJob
org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.SaturationState
org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.SaturationStateDummyChangeListener
org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.SaturationStateFactory
org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.SaturationStateWriter
org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.SaturationStateWriterWrap
org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.SaturationStatistics
org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.SaturationUtils
org.semanticweb.elk.reasoner.saturation.org.semanticweb.elk.reasoner.saturation.SubContextImpl
org.semanticweb.elk.reasoner.saturation.conclusions.classes
org.semanticweb.elk.reasoner.saturation.conclusions.classes.org.semanticweb.elk.reasoner.saturation.conclusions.classes.AbstractClassConclusion
org.semanticweb.elk.reasoner.saturation.conclusions.classes.org.semanticweb.elk.reasoner.saturation.conclusions.classes.AbstractObjectPropertyConclusion
org.semanticweb.elk.reasoner.saturation.conclusions.classes.org.semanticweb.elk.reasoner.saturation.conclusions.classes.AbstractSubClassConclusion
org.semanticweb.elk.reasoner.saturation.conclusions.classes.org.semanticweb.elk.reasoner.saturation.conclusions.classes.AbstractSubClassInclusion
org.semanticweb.elk.reasoner.saturation.conclusions.classes.org.semanticweb.elk.reasoner.saturation.conclusions.classes.BackwardLinkImpl
org.semanticweb.elk.reasoner.saturation.conclusions.classes.org.semanticweb.elk.reasoner.saturation.conclusions.classes.ClassConclusionCounter
org.semanticweb.elk.reasoner.saturation.conclusions.classes.org.semanticweb.elk.reasoner.saturation.conclusions.classes.ClassConclusionDeletionVisitor
org.semanticweb.elk.reasoner.saturation.conclusions.classes.org.semanticweb.elk.reasoner.saturation.conclusions.classes.ClassConclusionInsertionVisitor
org.semanticweb.elk.reasoner.saturation.conclusions.classes.org.semanticweb.elk.reasoner.saturation.conclusions.classes.ClassConclusionOccurrenceCheckingVisitor
org.semanticweb.elk.reasoner.saturation.conclusions.classes.org.semanticweb.elk.reasoner.saturation.conclusions.classes.ClassConclusionStatistics
org.semanticweb.elk.reasoner.saturation.conclusions.classes.org.semanticweb.elk.reasoner.saturation.conclusions.classes.ClassConclusionTimer
org.semanticweb.elk.reasoner.saturation.conclusions.classes.org.semanticweb.elk.reasoner.saturation.conclusions.classes.ClassConclusionTracingContextNotSaturatedCheckingVisitor
org.semanticweb.elk.reasoner.saturation.conclusions.classes.org.semanticweb.elk.reasoner.saturation.conclusions.classes.ClassInconsistencyImpl
org.semanticweb.elk.reasoner.saturation.conclusions.classes.org.semanticweb.elk.reasoner.saturation.conclusions.classes.ComposedClassConclusionVisitor
org.semanticweb.elk.reasoner.saturation.conclusions.classes.org.semanticweb.elk.reasoner.saturation.conclusions.classes.ContextInitializationImpl
org.semanticweb.elk.reasoner.saturation.conclusions.classes.org.semanticweb.elk.reasoner.saturation.conclusions.classes.ContextInitializingClassConclusionInsertionVisitor
org.semanticweb.elk.reasoner.saturation.conclusions.classes.org.semanticweb.elk.reasoner.saturation.conclusions.classes.CountingClassConclusionVisitor
org.semanticweb.elk.reasoner.saturation.conclusions.classes.org.semanticweb.elk.reasoner.saturation.conclusions.classes.DerivedClassConclusionChecker
org.semanticweb.elk.reasoner.saturation.conclusions.classes.org.semanticweb.elk.reasoner.saturation.conclusions.classes.DerivedClassConclusionDummyVisitor
org.semanticweb.elk.reasoner.saturation.conclusions.classes.org.semanticweb.elk.reasoner.saturation.conclusions.classes.DisjointSubsumerImpl
org.semanticweb.elk.reasoner.saturation.conclusions.classes.org.semanticweb.elk.reasoner.saturation.conclusions.classes.DummyClassConclusionVisitor
org.semanticweb.elk.reasoner.saturation.conclusions.classes.org.semanticweb.elk.reasoner.saturation.conclusions.classes.DummyObjectPropertyConclusionVisitor
org.semanticweb.elk.reasoner.saturation.conclusions.classes.org.semanticweb.elk.reasoner.saturation.conclusions.classes.DummySubClassConclusionVisitor
org.semanticweb.elk.reasoner.saturation.conclusions.classes.org.semanticweb.elk.reasoner.saturation.conclusions.classes.ForwardLinkImpl
org.semanticweb.elk.reasoner.saturation.conclusions.classes.org.semanticweb.elk.reasoner.saturation.conclusions.classes.PropagationImpl
org.semanticweb.elk.reasoner.saturation.conclusions.classes.org.semanticweb.elk.reasoner.saturation.conclusions.classes.PropertyRangeImpl
org.semanticweb.elk.reasoner.saturation.conclusions.classes.org.semanticweb.elk.reasoner.saturation.conclusions.classes.RelativizedContextReference
org.semanticweb.elk.reasoner.saturation.conclusions.classes.org.semanticweb.elk.reasoner.saturation.conclusions.classes.RuleApplicationClassConclusionVisitor
org.semanticweb.elk.reasoner.saturation.conclusions.classes.org.semanticweb.elk.reasoner.saturation.conclusions.classes.SaturationClassConclusionChecker
org.semanticweb.elk.reasoner.saturation.conclusions.classes.org.semanticweb.elk.reasoner.saturation.conclusions.classes.SaturationConclusionBaseFactory
org.semanticweb.elk.reasoner.saturation.conclusions.classes.org.semanticweb.elk.reasoner.saturation.conclusions.classes.SubClassInclusionComposedImpl
org.semanticweb.elk.reasoner.saturation.conclusions.classes.org.semanticweb.elk.reasoner.saturation.conclusions.classes.SubClassInclusionDecomposedImpl
org.semanticweb.elk.reasoner.saturation.conclusions.classes.org.semanticweb.elk.reasoner.saturation.conclusions.classes.SubContextInitializationImpl
org.semanticweb.elk.reasoner.saturation.conclusions.classes.org.semanticweb.elk.reasoner.saturation.conclusions.classes.SubPropertyChainImpl
org.semanticweb.elk.reasoner.saturation.conclusions.classes.org.semanticweb.elk.reasoner.saturation.conclusions.classes.TimedClassConclusionVisitor
org.semanticweb.elk.reasoner.saturation.conclusions.classes.org.semanticweb.elk.reasoner.saturation.conclusions.classes.TracingRuleApplicationClassConclusionVisitor
org.semanticweb.elk.reasoner.saturation.conclusions.model
org.semanticweb.elk.reasoner.saturation.conclusions.model.org.semanticweb.elk.reasoner.saturation.conclusions.model.BackwardLink
org.semanticweb.elk.reasoner.saturation.conclusions.model.org.semanticweb.elk.reasoner.saturation.conclusions.model.ClassConclusion
org.semanticweb.elk.reasoner.saturation.conclusions.model.org.semanticweb.elk.reasoner.saturation.conclusions.model.ClassInconsistency
org.semanticweb.elk.reasoner.saturation.conclusions.model.org.semanticweb.elk.reasoner.saturation.conclusions.model.ContextInitialization
org.semanticweb.elk.reasoner.saturation.conclusions.model.org.semanticweb.elk.reasoner.saturation.conclusions.model.DerivedClassConclusionVisitor
org.semanticweb.elk.reasoner.saturation.conclusions.model.org.semanticweb.elk.reasoner.saturation.conclusions.model.DisjointSubsumer
org.semanticweb.elk.reasoner.saturation.conclusions.model.org.semanticweb.elk.reasoner.saturation.conclusions.model.ForwardLink
org.semanticweb.elk.reasoner.saturation.conclusions.model.org.semanticweb.elk.reasoner.saturation.conclusions.model.InitializationConclusion
org.semanticweb.elk.reasoner.saturation.conclusions.model.org.semanticweb.elk.reasoner.saturation.conclusions.model.ObjectPropertyConclusion
org.semanticweb.elk.reasoner.saturation.conclusions.model.org.semanticweb.elk.reasoner.saturation.conclusions.model.Propagation
org.semanticweb.elk.reasoner.saturation.conclusions.model.org.semanticweb.elk.reasoner.saturation.conclusions.model.PropertyRange
org.semanticweb.elk.reasoner.saturation.conclusions.model.org.semanticweb.elk.reasoner.saturation.conclusions.model.SaturationConclusion
org.semanticweb.elk.reasoner.saturation.conclusions.model.org.semanticweb.elk.reasoner.saturation.conclusions.model.SubClassConclusion
org.semanticweb.elk.reasoner.saturation.conclusions.model.org.semanticweb.elk.reasoner.saturation.conclusions.model.SubClassInclusion
org.semanticweb.elk.reasoner.saturation.conclusions.model.org.semanticweb.elk.reasoner.saturation.conclusions.model.SubClassInclusionComposed
org.semanticweb.elk.reasoner.saturation.conclusions.model.org.semanticweb.elk.reasoner.saturation.conclusions.model.SubClassInclusionDecomposed
org.semanticweb.elk.reasoner.saturation.conclusions.model.org.semanticweb.elk.reasoner.saturation.conclusions.model.SubContextInitialization
org.semanticweb.elk.reasoner.saturation.conclusions.model.org.semanticweb.elk.reasoner.saturation.conclusions.model.SubPropertyChain
org.semanticweb.elk.reasoner.saturation.context
org.semanticweb.elk.reasoner.saturation.context.org.semanticweb.elk.reasoner.saturation.context.ClassConclusionProcessor
org.semanticweb.elk.reasoner.saturation.context.org.semanticweb.elk.reasoner.saturation.context.ClassConclusionSet
org.semanticweb.elk.reasoner.saturation.context.org.semanticweb.elk.reasoner.saturation.context.Context
org.semanticweb.elk.reasoner.saturation.context.org.semanticweb.elk.reasoner.saturation.context.ContextPremises
org.semanticweb.elk.reasoner.saturation.context.org.semanticweb.elk.reasoner.saturation.context.ContextProcessor
org.semanticweb.elk.reasoner.saturation.context.org.semanticweb.elk.reasoner.saturation.context.ContextRootCollection
org.semanticweb.elk.reasoner.saturation.context.org.semanticweb.elk.reasoner.saturation.context.ContextStatistics
org.semanticweb.elk.reasoner.saturation.context.org.semanticweb.elk.reasoner.saturation.context.HybridContextPremises
org.semanticweb.elk.reasoner.saturation.context.org.semanticweb.elk.reasoner.saturation.context.SubClassConclusionSet
org.semanticweb.elk.reasoner.saturation.context.org.semanticweb.elk.reasoner.saturation.context.SubContext
org.semanticweb.elk.reasoner.saturation.context.org.semanticweb.elk.reasoner.saturation.context.SubContextPremises
org.semanticweb.elk.reasoner.saturation.inferences
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.AbstractBackwardLinkInference
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.AbstractClassInconsistencyInference
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.AbstractClassInconsistencyOfInconsistentSubsumerInference
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.AbstractClassInference
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.AbstractContextInitializationInference
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.AbstractDisjointSubsumerInference
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.AbstractForwardLinkInference
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.AbstractPropagationInference
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.AbstractSubClassInclusionComposedInference
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.AbstractSubClassInclusionDecomposedInference
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.AbstractSubClassInclusionExpansionInference
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.AbstractSubClassInclusionInference
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.AbstractSubClassInference
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.AbstractSubContextInitializationInference
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.BackwardLinkComposition
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.BackwardLinkInference
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.BackwardLinkOfObjectHasSelf
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.BackwardLinkOfObjectSomeValuesFrom
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.BackwardLinkReversedExpanded
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.ClassInconsistencyInference
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.ClassInconsistencyOfDisjointSubsumers
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.ClassInconsistencyOfObjectComplementOf
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.ClassInconsistencyOfOwlNothing
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.ClassInconsistencyPropagated
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.ClassInference
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.ClassInferenceConclusionVisitor
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.ComposedClassInferenceVisitor
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.ContextInitializationInference
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.ContextInitializationNoPremises
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.DisjointSubsumerFromSubsumer
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.DisjointSubsumerInference
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.DummyClassInferenceVisitor
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.DummySaturationInferenceVisitor
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.ForwardLinkComposition
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.ForwardLinkInference
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.ForwardLinkOfObjectHasSelf
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.ForwardLinkOfObjectSomeValuesFrom
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.InitializationInference
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.LinkComposition
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.PropagationGenerated
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.PropagationInference
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.SaturationInference
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.SubClassInclusionComposedDefinedClass
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.SubClassInclusionComposedInference
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.SubClassInclusionComposedObjectIntersectionOf
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.SubClassInclusionComposedObjectSomeValuesFrom
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.SubClassInclusionComposedObjectUnionOf
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.SubClassInclusionComposedOfDecomposed
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.SubClassInclusionDecomposedConjunct
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.SubClassInclusionDecomposedFirstConjunct
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.SubClassInclusionDecomposedInference
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.SubClassInclusionDecomposedSecondConjunct
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.SubClassInclusionExpandedDefinition
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.SubClassInclusionExpandedFirstEquivalentClass
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.SubClassInclusionExpandedSecondEquivalentClass
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.SubClassInclusionExpandedSubClassOf
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.SubClassInclusionInference
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.SubClassInclusionObjectHasSelfPropertyRange
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.SubClassInclusionOwlThing
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.SubClassInclusionRange
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.SubClassInclusionTautology
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.SubClassInference
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.SubContextInitializationInference
org.semanticweb.elk.reasoner.saturation.inferences.org.semanticweb.elk.reasoner.saturation.inferences.SubContextInitializationNoPremises
org.semanticweb.elk.reasoner.saturation.properties
org.semanticweb.elk.reasoner.saturation.properties.org.semanticweb.elk.reasoner.saturation.properties.ObjectPropertyTaxonomyComputation
org.semanticweb.elk.reasoner.saturation.properties.org.semanticweb.elk.reasoner.saturation.properties.ObjectPropertyTaxonomyComputationFactory
org.semanticweb.elk.reasoner.saturation.properties.org.semanticweb.elk.reasoner.saturation.properties.PropertyHierarchyCompositionComputation
org.semanticweb.elk.reasoner.saturation.properties.org.semanticweb.elk.reasoner.saturation.properties.PropertyHierarchyCompositionComputationFactory
org.semanticweb.elk.reasoner.saturation.properties.org.semanticweb.elk.reasoner.saturation.properties.RangeExplorer
org.semanticweb.elk.reasoner.saturation.properties.org.semanticweb.elk.reasoner.saturation.properties.SaturatedPropertyChain
org.semanticweb.elk.reasoner.saturation.properties.org.semanticweb.elk.reasoner.saturation.properties.SubPropertyExplorer
org.semanticweb.elk.reasoner.saturation.properties.org.semanticweb.elk.reasoner.saturation.properties.TransitiveReductionOutput
org.semanticweb.elk.reasoner.saturation.properties.org.semanticweb.elk.reasoner.saturation.properties.TransitiveReductionOutputEquivalent
org.semanticweb.elk.reasoner.saturation.properties.org.semanticweb.elk.reasoner.saturation.properties.TransitiveReductionOutputEquivalentDirect
org.semanticweb.elk.reasoner.saturation.properties.org.semanticweb.elk.reasoner.saturation.properties.TransitiveReductionOutputExtreme
org.semanticweb.elk.reasoner.saturation.properties.org.semanticweb.elk.reasoner.saturation.properties.TransitiveReductionOutputVisitor
org.semanticweb.elk.reasoner.saturation.properties.inferences
org.semanticweb.elk.reasoner.saturation.properties.inferences.org.semanticweb.elk.reasoner.saturation.properties.inferences.AbstractObjectPropertyInference
org.semanticweb.elk.reasoner.saturation.properties.inferences.org.semanticweb.elk.reasoner.saturation.properties.inferences.AbstractPropertyRangeInference
org.semanticweb.elk.reasoner.saturation.properties.inferences.org.semanticweb.elk.reasoner.saturation.properties.inferences.AbstractSubPropertyChainInference
org.semanticweb.elk.reasoner.saturation.properties.inferences.org.semanticweb.elk.reasoner.saturation.properties.inferences.DummyObjectPropertyInferenceVisitor
org.semanticweb.elk.reasoner.saturation.properties.inferences.org.semanticweb.elk.reasoner.saturation.properties.inferences.ObjectPropertyInference
org.semanticweb.elk.reasoner.saturation.properties.inferences.org.semanticweb.elk.reasoner.saturation.properties.inferences.ObjectPropertyInferenceConclusionVisitor
org.semanticweb.elk.reasoner.saturation.properties.inferences.org.semanticweb.elk.reasoner.saturation.properties.inferences.PropertyRangeInference
org.semanticweb.elk.reasoner.saturation.properties.inferences.org.semanticweb.elk.reasoner.saturation.properties.inferences.PropertyRangeInherited
org.semanticweb.elk.reasoner.saturation.properties.inferences.org.semanticweb.elk.reasoner.saturation.properties.inferences.SubPropertyChainExpandedSubObjectPropertyOf
org.semanticweb.elk.reasoner.saturation.properties.inferences.org.semanticweb.elk.reasoner.saturation.properties.inferences.SubPropertyChainInference
org.semanticweb.elk.reasoner.saturation.properties.inferences.org.semanticweb.elk.reasoner.saturation.properties.inferences.SubPropertyChainInferenceConclusionVisitor
org.semanticweb.elk.reasoner.saturation.properties.inferences.org.semanticweb.elk.reasoner.saturation.properties.inferences.SubPropertyChainTautology
org.semanticweb.elk.reasoner.saturation.rules
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.AbstractRule
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.AllInferencesRuleVisitor
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.BasicRuleVisitor
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.ChainableRule
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.ClassInferenceProducer
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.CombinedClassInferenceProducer
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.ConditionalRuleVisitor
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.DelegatingRuleVisitor
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.DummyRuleVisitor
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.LinkRule
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.ModifiableLinkRule
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.Rule
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationTimer
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.RuleApplicationTimerVisitor
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.RuleCounter
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.RuleCounterVisitor
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.RuleStatistics
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.RuleTracingCheckingVisitor
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.RuleVisitor
org.semanticweb.elk.reasoner.saturation.rules.org.semanticweb.elk.reasoner.saturation.rules.RuleVisitors
org.semanticweb.elk.reasoner.saturation.rules.backwardlinks
org.semanticweb.elk.reasoner.saturation.rules.backwardlinks.org.semanticweb.elk.reasoner.saturation.rules.backwardlinks.AbstractBackwardLinkRule
org.semanticweb.elk.reasoner.saturation.rules.backwardlinks.org.semanticweb.elk.reasoner.saturation.rules.backwardlinks.AbstractLinkableBackwardLinkRule
org.semanticweb.elk.reasoner.saturation.rules.backwardlinks.org.semanticweb.elk.reasoner.saturation.rules.backwardlinks.BackwardLinkChainFromBackwardLinkRule
org.semanticweb.elk.reasoner.saturation.rules.backwardlinks.org.semanticweb.elk.reasoner.saturation.rules.backwardlinks.BackwardLinkRule
org.semanticweb.elk.reasoner.saturation.rules.backwardlinks.org.semanticweb.elk.reasoner.saturation.rules.backwardlinks.BackwardLinkRuleVisitor
org.semanticweb.elk.reasoner.saturation.rules.backwardlinks.org.semanticweb.elk.reasoner.saturation.rules.backwardlinks.ContradictionOverBackwardLinkRule
org.semanticweb.elk.reasoner.saturation.rules.backwardlinks.org.semanticweb.elk.reasoner.saturation.rules.backwardlinks.LinkableBackwardLinkRule
org.semanticweb.elk.reasoner.saturation.rules.backwardlinks.org.semanticweb.elk.reasoner.saturation.rules.backwardlinks.LinkedBackwardLinkRule
org.semanticweb.elk.reasoner.saturation.rules.backwardlinks.org.semanticweb.elk.reasoner.saturation.rules.backwardlinks.LinkedBackwardLinkRuleVisitor
org.semanticweb.elk.reasoner.saturation.rules.backwardlinks.org.semanticweb.elk.reasoner.saturation.rules.backwardlinks.SubsumerBackwardLinkRule
org.semanticweb.elk.reasoner.saturation.rules.contextinit
org.semanticweb.elk.reasoner.saturation.rules.contextinit.org.semanticweb.elk.reasoner.saturation.rules.contextinit.AbstractChainableContextInitRule
org.semanticweb.elk.reasoner.saturation.rules.contextinit.org.semanticweb.elk.reasoner.saturation.rules.contextinit.AbstractContextInitRule
org.semanticweb.elk.reasoner.saturation.rules.contextinit.org.semanticweb.elk.reasoner.saturation.rules.contextinit.ChainableContextInitRule
org.semanticweb.elk.reasoner.saturation.rules.contextinit.org.semanticweb.elk.reasoner.saturation.rules.contextinit.ContextInitRule
org.semanticweb.elk.reasoner.saturation.rules.contextinit.org.semanticweb.elk.reasoner.saturation.rules.contextinit.ContextInitRuleVisitor
org.semanticweb.elk.reasoner.saturation.rules.contextinit.org.semanticweb.elk.reasoner.saturation.rules.contextinit.LinkedContextInitRule
org.semanticweb.elk.reasoner.saturation.rules.contextinit.org.semanticweb.elk.reasoner.saturation.rules.contextinit.LinkedContextInitRuleVisitor
org.semanticweb.elk.reasoner.saturation.rules.contextinit.org.semanticweb.elk.reasoner.saturation.rules.contextinit.OwlThingContextInitRule
org.semanticweb.elk.reasoner.saturation.rules.contextinit.org.semanticweb.elk.reasoner.saturation.rules.contextinit.RootContextInitializationRule
org.semanticweb.elk.reasoner.saturation.rules.contradiction
org.semanticweb.elk.reasoner.saturation.rules.contradiction.org.semanticweb.elk.reasoner.saturation.rules.contradiction.AbstractContradictionRule
org.semanticweb.elk.reasoner.saturation.rules.contradiction.org.semanticweb.elk.reasoner.saturation.rules.contradiction.ContradictionPropagationRule
org.semanticweb.elk.reasoner.saturation.rules.contradiction.org.semanticweb.elk.reasoner.saturation.rules.contradiction.ContradictionRule
org.semanticweb.elk.reasoner.saturation.rules.contradiction.org.semanticweb.elk.reasoner.saturation.rules.contradiction.ContradictionRuleVisitor
org.semanticweb.elk.reasoner.saturation.rules.disjointsubsumer
org.semanticweb.elk.reasoner.saturation.rules.disjointsubsumer.org.semanticweb.elk.reasoner.saturation.rules.disjointsubsumer.AbstractDisjointSubsumerRule
org.semanticweb.elk.reasoner.saturation.rules.disjointsubsumer.org.semanticweb.elk.reasoner.saturation.rules.disjointsubsumer.ContradictionCompositionRule
org.semanticweb.elk.reasoner.saturation.rules.disjointsubsumer.org.semanticweb.elk.reasoner.saturation.rules.disjointsubsumer.DisjointSubsumerRule
org.semanticweb.elk.reasoner.saturation.rules.disjointsubsumer.org.semanticweb.elk.reasoner.saturation.rules.disjointsubsumer.DisjointSubsumerRuleVisitor
org.semanticweb.elk.reasoner.saturation.rules.factories
org.semanticweb.elk.reasoner.saturation.rules.factories.org.semanticweb.elk.reasoner.saturation.rules.factories.AbstractRuleApplicationFactory
org.semanticweb.elk.reasoner.saturation.rules.factories.org.semanticweb.elk.reasoner.saturation.rules.factories.AbstractRuleEngine
org.semanticweb.elk.reasoner.saturation.rules.factories.org.semanticweb.elk.reasoner.saturation.rules.factories.AbstractRuleEngineWithStatistics
org.semanticweb.elk.reasoner.saturation.rules.factories.org.semanticweb.elk.reasoner.saturation.rules.factories.BasicRuleEngine
org.semanticweb.elk.reasoner.saturation.rules.factories.org.semanticweb.elk.reasoner.saturation.rules.factories.RuleApplicationAdditionFactory
org.semanticweb.elk.reasoner.saturation.rules.factories.org.semanticweb.elk.reasoner.saturation.rules.factories.RuleApplicationAdditionPruningFactory
org.semanticweb.elk.reasoner.saturation.rules.factories.org.semanticweb.elk.reasoner.saturation.rules.factories.RuleApplicationDeletionFactory
org.semanticweb.elk.reasoner.saturation.rules.factories.org.semanticweb.elk.reasoner.saturation.rules.factories.RuleApplicationDeletionNotSaturatedFactory
org.semanticweb.elk.reasoner.saturation.rules.factories.org.semanticweb.elk.reasoner.saturation.rules.factories.RuleApplicationFactory
org.semanticweb.elk.reasoner.saturation.rules.factories.org.semanticweb.elk.reasoner.saturation.rules.factories.RuleApplicationIncrementalAdditionSaturationFactory
org.semanticweb.elk.reasoner.saturation.rules.factories.org.semanticweb.elk.reasoner.saturation.rules.factories.RuleApplicationInput
org.semanticweb.elk.reasoner.saturation.rules.factories.org.semanticweb.elk.reasoner.saturation.rules.factories.WorkerLocalTodo
org.semanticweb.elk.reasoner.saturation.rules.factories.org.semanticweb.elk.reasoner.saturation.rules.factories.WorkerLocalTodoImpl
org.semanticweb.elk.reasoner.saturation.rules.factories.org.semanticweb.elk.reasoner.saturation.rules.factories.WorkerLocalizedSaturationStateWriter
org.semanticweb.elk.reasoner.saturation.rules.forwardlink
org.semanticweb.elk.reasoner.saturation.rules.forwardlink.org.semanticweb.elk.reasoner.saturation.rules.forwardlink.AbstractForwardLinkRule
org.semanticweb.elk.reasoner.saturation.rules.forwardlink.org.semanticweb.elk.reasoner.saturation.rules.forwardlink.BackwardLinkFromForwardLinkRule
org.semanticweb.elk.reasoner.saturation.rules.forwardlink.org.semanticweb.elk.reasoner.saturation.rules.forwardlink.ForwardLinkRule
org.semanticweb.elk.reasoner.saturation.rules.forwardlink.org.semanticweb.elk.reasoner.saturation.rules.forwardlink.ForwardLinkRuleVisitor
org.semanticweb.elk.reasoner.saturation.rules.forwardlink.org.semanticweb.elk.reasoner.saturation.rules.forwardlink.NonReflexiveBackwardLinkCompositionRule
org.semanticweb.elk.reasoner.saturation.rules.forwardlink.org.semanticweb.elk.reasoner.saturation.rules.forwardlink.ReflexiveBackwardLinkCompositionRule
org.semanticweb.elk.reasoner.saturation.rules.propagations
org.semanticweb.elk.reasoner.saturation.rules.propagations.org.semanticweb.elk.reasoner.saturation.rules.propagations.AbstractPropagationRule
org.semanticweb.elk.reasoner.saturation.rules.propagations.org.semanticweb.elk.reasoner.saturation.rules.propagations.PropagationRule
org.semanticweb.elk.reasoner.saturation.rules.propagations.org.semanticweb.elk.reasoner.saturation.rules.propagations.PropagationRuleVisitor
org.semanticweb.elk.reasoner.saturation.rules.propagations.org.semanticweb.elk.reasoner.saturation.rules.propagations.SubsumerPropagationRule
org.semanticweb.elk.reasoner.saturation.rules.subcontextinit
org.semanticweb.elk.reasoner.saturation.rules.subcontextinit.org.semanticweb.elk.reasoner.saturation.rules.subcontextinit.AbstractSubContextInitRule
org.semanticweb.elk.reasoner.saturation.rules.subcontextinit.org.semanticweb.elk.reasoner.saturation.rules.subcontextinit.PropagationInitializationRule
org.semanticweb.elk.reasoner.saturation.rules.subcontextinit.org.semanticweb.elk.reasoner.saturation.rules.subcontextinit.SubContextInitRule
org.semanticweb.elk.reasoner.saturation.rules.subcontextinit.org.semanticweb.elk.reasoner.saturation.rules.subcontextinit.SubContextInitRuleVisitor
org.semanticweb.elk.reasoner.saturation.rules.subsumers
org.semanticweb.elk.reasoner.saturation.rules.subsumers.org.semanticweb.elk.reasoner.saturation.rules.subsumers.AbstractChainableSubsumerRule
org.semanticweb.elk.reasoner.saturation.rules.subsumers.org.semanticweb.elk.reasoner.saturation.rules.subsumers.AbstractObjectIntersectionFromConjunctRule
org.semanticweb.elk.reasoner.saturation.rules.subsumers.org.semanticweb.elk.reasoner.saturation.rules.subsumers.AbstractSubsumerDecompositionRule
org.semanticweb.elk.reasoner.saturation.rules.subsumers.org.semanticweb.elk.reasoner.saturation.rules.subsumers.AbstractSubsumerRule
org.semanticweb.elk.reasoner.saturation.rules.subsumers.org.semanticweb.elk.reasoner.saturation.rules.subsumers.ChainableSubsumerRule
org.semanticweb.elk.reasoner.saturation.rules.subsumers.org.semanticweb.elk.reasoner.saturation.rules.subsumers.ComposedFromDecomposedSubsumerRule
org.semanticweb.elk.reasoner.saturation.rules.subsumers.org.semanticweb.elk.reasoner.saturation.rules.subsumers.ContradictionFromNegationRule
org.semanticweb.elk.reasoner.saturation.rules.subsumers.org.semanticweb.elk.reasoner.saturation.rules.subsumers.ContradictionFromOwlNothingRule
org.semanticweb.elk.reasoner.saturation.rules.subsumers.org.semanticweb.elk.reasoner.saturation.rules.subsumers.DisjointSubsumerFromMemberRule
org.semanticweb.elk.reasoner.saturation.rules.subsumers.org.semanticweb.elk.reasoner.saturation.rules.subsumers.EquivalentClassFirstFromSecondRule
org.semanticweb.elk.reasoner.saturation.rules.subsumers.org.semanticweb.elk.reasoner.saturation.rules.subsumers.EquivalentClassSecondFromFirstRule
org.semanticweb.elk.reasoner.saturation.rules.subsumers.org.semanticweb.elk.reasoner.saturation.rules.subsumers.IndexedClassDecompositionRule
org.semanticweb.elk.reasoner.saturation.rules.subsumers.org.semanticweb.elk.reasoner.saturation.rules.subsumers.IndexedClassFromDefinitionRule
org.semanticweb.elk.reasoner.saturation.rules.subsumers.org.semanticweb.elk.reasoner.saturation.rules.subsumers.IndexedObjectComplementOfDecomposition
org.semanticweb.elk.reasoner.saturation.rules.subsumers.org.semanticweb.elk.reasoner.saturation.rules.subsumers.IndexedObjectHasSelfDecomposition
org.semanticweb.elk.reasoner.saturation.rules.subsumers.org.semanticweb.elk.reasoner.saturation.rules.subsumers.IndexedObjectIntersectionOfDecomposition
org.semanticweb.elk.reasoner.saturation.rules.subsumers.org.semanticweb.elk.reasoner.saturation.rules.subsumers.IndexedObjectSomeValuesFromDecomposition
org.semanticweb.elk.reasoner.saturation.rules.subsumers.org.semanticweb.elk.reasoner.saturation.rules.subsumers.LinkedSubsumerRule
org.semanticweb.elk.reasoner.saturation.rules.subsumers.org.semanticweb.elk.reasoner.saturation.rules.subsumers.LinkedSubsumerRuleVisitor
org.semanticweb.elk.reasoner.saturation.rules.subsumers.org.semanticweb.elk.reasoner.saturation.rules.subsumers.ObjectIntersectionFromFirstConjunctRule
org.semanticweb.elk.reasoner.saturation.rules.subsumers.org.semanticweb.elk.reasoner.saturation.rules.subsumers.ObjectIntersectionFromSecondConjunctRule
org.semanticweb.elk.reasoner.saturation.rules.subsumers.org.semanticweb.elk.reasoner.saturation.rules.subsumers.ObjectUnionFromDisjunctRule
org.semanticweb.elk.reasoner.saturation.rules.subsumers.org.semanticweb.elk.reasoner.saturation.rules.subsumers.OwlNothingDecompositionRule
org.semanticweb.elk.reasoner.saturation.rules.subsumers.org.semanticweb.elk.reasoner.saturation.rules.subsumers.PropagationFromExistentialFillerRule
org.semanticweb.elk.reasoner.saturation.rules.subsumers.org.semanticweb.elk.reasoner.saturation.rules.subsumers.SubsumerDecompositionRule
org.semanticweb.elk.reasoner.saturation.rules.subsumers.org.semanticweb.elk.reasoner.saturation.rules.subsumers.SubsumerDecompositionRuleVisitor
org.semanticweb.elk.reasoner.saturation.rules.subsumers.org.semanticweb.elk.reasoner.saturation.rules.subsumers.SubsumerDecompositionVisitor
org.semanticweb.elk.reasoner.saturation.rules.subsumers.org.semanticweb.elk.reasoner.saturation.rules.subsumers.SubsumerRule
org.semanticweb.elk.reasoner.saturation.rules.subsumers.org.semanticweb.elk.reasoner.saturation.rules.subsumers.SubsumerRuleVisitor
org.semanticweb.elk.reasoner.saturation.rules.subsumers.org.semanticweb.elk.reasoner.saturation.rules.subsumers.SuperClassFromSubClassRule
org.semanticweb.elk.reasoner.stages
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.AbstractIncrementalChangesInitializationStage
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.AbstractStageExecutor
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.ClassExpressionQueryStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.ClassExpressionQueryState
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.ClassSaturationStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.ClassTaxonomyComputationStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.ClassTaxonomyState
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.ConsistencyCheckingStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.ContextAssignmentResetStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.ElkInterruptedException
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.EntailmentQueryStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.EntailmentQueryState
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.IncrementalAdditionInitializationStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.IncrementalAdditionStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.IncrementalCompletionStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.IncrementalDeletionInitializationStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.IncrementalDeletionStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.IncrementalOverdeletionPruningStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.IncrementalTaxonomyCleaningStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.InputLoadingStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.InstanceTaxonomyComputationStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.InstanceTaxonomyState
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.LoggingStageExecutor
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.ObjectPropertyTaxonomyState
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.PropertyHierarchyCompositionComputationStage
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.PropertyHierarchyCompositionState
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.PropertyInitializationStage
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.ReasonerStageManager
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.SimpleStageExecutor
org.semanticweb.elk.reasoner.stages.org.semanticweb.elk.reasoner.stages.TracingStage
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.ConcurrentClassTaxonomy
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.ConcurrentInstanceTaxonomy
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.DummyInstanceTaxonomyListener
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.DummyNodeStoreListener
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.DummyTaxonomyListener
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.ElkClassKeyProvider
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.ElkEntityKeyProvider
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.ElkIndividualKeyProvider
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.ElkObjectPropertyKeyProvider
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.FreshInstanceNode
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.FreshNode
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.FreshTaxonomyNode
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.FreshTypeNode
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.IndividualTaxonomy
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.InvalidTaxonomyException
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.OrphanInstanceNode
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.OrphanNode
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.OrphanTaxonomyNode
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.OrphanTypeNode
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.ReverseObjectPropertyTaxonomy
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.ReverseTaxonomy
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.SingletoneInstanceTaxonomy
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.SingletoneTaxonomy
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.TaxonomyCleaning
org.semanticweb.elk.reasoner.taxonomy.org.semanticweb.elk.reasoner.taxonomy.TaxonomyNodeUtils
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.InstanceTaxonomyEqualator
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.TaxonomyEqualator
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.impl
org.semanticweb.elk.reasoner.taxonomy.impl.org.semanticweb.elk.reasoner.taxonomy.impl.AbstractDistinctBottomTaxonomy
org.semanticweb.elk.reasoner.taxonomy.impl.org.semanticweb.elk.reasoner.taxonomy.impl.AbstractInstanceTaxonomy
org.semanticweb.elk.reasoner.taxonomy.impl.org.semanticweb.elk.reasoner.taxonomy.impl.AbstractNodeStore
org.semanticweb.elk.reasoner.taxonomy.impl.org.semanticweb.elk.reasoner.taxonomy.impl.AbstractTaxonomy
org.semanticweb.elk.reasoner.taxonomy.impl.org.semanticweb.elk.reasoner.taxonomy.impl.AbstractUpdateableGenericInstanceTaxonomy
org.semanticweb.elk.reasoner.taxonomy.impl.org.semanticweb.elk.reasoner.taxonomy.impl.AbstractUpdateableGenericTaxonomy
org.semanticweb.elk.reasoner.taxonomy.impl.org.semanticweb.elk.reasoner.taxonomy.impl.BottomGenericTaxonomyNode
org.semanticweb.elk.reasoner.taxonomy.impl.org.semanticweb.elk.reasoner.taxonomy.impl.BottomGenericTypeNode
org.semanticweb.elk.reasoner.taxonomy.impl.org.semanticweb.elk.reasoner.taxonomy.impl.ConcurrentNodeStore
org.semanticweb.elk.reasoner.taxonomy.impl.org.semanticweb.elk.reasoner.taxonomy.impl.IndividualNode
org.semanticweb.elk.reasoner.taxonomy.impl.org.semanticweb.elk.reasoner.taxonomy.impl.NonBottomGenericTaxonomyNode
org.semanticweb.elk.reasoner.taxonomy.impl.org.semanticweb.elk.reasoner.taxonomy.impl.NonBottomGenericTypeNode
org.semanticweb.elk.reasoner.taxonomy.impl.org.semanticweb.elk.reasoner.taxonomy.impl.SimpleNode
org.semanticweb.elk.reasoner.taxonomy.impl.org.semanticweb.elk.reasoner.taxonomy.impl.SimpleUpdateableNode
org.semanticweb.elk.reasoner.taxonomy.impl.org.semanticweb.elk.reasoner.taxonomy.impl.SynchronizedNodeStore
org.semanticweb.elk.reasoner.taxonomy.impl.org.semanticweb.elk.reasoner.taxonomy.impl.UpdateableInstanceNode
org.semanticweb.elk.reasoner.taxonomy.impl.org.semanticweb.elk.reasoner.taxonomy.impl.UpdateableNode
org.semanticweb.elk.reasoner.taxonomy.impl.org.semanticweb.elk.reasoner.taxonomy.impl.UpdateableNodeStore
org.semanticweb.elk.reasoner.taxonomy.impl.org.semanticweb.elk.reasoner.taxonomy.impl.UpdateableTaxonomyNode
org.semanticweb.elk.reasoner.taxonomy.impl.org.semanticweb.elk.reasoner.taxonomy.impl.UpdateableTaxonomyTypeNode
org.semanticweb.elk.reasoner.taxonomy.impl.org.semanticweb.elk.reasoner.taxonomy.impl.UpdateableTypeNode
org.semanticweb.elk.reasoner.taxonomy.model
org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.ComparatorKeyProvider
org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.GenericInstanceNode
org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.GenericTaxonomyNode
org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.GenericTypeNode
org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.HasTaxonomy
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.KeyProvider
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.NodeFactory
org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.NodeStore
org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.NonBottomTaxonomyNode
org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.NonBottomTypeNode
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.TaxonomyNodeFactory
org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.TypeNode
org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.UpdateableInstanceTaxonomy
org.semanticweb.elk.reasoner.taxonomy.model.org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTaxonomy
org.semanticweb.elk.reasoner.tracing
org.semanticweb.elk.reasoner.tracing.org.semanticweb.elk.reasoner.tracing.AbstractConclusion
org.semanticweb.elk.reasoner.tracing.org.semanticweb.elk.reasoner.tracing.AbstractTracingInference
org.semanticweb.elk.reasoner.tracing.org.semanticweb.elk.reasoner.tracing.Conclusion
org.semanticweb.elk.reasoner.tracing.org.semanticweb.elk.reasoner.tracing.ConclusionBaseFactory
org.semanticweb.elk.reasoner.tracing.org.semanticweb.elk.reasoner.tracing.ConclusionDelegatingFactory
org.semanticweb.elk.reasoner.tracing.org.semanticweb.elk.reasoner.tracing.ConclusionEquality
org.semanticweb.elk.reasoner.tracing.org.semanticweb.elk.reasoner.tracing.ConclusionHash
org.semanticweb.elk.reasoner.tracing.org.semanticweb.elk.reasoner.tracing.ConclusionPrinter
org.semanticweb.elk.reasoner.tracing.org.semanticweb.elk.reasoner.tracing.DummyConclusionVisitor
org.semanticweb.elk.reasoner.tracing.org.semanticweb.elk.reasoner.tracing.GenericTracingProof
org.semanticweb.elk.reasoner.tracing.org.semanticweb.elk.reasoner.tracing.ModifiableTracingProof
org.semanticweb.elk.reasoner.tracing.org.semanticweb.elk.reasoner.tracing.ModifiableTracingProofImpl
org.semanticweb.elk.reasoner.tracing.org.semanticweb.elk.reasoner.tracing.RecursiveTraceUnwinder
org.semanticweb.elk.reasoner.tracing.org.semanticweb.elk.reasoner.tracing.SynchronizedModifiableTracingProof
org.semanticweb.elk.reasoner.tracing.org.semanticweb.elk.reasoner.tracing.TraceState
org.semanticweb.elk.reasoner.tracing.org.semanticweb.elk.reasoner.tracing.TraceUnwinder
org.semanticweb.elk.reasoner.tracing.org.semanticweb.elk.reasoner.tracing.TracingComputation
org.semanticweb.elk.reasoner.tracing.org.semanticweb.elk.reasoner.tracing.TracingInference
org.semanticweb.elk.reasoner.tracing.org.semanticweb.elk.reasoner.tracing.TracingInferenceConclusion
org.semanticweb.elk.reasoner.tracing.org.semanticweb.elk.reasoner.tracing.TracingInferenceConclusionGetter
org.semanticweb.elk.reasoner.tracing.org.semanticweb.elk.reasoner.tracing.TracingInferenceConclusionVisitor
org.semanticweb.elk.reasoner.tracing.org.semanticweb.elk.reasoner.tracing.TracingInferenceDummyVisitor
org.semanticweb.elk.reasoner.tracing.org.semanticweb.elk.reasoner.tracing.TracingInferencePremiseVisitor
org.semanticweb.elk.reasoner.tracing.org.semanticweb.elk.reasoner.tracing.TracingInferencePrinter
org.semanticweb.elk.reasoner.tracing.org.semanticweb.elk.reasoner.tracing.TracingProof
org.semanticweb.elk.reasoner.tracing.factories
org.semanticweb.elk.reasoner.tracing.factories.org.semanticweb.elk.reasoner.tracing.factories.ClassInferenceBlockingFilter
org.semanticweb.elk.reasoner.tracing.factories.org.semanticweb.elk.reasoner.tracing.factories.ClassInferenceConclusionGettingVisitor
org.semanticweb.elk.reasoner.tracing.factories.org.semanticweb.elk.reasoner.tracing.factories.ClassInferenceLocalPremiseVisitor
org.semanticweb.elk.reasoner.tracing.factories.org.semanticweb.elk.reasoner.tracing.factories.ConclusionEqualityChecker
org.semanticweb.elk.reasoner.tracing.factories.org.semanticweb.elk.reasoner.tracing.factories.ContextTracingRuleApplicationFactory
org.semanticweb.elk.reasoner.tracing.factories.org.semanticweb.elk.reasoner.tracing.factories.SingleContextTracingFactory
org.semanticweb.elk.reasoner.tracing.factories.org.semanticweb.elk.reasoner.tracing.factories.TracingJobListener




© 2015 - 2024 Weber Informatics LLC | Privacy Policy