jar

au.csiro : elk-ore-standalone

Maven & Gradle

Oct 11, 2020
61 stars

ELK ORE Build Standalone · The module for the stand-alone tool for the ORE contest

Homepage Documentation Readme Maven Central
Table Of Contents

Latest Version

Download au.csiro : elk-ore-standalone JAR file - Latest Versions:

All Versions

Download au.csiro : elk-ore-standalone JAR file - All Versions:

Version Vulnerabilities Size Updated
0.5.x
elk-ore-standalone-0.5.0.jar

View Java Class Source Code in JAR file

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

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

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

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

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

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

org.semanticweb.elk.util.concurrent.collections

├─ org.semanticweb.elk.util.concurrent.collections.ActivationStack.class - [JAR]

├─ org.semanticweb.elk.util.concurrent.collections.ConcurrentLinkedActivationStack.class - [JAR]

├─ org.semanticweb.elk.util.concurrent.collections.SynchronizedArrayListActivationStack.class - [JAR]

org.apache.log4j.lf5.viewer.categoryexplorer

├─ org.apache.log4j.lf5.viewer.categoryexplorer.CategoryAbstractCellEditor.class - [JAR]

├─ org.apache.log4j.lf5.viewer.categoryexplorer.CategoryElement.class - [JAR]

├─ org.apache.log4j.lf5.viewer.categoryexplorer.CategoryExplorerLogRecordFilter.class - [JAR]

├─ org.apache.log4j.lf5.viewer.categoryexplorer.CategoryExplorerModel.class - [JAR]

├─ org.apache.log4j.lf5.viewer.categoryexplorer.CategoryExplorerTree.class - [JAR]

├─ org.apache.log4j.lf5.viewer.categoryexplorer.CategoryImmediateEditor.class - [JAR]

├─ org.apache.log4j.lf5.viewer.categoryexplorer.CategoryNode.class - [JAR]

├─ org.apache.log4j.lf5.viewer.categoryexplorer.CategoryNodeEditor.class - [JAR]

├─ org.apache.log4j.lf5.viewer.categoryexplorer.CategoryNodeEditorRenderer.class - [JAR]

├─ org.apache.log4j.lf5.viewer.categoryexplorer.CategoryNodeRenderer.class - [JAR]

├─ org.apache.log4j.lf5.viewer.categoryexplorer.CategoryPath.class - [JAR]

├─ org.apache.log4j.lf5.viewer.categoryexplorer.TreeModelAdapter.class - [JAR]

com.google.common.reflect

├─ com.google.common.reflect.AbstractInvocationHandler.class - [JAR]

├─ com.google.common.reflect.ClassPath.class - [JAR]

├─ com.google.common.reflect.Element.class - [JAR]

├─ com.google.common.reflect.ImmutableTypeToInstanceMap.class - [JAR]

├─ com.google.common.reflect.Invokable.class - [JAR]

├─ com.google.common.reflect.MutableTypeToInstanceMap.class - [JAR]

├─ com.google.common.reflect.Parameter.class - [JAR]

├─ com.google.common.reflect.Reflection.class - [JAR]

├─ com.google.common.reflect.TypeCapture.class - [JAR]

├─ com.google.common.reflect.TypeParameter.class - [JAR]

├─ com.google.common.reflect.TypeResolver.class - [JAR]

├─ com.google.common.reflect.TypeToInstanceMap.class - [JAR]

├─ com.google.common.reflect.TypeToken.class - [JAR]

├─ com.google.common.reflect.TypeVisitor.class - [JAR]

├─ com.google.common.reflect.Types.class - [JAR]

├─ com.google.common.reflect.package-info.class - [JAR]

org.semanticweb.elk.util.concurrent.computation

├─ org.semanticweb.elk.util.concurrent.computation.ComputationRuntimeException.class - [JAR]

├─ org.semanticweb.elk.util.concurrent.computation.ConcurrentComputation.class - [JAR]

├─ org.semanticweb.elk.util.concurrent.computation.ConcurrentComputationWithInputs.class - [JAR]

├─ org.semanticweb.elk.util.concurrent.computation.ConcurrentExecutor.class - [JAR]

├─ org.semanticweb.elk.util.concurrent.computation.ConcurrentExecutorImpl.class - [JAR]

├─ org.semanticweb.elk.util.concurrent.computation.ConcurrentExecutors.class - [JAR]

├─ org.semanticweb.elk.util.concurrent.computation.DelegateInterruptMonitor.class - [JAR]

├─ org.semanticweb.elk.util.concurrent.computation.DelegatingInputProcessor.class - [JAR]

├─ org.semanticweb.elk.util.concurrent.computation.InputProcessor.class - [JAR]

├─ org.semanticweb.elk.util.concurrent.computation.InputProcessorFactory.class - [JAR]

├─ org.semanticweb.elk.util.concurrent.computation.InputProcessorListenerNotifyFinishedJob.class - [JAR]

├─ org.semanticweb.elk.util.concurrent.computation.InterruptMonitor.class - [JAR]

├─ org.semanticweb.elk.util.concurrent.computation.Interrupter.class - [JAR]

├─ org.semanticweb.elk.util.concurrent.computation.Interruptible.class - [JAR]

├─ org.semanticweb.elk.util.concurrent.computation.JobMonitor.class - [JAR]

├─ org.semanticweb.elk.util.concurrent.computation.Processor.class - [JAR]

├─ org.semanticweb.elk.util.concurrent.computation.ProcessorFactory.class - [JAR]

com.google.common.html

├─ com.google.common.html.HtmlEscapers.class - [JAR]

├─ com.google.common.html.package-info.class - [JAR]

org.semanticweb.elk.reasoner.reduction

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

org.slf4j.spi

├─ org.slf4j.spi.LocationAwareLogger.class - [JAR]

├─ org.slf4j.spi.LoggerFactoryBinder.class - [JAR]

├─ org.slf4j.spi.MDCAdapter.class - [JAR]

├─ org.slf4j.spi.MarkerFactoryBinder.class - [JAR]

org.apache.log4j.config

├─ org.apache.log4j.config.PropertyGetter.class - [JAR]

├─ org.apache.log4j.config.PropertyPrinter.class - [JAR]

├─ org.apache.log4j.config.PropertySetter.class - [JAR]

├─ org.apache.log4j.config.PropertySetterException.class - [JAR]

org.semanticweb.elk.reasoner.stages

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

org.apache.log4j.helpers

├─ org.apache.log4j.helpers.AbsoluteTimeDateFormat.class - [JAR]

├─ org.apache.log4j.helpers.AppenderAttachableImpl.class - [JAR]

├─ org.apache.log4j.helpers.BoundedFIFO.class - [JAR]

├─ org.apache.log4j.helpers.CountingQuietWriter.class - [JAR]

├─ org.apache.log4j.helpers.CyclicBuffer.class - [JAR]

├─ org.apache.log4j.helpers.DateLayout.class - [JAR]

├─ org.apache.log4j.helpers.DateTimeDateFormat.class - [JAR]

├─ org.apache.log4j.helpers.FileWatchdog.class - [JAR]

├─ org.apache.log4j.helpers.FormattingInfo.class - [JAR]

├─ org.apache.log4j.helpers.ISO8601DateFormat.class - [JAR]

├─ org.apache.log4j.helpers.Loader.class - [JAR]

├─ org.apache.log4j.helpers.LogLog.class - [JAR]

├─ org.apache.log4j.helpers.MDCKeySetExtractor.class - [JAR]

├─ org.apache.log4j.helpers.NullEnumeration.class - [JAR]

├─ org.apache.log4j.helpers.OnlyOnceErrorHandler.class - [JAR]

├─ org.apache.log4j.helpers.OptionConverter.class - [JAR]

├─ org.apache.log4j.helpers.PatternConverter.class - [JAR]

├─ org.apache.log4j.helpers.PatternParser.class - [JAR]

├─ org.apache.log4j.helpers.QuietWriter.class - [JAR]

├─ org.apache.log4j.helpers.RelativeTimeDateFormat.class - [JAR]

├─ org.apache.log4j.helpers.SyslogQuietWriter.class - [JAR]

├─ org.apache.log4j.helpers.SyslogWriter.class - [JAR]

├─ org.apache.log4j.helpers.ThreadLocalMap.class - [JAR]

├─ org.apache.log4j.helpers.Transform.class - [JAR]

├─ org.apache.log4j.helpers.UtilLoggingLevel.class - [JAR]

com.google.common.escape

├─ com.google.common.escape.ArrayBasedCharEscaper.class - [JAR]

├─ com.google.common.escape.ArrayBasedEscaperMap.class - [JAR]

├─ com.google.common.escape.ArrayBasedUnicodeEscaper.class - [JAR]

├─ com.google.common.escape.CharEscaper.class - [JAR]

├─ com.google.common.escape.CharEscaperBuilder.class - [JAR]

├─ com.google.common.escape.Escaper.class - [JAR]

├─ com.google.common.escape.Escapers.class - [JAR]

├─ com.google.common.escape.Platform.class - [JAR]

├─ com.google.common.escape.UnicodeEscaper.class - [JAR]

├─ com.google.common.escape.package-info.class - [JAR]

com.google.thirdparty.publicsuffix

├─ com.google.thirdparty.publicsuffix.PublicSuffixPatterns.class - [JAR]

├─ com.google.thirdparty.publicsuffix.PublicSuffixType.class - [JAR]

├─ com.google.thirdparty.publicsuffix.TrieParser.class - [JAR]

org.apache.log4j.lf5.viewer.configure

├─ org.apache.log4j.lf5.viewer.configure.ConfigurationManager.class - [JAR]

├─ org.apache.log4j.lf5.viewer.configure.MRUFileManager.class - [JAR]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

org.semanticweb.elk.reasoner

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

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

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

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

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

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

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

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

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

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

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

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

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

com.google.common.xml

├─ com.google.common.xml.XmlEscapers.class - [JAR]

├─ com.google.common.xml.package-info.class - [JAR]

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

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

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

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

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

org.semanticweb.elk.util.logging.statistics

├─ org.semanticweb.elk.util.logging.statistics.AbstractStatistics.class - [JAR]

├─ org.semanticweb.elk.util.logging.statistics.StatisticsPrinter.class - [JAR]

org.liveontologies.puli.statistics

├─ org.liveontologies.puli.statistics.HasStats.class - [JAR]

├─ org.liveontologies.puli.statistics.NestedStats.class - [JAR]

├─ org.liveontologies.puli.statistics.ResetStats.class - [JAR]

├─ org.liveontologies.puli.statistics.Stat.class - [JAR]

├─ org.liveontologies.puli.statistics.Stats.class - [JAR]

├─ org.liveontologies.puli.statistics.StatsException.class - [JAR]

org.semanticweb.elk.owl.printers

├─ org.semanticweb.elk.owl.printers.KrssSyntaxPrinterVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.printers.OwlFunctionalStylePrinter.class - [JAR]

├─ org.semanticweb.elk.owl.printers.OwlFunctionalStylePrinterVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.printers.PrintingException.class - [JAR]

org.semanticweb.elk.reasoner.taxonomy

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

org.apache.log4j.net

├─ org.apache.log4j.net.DefaultEvaluator.class - [JAR]

├─ org.apache.log4j.net.JMSAppender.class - [JAR]

├─ org.apache.log4j.net.JMSSink.class - [JAR]

├─ org.apache.log4j.net.SMTPAppender.class - [JAR]

├─ org.apache.log4j.net.SimpleSocketServer.class - [JAR]

├─ org.apache.log4j.net.SocketAppender.class - [JAR]

├─ org.apache.log4j.net.SocketHubAppender.class - [JAR]

├─ org.apache.log4j.net.SocketNode.class - [JAR]

├─ org.apache.log4j.net.SocketServer.class - [JAR]

├─ org.apache.log4j.net.SyslogAppender.class - [JAR]

├─ org.apache.log4j.net.TelnetAppender.class - [JAR]

├─ org.apache.log4j.net.ZeroConfSupport.class - [JAR]

org.semanticweb.elk.util.hashing

├─ org.semanticweb.elk.util.hashing.HashGenerator.class - [JAR]

├─ org.semanticweb.elk.util.hashing.Hasher.class - [JAR]

org.apache.log4j.jmx

├─ org.apache.log4j.jmx.AbstractDynamicMBean.class - [JAR]

├─ org.apache.log4j.jmx.Agent.class - [JAR]

├─ org.apache.log4j.jmx.AppenderDynamicMBean.class - [JAR]

├─ org.apache.log4j.jmx.HierarchyDynamicMBean.class - [JAR]

├─ org.apache.log4j.jmx.LayoutDynamicMBean.class - [JAR]

├─ org.apache.log4j.jmx.LoggerDynamicMBean.class - [JAR]

├─ org.apache.log4j.jmx.MethodUnion.class - [JAR]

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

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

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

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

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

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

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

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

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

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

org.apache.log4j.or

├─ org.apache.log4j.or.DefaultRenderer.class - [JAR]

├─ org.apache.log4j.or.ObjectRenderer.class - [JAR]

├─ org.apache.log4j.or.RendererMap.class - [JAR]

├─ org.apache.log4j.or.ThreadGroupRenderer.class - [JAR]

org.slf4j.event

├─ org.slf4j.event.EventConstants.class - [JAR]

├─ org.slf4j.event.EventRecodingLogger.class - [JAR]

├─ org.slf4j.event.Level.class - [JAR]

├─ org.slf4j.event.LoggingEvent.class - [JAR]

├─ org.slf4j.event.SubstituteLoggingEvent.class - [JAR]

org.semanticweb.elk.reasoner.indexing.model

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

org.semanticweb.elk.owl.implementation

├─ org.semanticweb.elk.owl.implementation.ElkAnnotationAssertionAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkAnnotationImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkAnnotationPropertyDomainAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkAnnotationPropertyImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkAnnotationPropertyRangeAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkAnonymousIndividualImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkAsymmetricObjectPropertyAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkCardinalityRestrictionImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkCardinalityRestrictionQualifiedImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkClassAssertionAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkClassExpressionListObject.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkClassImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkDataAllValuesFromImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkDataComplementOfImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkDataExactCardinalityQualifiedImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkDataExactCardinalityUnqualifiedImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkDataHasValueImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkDataIntersectionOfImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkDataMaxCardinalityQualifiedImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkDataMaxCardinalityUnqualifiedImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkDataMinCardinalityQualifiedImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkDataMinCardinalityUnqualifiedImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkDataOneOfImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkDataPropertyAssertionAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkDataPropertyDomainAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkDataPropertyExpressionListObject.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkDataPropertyExpressionObject.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkDataPropertyImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkDataPropertyListRestrictionQualifiedImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkDataPropertyRangeAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkDataRangeListObject.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkDataSomeValuesFromImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkDataUnionOfImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkDatatypeDefinitionAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkDatatypeImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkDatatypeRestrictionImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkDeclarationAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkDifferentIndividualsAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkDisjointClassesAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkDisjointDataPropertiesAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkDisjointObjectPropertiesAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkDisjointUnionAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkEquivalentClassesAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkEquivalentDataPropertiesAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkEquivalentObjectPropertiesAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkFacetRestrictionImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkFunctionalDataPropertyAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkFunctionalObjectPropertyAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkHasKeyAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkIndividualListObject.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkInverseFunctionalObjectPropertyAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkInverseObjectPropertiesAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkIriObject.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkIrreflexiveObjectPropertyAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkLiteralImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkLiteralListObject.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkNamedIndividualImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkNegativeDataPropertyAssertionAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkNegativeObjectPropertyAssertionAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkObjectAllValuesFromImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkObjectBaseFactory.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkObjectComplementOfImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkObjectExactCardinalityQualifiedImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkObjectExactCardinalityUnqualifiedImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkObjectHasSelfImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkObjectHasValueImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkObjectImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkObjectIntersectionOfImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkObjectInverseOfImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkObjectListObject.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkObjectMaxCardinalityQualifiedImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkObjectMaxCardinalityUnqualifiedImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkObjectMinCardinalityQualifiedImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkObjectMinCardinalityUnqualifiedImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkObjectOneOfImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkObjectPropertyAssertionAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkObjectPropertyChainImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkObjectPropertyDomainAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkObjectPropertyExpressionListObject.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkObjectPropertyExpressionObject.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkObjectPropertyImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkObjectPropertyRangeAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkObjectSomeValuesFromImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkObjectUnionOfImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkPropertyAssertionAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkPropertyAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkPropertyDomainAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkPropertyRangeAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkPropertyRestrictionImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkPropertyRestrictionQualifiedImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkReflexiveObjectPropertyAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkSWRLRuleImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkSameIndividualAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkSubAnnotationPropertyOfAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkSubClassOfAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkSubDataPropertyOfAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkSubObjectPropertyOfAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkSymmetricObjectPropertyAxiomImpl.class - [JAR]

├─ org.semanticweb.elk.owl.implementation.ElkTransitiveObjectPropertyAxiomImpl.class - [JAR]

org.semanticweb.elk.reasoner.saturation

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

org.semanticweb.elk.util.collections.chains

├─ org.semanticweb.elk.util.collections.chains.AbstractChain.class - [JAR]

├─ org.semanticweb.elk.util.collections.chains.Chain.class - [JAR]

├─ org.semanticweb.elk.util.collections.chains.Chainable.class - [JAR]

├─ org.semanticweb.elk.util.collections.chains.Link.class - [JAR]

├─ org.semanticweb.elk.util.collections.chains.Matcher.class - [JAR]

├─ org.semanticweb.elk.util.collections.chains.ModifiableLink.class - [JAR]

├─ org.semanticweb.elk.util.collections.chains.ModifiableLinkImpl.class - [JAR]

├─ org.semanticweb.elk.util.collections.chains.ReferenceFactory.class - [JAR]

├─ org.semanticweb.elk.util.collections.chains.SimpleTypeBasedMatcher.class - [JAR]

com.google.common.annotations

├─ com.google.common.annotations.Beta.class - [JAR]

├─ com.google.common.annotations.GwtCompatible.class - [JAR]

├─ com.google.common.annotations.GwtIncompatible.class - [JAR]

├─ com.google.common.annotations.VisibleForTesting.class - [JAR]

com.google.common.base

├─ com.google.common.base.Absent.class - [JAR]

├─ com.google.common.base.AbstractIterator.class - [JAR]

├─ com.google.common.base.Ascii.class - [JAR]

├─ com.google.common.base.CaseFormat.class - [JAR]

├─ com.google.common.base.CharMatcher.class - [JAR]

├─ com.google.common.base.Charsets.class - [JAR]

├─ com.google.common.base.Converter.class - [JAR]

├─ com.google.common.base.Defaults.class - [JAR]

├─ com.google.common.base.Enums.class - [JAR]

├─ com.google.common.base.Equivalence.class - [JAR]

├─ com.google.common.base.FinalizablePhantomReference.class - [JAR]

├─ com.google.common.base.FinalizableReference.class - [JAR]

├─ com.google.common.base.FinalizableReferenceQueue.class - [JAR]

├─ com.google.common.base.FinalizableSoftReference.class - [JAR]

├─ com.google.common.base.FinalizableWeakReference.class - [JAR]

├─ com.google.common.base.Function.class - [JAR]

├─ com.google.common.base.FunctionalEquivalence.class - [JAR]

├─ com.google.common.base.Functions.class - [JAR]

├─ com.google.common.base.Joiner.class - [JAR]

├─ com.google.common.base.MoreObjects.class - [JAR]

├─ com.google.common.base.Objects.class - [JAR]

├─ com.google.common.base.Optional.class - [JAR]

├─ com.google.common.base.PairwiseEquivalence.class - [JAR]

├─ com.google.common.base.Platform.class - [JAR]

├─ com.google.common.base.Preconditions.class - [JAR]

├─ com.google.common.base.Predicate.class - [JAR]

├─ com.google.common.base.Predicates.class - [JAR]

├─ com.google.common.base.Present.class - [JAR]

├─ com.google.common.base.SmallCharMatcher.class - [JAR]

├─ com.google.common.base.Splitter.class - [JAR]

├─ com.google.common.base.StandardSystemProperty.class - [JAR]

├─ com.google.common.base.Stopwatch.class - [JAR]

├─ com.google.common.base.Strings.class - [JAR]

├─ com.google.common.base.Supplier.class - [JAR]

├─ com.google.common.base.Suppliers.class - [JAR]

├─ com.google.common.base.Throwables.class - [JAR]

├─ com.google.common.base.Ticker.class - [JAR]

├─ com.google.common.base.Utf8.class - [JAR]

├─ com.google.common.base.Verify.class - [JAR]

├─ com.google.common.base.VerifyException.class - [JAR]

├─ com.google.common.base.package-info.class - [JAR]

org.semanticweb.elk.owl.visitors

├─ org.semanticweb.elk.owl.visitors.AbstractElkClassExpressionVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.AbstractElkEntityVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.AbstractElkObjectVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.DecoratingElkAxiomProcessor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.DummyElkAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.DummyElkClassExpressionVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.DummyElkEntityVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.DummyElkObjectVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkAbbreviatedIriVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkAnnotationAssertionAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkAnnotationAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkAnnotationPropertyDomainAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkAnnotationPropertyRangeAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkAnnotationPropertyVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkAnnotationSubjectVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkAnnotationValueVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkAnnotationVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkAnonymousIndividualVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkAssertionAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkAsymmetricObjectPropertyAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkAxiomProcessor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkCardinalityRestrictionQualifiedVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkCardinalityRestrictionVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkClassAssertionAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkClassAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkClassExpressionProcessor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkClassExpressionVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkClassVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkDataAllValuesFromVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkDataComplementOfVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkDataExactCardinalityQualifiedVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkDataExactCardinalityUnqualifiedVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkDataExactCardinalityVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkDataHasValueVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkDataIntersectionOfVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkDataMaxCardinalityQualifiedVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkDataMaxCardinalityUnqualifiedVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkDataMaxCardinalityVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkDataMinCardinalityQualifiedVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkDataMinCardinalityUnqualifiedVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkDataMinCardinalityVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkDataOneOfVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkDataPropertyAssertionAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkDataPropertyAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkDataPropertyDomainAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkDataPropertyExpressionVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkDataPropertyListRestrictionQualifiedVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkDataPropertyRangeAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkDataPropertyVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkDataRangeVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkDataSomeValuesFromVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkDataUnionOfVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkDatatypeDefinitionAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkDatatypeRestrictionVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkDatatypeVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkDeclarationAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkDifferentIndividualsAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkDisjointClassesAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkDisjointDataPropertiesAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkDisjointObjectPropertiesAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkDisjointUnionAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkEntityVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkEquivalentClassesAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkEquivalentDataPropertiesAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkEquivalentObjectPropertiesAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkFacetRestrictionVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkFullIriVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkFunctionalDataPropertyAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkFunctionalObjectPropertyAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkHasKeyAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkIndividualVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkInverseFunctionalObjectPropertyAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkInverseObjectPropertiesAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkIriVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkIrreflexiveObjectPropertyAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkLiteralVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkNamedIndividualVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkNegativeDataPropertyAssertionAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkNegativeObjectPropertyAssertionAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkObjectAllValuesFromVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkObjectComplementOfVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkObjectDummyVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkObjectExactCardinalityQualifiedVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkObjectExactCardinalityUnqualifiedVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkObjectExactCardinalityVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkObjectHasSelfVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkObjectHasValueVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkObjectIntersectionOfVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkObjectInverseOfVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkObjectMaxCardinalityQualifiedVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkObjectMaxCardinalityUnqualifiedVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkObjectMaxCardinalityVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkObjectMinCardinalityQualifiedVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkObjectMinCardinalityUnqualifiedVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkObjectMinCardinalityVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkObjectOneOfVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkObjectPropertyAssertionAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkObjectPropertyAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkObjectPropertyChainVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkObjectPropertyDomainAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkObjectPropertyExpressionVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkObjectPropertyRangeAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkObjectPropertyVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkObjectSomeValuesFromVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkObjectUnionOfVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkObjectVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkPropertyAssertionAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkPropertyAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkPropertyDomainAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkPropertyRangeAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkPropertyRestrictionQualifiedVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkPropertyRestrictionVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkReflexiveObjectPropertyAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkSWRLRuleVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkSameIndividualAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkSubAnnotationPropertyOfAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkSubClassOfAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkSubDataPropertyOfAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkSubObjectPropertyExpressionVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkSubObjectPropertyOfAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkSymmetricObjectPropertyAxiomVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.visitors.ElkTransitiveObjectPropertyAxiomVisitor.class - [JAR]

org.semanticweb.elk.owl.iris

├─ org.semanticweb.elk.owl.iris.ElkAbbreviatedIri.class - [JAR]

├─ org.semanticweb.elk.owl.iris.ElkFullIri.class - [JAR]

├─ org.semanticweb.elk.owl.iris.ElkIri.class - [JAR]

├─ org.semanticweb.elk.owl.iris.ElkPrefix.class - [JAR]

├─ org.semanticweb.elk.owl.iris.ElkPrefixDeclarations.class - [JAR]

├─ org.semanticweb.elk.owl.iris.ElkPrefixDeclarationsImpl.class - [JAR]

├─ org.semanticweb.elk.owl.iris.ElkPrefixImpl.class - [JAR]

org.semanticweb.elk

├─ org.semanticweb.elk.Lock.class - [JAR]

├─ org.semanticweb.elk.ModifiableReference.class - [JAR]

├─ org.semanticweb.elk.MutableBoolean.class - [JAR]

├─ org.semanticweb.elk.Reference.class - [JAR]

├─ org.semanticweb.elk.ReferenceImpl.class - [JAR]

org.apache.log4j.chainsaw

├─ org.apache.log4j.chainsaw.ControlPanel.class - [JAR]

├─ org.apache.log4j.chainsaw.DetailPanel.class - [JAR]

├─ org.apache.log4j.chainsaw.EventDetails.class - [JAR]

├─ org.apache.log4j.chainsaw.ExitAction.class - [JAR]

├─ org.apache.log4j.chainsaw.LoadXMLAction.class - [JAR]

├─ org.apache.log4j.chainsaw.LoggingReceiver.class - [JAR]

├─ org.apache.log4j.chainsaw.Main.class - [JAR]

├─ org.apache.log4j.chainsaw.MyTableModel.class - [JAR]

├─ org.apache.log4j.chainsaw.XMLFileHandler.class - [JAR]

org.apache.log4j.nt

├─ org.apache.log4j.nt.NTEventLogAppender.class - [JAR]

org.semanticweb.elk.reasoner.saturation.properties

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

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

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

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

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

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

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

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

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

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

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

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

org.apache.log4j.varia

├─ org.apache.log4j.varia.DenyAllFilter.class - [JAR]

├─ org.apache.log4j.varia.ExternallyRolledFileAppender.class - [JAR]

├─ org.apache.log4j.varia.FallbackErrorHandler.class - [JAR]

├─ org.apache.log4j.varia.HUP.class - [JAR]

├─ org.apache.log4j.varia.HUPNode.class - [JAR]

├─ org.apache.log4j.varia.LevelMatchFilter.class - [JAR]

├─ org.apache.log4j.varia.LevelRangeFilter.class - [JAR]

├─ org.apache.log4j.varia.NullAppender.class - [JAR]

├─ org.apache.log4j.varia.ReloadingPropertyConfigurator.class - [JAR]

├─ org.apache.log4j.varia.Roller.class - [JAR]

├─ org.apache.log4j.varia.StringMatchFilter.class - [JAR]

com.google.common.cache

├─ com.google.common.cache.AbstractCache.class - [JAR]

├─ com.google.common.cache.AbstractLoadingCache.class - [JAR]

├─ com.google.common.cache.Cache.class - [JAR]

├─ com.google.common.cache.CacheBuilder.class - [JAR]

├─ com.google.common.cache.CacheBuilderSpec.class - [JAR]

├─ com.google.common.cache.CacheLoader.class - [JAR]

├─ com.google.common.cache.CacheStats.class - [JAR]

├─ com.google.common.cache.ForwardingCache.class - [JAR]

├─ com.google.common.cache.ForwardingLoadingCache.class - [JAR]

├─ com.google.common.cache.LoadingCache.class - [JAR]

├─ com.google.common.cache.LocalCache.class - [JAR]

├─ com.google.common.cache.LongAddable.class - [JAR]

├─ com.google.common.cache.LongAddables.class - [JAR]

├─ com.google.common.cache.LongAdder.class - [JAR]

├─ com.google.common.cache.RemovalCause.class - [JAR]

├─ com.google.common.cache.RemovalListener.class - [JAR]

├─ com.google.common.cache.RemovalListeners.class - [JAR]

├─ com.google.common.cache.RemovalNotification.class - [JAR]

├─ com.google.common.cache.Striped64.class - [JAR]

├─ com.google.common.cache.Weigher.class - [JAR]

├─ com.google.common.cache.package-info.class - [JAR]

org.semanticweb.elk.reasoner.indexing.classes

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

org.semanticweb.elk.reasoner.taxonomy.impl

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

org.semanticweb.elk.util.logging

├─ org.semanticweb.elk.util.logging.CachedTimeThread.class - [JAR]

├─ org.semanticweb.elk.util.logging.ElkTimer.class - [JAR]

├─ org.semanticweb.elk.util.logging.LogLevel.class - [JAR]

├─ org.semanticweb.elk.util.logging.LoggerWrap.class - [JAR]

├─ org.semanticweb.elk.util.logging.Statistics.class - [JAR]

org.semanticweb.elk.owl.util

├─ org.semanticweb.elk.owl.util.ElkObjectPropertyExpressionInvertor.class - [JAR]

├─ org.semanticweb.elk.owl.util.OwlObjectNameVisitor.class - [JAR]

org.apache.log4j

├─ org.apache.log4j.Appender.class - [JAR]

├─ org.apache.log4j.AppenderSkeleton.class - [JAR]

├─ org.apache.log4j.AsyncAppender.class - [JAR]

├─ org.apache.log4j.BasicConfigurator.class - [JAR]

├─ org.apache.log4j.Category.class - [JAR]

├─ org.apache.log4j.CategoryKey.class - [JAR]

├─ org.apache.log4j.ConsoleAppender.class - [JAR]

├─ org.apache.log4j.DailyRollingFileAppender.class - [JAR]

├─ org.apache.log4j.DefaultCategoryFactory.class - [JAR]

├─ org.apache.log4j.DefaultThrowableRenderer.class - [JAR]

├─ org.apache.log4j.Dispatcher.class - [JAR]

├─ org.apache.log4j.EnhancedPatternLayout.class - [JAR]

├─ org.apache.log4j.EnhancedThrowableRenderer.class - [JAR]

├─ org.apache.log4j.FileAppender.class - [JAR]

├─ org.apache.log4j.HTMLLayout.class - [JAR]

├─ org.apache.log4j.Hierarchy.class - [JAR]

├─ org.apache.log4j.Layout.class - [JAR]

├─ org.apache.log4j.Level.class - [JAR]

├─ org.apache.log4j.LogMF.class - [JAR]

├─ org.apache.log4j.LogManager.class - [JAR]

├─ org.apache.log4j.LogSF.class - [JAR]

├─ org.apache.log4j.LogXF.class - [JAR]

├─ org.apache.log4j.Logger.class - [JAR]

├─ org.apache.log4j.MDC.class - [JAR]

├─ org.apache.log4j.MDCFriend.class - [JAR]

├─ org.apache.log4j.NDC.class - [JAR]

├─ org.apache.log4j.NameValue.class - [JAR]

├─ org.apache.log4j.PatternLayout.class - [JAR]

├─ org.apache.log4j.Priority.class - [JAR]

├─ org.apache.log4j.PropertyConfigurator.class - [JAR]

├─ org.apache.log4j.PropertyWatchdog.class - [JAR]

├─ org.apache.log4j.ProvisionNode.class - [JAR]

├─ org.apache.log4j.RollingCalendar.class - [JAR]

├─ org.apache.log4j.RollingFileAppender.class - [JAR]

├─ org.apache.log4j.SimpleLayout.class - [JAR]

├─ org.apache.log4j.SortedKeyEnumeration.class - [JAR]

├─ org.apache.log4j.TTCCLayout.class - [JAR]

├─ org.apache.log4j.WriterAppender.class - [JAR]

org.semanticweb.elk.reasoner.entailments

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

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

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

org.apache.log4j.spi

├─ org.apache.log4j.spi.AppenderAttachable.class - [JAR]

├─ org.apache.log4j.spi.Configurator.class - [JAR]

├─ org.apache.log4j.spi.DefaultRepositorySelector.class - [JAR]

├─ org.apache.log4j.spi.ErrorCode.class - [JAR]

├─ org.apache.log4j.spi.ErrorHandler.class - [JAR]

├─ org.apache.log4j.spi.Filter.class - [JAR]

├─ org.apache.log4j.spi.HierarchyEventListener.class - [JAR]

├─ org.apache.log4j.spi.LocationInfo.class - [JAR]

├─ org.apache.log4j.spi.LoggerFactory.class - [JAR]

├─ org.apache.log4j.spi.LoggerRepository.class - [JAR]

├─ org.apache.log4j.spi.LoggingEvent.class - [JAR]

├─ org.apache.log4j.spi.NOPLogger.class - [JAR]

├─ org.apache.log4j.spi.NOPLoggerRepository.class - [JAR]

├─ org.apache.log4j.spi.NullWriter.class - [JAR]

├─ org.apache.log4j.spi.OptionHandler.class - [JAR]

├─ org.apache.log4j.spi.RendererSupport.class - [JAR]

├─ org.apache.log4j.spi.RepositorySelector.class - [JAR]

├─ org.apache.log4j.spi.RootCategory.class - [JAR]

├─ org.apache.log4j.spi.RootLogger.class - [JAR]

├─ org.apache.log4j.spi.ThrowableInformation.class - [JAR]

├─ org.apache.log4j.spi.ThrowableRenderer.class - [JAR]

├─ org.apache.log4j.spi.ThrowableRendererSupport.class - [JAR]

├─ org.apache.log4j.spi.TriggeringEventEvaluator.class - [JAR]

├─ org.apache.log4j.spi.VectorWriter.class - [JAR]

org.semanticweb.elk.reasoner.saturation.rules

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

org.slf4j

├─ org.slf4j.ILoggerFactory.class - [JAR]

├─ org.slf4j.IMarkerFactory.class - [JAR]

├─ org.slf4j.Logger.class - [JAR]

├─ org.slf4j.LoggerFactory.class - [JAR]

├─ org.slf4j.MDC.class - [JAR]

├─ org.slf4j.Marker.class - [JAR]

├─ org.slf4j.MarkerFactory.class - [JAR]

org.semanticweb.elk.reasoner.entailments.model

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

org.semanticweb.elk.owl.interfaces

├─ org.semanticweb.elk.owl.interfaces.ElkAnnotation.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkAnnotationAssertionAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkAnnotationAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkAnnotationProperty.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkAnnotationPropertyDomainAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkAnnotationPropertyRangeAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkAnnotationSubject.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkAnnotationValue.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkAnonymousIndividual.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkAssertionAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkAsymmetricObjectPropertyAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkCardinalityRestriction.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkCardinalityRestrictionQualified.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkClass.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkClassAssertionAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkClassAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkClassExpression.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkDataAllValuesFrom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkDataComplementOf.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkDataExactCardinality.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkDataExactCardinalityQualified.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkDataExactCardinalityUnqualified.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkDataHasValue.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkDataIntersectionOf.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkDataMaxCardinality.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkDataMaxCardinalityQualified.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkDataMaxCardinalityUnqualified.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkDataMinCardinality.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkDataMinCardinalityQualified.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkDataMinCardinalityUnqualified.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkDataOneOf.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkDataProperty.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkDataPropertyAssertionAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkDataPropertyAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkDataPropertyDomainAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkDataPropertyExpression.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkDataPropertyListRestrictionQualified.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkDataPropertyRangeAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkDataRange.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkDataSomeValuesFrom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkDataUnionOf.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkDatatype.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkDatatypeDefinitionAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkDatatypeRestriction.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkDeclarationAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkDifferentIndividualsAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkDisjointClassesAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkDisjointDataPropertiesAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkDisjointObjectPropertiesAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkDisjointUnionAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkEntity.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkEquivalentClassesAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkEquivalentDataPropertiesAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkEquivalentObjectPropertiesAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkFacetRestriction.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkFunctionalDataPropertyAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkFunctionalObjectPropertyAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkHasKeyAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkIndividual.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkInverseFunctionalObjectPropertyAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkInverseObjectPropertiesAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkIrreflexiveObjectPropertyAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkLiteral.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkNamedIndividual.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkNegativeDataPropertyAssertionAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkNegativeObjectPropertyAssertionAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkObject.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkObjectAllValuesFrom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkObjectComplementOf.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkObjectDelegatingFactory.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkObjectExactCardinality.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkObjectExactCardinalityQualified.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkObjectExactCardinalityUnqualified.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkObjectHasSelf.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkObjectHasValue.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkObjectIntersectionOf.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkObjectInverseOf.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkObjectMaxCardinality.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkObjectMaxCardinalityQualified.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkObjectMaxCardinalityUnqualified.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkObjectMinCardinality.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkObjectMinCardinalityQualified.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkObjectMinCardinalityUnqualified.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkObjectOneOf.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkObjectProperty.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkObjectPropertyAssertionAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkObjectPropertyAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkObjectPropertyChain.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkObjectPropertyDomainAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkObjectPropertyExpression.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkObjectPropertyRangeAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkObjectSomeValuesFrom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkObjectUnionOf.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkPropertyAssertionAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkPropertyAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkPropertyDomainAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkPropertyRangeAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkPropertyRestriction.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkPropertyRestrictionQualified.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkReflexiveObjectPropertyAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkSWRLRule.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkSameIndividualAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkSubAnnotationPropertyOfAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkSubClassOfAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkSubDataPropertyOfAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkSubObjectPropertyExpression.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkSubObjectPropertyOfAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkSymmetricObjectPropertyAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.interfaces.ElkTransitiveObjectPropertyAxiom.class - [JAR]

org.semanticweb.elk.reasoner.config

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

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

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

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

org.semanticweb.elk.util.collections

├─ org.semanticweb.elk.util.collections.AbstractEvictor.class - [JAR]

├─ org.semanticweb.elk.util.collections.AbstractHashMultimap.class - [JAR]

├─ org.semanticweb.elk.util.collections.ArrayHashMap.class - [JAR]

├─ org.semanticweb.elk.util.collections.ArrayHashSet.class - [JAR]

├─ org.semanticweb.elk.util.collections.ArraySet.class - [JAR]

├─ org.semanticweb.elk.util.collections.ArraySlicedSet.class - [JAR]

├─ org.semanticweb.elk.util.collections.CapacityBalancingEvictor.class - [JAR]

├─ org.semanticweb.elk.util.collections.Condition.class - [JAR]

├─ org.semanticweb.elk.util.collections.Conditions.class - [JAR]

├─ org.semanticweb.elk.util.collections.CountingEvictor.class - [JAR]

├─ org.semanticweb.elk.util.collections.DirectAccess.class - [JAR]

├─ org.semanticweb.elk.util.collections.Evictor.class - [JAR]

├─ org.semanticweb.elk.util.collections.Evictors.class - [JAR]

├─ org.semanticweb.elk.util.collections.FList.class - [JAR]

├─ org.semanticweb.elk.util.collections.HashListMultimap.class - [JAR]

├─ org.semanticweb.elk.util.collections.HashSetMultimap.class - [JAR]

├─ org.semanticweb.elk.util.collections.ImmutableList.class - [JAR]

├─ org.semanticweb.elk.util.collections.LazyCollectionMinusSet.class - [JAR]

├─ org.semanticweb.elk.util.collections.LazySetIntersection.class - [JAR]

├─ org.semanticweb.elk.util.collections.LazySetUnion.class - [JAR]

├─ org.semanticweb.elk.util.collections.LinearProbing.class - [JAR]

├─ org.semanticweb.elk.util.collections.LinearProbingIterator.class - [JAR]

├─ org.semanticweb.elk.util.collections.Multimap.class - [JAR]

├─ org.semanticweb.elk.util.collections.MultimapQueue.class - [JAR]

├─ org.semanticweb.elk.util.collections.MultimapQueueImpl.class - [JAR]

├─ org.semanticweb.elk.util.collections.NQEvictor.class - [JAR]

├─ org.semanticweb.elk.util.collections.Operations.class - [JAR]

├─ org.semanticweb.elk.util.collections.Pair.class - [JAR]

├─ org.semanticweb.elk.util.collections.RecencyEvictor.class - [JAR]

├─ org.semanticweb.elk.util.collections.Triple.class - [JAR]

org.semanticweb.elk.owl.filters

├─ org.semanticweb.elk.owl.filters.ElkAbbreviatedIriFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkAnnotationAssertionAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkAnnotationAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkAnnotationFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkAnnotationPropertyDomainAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkAnnotationPropertyFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkAnnotationPropertyRangeAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkAnnotationSubjectFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkAnnotationValueFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkAnonymousIndividualFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkAssertionAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkAsymmetricObjectPropertyAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkCardinalityRestrictionFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkCardinalityRestrictionQualifiedFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkClassAssertionAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkClassAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkClassExpressionFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkClassFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkDataAllValuesFromFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkDataComplementOfFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkDataExactCardinalityFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkDataExactCardinalityQualifiedFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkDataExactCardinalityUnqualifiedFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkDataHasValueFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkDataIntersectionOfFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkDataMaxCardinalityFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkDataMaxCardinalityQualifiedFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkDataMaxCardinalityUnqualifiedFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkDataMinCardinalityFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkDataMinCardinalityQualifiedFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkDataMinCardinalityUnqualifiedFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkDataOneOfFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkDataPropertyAssertionAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkDataPropertyAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkDataPropertyDomainAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkDataPropertyExpressionFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkDataPropertyFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkDataPropertyListRestrictionQualifiedFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkDataPropertyRangeAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkDataRangeFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkDataSomeValuesFromFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkDataUnionOfFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkDatatypeDefinitionAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkDatatypeFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkDatatypeRestrictionFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkDeclarationAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkDifferentIndividualsAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkDisjointClassesAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkDisjointDataPropertiesAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkDisjointObjectPropertiesAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkDisjointUnionAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkEntityFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkEquivalentClassesAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkEquivalentDataPropertiesAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkEquivalentObjectPropertiesAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkFacetRestrictionFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkFullIriFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkFunctionalDataPropertyAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkFunctionalObjectPropertyAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkHasKeyAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkIndividualFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkInverseFunctionalObjectPropertyAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkInverseObjectPropertiesAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkIriFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkIrreflexiveObjectPropertyAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkLiteralFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkNamedIndividualFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkNegativeDataPropertyAssertionAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkNegativeObjectPropertyAssertionAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkObjectAllValuesFromFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkObjectComplementOfFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkObjectExactCardinalityFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkObjectExactCardinalityQualifiedFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkObjectExactCardinalityUnqualifiedFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkObjectFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkObjectHasSelfFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkObjectHasValueFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkObjectIntersectionOfFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkObjectInverseOfFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkObjectMaxCardinalityFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkObjectMaxCardinalityQualifiedFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkObjectMaxCardinalityUnqualifiedFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkObjectMinCardinalityFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkObjectMinCardinalityQualifiedFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkObjectMinCardinalityUnqualifiedFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkObjectOneOfFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkObjectPropertyAssertionAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkObjectPropertyAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkObjectPropertyChainFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkObjectPropertyDomainAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkObjectPropertyExpressionFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkObjectPropertyFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkObjectPropertyRangeAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkObjectSomeValuesFromFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkObjectUnionOfFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkPropertyAssertionAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkPropertyAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkPropertyDomainAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkPropertyRangeAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkPropertyRestrictionFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkPropertyRestrictionQualifiedFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkReflexiveObjectPropertyAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkSWRLRuleFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkSameIndividualAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkSubAnnotationPropertyOfAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkSubClassOfAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkSubDataPropertyOfAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkSubObjectPropertyExpressionFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkSubObjectPropertyOfAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkSymmetricObjectPropertyAxiomFilter.class - [JAR]

├─ org.semanticweb.elk.owl.filters.ElkTransitiveObjectPropertyAxiomFilter.class - [JAR]

org.semanticweb.elk.reasoner.entailments.impl

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

com.google.common.util.concurrent

├─ com.google.common.util.concurrent.AbstractCheckedFuture.class - [JAR]

├─ com.google.common.util.concurrent.AbstractExecutionThreadService.class - [JAR]

├─ com.google.common.util.concurrent.AbstractFuture.class - [JAR]

├─ com.google.common.util.concurrent.AbstractIdleService.class - [JAR]

├─ com.google.common.util.concurrent.AbstractListeningExecutorService.class - [JAR]

├─ com.google.common.util.concurrent.AbstractScheduledService.class - [JAR]

├─ com.google.common.util.concurrent.AbstractService.class - [JAR]

├─ com.google.common.util.concurrent.AsyncFunction.class - [JAR]

├─ com.google.common.util.concurrent.AsyncSettableFuture.class - [JAR]

├─ com.google.common.util.concurrent.AtomicDouble.class - [JAR]

├─ com.google.common.util.concurrent.AtomicDoubleArray.class - [JAR]

├─ com.google.common.util.concurrent.AtomicLongMap.class - [JAR]

├─ com.google.common.util.concurrent.Atomics.class - [JAR]

├─ com.google.common.util.concurrent.Callables.class - [JAR]

├─ com.google.common.util.concurrent.CheckedFuture.class - [JAR]

├─ com.google.common.util.concurrent.CycleDetectingLockFactory.class - [JAR]

├─ com.google.common.util.concurrent.ExecutionError.class - [JAR]

├─ com.google.common.util.concurrent.ExecutionList.class - [JAR]

├─ com.google.common.util.concurrent.FakeTimeLimiter.class - [JAR]

├─ com.google.common.util.concurrent.ForwardingBlockingQueue.class - [JAR]

├─ com.google.common.util.concurrent.ForwardingCheckedFuture.class - [JAR]

├─ com.google.common.util.concurrent.ForwardingExecutorService.class - [JAR]

├─ com.google.common.util.concurrent.ForwardingFuture.class - [JAR]

├─ com.google.common.util.concurrent.ForwardingListenableFuture.class - [JAR]

├─ com.google.common.util.concurrent.ForwardingListeningExecutorService.class - [JAR]

├─ com.google.common.util.concurrent.FutureCallback.class - [JAR]

├─ com.google.common.util.concurrent.FutureFallback.class - [JAR]

├─ com.google.common.util.concurrent.Futures.class - [JAR]

├─ com.google.common.util.concurrent.JdkFutureAdapters.class - [JAR]

├─ com.google.common.util.concurrent.ListenableFuture.class - [JAR]

├─ com.google.common.util.concurrent.ListenableFutureTask.class - [JAR]

├─ com.google.common.util.concurrent.ListenableScheduledFuture.class - [JAR]

├─ com.google.common.util.concurrent.ListenerCallQueue.class - [JAR]

├─ com.google.common.util.concurrent.ListeningExecutorService.class - [JAR]

├─ com.google.common.util.concurrent.ListeningScheduledExecutorService.class - [JAR]

├─ com.google.common.util.concurrent.Monitor.class - [JAR]

├─ com.google.common.util.concurrent.MoreExecutors.class - [JAR]

├─ com.google.common.util.concurrent.RateLimiter.class - [JAR]

├─ com.google.common.util.concurrent.Runnables.class - [JAR]

├─ com.google.common.util.concurrent.SerializingExecutor.class - [JAR]

├─ com.google.common.util.concurrent.Service.class - [JAR]

├─ com.google.common.util.concurrent.ServiceManager.class - [JAR]

├─ com.google.common.util.concurrent.SettableFuture.class - [JAR]

├─ com.google.common.util.concurrent.SimpleTimeLimiter.class - [JAR]

├─ com.google.common.util.concurrent.SmoothRateLimiter.class - [JAR]

├─ com.google.common.util.concurrent.Striped.class - [JAR]

├─ com.google.common.util.concurrent.ThreadFactoryBuilder.class - [JAR]

├─ com.google.common.util.concurrent.TimeLimiter.class - [JAR]

├─ com.google.common.util.concurrent.UncaughtExceptionHandlers.class - [JAR]

├─ com.google.common.util.concurrent.UncheckedExecutionException.class - [JAR]

├─ com.google.common.util.concurrent.UncheckedTimeoutException.class - [JAR]

├─ com.google.common.util.concurrent.Uninterruptibles.class - [JAR]

├─ com.google.common.util.concurrent.WrappingExecutorService.class - [JAR]

├─ com.google.common.util.concurrent.WrappingScheduledExecutorService.class - [JAR]

├─ com.google.common.util.concurrent.package-info.class - [JAR]

org.semanticweb.elk.reasoner.consistency

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

org.semanticweb.elk.owl.parsing

├─ org.semanticweb.elk.owl.parsing.Owl2ParseException.class - [JAR]

├─ org.semanticweb.elk.owl.parsing.Owl2Parser.class - [JAR]

├─ org.semanticweb.elk.owl.parsing.Owl2ParserAxiomProcessor.class - [JAR]

├─ org.semanticweb.elk.owl.parsing.Owl2ParserFactory.class - [JAR]

org.semanticweb.elk.util.concurrent.sync

├─ org.semanticweb.elk.util.concurrent.sync.AtomicIntegerFork.class - [JAR]

com.google.common.eventbus

├─ com.google.common.eventbus.AllowConcurrentEvents.class - [JAR]

├─ com.google.common.eventbus.AnnotatedSubscriberFinder.class - [JAR]

├─ com.google.common.eventbus.AsyncEventBus.class - [JAR]

├─ com.google.common.eventbus.DeadEvent.class - [JAR]

├─ com.google.common.eventbus.EventBus.class - [JAR]

├─ com.google.common.eventbus.EventSubscriber.class - [JAR]

├─ com.google.common.eventbus.Subscribe.class - [JAR]

├─ com.google.common.eventbus.SubscriberExceptionContext.class - [JAR]

├─ com.google.common.eventbus.SubscriberExceptionHandler.class - [JAR]

├─ com.google.common.eventbus.SubscriberFindingStrategy.class - [JAR]

├─ com.google.common.eventbus.SynchronizedEventSubscriber.class - [JAR]

org.semanticweb.elk.reasoner.tracing.factories

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

org.apache.log4j.or.sax

├─ org.apache.log4j.or.sax.AttributesRenderer.class - [JAR]

com.google.common.collect

├─ com.google.common.collect.AbstractBiMap.class - [JAR]

├─ com.google.common.collect.AbstractIndexedListIterator.class - [JAR]

├─ com.google.common.collect.AbstractIterator.class - [JAR]

├─ com.google.common.collect.AbstractListMultimap.class - [JAR]

├─ com.google.common.collect.AbstractMapBasedMultimap.class - [JAR]

├─ com.google.common.collect.AbstractMapBasedMultiset.class - [JAR]

├─ com.google.common.collect.AbstractMapEntry.class - [JAR]

├─ com.google.common.collect.AbstractMultimap.class - [JAR]

├─ com.google.common.collect.AbstractMultiset.class - [JAR]

├─ com.google.common.collect.AbstractNavigableMap.class - [JAR]

├─ com.google.common.collect.AbstractRangeSet.class - [JAR]

├─ com.google.common.collect.AbstractSequentialIterator.class - [JAR]

├─ com.google.common.collect.AbstractSetMultimap.class - [JAR]

├─ com.google.common.collect.AbstractSortedKeySortedSetMultimap.class - [JAR]

├─ com.google.common.collect.AbstractSortedMultiset.class - [JAR]

├─ com.google.common.collect.AbstractSortedSetMultimap.class - [JAR]

├─ com.google.common.collect.AbstractTable.class - [JAR]

├─ com.google.common.collect.AllEqualOrdering.class - [JAR]

├─ com.google.common.collect.ArrayListMultimap.class - [JAR]

├─ com.google.common.collect.ArrayTable.class - [JAR]

├─ com.google.common.collect.BiMap.class - [JAR]

├─ com.google.common.collect.BinaryTreeTraverser.class - [JAR]

├─ com.google.common.collect.BoundType.class - [JAR]

├─ com.google.common.collect.ByFunctionOrdering.class - [JAR]

├─ com.google.common.collect.CartesianList.class - [JAR]

├─ com.google.common.collect.ClassToInstanceMap.class - [JAR]

├─ com.google.common.collect.CollectPreconditions.class - [JAR]

├─ com.google.common.collect.Collections2.class - [JAR]

├─ com.google.common.collect.ComparatorOrdering.class - [JAR]

├─ com.google.common.collect.ComparisonChain.class - [JAR]

├─ com.google.common.collect.CompoundOrdering.class - [JAR]

├─ com.google.common.collect.ComputationException.class - [JAR]

├─ com.google.common.collect.ComputingConcurrentHashMap.class - [JAR]

├─ com.google.common.collect.ConcurrentHashMultiset.class - [JAR]

├─ com.google.common.collect.Constraint.class - [JAR]

├─ com.google.common.collect.Constraints.class - [JAR]

├─ com.google.common.collect.ContiguousSet.class - [JAR]

├─ com.google.common.collect.Count.class - [JAR]

├─ com.google.common.collect.Cut.class - [JAR]

├─ com.google.common.collect.DenseImmutableTable.class - [JAR]

├─ com.google.common.collect.DescendingImmutableSortedMultiset.class - [JAR]

├─ com.google.common.collect.DescendingImmutableSortedSet.class - [JAR]

├─ com.google.common.collect.DescendingMultiset.class - [JAR]

├─ com.google.common.collect.DiscreteDomain.class - [JAR]

├─ com.google.common.collect.EmptyContiguousSet.class - [JAR]

├─ com.google.common.collect.EmptyImmutableBiMap.class - [JAR]

├─ com.google.common.collect.EmptyImmutableListMultimap.class - [JAR]

├─ com.google.common.collect.EmptyImmutableSet.class - [JAR]

├─ com.google.common.collect.EmptyImmutableSetMultimap.class - [JAR]

├─ com.google.common.collect.EmptyImmutableSortedMap.class - [JAR]

├─ com.google.common.collect.EmptyImmutableSortedMultiset.class - [JAR]

├─ com.google.common.collect.EmptyImmutableSortedSet.class - [JAR]

├─ com.google.common.collect.EnumBiMap.class - [JAR]

├─ com.google.common.collect.EnumHashBiMap.class - [JAR]

├─ com.google.common.collect.EnumMultiset.class - [JAR]

├─ com.google.common.collect.EvictingQueue.class - [JAR]

├─ com.google.common.collect.ExplicitOrdering.class - [JAR]

├─ com.google.common.collect.FilteredEntryMultimap.class - [JAR]

├─ com.google.common.collect.FilteredEntrySetMultimap.class - [JAR]

├─ com.google.common.collect.FilteredKeyListMultimap.class - [JAR]

├─ com.google.common.collect.FilteredKeyMultimap.class - [JAR]

├─ com.google.common.collect.FilteredKeySetMultimap.class - [JAR]

├─ com.google.common.collect.FilteredMultimap.class - [JAR]

├─ com.google.common.collect.FilteredMultimapValues.class - [JAR]

├─ com.google.common.collect.FilteredSetMultimap.class - [JAR]

├─ com.google.common.collect.FluentIterable.class - [JAR]

├─ com.google.common.collect.ForwardingBlockingDeque.class - [JAR]

├─ com.google.common.collect.ForwardingCollection.class - [JAR]

├─ com.google.common.collect.ForwardingConcurrentMap.class - [JAR]

├─ com.google.common.collect.ForwardingDeque.class - [JAR]

├─ com.google.common.collect.ForwardingImmutableCollection.class - [JAR]

├─ com.google.common.collect.ForwardingImmutableList.class - [JAR]

├─ com.google.common.collect.ForwardingImmutableMap.class - [JAR]

├─ com.google.common.collect.ForwardingImmutableSet.class - [JAR]

├─ com.google.common.collect.ForwardingIterator.class - [JAR]

├─ com.google.common.collect.ForwardingList.class - [JAR]

├─ com.google.common.collect.ForwardingListIterator.class - [JAR]

├─ com.google.common.collect.ForwardingListMultimap.class - [JAR]

├─ com.google.common.collect.ForwardingMap.class - [JAR]

├─ com.google.common.collect.ForwardingMapEntry.class - [JAR]

├─ com.google.common.collect.ForwardingMultimap.class - [JAR]

├─ com.google.common.collect.ForwardingMultiset.class - [JAR]

├─ com.google.common.collect.ForwardingNavigableMap.class - [JAR]

├─ com.google.common.collect.ForwardingNavigableSet.class - [JAR]

├─ com.google.common.collect.ForwardingObject.class - [JAR]

├─ com.google.common.collect.ForwardingQueue.class - [JAR]

├─ com.google.common.collect.ForwardingSet.class - [JAR]

├─ com.google.common.collect.ForwardingSetMultimap.class - [JAR]

├─ com.google.common.collect.ForwardingSortedMap.class - [JAR]

├─ com.google.common.collect.ForwardingSortedMultiset.class - [JAR]

├─ com.google.common.collect.ForwardingSortedSet.class - [JAR]

├─ com.google.common.collect.ForwardingSortedSetMultimap.class - [JAR]

├─ com.google.common.collect.ForwardingTable.class - [JAR]

├─ com.google.common.collect.GeneralRange.class - [JAR]

├─ com.google.common.collect.GenericMapMaker.class - [JAR]

├─ com.google.common.collect.GwtTransient.class - [JAR]

├─ com.google.common.collect.HashBasedTable.class - [JAR]

├─ com.google.common.collect.HashBiMap.class - [JAR]

├─ com.google.common.collect.HashMultimap.class - [JAR]

├─ com.google.common.collect.HashMultiset.class - [JAR]

├─ com.google.common.collect.Hashing.class - [JAR]

├─ com.google.common.collect.ImmutableAsList.class - [JAR]

├─ com.google.common.collect.ImmutableBiMap.class - [JAR]

├─ com.google.common.collect.ImmutableClassToInstanceMap.class - [JAR]

├─ com.google.common.collect.ImmutableCollection.class - [JAR]

├─ com.google.common.collect.ImmutableEntry.class - [JAR]

├─ com.google.common.collect.ImmutableEnumMap.class - [JAR]

├─ com.google.common.collect.ImmutableEnumSet.class - [JAR]

├─ com.google.common.collect.ImmutableList.class - [JAR]

├─ com.google.common.collect.ImmutableListMultimap.class - [JAR]

├─ com.google.common.collect.ImmutableMap.class - [JAR]

├─ com.google.common.collect.ImmutableMapEntry.class - [JAR]

├─ com.google.common.collect.ImmutableMapEntrySet.class - [JAR]

├─ com.google.common.collect.ImmutableMapKeySet.class - [JAR]

├─ com.google.common.collect.ImmutableMapValues.class - [JAR]

├─ com.google.common.collect.ImmutableMultimap.class - [JAR]

├─ com.google.common.collect.ImmutableMultiset.class - [JAR]

├─ com.google.common.collect.ImmutableRangeMap.class - [JAR]

├─ com.google.common.collect.ImmutableRangeSet.class - [JAR]

├─ com.google.common.collect.ImmutableSet.class - [JAR]

├─ com.google.common.collect.ImmutableSetMultimap.class - [JAR]

├─ com.google.common.collect.ImmutableSortedAsList.class - [JAR]

├─ com.google.common.collect.ImmutableSortedMap.class - [JAR]

├─ com.google.common.collect.ImmutableSortedMapFauxverideShim.class - [JAR]

├─ com.google.common.collect.ImmutableSortedMultiset.class - [JAR]

├─ com.google.common.collect.ImmutableSortedMultisetFauxverideShim.class - [JAR]

├─ com.google.common.collect.ImmutableSortedSet.class - [JAR]

├─ com.google.common.collect.ImmutableSortedSetFauxverideShim.class - [JAR]

├─ com.google.common.collect.ImmutableTable.class - [JAR]

├─ com.google.common.collect.Interner.class - [JAR]

├─ com.google.common.collect.Interners.class - [JAR]

├─ com.google.common.collect.Iterables.class - [JAR]

├─ com.google.common.collect.Iterators.class - [JAR]

├─ com.google.common.collect.LexicographicalOrdering.class - [JAR]

├─ com.google.common.collect.LinkedHashMultimap.class - [JAR]

├─ com.google.common.collect.LinkedHashMultiset.class - [JAR]

├─ com.google.common.collect.LinkedListMultimap.class - [JAR]

├─ com.google.common.collect.ListMultimap.class - [JAR]

├─ com.google.common.collect.Lists.class - [JAR]

├─ com.google.common.collect.MapConstraint.class - [JAR]

├─ com.google.common.collect.MapConstraints.class - [JAR]

├─ com.google.common.collect.MapDifference.class - [JAR]

├─ com.google.common.collect.MapMaker.class - [JAR]

├─ com.google.common.collect.MapMakerInternalMap.class - [JAR]

├─ com.google.common.collect.Maps.class - [JAR]

├─ com.google.common.collect.MinMaxPriorityQueue.class - [JAR]

├─ com.google.common.collect.Multimap.class - [JAR]

├─ com.google.common.collect.MultimapBuilder.class - [JAR]

├─ com.google.common.collect.Multimaps.class - [JAR]

├─ com.google.common.collect.Multiset.class - [JAR]

├─ com.google.common.collect.Multisets.class - [JAR]

├─ com.google.common.collect.MutableClassToInstanceMap.class - [JAR]

├─ com.google.common.collect.NaturalOrdering.class - [JAR]

├─ com.google.common.collect.NullsFirstOrdering.class - [JAR]

├─ com.google.common.collect.NullsLastOrdering.class - [JAR]

├─ com.google.common.collect.ObjectArrays.class - [JAR]

├─ com.google.common.collect.Ordering.class - [JAR]

├─ com.google.common.collect.PeekingIterator.class - [JAR]

├─ com.google.common.collect.Platform.class - [JAR]

├─ com.google.common.collect.Queues.class - [JAR]

├─ com.google.common.collect.Range.class - [JAR]

├─ com.google.common.collect.RangeMap.class - [JAR]

├─ com.google.common.collect.RangeSet.class - [JAR]

├─ com.google.common.collect.RegularContiguousSet.class - [JAR]

├─ com.google.common.collect.RegularImmutableAsList.class - [JAR]

├─ com.google.common.collect.RegularImmutableBiMap.class - [JAR]

├─ com.google.common.collect.RegularImmutableList.class - [JAR]

├─ com.google.common.collect.RegularImmutableMap.class - [JAR]

├─ com.google.common.collect.RegularImmutableMultiset.class - [JAR]

├─ com.google.common.collect.RegularImmutableSet.class - [JAR]

├─ com.google.common.collect.RegularImmutableSortedMap.class - [JAR]

├─ com.google.common.collect.RegularImmutableSortedMultiset.class - [JAR]

├─ com.google.common.collect.RegularImmutableSortedSet.class - [JAR]

├─ com.google.common.collect.RegularImmutableTable.class - [JAR]

├─ com.google.common.collect.ReverseNaturalOrdering.class - [JAR]

├─ com.google.common.collect.ReverseOrdering.class - [JAR]

├─ com.google.common.collect.RowSortedTable.class - [JAR]

├─ com.google.common.collect.Serialization.class - [JAR]

├─ com.google.common.collect.SetMultimap.class - [JAR]

├─ com.google.common.collect.Sets.class - [JAR]

├─ com.google.common.collect.SingletonImmutableBiMap.class - [JAR]

├─ com.google.common.collect.SingletonImmutableList.class - [JAR]

├─ com.google.common.collect.SingletonImmutableSet.class - [JAR]

├─ com.google.common.collect.SingletonImmutableTable.class - [JAR]

├─ com.google.common.collect.SortedIterable.class - [JAR]

├─ com.google.common.collect.SortedIterables.class - [JAR]

├─ com.google.common.collect.SortedLists.class - [JAR]

├─ com.google.common.collect.SortedMapDifference.class - [JAR]

├─ com.google.common.collect.SortedMultiset.class - [JAR]

├─ com.google.common.collect.SortedMultisetBridge.class - [JAR]

├─ com.google.common.collect.SortedMultisets.class - [JAR]

├─ com.google.common.collect.SortedSetMultimap.class - [JAR]

├─ com.google.common.collect.SparseImmutableTable.class - [JAR]

├─ com.google.common.collect.StandardRowSortedTable.class - [JAR]

├─ com.google.common.collect.StandardTable.class - [JAR]

├─ com.google.common.collect.Synchronized.class - [JAR]

├─ com.google.common.collect.Table.class - [JAR]

├─ com.google.common.collect.Tables.class - [JAR]

├─ com.google.common.collect.TransformedIterator.class - [JAR]

├─ com.google.common.collect.TransformedListIterator.class - [JAR]

├─ com.google.common.collect.TreeBasedTable.class - [JAR]

├─ com.google.common.collect.TreeMultimap.class - [JAR]

├─ com.google.common.collect.TreeMultiset.class - [JAR]

├─ com.google.common.collect.TreeRangeMap.class - [JAR]

├─ com.google.common.collect.TreeRangeSet.class - [JAR]

├─ com.google.common.collect.TreeTraverser.class - [JAR]

├─ com.google.common.collect.UnmodifiableIterator.class - [JAR]

├─ com.google.common.collect.UnmodifiableListIterator.class - [JAR]

├─ com.google.common.collect.UnmodifiableSortedMultiset.class - [JAR]

├─ com.google.common.collect.UsingToStringOrdering.class - [JAR]

├─ com.google.common.collect.WellBehavedMap.class - [JAR]

├─ com.google.common.collect.package-info.class - [JAR]

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

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

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

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

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

com.google.common.hash

├─ com.google.common.hash.AbstractByteHasher.class - [JAR]

├─ com.google.common.hash.AbstractCompositeHashFunction.class - [JAR]

├─ com.google.common.hash.AbstractHasher.class - [JAR]

├─ com.google.common.hash.AbstractNonStreamingHashFunction.class - [JAR]

├─ com.google.common.hash.AbstractStreamingHashFunction.class - [JAR]

├─ com.google.common.hash.BloomFilter.class - [JAR]

├─ com.google.common.hash.BloomFilterStrategies.class - [JAR]

├─ com.google.common.hash.ChecksumHashFunction.class - [JAR]

├─ com.google.common.hash.Crc32cHashFunction.class - [JAR]

├─ com.google.common.hash.Funnel.class - [JAR]

├─ com.google.common.hash.Funnels.class - [JAR]

├─ com.google.common.hash.HashCode.class - [JAR]

├─ com.google.common.hash.HashFunction.class - [JAR]

├─ com.google.common.hash.Hasher.class - [JAR]

├─ com.google.common.hash.Hashing.class - [JAR]

├─ com.google.common.hash.HashingInputStream.class - [JAR]

├─ com.google.common.hash.HashingOutputStream.class - [JAR]

├─ com.google.common.hash.MessageDigestHashFunction.class - [JAR]

├─ com.google.common.hash.Murmur3_128HashFunction.class - [JAR]

├─ com.google.common.hash.Murmur3_32HashFunction.class - [JAR]

├─ com.google.common.hash.PrimitiveSink.class - [JAR]

├─ com.google.common.hash.SipHashFunction.class - [JAR]

├─ com.google.common.hash.package-info.class - [JAR]

org.liveontologies.puli.pinpointing

├─ org.liveontologies.puli.pinpointing.AbstractMinimalSubsetEnumerator.class - [JAR]

├─ org.liveontologies.puli.pinpointing.HashIdMap.class - [JAR]

├─ org.liveontologies.puli.pinpointing.IdMap.class - [JAR]

├─ org.liveontologies.puli.pinpointing.InterruptMonitor.class - [JAR]

├─ org.liveontologies.puli.pinpointing.MinimalHittingSetEnumerator.class - [JAR]

├─ org.liveontologies.puli.pinpointing.MinimalSubsetCollector.class - [JAR]

├─ org.liveontologies.puli.pinpointing.MinimalSubsetEnumerator.class - [JAR]

├─ org.liveontologies.puli.pinpointing.MinimalSubsetEnumerators.class - [JAR]

├─ org.liveontologies.puli.pinpointing.MinimalSubsetsFromProofs.class - [JAR]

├─ org.liveontologies.puli.pinpointing.NaturalPriorityComparator.class - [JAR]

├─ org.liveontologies.puli.pinpointing.PriorityComparator.class - [JAR]

├─ org.liveontologies.puli.pinpointing.PriorityComparators.class - [JAR]

├─ org.liveontologies.puli.pinpointing.ResolutionJustificationComputation.class - [JAR]

├─ org.liveontologies.puli.pinpointing.SortedIdSet.class - [JAR]

├─ org.liveontologies.puli.pinpointing.SortedIntSet.class - [JAR]

├─ org.liveontologies.puli.pinpointing.TopDownRepairComputation.class - [JAR]

com.google.common.math

├─ com.google.common.math.BigIntegerMath.class - [JAR]

├─ com.google.common.math.DoubleMath.class - [JAR]

├─ com.google.common.math.DoubleUtils.class - [JAR]

├─ com.google.common.math.IntMath.class - [JAR]

├─ com.google.common.math.LongMath.class - [JAR]

├─ com.google.common.math.MathPreconditions.class - [JAR]

├─ com.google.common.math.package-info.class - [JAR]

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

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

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

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

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

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

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

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

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

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

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

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

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

org.apache.log4j.lf5

├─ org.apache.log4j.lf5.AppenderFinalizer.class - [JAR]

├─ org.apache.log4j.lf5.DefaultLF5Configurator.class - [JAR]

├─ org.apache.log4j.lf5.LF5Appender.class - [JAR]

├─ org.apache.log4j.lf5.Log4JLogRecord.class - [JAR]

├─ org.apache.log4j.lf5.LogLevel.class - [JAR]

├─ org.apache.log4j.lf5.LogLevelFormatException.class - [JAR]

├─ org.apache.log4j.lf5.LogRecord.class - [JAR]

├─ org.apache.log4j.lf5.LogRecordFilter.class - [JAR]

├─ org.apache.log4j.lf5.PassingLogRecordFilter.class - [JAR]

├─ org.apache.log4j.lf5.StartLogFactor5.class - [JAR]

org.semanticweb.elk.reasoner.saturation.inferences

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

org.apache.log4j.pattern

├─ org.apache.log4j.pattern.BridgePatternConverter.class - [JAR]

├─ org.apache.log4j.pattern.BridgePatternParser.class - [JAR]

├─ org.apache.log4j.pattern.CachedDateFormat.class - [JAR]

├─ org.apache.log4j.pattern.ClassNamePatternConverter.class - [JAR]

├─ org.apache.log4j.pattern.DatePatternConverter.class - [JAR]

├─ org.apache.log4j.pattern.FileDatePatternConverter.class - [JAR]

├─ org.apache.log4j.pattern.FileLocationPatternConverter.class - [JAR]

├─ org.apache.log4j.pattern.FormattingInfo.class - [JAR]

├─ org.apache.log4j.pattern.FullLocationPatternConverter.class - [JAR]

├─ org.apache.log4j.pattern.IntegerPatternConverter.class - [JAR]

├─ org.apache.log4j.pattern.LevelPatternConverter.class - [JAR]

├─ org.apache.log4j.pattern.LineLocationPatternConverter.class - [JAR]

├─ org.apache.log4j.pattern.LineSeparatorPatternConverter.class - [JAR]

├─ org.apache.log4j.pattern.LiteralPatternConverter.class - [JAR]

├─ org.apache.log4j.pattern.LogEvent.class - [JAR]

├─ org.apache.log4j.pattern.LoggerPatternConverter.class - [JAR]

├─ org.apache.log4j.pattern.LoggingEventPatternConverter.class - [JAR]

├─ org.apache.log4j.pattern.MessagePatternConverter.class - [JAR]

├─ org.apache.log4j.pattern.MethodLocationPatternConverter.class - [JAR]

├─ org.apache.log4j.pattern.NDCPatternConverter.class - [JAR]

├─ org.apache.log4j.pattern.NameAbbreviator.class - [JAR]

├─ org.apache.log4j.pattern.NamePatternConverter.class - [JAR]

├─ org.apache.log4j.pattern.PatternConverter.class - [JAR]

├─ org.apache.log4j.pattern.PatternParser.class - [JAR]

├─ org.apache.log4j.pattern.PropertiesPatternConverter.class - [JAR]

├─ org.apache.log4j.pattern.RelativeTimePatternConverter.class - [JAR]

├─ org.apache.log4j.pattern.SequenceNumberPatternConverter.class - [JAR]

├─ org.apache.log4j.pattern.ThreadPatternConverter.class - [JAR]

├─ org.apache.log4j.pattern.ThrowableInformationPatternConverter.class - [JAR]

org.semanticweb.elk.loading

├─ org.semanticweb.elk.loading.AbstractAxiomLoader.class - [JAR]

├─ org.semanticweb.elk.loading.AbstractClassQueryLoader.class - [JAR]

├─ org.semanticweb.elk.loading.AbstractEntailmentQueryLoader.class - [JAR]

├─ org.semanticweb.elk.loading.AxiomLoader.class - [JAR]

├─ org.semanticweb.elk.loading.ClassQueryLoader.class - [JAR]

├─ org.semanticweb.elk.loading.ComposedAxiomLoader.class - [JAR]

├─ org.semanticweb.elk.loading.ElkLoadingException.class - [JAR]

├─ org.semanticweb.elk.loading.EntailmentQueryLoader.class - [JAR]

├─ org.semanticweb.elk.loading.Owl2ParserLoader.class - [JAR]

├─ org.semanticweb.elk.loading.Owl2StreamLoader.class - [JAR]

org.semanticweb.elk.reasoner.saturation.rules.contradiction

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

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

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

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

org.apache.log4j.jdbc

├─ org.apache.log4j.jdbc.JDBCAppender.class - [JAR]

org.semanticweb.elk.util.collections.entryset

├─ org.semanticweb.elk.util.collections.entryset.Entry.class - [JAR]

├─ org.semanticweb.elk.util.collections.entryset.EntryCollection.class - [JAR]

org.semanticweb.elk.reasoner.query

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

com.google.common.net

├─ com.google.common.net.HostAndPort.class - [JAR]

├─ com.google.common.net.HostSpecifier.class - [JAR]

├─ com.google.common.net.HttpHeaders.class - [JAR]

├─ com.google.common.net.InetAddresses.class - [JAR]

├─ com.google.common.net.InternetDomainName.class - [JAR]

├─ com.google.common.net.MediaType.class - [JAR]

├─ com.google.common.net.PercentEscaper.class - [JAR]

├─ com.google.common.net.UrlEscapers.class - [JAR]

├─ com.google.common.net.package-info.class - [JAR]

org.semanticweb.elk.ore

├─ org.semanticweb.elk.ore.NativeRunner.class - [JAR]

├─ org.semanticweb.elk.ore.NativeRunnerWithEagerLoading.class - [JAR]

├─ org.semanticweb.elk.ore.OreTaxonomyPrinter.class - [JAR]

org.semanticweb.elk.config

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

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

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

org.semanticweb.elk.owl.parsing.javacc

├─ org.semanticweb.elk.owl.parsing.javacc.AbstractOwl2FunctionalStyleParser.class - [JAR]

├─ org.semanticweb.elk.owl.parsing.javacc.AbstractOwl2FunctionalStyleParserConstants.class - [JAR]

├─ org.semanticweb.elk.owl.parsing.javacc.AbstractOwl2FunctionalStyleParserTokenManager.class - [JAR]

├─ org.semanticweb.elk.owl.parsing.javacc.ConcurrentJavaCCLexer.class - [JAR]

├─ org.semanticweb.elk.owl.parsing.javacc.ConcurrentJavaCCLexerFactory.class - [JAR]

├─ org.semanticweb.elk.owl.parsing.javacc.JavaCCLexer.class - [JAR]

├─ org.semanticweb.elk.owl.parsing.javacc.JavaCCLexerFactory.class - [JAR]

├─ org.semanticweb.elk.owl.parsing.javacc.LexerBatch.class - [JAR]

├─ org.semanticweb.elk.owl.parsing.javacc.LexerError.class - [JAR]

├─ org.semanticweb.elk.owl.parsing.javacc.LexerMessage.class - [JAR]

├─ org.semanticweb.elk.owl.parsing.javacc.LexerMessageVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.parsing.javacc.Owl2FunctionalStyleParserFactory.class - [JAR]

├─ org.semanticweb.elk.owl.parsing.javacc.ParseException.class - [JAR]

├─ org.semanticweb.elk.owl.parsing.javacc.SimpleCharStream.class - [JAR]

├─ org.semanticweb.elk.owl.parsing.javacc.Token.class - [JAR]

├─ org.semanticweb.elk.owl.parsing.javacc.TokenMgrError.class - [JAR]

com.google.common.base.internal

├─ com.google.common.base.internal.Finalizer.class - [JAR]

org.semanticweb.elk.io

├─ org.semanticweb.elk.io.FileUtils.class - [JAR]

├─ org.semanticweb.elk.io.IOUtils.class - [JAR]

org.apache.log4j.xml

├─ org.apache.log4j.xml.DOMConfigurator.class - [JAR]

├─ org.apache.log4j.xml.Log4jEntityResolver.class - [JAR]

├─ org.apache.log4j.xml.SAXErrorHandler.class - [JAR]

├─ org.apache.log4j.xml.UnrecognizedElementHandler.class - [JAR]

├─ org.apache.log4j.xml.XMLLayout.class - [JAR]

├─ org.apache.log4j.xml.XMLWatchdog.class - [JAR]

org.semanticweb.elk.reasoner.taxonomy.model

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

org.semanticweb.elk.exceptions

├─ org.semanticweb.elk.exceptions.ElkException.class - [JAR]

├─ org.semanticweb.elk.exceptions.ElkRuntimeException.class - [JAR]

org.semanticweb.elk.owl.comparison

├─ org.semanticweb.elk.owl.comparison.ElkObjectEquality.class - [JAR]

├─ org.semanticweb.elk.owl.comparison.ElkObjectHash.class - [JAR]

org.slf4j.helpers

├─ org.slf4j.helpers.BasicMDCAdapter.class - [JAR]

├─ org.slf4j.helpers.BasicMarker.class - [JAR]

├─ org.slf4j.helpers.BasicMarkerFactory.class - [JAR]

├─ org.slf4j.helpers.FormattingTuple.class - [JAR]

├─ org.slf4j.helpers.MarkerIgnoringBase.class - [JAR]

├─ org.slf4j.helpers.MessageFormatter.class - [JAR]

├─ org.slf4j.helpers.NOPLogger.class - [JAR]

├─ org.slf4j.helpers.NOPLoggerFactory.class - [JAR]

├─ org.slf4j.helpers.NOPMDCAdapter.class - [JAR]

├─ org.slf4j.helpers.NamedLoggerBase.class - [JAR]

├─ org.slf4j.helpers.SubstituteLogger.class - [JAR]

├─ org.slf4j.helpers.SubstituteLoggerFactory.class - [JAR]

├─ org.slf4j.helpers.Util.class - [JAR]

org.semanticweb.elk.reasoner.taxonomy.hashing

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

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

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

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

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

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

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

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

org.apache.log4j.lf5.util

├─ org.apache.log4j.lf5.util.AdapterLogRecord.class - [JAR]

├─ org.apache.log4j.lf5.util.DateFormatManager.class - [JAR]

├─ org.apache.log4j.lf5.util.LogFileParser.class - [JAR]

├─ org.apache.log4j.lf5.util.LogMonitorAdapter.class - [JAR]

├─ org.apache.log4j.lf5.util.Resource.class - [JAR]

├─ org.apache.log4j.lf5.util.ResourceUtils.class - [JAR]

├─ org.apache.log4j.lf5.util.StreamUtils.class - [JAR]

org.semanticweb.elk.reasoner.indexing.conversion

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

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

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

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

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

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

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

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

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

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

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

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

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

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

org.slf4j.impl

├─ org.slf4j.impl.Log4jLoggerAdapter.class - [JAR]

├─ org.slf4j.impl.Log4jLoggerFactory.class - [JAR]

├─ org.slf4j.impl.Log4jMDCAdapter.class - [JAR]

├─ org.slf4j.impl.StaticLoggerBinder.class - [JAR]

├─ org.slf4j.impl.StaticMDCBinder.class - [JAR]

├─ org.slf4j.impl.StaticMarkerBinder.class - [JAR]

├─ org.slf4j.impl.VersionUtil.class - [JAR]

org.semanticweb.elk.reasoner.tracing

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

org.liveontologies.puli.collections

├─ org.liveontologies.puli.collections.AbstractCollection2.class - [JAR]

├─ org.liveontologies.puli.collections.BloomTrieCollection2.class - [JAR]

├─ org.liveontologies.puli.collections.Collection2.class - [JAR]

├─ org.liveontologies.puli.collections.Condition.class - [JAR]

├─ org.liveontologies.puli.collections.DelegatingIterator.class - [JAR]

├─ org.liveontologies.puli.collections.FilteredIterator.class - [JAR]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

org.semanticweb.elk.reasoner.incremental

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

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

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

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

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

org.semanticweb.elk.owl.predefined

├─ org.semanticweb.elk.owl.predefined.AbstractElkObject.class - [JAR]

├─ org.semanticweb.elk.owl.predefined.ElkEntityType.class - [JAR]

├─ org.semanticweb.elk.owl.predefined.ElkPolarity.class - [JAR]

├─ org.semanticweb.elk.owl.predefined.PredefinedElkClassFactory.class - [JAR]

├─ org.semanticweb.elk.owl.predefined.PredefinedElkDataPropertyFactory.class - [JAR]

├─ org.semanticweb.elk.owl.predefined.PredefinedElkDatatypeFactory.class - [JAR]

├─ org.semanticweb.elk.owl.predefined.PredefinedElkEntityFactory.class - [JAR]

├─ org.semanticweb.elk.owl.predefined.PredefinedElkIris.class - [JAR]

├─ org.semanticweb.elk.owl.predefined.PredefinedElkObjectProperty.class - [JAR]

├─ org.semanticweb.elk.owl.predefined.PredefinedElkObjectPropertyFactory.class - [JAR]

├─ org.semanticweb.elk.owl.predefined.PredefinedElkPrefix.class - [JAR]

org.apache.log4j.lf5.viewer

├─ org.apache.log4j.lf5.viewer.FilteredLogTableModel.class - [JAR]

├─ org.apache.log4j.lf5.viewer.LF5SwingUtils.class - [JAR]

├─ org.apache.log4j.lf5.viewer.LogBrokerMonitor.class - [JAR]

├─ org.apache.log4j.lf5.viewer.LogFactor5Dialog.class - [JAR]

├─ org.apache.log4j.lf5.viewer.LogFactor5ErrorDialog.class - [JAR]

├─ org.apache.log4j.lf5.viewer.LogFactor5InputDialog.class - [JAR]

├─ org.apache.log4j.lf5.viewer.LogFactor5LoadingDialog.class - [JAR]

├─ org.apache.log4j.lf5.viewer.LogTable.class - [JAR]

├─ org.apache.log4j.lf5.viewer.LogTableColumn.class - [JAR]

├─ org.apache.log4j.lf5.viewer.LogTableColumnFormatException.class - [JAR]

├─ org.apache.log4j.lf5.viewer.LogTableModel.class - [JAR]

├─ org.apache.log4j.lf5.viewer.LogTableRowRenderer.class - [JAR]

├─ org.apache.log4j.lf5.viewer.TrackingAdjustmentListener.class - [JAR]

org.semanticweb.elk.owl.managers

├─ org.semanticweb.elk.owl.managers.ElkObjectEntityRecyclingFactory.class - [JAR]

├─ org.semanticweb.elk.owl.managers.WeakElkAnnotationPropertyWrapper.class - [JAR]

├─ org.semanticweb.elk.owl.managers.WeakElkClassWrapper.class - [JAR]

├─ org.semanticweb.elk.owl.managers.WeakElkDataPropertyWrapper.class - [JAR]

├─ org.semanticweb.elk.owl.managers.WeakElkDatatypeWrapper.class - [JAR]

├─ org.semanticweb.elk.owl.managers.WeakElkNamedIndividualWrapper.class - [JAR]

├─ org.semanticweb.elk.owl.managers.WeakElkObjectPropertyWrapper.class - [JAR]

├─ org.semanticweb.elk.owl.managers.WeakWrapper.class - [JAR]

com.google.common.primitives

├─ com.google.common.primitives.Booleans.class - [JAR]

├─ com.google.common.primitives.Bytes.class - [JAR]

├─ com.google.common.primitives.Chars.class - [JAR]

├─ com.google.common.primitives.Doubles.class - [JAR]

├─ com.google.common.primitives.Floats.class - [JAR]

├─ com.google.common.primitives.Ints.class - [JAR]

├─ com.google.common.primitives.Longs.class - [JAR]

├─ com.google.common.primitives.ParseRequest.class - [JAR]

├─ com.google.common.primitives.Primitives.class - [JAR]

├─ com.google.common.primitives.Shorts.class - [JAR]

├─ com.google.common.primitives.SignedBytes.class - [JAR]

├─ com.google.common.primitives.UnsignedBytes.class - [JAR]

├─ com.google.common.primitives.UnsignedInteger.class - [JAR]

├─ com.google.common.primitives.UnsignedInts.class - [JAR]

├─ com.google.common.primitives.UnsignedLong.class - [JAR]

├─ com.google.common.primitives.UnsignedLongs.class - [JAR]

├─ com.google.common.primitives.package-info.class - [JAR]

org.semanticweb.elk.reasoner.saturation.context

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

├─ org.semanticweb.elk.reasoner.saturation.context.ClassConclusionSet.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.context.Context.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.context.ContextPremises.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.context.ContextProcessor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.context.ContextRootCollection.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.context.ContextStatistics.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.context.HybridContextPremises.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.context.SubClassConclusionSet.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.context.SubContext.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.context.SubContextPremises.class - [JAR]

org.liveontologies.puli

├─ org.liveontologies.puli.AbstractConvertedInference.class - [JAR]

├─ org.liveontologies.puli.AbstractInference.class - [JAR]

├─ org.liveontologies.puli.AbstractProofNode.class - [JAR]

├─ org.liveontologies.puli.AbstractProofStep.class - [JAR]

├─ org.liveontologies.puli.AcyclicDerivableProofNode.class - [JAR]

├─ org.liveontologies.puli.AcyclicDerivableProofStep.class - [JAR]

├─ org.liveontologies.puli.AcyclicProofNode.class - [JAR]

├─ org.liveontologies.puli.AcyclicProofStep.class - [JAR]

├─ org.liveontologies.puli.AddAssertedProofNode.class - [JAR]

├─ org.liveontologies.puli.AddAssertedProofStep.class - [JAR]

├─ org.liveontologies.puli.AssertedConclusionInference.class - [JAR]

├─ org.liveontologies.puli.AssertedConclusionInferenceJustifier.class - [JAR]

├─ org.liveontologies.puli.AssertedProofStep.class - [JAR]

├─ org.liveontologies.puli.BaseInference.class - [JAR]

├─ org.liveontologies.puli.BaseInferenceJustifier.class - [JAR]

├─ org.liveontologies.puli.BaseProof.class - [JAR]

├─ org.liveontologies.puli.BaseProofNode.class - [JAR]

├─ org.liveontologies.puli.BaseProofStep.class - [JAR]

├─ org.liveontologies.puli.CachingProof.class - [JAR]

├─ org.liveontologies.puli.ChronologicalProof.class - [JAR]

├─ org.liveontologies.puli.ConvertedProofNode.class - [JAR]

├─ org.liveontologies.puli.ConvertedProofStep.class - [JAR]

├─ org.liveontologies.puli.DelegatingDynamicProof.class - [JAR]

├─ org.liveontologies.puli.DelegatingInference.class - [JAR]

├─ org.liveontologies.puli.DelegatingProof.class - [JAR]

├─ org.liveontologies.puli.DelegatingProofNode.class - [JAR]

├─ org.liveontologies.puli.DelegatingProofStep.class - [JAR]

├─ org.liveontologies.puli.Delegator.class - [JAR]

├─ org.liveontologies.puli.DerivabilityChecker.class - [JAR]

├─ org.liveontologies.puli.DerivabilityCheckerWithBlocking.class - [JAR]

├─ org.liveontologies.puli.DerivableFromProofNode.class - [JAR]

├─ org.liveontologies.puli.DerivableFromProofStep.class - [JAR]

├─ org.liveontologies.puli.DerivableProofNode.class - [JAR]

├─ org.liveontologies.puli.DerivableProofStep.class - [JAR]

├─ org.liveontologies.puli.DynamicProof.class - [JAR]

├─ org.liveontologies.puli.EmptyProof.class - [JAR]

├─ org.liveontologies.puli.FilteredProof.class - [JAR]

├─ org.liveontologies.puli.FilteredProofNode.class - [JAR]

├─ org.liveontologies.puli.FilteredProofStep.class - [JAR]

├─ org.liveontologies.puli.Inference.class - [JAR]

├─ org.liveontologies.puli.InferenceDerivabilityChecker.class - [JAR]

├─ org.liveontologies.puli.InferenceExpander.class - [JAR]

├─ org.liveontologies.puli.InferenceJustifier.class - [JAR]

├─ org.liveontologies.puli.InferenceJustifiers.class - [JAR]

├─ org.liveontologies.puli.Inferences.class - [JAR]

├─ org.liveontologies.puli.LeafProofNode.class - [JAR]

├─ org.liveontologies.puli.ModifiableProof.class - [JAR]

├─ org.liveontologies.puli.Producer.class - [JAR]

├─ org.liveontologies.puli.Proof.class - [JAR]

├─ org.liveontologies.puli.ProofNode.class - [JAR]

├─ org.liveontologies.puli.ProofNodeDerivabilityChecker.class - [JAR]

├─ org.liveontologies.puli.ProofNodeProof.class - [JAR]

├─ org.liveontologies.puli.ProofNodes.class - [JAR]

├─ org.liveontologies.puli.ProofPrinter.class - [JAR]

├─ org.liveontologies.puli.ProofStep.class - [JAR]

├─ org.liveontologies.puli.ProofUnion.class - [JAR]

├─ org.liveontologies.puli.Proofs.class - [JAR]

├─ org.liveontologies.puli.PrunedProof.class - [JAR]

├─ org.liveontologies.puli.RemoveAssertedProof.class - [JAR]

├─ org.liveontologies.puli.RemoveAssertedProofNode.class - [JAR]

├─ org.liveontologies.puli.RemoveAssertedProofStep.class - [JAR]

├─ org.liveontologies.puli.TransformedInference.class - [JAR]

org.semanticweb.elk.reasoner.saturation.rules.forwardlink

├─ org.semanticweb.elk.reasoner.saturation.rules.forwardlink.AbstractForwardLinkRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.forwardlink.BackwardLinkFromForwardLinkRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.forwardlink.ForwardLinkRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.forwardlink.ForwardLinkRuleVisitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.forwardlink.NonReflexiveBackwardLinkCompositionRule.class - [JAR]

├─ org.semanticweb.elk.reasoner.saturation.rules.forwardlink.ReflexiveBackwardLinkCompositionRule.class - [JAR]

org.apache.log4j.or.jms

├─ org.apache.log4j.or.jms.MessageRenderer.class - [JAR]

org.apache.log4j.rewrite

├─ org.apache.log4j.rewrite.MapRewritePolicy.class - [JAR]

├─ org.apache.log4j.rewrite.PropertyRewritePolicy.class - [JAR]

├─ org.apache.log4j.rewrite.ReflectionRewritePolicy.class - [JAR]

├─ org.apache.log4j.rewrite.RewriteAppender.class - [JAR]

├─ org.apache.log4j.rewrite.RewritePolicy.class - [JAR]

com.google.common.io

├─ com.google.common.io.AppendableWriter.class - [JAR]

├─ com.google.common.io.BaseEncoding.class - [JAR]

├─ com.google.common.io.ByteArrayDataInput.class - [JAR]

├─ com.google.common.io.ByteArrayDataOutput.class - [JAR]

├─ com.google.common.io.ByteProcessor.class - [JAR]

├─ com.google.common.io.ByteSink.class - [JAR]

├─ com.google.common.io.ByteSource.class - [JAR]

├─ com.google.common.io.ByteStreams.class - [JAR]

├─ com.google.common.io.CharSequenceReader.class - [JAR]

├─ com.google.common.io.CharSink.class - [JAR]

├─ com.google.common.io.CharSource.class - [JAR]

├─ com.google.common.io.CharStreams.class - [JAR]

├─ com.google.common.io.Closeables.class - [JAR]

├─ com.google.common.io.Closer.class - [JAR]

├─ com.google.common.io.CountingInputStream.class - [JAR]

├─ com.google.common.io.CountingOutputStream.class - [JAR]

├─ com.google.common.io.FileBackedOutputStream.class - [JAR]

├─ com.google.common.io.FileWriteMode.class - [JAR]

├─ com.google.common.io.Files.class - [JAR]

├─ com.google.common.io.Flushables.class - [JAR]

├─ com.google.common.io.GwtWorkarounds.class - [JAR]

├─ com.google.common.io.InputSupplier.class - [JAR]

├─ com.google.common.io.LineBuffer.class - [JAR]

├─ com.google.common.io.LineProcessor.class - [JAR]

├─ com.google.common.io.LineReader.class - [JAR]

├─ com.google.common.io.LittleEndianDataInputStream.class - [JAR]

├─ com.google.common.io.LittleEndianDataOutputStream.class - [JAR]

├─ com.google.common.io.MultiInputStream.class - [JAR]

├─ com.google.common.io.MultiReader.class - [JAR]

├─ com.google.common.io.OutputSupplier.class - [JAR]

├─ com.google.common.io.PatternFilenameFilter.class - [JAR]

├─ com.google.common.io.Resources.class - [JAR]

├─ com.google.common.io.package-info.class - [JAR]

org.semanticweb.elk.reasoner.completeness

├─ org.semanticweb.elk.reasoner.completeness.DelegatingIncompletenessMonitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.completeness.IncompletenessDueToInStatedAxiomsMessageProvider.class - [JAR]

├─ org.semanticweb.elk.reasoner.completeness.IncompletenessDueToNegativeOccurrenceOfObjectComplementOfMonitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.completeness.IncompletenessDueToNegativeOccurrenceOfTopObjectPropertyMonitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.completeness.IncompletenessDueToOccurrenceOfDataHasValueMonitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.completeness.IncompletenessDueToOccurrenceOfDisjointUnionMonitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.completeness.IncompletenessDueToOccurrenceOfNominalMonitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.completeness.IncompletenessDueToOccurrenceOfUnsupportedExpressionMonitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.completeness.IncompletenessDueToOccurrencesInClassExpressionQueryMessageProvider.class - [JAR]

├─ org.semanticweb.elk.reasoner.completeness.IncompletenessDueToOccurrencesInEntailmentQueryMessageProvider.class - [JAR]

├─ org.semanticweb.elk.reasoner.completeness.IncompletenessDueToOccurrencesMonitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.completeness.IncompletenessDueToPositiveOccurrenceOfBottomObjectPropertyMonitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.completeness.IncompletenessDueToPositiveOccurrenceOfObjectUnionOfMonitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.completeness.IncompletenessDueToRangeAndPropertyAssertionOccurrencesInStatedAxiomsMonitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.completeness.IncompletenessDueToSingleOccurrenceMonitor.class - [JAR]

├─ org.semanticweb.elk.reasoner.completeness.IncompletenessManager.class - [JAR]

├─ org.semanticweb.elk.reasoner.completeness.IncompletenessMessageProvider.class - [JAR]

├─ org.semanticweb.elk.reasoner.completeness.IncompletenessMonitor.class - [JAR]

Advertisement

Dependencies from Group

ontology-model
icon @au.csiro
Aug 30, 2021
3 usages
ontology-import
icon @au.csiro
Aug 30, 2021
2 usages
snorocket-owlapi
icon @au.csiro
Jul 04, 2019
2 usages
21 stars
snorocket-core
icon @au.csiro
Jul 04, 2019
1 usages
ontology-parent
icon @au.csiro
Aug 30, 2021
6 stars
More Dependencies ❯

Discover Dependencies

elk-ore-parent
icon @au.csiro
Oct 11, 2020
61 stars
elk-ore
icon @au.csiro
Oct 11, 2020
61 stars
elk-distribution-parent
icon @au.csiro
Oct 11, 2020
61 stars
elk-distribution-owlapi5
icon @au.csiro
Oct 11, 2020
61 stars
elk-distribution-owlapi4
icon @au.csiro
Oct 11, 2020
61 stars
elk-distribution-owlapi-resources
icon @au.csiro
Oct 11, 2020
61 stars
elk-distribution-owlapi-parent
icon @au.csiro
Oct 11, 2020
61 stars
elk-cli
icon @au.csiro
Oct 11, 2020
61 stars
femto
icon @uk.co.probablyfine
Oct 12, 2020
6 stars
xkcoding-simple-http
icon @top.dcenter
Oct 24, 2020
3 usages
52 stars
More Dependencies ❯