jar

io.github.liveontologies : elk-ore-standalone

Maven & Gradle

May 24, 2024

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

Maven Central
Table Of Contents

Latest Version

Download io.github.liveontologies : elk-ore-standalone JAR file - Latest Versions:

All Versions

Download io.github.liveontologies : elk-ore-standalone JAR file - All Versions:

Version Vulnerabilities Size Updated
0.6.x
elk-ore-standalone-0.6.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.6.0.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

ch.qos.logback.classic.spi

├─ ch.qos.logback.classic.spi.CallerData.class - [JAR]

├─ ch.qos.logback.classic.spi.ClassPackagingData.class - [JAR]

├─ ch.qos.logback.classic.spi.Configurator.class - [JAR]

├─ ch.qos.logback.classic.spi.ConfiguratorRank.class - [JAR]

├─ ch.qos.logback.classic.spi.EventArgUtil.class - [JAR]

├─ ch.qos.logback.classic.spi.ILoggingEvent.class - [JAR]

├─ ch.qos.logback.classic.spi.IThrowableProxy.class - [JAR]

├─ ch.qos.logback.classic.spi.LogbackServiceProvider.class - [JAR]

├─ ch.qos.logback.classic.spi.LoggerComparator.class - [JAR]

├─ ch.qos.logback.classic.spi.LoggerContextAware.class - [JAR]

├─ ch.qos.logback.classic.spi.LoggerContextAwareBase.class - [JAR]

├─ ch.qos.logback.classic.spi.LoggerContextListener.class - [JAR]

├─ ch.qos.logback.classic.spi.LoggerContextVO.class - [JAR]

├─ ch.qos.logback.classic.spi.LoggerRemoteView.class - [JAR]

├─ ch.qos.logback.classic.spi.LoggingEvent.class - [JAR]

├─ ch.qos.logback.classic.spi.LoggingEventVO.class - [JAR]

├─ ch.qos.logback.classic.spi.PackagingDataCalculator.class - [JAR]

├─ ch.qos.logback.classic.spi.PlatformInfo.class - [JAR]

├─ ch.qos.logback.classic.spi.STEUtil.class - [JAR]

├─ ch.qos.logback.classic.spi.StackTraceElementProxy.class - [JAR]

├─ ch.qos.logback.classic.spi.ThrowableProxy.class - [JAR]

├─ ch.qos.logback.classic.spi.ThrowableProxyUtil.class - [JAR]

├─ ch.qos.logback.classic.spi.ThrowableProxyVO.class - [JAR]

├─ ch.qos.logback.classic.spi.TurboFilterList.class - [JAR]

ch.qos.logback.core.model.util

├─ ch.qos.logback.core.model.util.TagUtil.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]

ch.qos.logback.core.filter

├─ ch.qos.logback.core.filter.AbstractMatcherFilter.class - [JAR]

├─ ch.qos.logback.core.filter.EvaluatorFilter.class - [JAR]

├─ ch.qos.logback.core.filter.Filter.class - [JAR]

ch.qos.logback.core.sift

├─ ch.qos.logback.core.sift.AbstractDiscriminator.class - [JAR]

├─ ch.qos.logback.core.sift.AppenderFactory.class - [JAR]

├─ ch.qos.logback.core.sift.AppenderFactoryUsingSiftModel.class - [JAR]

├─ ch.qos.logback.core.sift.AppenderTracker.class - [JAR]

├─ ch.qos.logback.core.sift.DefaultDiscriminator.class - [JAR]

├─ ch.qos.logback.core.sift.Discriminator.class - [JAR]

├─ ch.qos.logback.core.sift.NOPSiftModelHandler.class - [JAR]

├─ ch.qos.logback.core.sift.SiftModelHandler.class - [JAR]

├─ ch.qos.logback.core.sift.SiftProcessor.class - [JAR]

├─ ch.qos.logback.core.sift.SiftingAppenderBase.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]

ch.qos.logback.core.read

├─ ch.qos.logback.core.read.CyclicBufferAppender.class - [JAR]

├─ ch.qos.logback.core.read.ListAppender.class - [JAR]

org.checkerframework.checker.calledmethods.qual

├─ org.checkerframework.checker.calledmethods.qual.CalledMethods.class - [JAR]

├─ org.checkerframework.checker.calledmethods.qual.CalledMethodsBottom.class - [JAR]

├─ org.checkerframework.checker.calledmethods.qual.CalledMethodsPredicate.class - [JAR]

├─ org.checkerframework.checker.calledmethods.qual.EnsuresCalledMethods.class - [JAR]

├─ org.checkerframework.checker.calledmethods.qual.EnsuresCalledMethodsIf.class - [JAR]

├─ org.checkerframework.checker.calledmethods.qual.EnsuresCalledMethodsOnException.class - [JAR]

├─ org.checkerframework.checker.calledmethods.qual.EnsuresCalledMethodsVarArgs.class - [JAR]

├─ org.checkerframework.checker.calledmethods.qual.RequiresCalledMethods.class - [JAR]

ch.qos.logback.core.joran.event.stax

├─ ch.qos.logback.core.joran.event.stax.BodyEvent.class - [JAR]

├─ ch.qos.logback.core.joran.event.stax.EndEvent.class - [JAR]

├─ ch.qos.logback.core.joran.event.stax.StartEvent.class - [JAR]

├─ ch.qos.logback.core.joran.event.stax.StaxEvent.class - [JAR]

├─ ch.qos.logback.core.joran.event.stax.StaxEventRecorder.class - [JAR]

ch.qos.logback.classic.servlet

├─ ch.qos.logback.classic.servlet.LogbackServletContainerInitializer.class - [JAR]

├─ ch.qos.logback.classic.servlet.LogbackServletContextListener.class - [JAR]

ch.qos.logback.core.html

├─ ch.qos.logback.core.html.CssBuilder.class - [JAR]

├─ ch.qos.logback.core.html.HTMLLayoutBase.class - [JAR]

├─ ch.qos.logback.core.html.IThrowableRenderer.class - [JAR]

├─ ch.qos.logback.core.html.NOPThrowableRenderer.class - [JAR]

ch.qos.logback.classic.model.util

├─ ch.qos.logback.classic.model.util.DefaultClassNameHelper.class - [JAR]

org.slf4j.spi

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

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

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

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

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

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

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

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

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

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

org.checkerframework.common.util.count.report.qual

├─ org.checkerframework.common.util.count.report.qual.ReportCall.class - [JAR]

├─ org.checkerframework.common.util.count.report.qual.ReportCreation.class - [JAR]

├─ org.checkerframework.common.util.count.report.qual.ReportInherit.class - [JAR]

├─ org.checkerframework.common.util.count.report.qual.ReportOverride.class - [JAR]

├─ org.checkerframework.common.util.count.report.qual.ReportReadWrite.class - [JAR]

├─ org.checkerframework.common.util.count.report.qual.ReportUnqualified.class - [JAR]

├─ org.checkerframework.common.util.count.report.qual.ReportUse.class - [JAR]

├─ org.checkerframework.common.util.count.report.qual.ReportWrite.class - [JAR]

org.checkerframework.framework.qual

├─ org.checkerframework.framework.qual.AnnotatedFor.class - [JAR]

├─ org.checkerframework.framework.qual.CFComment.class - [JAR]

├─ org.checkerframework.framework.qual.ConditionalPostconditionAnnotation.class - [JAR]

├─ org.checkerframework.framework.qual.Covariant.class - [JAR]

├─ org.checkerframework.framework.qual.DefaultFor.class - [JAR]

├─ org.checkerframework.framework.qual.DefaultQualifier.class - [JAR]

├─ org.checkerframework.framework.qual.DefaultQualifierForUse.class - [JAR]

├─ org.checkerframework.framework.qual.DefaultQualifierInHierarchy.class - [JAR]

├─ org.checkerframework.framework.qual.EnsuresQualifier.class - [JAR]

├─ org.checkerframework.framework.qual.EnsuresQualifierIf.class - [JAR]

├─ org.checkerframework.framework.qual.FieldInvariant.class - [JAR]

├─ org.checkerframework.framework.qual.FromByteCode.class - [JAR]

├─ org.checkerframework.framework.qual.FromStubFile.class - [JAR]

├─ org.checkerframework.framework.qual.HasQualifierParameter.class - [JAR]

├─ org.checkerframework.framework.qual.IgnoreInWholeProgramInference.class - [JAR]

├─ org.checkerframework.framework.qual.InheritedAnnotation.class - [JAR]

├─ org.checkerframework.framework.qual.InvisibleQualifier.class - [JAR]

├─ org.checkerframework.framework.qual.JavaExpression.class - [JAR]

├─ org.checkerframework.framework.qual.LiteralKind.class - [JAR]

├─ org.checkerframework.framework.qual.MonotonicQualifier.class - [JAR]

├─ org.checkerframework.framework.qual.NoDefaultQualifierForUse.class - [JAR]

├─ org.checkerframework.framework.qual.NoQualifierParameter.class - [JAR]

├─ org.checkerframework.framework.qual.PolymorphicQualifier.class - [JAR]

├─ org.checkerframework.framework.qual.PostconditionAnnotation.class - [JAR]

├─ org.checkerframework.framework.qual.PreconditionAnnotation.class - [JAR]

├─ org.checkerframework.framework.qual.PurityUnqualified.class - [JAR]

├─ org.checkerframework.framework.qual.QualifierArgument.class - [JAR]

├─ org.checkerframework.framework.qual.QualifierForLiterals.class - [JAR]

├─ org.checkerframework.framework.qual.RelevantJavaTypes.class - [JAR]

├─ org.checkerframework.framework.qual.RequiresQualifier.class - [JAR]

├─ org.checkerframework.framework.qual.StubFiles.class - [JAR]

├─ org.checkerframework.framework.qual.SubtypeOf.class - [JAR]

├─ org.checkerframework.framework.qual.TargetLocations.class - [JAR]

├─ org.checkerframework.framework.qual.TypeKind.class - [JAR]

├─ org.checkerframework.framework.qual.TypeUseLocation.class - [JAR]

├─ org.checkerframework.framework.qual.Unused.class - [JAR]

├─ org.checkerframework.framework.qual.UpperBoundFor.class - [JAR]

ch.qos.logback.core.boolex

├─ ch.qos.logback.core.boolex.EvaluationException.class - [JAR]

├─ ch.qos.logback.core.boolex.EventEvaluator.class - [JAR]

├─ ch.qos.logback.core.boolex.EventEvaluatorBase.class - [JAR]

├─ ch.qos.logback.core.boolex.JaninoEventEvaluatorBase.class - [JAR]

├─ ch.qos.logback.core.boolex.Matcher.class - [JAR]

ch.qos.logback.classic.util

├─ ch.qos.logback.classic.util.ClassicEnvUtil.class - [JAR]

├─ ch.qos.logback.classic.util.ContextInitializer.class - [JAR]

├─ ch.qos.logback.classic.util.ContextSelectorStaticBinder.class - [JAR]

├─ ch.qos.logback.classic.util.CopyOnInheritThreadLocal.class - [JAR]

├─ ch.qos.logback.classic.util.DefaultJoranConfigurator.class - [JAR]

├─ ch.qos.logback.classic.util.LevelToSyslogSeverity.class - [JAR]

├─ ch.qos.logback.classic.util.LogbackMDCAdapter.class - [JAR]

├─ ch.qos.logback.classic.util.LogbackMDCAdapterSimple.class - [JAR]

├─ ch.qos.logback.classic.util.LoggerNameUtil.class - [JAR]

├─ ch.qos.logback.classic.util.StatusViaSLF4JLoggerFactory.class - [JAR]

org.semanticweb.elk.reasoner

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

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

├─ 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]

ch.qos.logback.core.joran.node

├─ ch.qos.logback.core.joran.node.ComponentNode.class - [JAR]

org.checkerframework.checker.tainting.qual

├─ org.checkerframework.checker.tainting.qual.PolyTainted.class - [JAR]

├─ org.checkerframework.checker.tainting.qual.Tainted.class - [JAR]

├─ org.checkerframework.checker.tainting.qual.Untainted.class - [JAR]

com.google.common.xml

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

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

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

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

org.checkerframework.common.returnsreceiver.qual

├─ org.checkerframework.common.returnsreceiver.qual.BottomThis.class - [JAR]

├─ org.checkerframework.common.returnsreceiver.qual.This.class - [JAR]

├─ org.checkerframework.common.returnsreceiver.qual.UnknownThis.class - [JAR]

ch.qos.logback.core.joran.util

├─ ch.qos.logback.core.joran.util.ConfigurationWatchListUtil.class - [JAR]

├─ ch.qos.logback.core.joran.util.ParentTag_Tag_Class_Tuple.class - [JAR]

├─ ch.qos.logback.core.joran.util.PropertySetter.class - [JAR]

├─ ch.qos.logback.core.joran.util.StringToObjectConverter.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]

ch.qos.logback.classic.net

├─ ch.qos.logback.classic.net.LoggingEventPreSerializationTransformer.class - [JAR]

├─ ch.qos.logback.classic.net.ReceiverBase.class - [JAR]

├─ ch.qos.logback.classic.net.SMTPAppender.class - [JAR]

├─ ch.qos.logback.classic.net.SSLSocketAppender.class - [JAR]

├─ ch.qos.logback.classic.net.SSLSocketReceiver.class - [JAR]

├─ ch.qos.logback.classic.net.SimpleSSLSocketServer.class - [JAR]

├─ ch.qos.logback.classic.net.SimpleSocketServer.class - [JAR]

├─ ch.qos.logback.classic.net.SocketAcceptor.class - [JAR]

├─ ch.qos.logback.classic.net.SocketAppender.class - [JAR]

├─ ch.qos.logback.classic.net.SocketNode.class - [JAR]

├─ ch.qos.logback.classic.net.SocketReceiver.class - [JAR]

├─ ch.qos.logback.classic.net.SyslogAppender.class - [JAR]

ch.qos.logback.classic.pattern.color

├─ ch.qos.logback.classic.pattern.color.HighlightingCompositeConverter.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]

ch.qos.logback.classic.html

├─ ch.qos.logback.classic.html.DefaultCssBuilder.class - [JAR]

├─ ch.qos.logback.classic.html.DefaultThrowableRenderer.class - [JAR]

├─ ch.qos.logback.classic.html.HTMLLayout.class - [JAR]

├─ ch.qos.logback.classic.html.UrlCssBuilder.class - [JAR]

org.semanticweb.elk.util.hashing

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

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

org.checkerframework.checker.signedness.qual

├─ org.checkerframework.checker.signedness.qual.PolySigned.class - [JAR]

├─ org.checkerframework.checker.signedness.qual.Signed.class - [JAR]

├─ org.checkerframework.checker.signedness.qual.SignedPositive.class - [JAR]

├─ org.checkerframework.checker.signedness.qual.SignednessBottom.class - [JAR]

├─ org.checkerframework.checker.signedness.qual.SignednessGlb.class - [JAR]

├─ org.checkerframework.checker.signedness.qual.UnknownSignedness.class - [JAR]

├─ org.checkerframework.checker.signedness.qual.Unsigned.class - [JAR]

ch.qos.logback.core.joran.action

├─ ch.qos.logback.core.joran.action.Action.class - [JAR]

├─ ch.qos.logback.core.joran.action.ActionUtil.class - [JAR]

├─ ch.qos.logback.core.joran.action.AppenderAction.class - [JAR]

├─ ch.qos.logback.core.joran.action.AppenderRefAction.class - [JAR]

├─ ch.qos.logback.core.joran.action.BaseModelAction.class - [JAR]

├─ ch.qos.logback.core.joran.action.ContextPropertyAction.class - [JAR]

├─ ch.qos.logback.core.joran.action.ConversionRuleAction.class - [JAR]

├─ ch.qos.logback.core.joran.action.DefinePropertyAction.class - [JAR]

├─ ch.qos.logback.core.joran.action.EventEvaluatorAction.class - [JAR]

├─ ch.qos.logback.core.joran.action.ImcplicitActionDataForBasicProperty.class - [JAR]

├─ ch.qos.logback.core.joran.action.ImplicitModelAction.class - [JAR]

├─ ch.qos.logback.core.joran.action.ImplicitModelData.class - [JAR]

├─ ch.qos.logback.core.joran.action.ImplicitModelDataForComplexProperty.class - [JAR]

├─ ch.qos.logback.core.joran.action.ImportAction.class - [JAR]

├─ ch.qos.logback.core.joran.action.IncludeAction.class - [JAR]

├─ ch.qos.logback.core.joran.action.NOPAction.class - [JAR]

├─ ch.qos.logback.core.joran.action.NewRuleAction.class - [JAR]

├─ ch.qos.logback.core.joran.action.ParamAction.class - [JAR]

├─ ch.qos.logback.core.joran.action.PreconditionValidator.class - [JAR]

├─ ch.qos.logback.core.joran.action.PropertyAction.class - [JAR]

├─ ch.qos.logback.core.joran.action.SequenceNumberGeneratorAction.class - [JAR]

├─ ch.qos.logback.core.joran.action.SerializeModelAction.class - [JAR]

├─ ch.qos.logback.core.joran.action.ShutdownHookAction.class - [JAR]

├─ ch.qos.logback.core.joran.action.SiftAction.class - [JAR]

├─ ch.qos.logback.core.joran.action.StatusListenerAction.class - [JAR]

├─ ch.qos.logback.core.joran.action.TimestampAction.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]

ch.qos.logback.classic.sift

├─ ch.qos.logback.classic.sift.ContextBasedDiscriminator.class - [JAR]

├─ ch.qos.logback.classic.sift.JNDIBasedContextDiscriminator.class - [JAR]

├─ ch.qos.logback.classic.sift.MDCBasedDiscriminator.class - [JAR]

├─ ch.qos.logback.classic.sift.SiftingAppender.class - [JAR]

org.checkerframework.common.subtyping.qual

├─ org.checkerframework.common.subtyping.qual.Bottom.class - [JAR]

├─ org.checkerframework.common.subtyping.qual.Unqualified.class - [JAR]

org.slf4j.event

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

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

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

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

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

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

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

org.checkerframework.dataflow.qual

├─ org.checkerframework.dataflow.qual.AssertMethod.class - [JAR]

├─ org.checkerframework.dataflow.qual.Deterministic.class - [JAR]

├─ org.checkerframework.dataflow.qual.Impure.class - [JAR]

├─ org.checkerframework.dataflow.qual.Pure.class - [JAR]

├─ org.checkerframework.dataflow.qual.SideEffectFree.class - [JAR]

├─ org.checkerframework.dataflow.qual.TerminatesExecution.class - [JAR]

org.semanticweb.elk.reasoner.proof

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

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

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

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

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

ch.qos.logback.core.net.server

├─ ch.qos.logback.core.net.server.AbstractServerSocketAppender.class - [JAR]

├─ ch.qos.logback.core.net.server.Client.class - [JAR]

├─ ch.qos.logback.core.net.server.ClientVisitor.class - [JAR]

├─ ch.qos.logback.core.net.server.ConcurrentServerRunner.class - [JAR]

├─ ch.qos.logback.core.net.server.RemoteReceiverClient.class - [JAR]

├─ ch.qos.logback.core.net.server.RemoteReceiverServerListener.class - [JAR]

├─ ch.qos.logback.core.net.server.RemoteReceiverServerRunner.class - [JAR]

├─ ch.qos.logback.core.net.server.RemoteReceiverStreamClient.class - [JAR]

├─ ch.qos.logback.core.net.server.SSLServerSocketAppenderBase.class - [JAR]

├─ ch.qos.logback.core.net.server.ServerListener.class - [JAR]

├─ ch.qos.logback.core.net.server.ServerRunner.class - [JAR]

├─ ch.qos.logback.core.net.server.ServerSocketListener.class - [JAR]

ch.qos.logback.core.subst

├─ ch.qos.logback.core.subst.Node.class - [JAR]

├─ ch.qos.logback.core.subst.NodeToStringTransformer.class - [JAR]

├─ ch.qos.logback.core.subst.Parser.class - [JAR]

├─ ch.qos.logback.core.subst.Token.class - [JAR]

├─ ch.qos.logback.core.subst.Tokenizer.class - [JAR]

com.google.j2objc.annotations

├─ com.google.j2objc.annotations.AutoreleasePool.class - [JAR]

├─ com.google.j2objc.annotations.GenerateObjectiveCGenerics.class - [JAR]

├─ com.google.j2objc.annotations.J2ObjCIncompatible.class - [JAR]

├─ com.google.j2objc.annotations.LoopTranslation.class - [JAR]

├─ com.google.j2objc.annotations.ObjectiveCName.class - [JAR]

├─ com.google.j2objc.annotations.OnDealloc.class - [JAR]

├─ com.google.j2objc.annotations.Property.class - [JAR]

├─ com.google.j2objc.annotations.ReflectionSupport.class - [JAR]

├─ com.google.j2objc.annotations.RetainedLocalRef.class - [JAR]

├─ com.google.j2objc.annotations.RetainedWith.class - [JAR]

├─ com.google.j2objc.annotations.UsedByNative.class - [JAR]

├─ com.google.j2objc.annotations.UsedByReflection.class - [JAR]

├─ com.google.j2objc.annotations.Weak.class - [JAR]

├─ com.google.j2objc.annotations.WeakOuter.class - [JAR]

org.semanticweb.elk.reasoner.indexing.model

├─ 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.HasNegativeOccurrence.class - [JAR]

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

├─ org.semanticweb.elk.reasoner.indexing.model.HasPositiveOccurrence.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.IndexedComplexClassExpression.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.IndexedDefinedClass.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.IndexedPredefinedClass.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.IndexedSubObject.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.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.ModifiableIndexedDefinedClass.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.OccurrenceIncrement.class - [JAR]

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

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

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

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

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

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

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

├─ org.semanticweb.elk.reasoner.indexing.model.StructuralIndexedSubObject.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.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.CommonMatcher.class - [JAR]

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

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

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

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

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

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

├─ com.google.common.base.ExtraObjectsMethodsForWeb.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.IgnoreJRERequirement.class - [JAR]

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

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

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

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

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

├─ com.google.common.base.NullnessCasts.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.ParametricNullness.class - [JAR]

├─ com.google.common.base.PatternCompiler.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]

com.google.common.graph

├─ com.google.common.graph.AbstractBaseGraph.class - [JAR]

├─ com.google.common.graph.AbstractDirectedNetworkConnections.class - [JAR]

├─ com.google.common.graph.AbstractGraph.class - [JAR]

├─ com.google.common.graph.AbstractGraphBuilder.class - [JAR]

├─ com.google.common.graph.AbstractNetwork.class - [JAR]

├─ com.google.common.graph.AbstractUndirectedNetworkConnections.class - [JAR]

├─ com.google.common.graph.AbstractValueGraph.class - [JAR]

├─ com.google.common.graph.BaseGraph.class - [JAR]

├─ com.google.common.graph.DirectedGraphConnections.class - [JAR]

├─ com.google.common.graph.DirectedMultiNetworkConnections.class - [JAR]

├─ com.google.common.graph.DirectedNetworkConnections.class - [JAR]

├─ com.google.common.graph.EdgesConnecting.class - [JAR]

├─ com.google.common.graph.ElementOrder.class - [JAR]

├─ com.google.common.graph.ElementTypesAreNonnullByDefault.class - [JAR]

├─ com.google.common.graph.EndpointPair.class - [JAR]

├─ com.google.common.graph.EndpointPairIterator.class - [JAR]

├─ com.google.common.graph.ForwardingGraph.class - [JAR]

├─ com.google.common.graph.ForwardingNetwork.class - [JAR]

├─ com.google.common.graph.ForwardingValueGraph.class - [JAR]

├─ com.google.common.graph.Graph.class - [JAR]

├─ com.google.common.graph.GraphBuilder.class - [JAR]

├─ com.google.common.graph.GraphConnections.class - [JAR]

├─ com.google.common.graph.GraphConstants.class - [JAR]

├─ com.google.common.graph.Graphs.class - [JAR]

├─ com.google.common.graph.GraphsBridgeMethods.class - [JAR]

├─ com.google.common.graph.ImmutableGraph.class - [JAR]

├─ com.google.common.graph.ImmutableNetwork.class - [JAR]

├─ com.google.common.graph.ImmutableValueGraph.class - [JAR]

├─ com.google.common.graph.IncidentEdgeSet.class - [JAR]

├─ com.google.common.graph.InvalidatableSet.class - [JAR]

├─ com.google.common.graph.MapIteratorCache.class - [JAR]

├─ com.google.common.graph.MapRetrievalCache.class - [JAR]

├─ com.google.common.graph.MultiEdgesConnecting.class - [JAR]

├─ com.google.common.graph.MutableGraph.class - [JAR]

├─ com.google.common.graph.MutableNetwork.class - [JAR]

├─ com.google.common.graph.MutableValueGraph.class - [JAR]

├─ com.google.common.graph.Network.class - [JAR]

├─ com.google.common.graph.NetworkBuilder.class - [JAR]

├─ com.google.common.graph.NetworkConnections.class - [JAR]

├─ com.google.common.graph.ParametricNullness.class - [JAR]

├─ com.google.common.graph.PredecessorsFunction.class - [JAR]

├─ com.google.common.graph.StandardMutableGraph.class - [JAR]

├─ com.google.common.graph.StandardMutableNetwork.class - [JAR]

├─ com.google.common.graph.StandardMutableValueGraph.class - [JAR]

├─ com.google.common.graph.StandardNetwork.class - [JAR]

├─ com.google.common.graph.StandardValueGraph.class - [JAR]

├─ com.google.common.graph.SuccessorsFunction.class - [JAR]

├─ com.google.common.graph.Traverser.class - [JAR]

├─ com.google.common.graph.UndirectedGraphConnections.class - [JAR]

├─ com.google.common.graph.UndirectedMultiNetworkConnections.class - [JAR]

├─ com.google.common.graph.UndirectedNetworkConnections.class - [JAR]

├─ com.google.common.graph.ValueGraph.class - [JAR]

├─ com.google.common.graph.ValueGraphBuilder.class - [JAR]

├─ com.google.common.graph.package-info.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.semanticweb.elk.RevertibleAction.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]

ch.qos.logback.classic.selector

├─ ch.qos.logback.classic.selector.ContextJNDISelector.class - [JAR]

├─ ch.qos.logback.classic.selector.ContextSelector.class - [JAR]

├─ ch.qos.logback.classic.selector.DefaultContextSelector.class - [JAR]

ch.qos.logback.core.layout

├─ ch.qos.logback.core.layout.EchoLayout.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.ElementTypesAreNonnullByDefault.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.ParametricNullness.class - [JAR]

├─ com.google.common.cache.ReferenceEntry.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]

com.google.errorprone.annotations

├─ com.google.errorprone.annotations.CanIgnoreReturnValue.class - [JAR]

├─ com.google.errorprone.annotations.CheckReturnValue.class - [JAR]

├─ com.google.errorprone.annotations.CompatibleWith.class - [JAR]

├─ com.google.errorprone.annotations.CompileTimeConstant.class - [JAR]

├─ com.google.errorprone.annotations.DoNotCall.class - [JAR]

├─ com.google.errorprone.annotations.DoNotMock.class - [JAR]

├─ com.google.errorprone.annotations.ForOverride.class - [JAR]

├─ com.google.errorprone.annotations.FormatMethod.class - [JAR]

├─ com.google.errorprone.annotations.FormatString.class - [JAR]

├─ com.google.errorprone.annotations.Immutable.class - [JAR]

├─ com.google.errorprone.annotations.IncompatibleModifiers.class - [JAR]

├─ com.google.errorprone.annotations.InlineMe.class - [JAR]

├─ com.google.errorprone.annotations.InlineMeValidationDisabled.class - [JAR]

├─ com.google.errorprone.annotations.Keep.class - [JAR]

├─ com.google.errorprone.annotations.Modifier.class - [JAR]

├─ com.google.errorprone.annotations.MustBeClosed.class - [JAR]

├─ com.google.errorprone.annotations.NoAllocation.class - [JAR]

├─ com.google.errorprone.annotations.OverridingMethodsMustInvokeSuper.class - [JAR]

├─ com.google.errorprone.annotations.RequiredModifiers.class - [JAR]

├─ com.google.errorprone.annotations.RestrictedApi.class - [JAR]

├─ com.google.errorprone.annotations.SuppressPackageLocation.class - [JAR]

├─ com.google.errorprone.annotations.ThreadSafe.class - [JAR]

├─ com.google.errorprone.annotations.Var.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.ChangeIndexingProcessor.class - [JAR]

├─ org.semanticweb.elk.reasoner.indexing.classes.ClassQueryIndexingProcessor.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.HasOccurrenceDefaults.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.ModifiableIndexedClassEntityImpl.class - [JAR]

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

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

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

├─ org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedDefinedClassImpl.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.ModifiableIndexedObjectComplementOfImpl.class - [JAR]

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

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

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

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

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

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

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

├─ org.semanticweb.elk.reasoner.indexing.classes.ModifiableIndexedPropertyChainImpl.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.NullableModifiableIndexedObjectFactory.class - [JAR]

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

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

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

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

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

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

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

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

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

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

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

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

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

ch.qos.logback.core.property

├─ ch.qos.logback.core.property.CanonicalHostNamePropertyDefiner.class - [JAR]

├─ ch.qos.logback.core.property.FileExistsPropertyDefiner.class - [JAR]

├─ ch.qos.logback.core.property.ResourceExistsPropertyDefiner.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.checkerframework.common.aliasing.qual

├─ org.checkerframework.common.aliasing.qual.LeakedToResult.class - [JAR]

├─ org.checkerframework.common.aliasing.qual.MaybeAliased.class - [JAR]

├─ org.checkerframework.common.aliasing.qual.MaybeLeaked.class - [JAR]

├─ org.checkerframework.common.aliasing.qual.NonLeaked.class - [JAR]

├─ org.checkerframework.common.aliasing.qual.Unique.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.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.CombinedClassInferenceProducer.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]

ch.qos.logback.classic.selector.servlet

├─ ch.qos.logback.classic.selector.servlet.ContextDetachingSCL.class - [JAR]

├─ ch.qos.logback.classic.selector.servlet.LoggerContextFilter.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.LoggerFactoryFriend.class - [JAR]

├─ org.slf4j.MDC.class - [JAR]

├─ org.slf4j.Marker.class - [JAR]

├─ org.slf4j.MarkerFactory.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]

ch.qos.logback.classic.helpers

├─ ch.qos.logback.classic.helpers.MDCInsertingServletFilter.class - [JAR]

├─ ch.qos.logback.classic.helpers.WithLayoutListAppender.class - [JAR]

org.checkerframework.checker.optional.qual

├─ org.checkerframework.checker.optional.qual.EnsuresPresent.class - [JAR]

├─ org.checkerframework.checker.optional.qual.EnsuresPresentIf.class - [JAR]

├─ org.checkerframework.checker.optional.qual.MaybePresent.class - [JAR]

├─ org.checkerframework.checker.optional.qual.OptionalBottom.class - [JAR]

├─ org.checkerframework.checker.optional.qual.OptionalCreator.class - [JAR]

├─ org.checkerframework.checker.optional.qual.OptionalEliminator.class - [JAR]

├─ org.checkerframework.checker.optional.qual.OptionalPropagator.class - [JAR]

├─ org.checkerframework.checker.optional.qual.PolyPresent.class - [JAR]

├─ org.checkerframework.checker.optional.qual.Present.class - [JAR]

├─ org.checkerframework.checker.optional.qual.RequiresPresent.class - [JAR]

org.checkerframework.checker.i18nformatter.qual

├─ org.checkerframework.checker.i18nformatter.qual.I18nChecksFormat.class - [JAR]

├─ org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory.class - [JAR]

├─ org.checkerframework.checker.i18nformatter.qual.I18nFormat.class - [JAR]

├─ org.checkerframework.checker.i18nformatter.qual.I18nFormatBottom.class - [JAR]

├─ org.checkerframework.checker.i18nformatter.qual.I18nFormatFor.class - [JAR]

├─ org.checkerframework.checker.i18nformatter.qual.I18nInvalidFormat.class - [JAR]

├─ org.checkerframework.checker.i18nformatter.qual.I18nMakeFormat.class - [JAR]

├─ org.checkerframework.checker.i18nformatter.qual.I18nUnknownFormat.class - [JAR]

├─ org.checkerframework.checker.i18nformatter.qual.I18nValidFormat.class - [JAR]

ch.qos.logback.core.joran.util.beans

├─ ch.qos.logback.core.joran.util.beans.BeanDescription.class - [JAR]

├─ ch.qos.logback.core.joran.util.beans.BeanDescriptionCache.class - [JAR]

├─ ch.qos.logback.core.joran.util.beans.BeanDescriptionFactory.class - [JAR]

├─ ch.qos.logback.core.joran.util.beans.BeanUtil.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.checkerframework.checker.mustcall.qual

├─ org.checkerframework.checker.mustcall.qual.CreatesMustCallFor.class - [JAR]

├─ org.checkerframework.checker.mustcall.qual.InheritableMustCall.class - [JAR]

├─ org.checkerframework.checker.mustcall.qual.MustCall.class - [JAR]

├─ org.checkerframework.checker.mustcall.qual.MustCallAlias.class - [JAR]

├─ org.checkerframework.checker.mustcall.qual.MustCallUnknown.class - [JAR]

├─ org.checkerframework.checker.mustcall.qual.NotOwning.class - [JAR]

├─ org.checkerframework.checker.mustcall.qual.Owning.class - [JAR]

├─ org.checkerframework.checker.mustcall.qual.PolyMustCall.class - [JAR]

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

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

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

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

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

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

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

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

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

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

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

org.semanticweb.elk.reasoner.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]

ch.qos.logback.core.rolling.helper

├─ ch.qos.logback.core.rolling.helper.ArchiveRemover.class - [JAR]

├─ ch.qos.logback.core.rolling.helper.CompressionMode.class - [JAR]

├─ ch.qos.logback.core.rolling.helper.Compressor.class - [JAR]

├─ ch.qos.logback.core.rolling.helper.DateTokenConverter.class - [JAR]

├─ ch.qos.logback.core.rolling.helper.FileFilterUtil.class - [JAR]

├─ ch.qos.logback.core.rolling.helper.FileNamePattern.class - [JAR]

├─ ch.qos.logback.core.rolling.helper.FileStoreUtil.class - [JAR]

├─ ch.qos.logback.core.rolling.helper.IntegerTokenConverter.class - [JAR]

├─ ch.qos.logback.core.rolling.helper.MonoTypedConverter.class - [JAR]

├─ ch.qos.logback.core.rolling.helper.PeriodicityType.class - [JAR]

├─ ch.qos.logback.core.rolling.helper.RenameUtil.class - [JAR]

├─ ch.qos.logback.core.rolling.helper.RollingCalendar.class - [JAR]

├─ ch.qos.logback.core.rolling.helper.SizeAndTimeBasedArchiveRemover.class - [JAR]

├─ ch.qos.logback.core.rolling.helper.TimeBasedArchiveRemover.class - [JAR]

├─ ch.qos.logback.core.rolling.helper.TokenConverter.class - [JAR]

com.google.common.hash

├─ com.google.common.hash.AbstractByteHasher.class - [JAR]

├─ com.google.common.hash.AbstractCompositeHashFunction.class - [JAR]

├─ com.google.common.hash.AbstractHashFunction.class - [JAR]

├─ com.google.common.hash.AbstractHasher.class - [JAR]

├─ com.google.common.hash.AbstractNonStreamingHashFunction.class - [JAR]

├─ com.google.common.hash.AbstractStreamingHasher.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.ElementTypesAreNonnullByDefault.class - [JAR]

├─ com.google.common.hash.FarmHashFingerprint64.class - [JAR]

├─ com.google.common.hash.Fingerprint2011.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.IgnoreJRERequirement.class - [JAR]

├─ com.google.common.hash.ImmutableSupplier.class - [JAR]

├─ com.google.common.hash.Java8Compatibility.class - [JAR]

├─ com.google.common.hash.LittleEndianByteArray.class - [JAR]

├─ com.google.common.hash.LongAddable.class - [JAR]

├─ com.google.common.hash.LongAddables.class - [JAR]

├─ com.google.common.hash.LongAdder.class - [JAR]

├─ com.google.common.hash.MacHashFunction.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.ParametricNullness.class - [JAR]

├─ com.google.common.hash.PrimitiveSink.class - [JAR]

├─ com.google.common.hash.SipHashFunction.class - [JAR]

├─ com.google.common.hash.Striped64.class - [JAR]

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

ch.qos.logback.core.util

├─ ch.qos.logback.core.util.AggregationType.class - [JAR]

├─ ch.qos.logback.core.util.COWArrayList.class - [JAR]

├─ ch.qos.logback.core.util.CachingDateFormatter.class - [JAR]

├─ ch.qos.logback.core.util.CharSequenceState.class - [JAR]

├─ ch.qos.logback.core.util.CharSequenceToRegexMapper.class - [JAR]

├─ ch.qos.logback.core.util.CloseUtil.class - [JAR]

├─ ch.qos.logback.core.util.ContentTypeUtil.class - [JAR]

├─ ch.qos.logback.core.util.ContextUtil.class - [JAR]

├─ ch.qos.logback.core.util.DatePatternToRegexUtil.class - [JAR]

├─ ch.qos.logback.core.util.DefaultInvocationGate.class - [JAR]

├─ ch.qos.logback.core.util.DelayStrategy.class - [JAR]

├─ ch.qos.logback.core.util.Duration.class - [JAR]

├─ ch.qos.logback.core.util.DynamicClassLoadingException.class - [JAR]

├─ ch.qos.logback.core.util.EnvUtil.class - [JAR]

├─ ch.qos.logback.core.util.ExecutorServiceUtil.class - [JAR]

├─ ch.qos.logback.core.util.FileSize.class - [JAR]

├─ ch.qos.logback.core.util.FileUtil.class - [JAR]

├─ ch.qos.logback.core.util.FixedDelay.class - [JAR]

├─ ch.qos.logback.core.util.IncompatibleClassException.class - [JAR]

├─ ch.qos.logback.core.util.InterruptUtil.class - [JAR]

├─ ch.qos.logback.core.util.InvocationGate.class - [JAR]

├─ ch.qos.logback.core.util.JNDIUtil.class - [JAR]

├─ ch.qos.logback.core.util.Loader.class - [JAR]

├─ ch.qos.logback.core.util.LocationUtil.class - [JAR]

├─ ch.qos.logback.core.util.NetworkAddressUtil.class - [JAR]

├─ ch.qos.logback.core.util.OptionHelper.class - [JAR]

├─ ch.qos.logback.core.util.PropertySetterException.class - [JAR]

├─ ch.qos.logback.core.util.ReflectionUtil.class - [JAR]

├─ ch.qos.logback.core.util.SimpleInvocationGate.class - [JAR]

├─ ch.qos.logback.core.util.StatusListenerConfigHelper.class - [JAR]

├─ ch.qos.logback.core.util.StatusPrinter.class - [JAR]

├─ ch.qos.logback.core.util.StringCollectionUtil.class - [JAR]

├─ ch.qos.logback.core.util.SystemInfo.class - [JAR]

├─ ch.qos.logback.core.util.TimeUtil.class - [JAR]

org.checkerframework.checker.nullness.qual

├─ org.checkerframework.checker.nullness.qual.AssertNonNullIfNonNull.class - [JAR]

├─ org.checkerframework.checker.nullness.qual.EnsuresKeyFor.class - [JAR]

├─ org.checkerframework.checker.nullness.qual.EnsuresKeyForIf.class - [JAR]

├─ org.checkerframework.checker.nullness.qual.EnsuresNonNull.class - [JAR]

├─ org.checkerframework.checker.nullness.qual.EnsuresNonNullIf.class - [JAR]

├─ org.checkerframework.checker.nullness.qual.KeyFor.class - [JAR]

├─ org.checkerframework.checker.nullness.qual.KeyForBottom.class - [JAR]

├─ org.checkerframework.checker.nullness.qual.MonotonicNonNull.class - [JAR]

├─ org.checkerframework.checker.nullness.qual.NonNull.class - [JAR]

├─ org.checkerframework.checker.nullness.qual.Nullable.class - [JAR]

├─ org.checkerframework.checker.nullness.qual.PolyKeyFor.class - [JAR]

├─ org.checkerframework.checker.nullness.qual.PolyNull.class - [JAR]

├─ org.checkerframework.checker.nullness.qual.RequiresNonNull.class - [JAR]

├─ org.checkerframework.checker.nullness.qual.UnknownKeyFor.class - [JAR]

com.google.common.math

├─ com.google.common.math.BigDecimalMath.class - [JAR]

├─ 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.ElementTypesAreNonnullByDefault.class - [JAR]

├─ com.google.common.math.IntMath.class - [JAR]

├─ com.google.common.math.LinearTransformation.class - [JAR]

├─ com.google.common.math.LongMath.class - [JAR]

├─ com.google.common.math.MathPreconditions.class - [JAR]

├─ com.google.common.math.PairedStats.class - [JAR]

├─ com.google.common.math.PairedStatsAccumulator.class - [JAR]

├─ com.google.common.math.ParametricNullness.class - [JAR]

├─ com.google.common.math.Quantiles.class - [JAR]

├─ com.google.common.math.Stats.class - [JAR]

├─ com.google.common.math.StatsAccumulator.class - [JAR]

├─ com.google.common.math.ToDoubleRounder.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.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.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.SubClassInclusionComposedOfDecomposed.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]

ch.qos.logback.classic

├─ ch.qos.logback.classic.AsyncAppender.class - [JAR]

├─ ch.qos.logback.classic.BasicConfigurator.class - [JAR]

├─ ch.qos.logback.classic.ClassicConstants.class - [JAR]

├─ ch.qos.logback.classic.Level.class - [JAR]

├─ ch.qos.logback.classic.Logger.class - [JAR]

├─ ch.qos.logback.classic.LoggerContext.class - [JAR]

├─ ch.qos.logback.classic.PatternLayout.class - [JAR]

├─ ch.qos.logback.classic.ViewStatusMessagesServlet.class - [JAR]

ch.qos.logback.core.joran.spi

├─ ch.qos.logback.core.joran.spi.ActionException.class - [JAR]

├─ ch.qos.logback.core.joran.spi.CAI_WithLocatorSupport.class - [JAR]

├─ ch.qos.logback.core.joran.spi.ConfigurationWatchList.class - [JAR]

├─ ch.qos.logback.core.joran.spi.ConsoleTarget.class - [JAR]

├─ ch.qos.logback.core.joran.spi.DefaultClass.class - [JAR]

├─ ch.qos.logback.core.joran.spi.DefaultNestedComponentRegistry.class - [JAR]

├─ ch.qos.logback.core.joran.spi.ElementPath.class - [JAR]

├─ ch.qos.logback.core.joran.spi.ElementSelector.class - [JAR]

├─ ch.qos.logback.core.joran.spi.EventPlayer.class - [JAR]

├─ ch.qos.logback.core.joran.spi.HostClassAndPropertyDouble.class - [JAR]

├─ ch.qos.logback.core.joran.spi.JoranException.class - [JAR]

├─ ch.qos.logback.core.joran.spi.NewRuleProvider.class - [JAR]

├─ ch.qos.logback.core.joran.spi.NoAutoStart.class - [JAR]

├─ ch.qos.logback.core.joran.spi.NoAutoStartUtil.class - [JAR]

├─ ch.qos.logback.core.joran.spi.RuleStore.class - [JAR]

├─ ch.qos.logback.core.joran.spi.SaxEventInterpretationContext.class - [JAR]

├─ ch.qos.logback.core.joran.spi.SaxEventInterpreter.class - [JAR]

├─ ch.qos.logback.core.joran.spi.SimpleRuleStore.class - [JAR]

├─ ch.qos.logback.core.joran.spi.XMLUtil.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.util.collections.entryset.GenericStructuralObject.class - [JAR]

├─ org.semanticweb.elk.util.collections.entryset.StructuralObject.class - [JAR]

ch.qos.logback.core.model.processor.conditional

├─ ch.qos.logback.core.model.processor.conditional.ElseModelHandler.class - [JAR]

├─ ch.qos.logback.core.model.processor.conditional.IfModelHandler.class - [JAR]

├─ ch.qos.logback.core.model.processor.conditional.ThenModelHandler.class - [JAR]

ch.qos.logback.classic.model.processor

├─ ch.qos.logback.classic.model.processor.ConfigurationModelHandler.class - [JAR]

├─ ch.qos.logback.classic.model.processor.ConfigurationModelHandlerFull.class - [JAR]

├─ ch.qos.logback.classic.model.processor.ContextNameModelHandler.class - [JAR]

├─ ch.qos.logback.classic.model.processor.LevelModelHandler.class - [JAR]

├─ ch.qos.logback.classic.model.processor.LogbackClassicDefaultNestedComponentRules.class - [JAR]

├─ ch.qos.logback.classic.model.processor.LoggerContextListenerModelHandler.class - [JAR]

├─ ch.qos.logback.classic.model.processor.LoggerModelHandler.class - [JAR]

├─ ch.qos.logback.classic.model.processor.ReceiverModelHandler.class - [JAR]

├─ ch.qos.logback.classic.model.processor.RootLoggerModelHandler.class - [JAR]

org.semanticweb.elk.reasoner.query

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

├─ org.semanticweb.elk.reasoner.query.AbstractIndexedEntailmentQuery.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.CompleteQueryResult.class - [JAR]

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

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

├─ org.semanticweb.elk.reasoner.query.ElkQueryAxiomIndexingVisitor.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.EquivalentClassesEntailmentQuery.class - [JAR]

├─ org.semanticweb.elk.reasoner.query.EquivalentClassesQueryResult.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.QueryNode.class - [JAR]

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

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

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

├─ org.semanticweb.elk.reasoner.query.VerifiableQueryResult.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.checkerframework.checker.propkey.qual

├─ org.checkerframework.checker.propkey.qual.PropertyKey.class - [JAR]

├─ org.checkerframework.checker.propkey.qual.PropertyKeyBottom.class - [JAR]

├─ org.checkerframework.checker.propkey.qual.UnknownPropertyKey.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]

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]

ch.qos.logback.classic.joran.action

├─ ch.qos.logback.classic.joran.action.ClassicEvaluatorAction.class - [JAR]

├─ ch.qos.logback.classic.joran.action.ConfigurationAction.class - [JAR]

├─ ch.qos.logback.classic.joran.action.ConsolePluginAction.class - [JAR]

├─ ch.qos.logback.classic.joran.action.ContextNameAction.class - [JAR]

├─ ch.qos.logback.classic.joran.action.InsertFromJNDIAction.class - [JAR]

├─ ch.qos.logback.classic.joran.action.LevelAction.class - [JAR]

├─ ch.qos.logback.classic.joran.action.LoggerAction.class - [JAR]

├─ ch.qos.logback.classic.joran.action.LoggerContextListenerAction.class - [JAR]

├─ ch.qos.logback.classic.joran.action.ReceiverAction.class - [JAR]

├─ ch.qos.logback.classic.joran.action.RootLoggerAction.class - [JAR]

org.checkerframework.checker.initialization.qual

├─ org.checkerframework.checker.initialization.qual.FBCBottom.class - [JAR]

├─ org.checkerframework.checker.initialization.qual.Initialized.class - [JAR]

├─ org.checkerframework.checker.initialization.qual.NotOnlyInitialized.class - [JAR]

├─ org.checkerframework.checker.initialization.qual.UnderInitialization.class - [JAR]

├─ org.checkerframework.checker.initialization.qual.UnknownInitialization.class - [JAR]

ch.qos.logback.core.encoder

├─ ch.qos.logback.core.encoder.ByteArrayUtil.class - [JAR]

├─ ch.qos.logback.core.encoder.EchoEncoder.class - [JAR]

├─ ch.qos.logback.core.encoder.Encoder.class - [JAR]

├─ ch.qos.logback.core.encoder.EncoderBase.class - [JAR]

├─ ch.qos.logback.core.encoder.JsonEscapeUtil.class - [JAR]

├─ ch.qos.logback.core.encoder.LayoutWrappingEncoder.class - [JAR]

├─ ch.qos.logback.core.encoder.NonClosableInputStream.class - [JAR]

org.semanticweb.elk.owl.comparison

├─ org.semanticweb.elk.owl.comparison.ElkObjectEquality.class - [JAR]

├─ org.semanticweb.elk.owl.comparison.ElkObjectHash.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]

ch.qos.logback.classic.net.server

├─ ch.qos.logback.classic.net.server.HardenedLoggingEventInputStream.class - [JAR]

├─ ch.qos.logback.classic.net.server.RemoteAppenderClient.class - [JAR]

├─ ch.qos.logback.classic.net.server.RemoteAppenderServerListener.class - [JAR]

├─ ch.qos.logback.classic.net.server.RemoteAppenderServerRunner.class - [JAR]

├─ ch.qos.logback.classic.net.server.RemoteAppenderStreamClient.class - [JAR]

├─ ch.qos.logback.classic.net.server.SSLServerSocketAppender.class - [JAR]

├─ ch.qos.logback.classic.net.server.SSLServerSocketReceiver.class - [JAR]

├─ ch.qos.logback.classic.net.server.ServerSocketAppender.class - [JAR]

├─ ch.qos.logback.classic.net.server.ServerSocketReceiver.class - [JAR]

org.slf4j.helpers

├─ org.slf4j.helpers.AbstractLogger.class - [JAR]

├─ org.slf4j.helpers.BasicMDCAdapter.class - [JAR]

├─ org.slf4j.helpers.BasicMarker.class - [JAR]

├─ org.slf4j.helpers.BasicMarkerFactory.class - [JAR]

├─ org.slf4j.helpers.CheckReturnValue.class - [JAR]

├─ org.slf4j.helpers.FormattingTuple.class - [JAR]

├─ org.slf4j.helpers.LegacyAbstractLogger.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.NOP_FallbackServiceProvider.class - [JAR]

├─ org.slf4j.helpers.NamedLoggerBase.class - [JAR]

├─ org.slf4j.helpers.NormalizedParameters.class - [JAR]

├─ org.slf4j.helpers.Reporter.class - [JAR]

├─ org.slf4j.helpers.SubstituteLogger.class - [JAR]

├─ org.slf4j.helpers.SubstituteLoggerFactory.class - [JAR]

├─ org.slf4j.helpers.SubstituteServiceProvider.class - [JAR]

├─ org.slf4j.helpers.ThreadLocalMapOfStacks.class - [JAR]

├─ org.slf4j.helpers.Util.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.ElkIndexingUnsupportedFeature.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]

ch.qos.logback.core.pattern.util

├─ ch.qos.logback.core.pattern.util.AlmostAsIsEscapeUtil.class - [JAR]

├─ ch.qos.logback.core.pattern.util.AsIsEscapeUtil.class - [JAR]

├─ ch.qos.logback.core.pattern.util.IEscapeUtil.class - [JAR]

├─ ch.qos.logback.core.pattern.util.RegularEscapeUtil.class - [JAR]

├─ ch.qos.logback.core.pattern.util.RestrictedEscapeUtil.class - [JAR]

org.semanticweb.elk.reasoner.incremental

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

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

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

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

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

org.semanticweb.elk.reasoner.saturation.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.OwlNothingDecompositionRule.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]

ch.qos.logback.core.pattern.color

├─ ch.qos.logback.core.pattern.color.ANSIConstants.class - [JAR]

├─ ch.qos.logback.core.pattern.color.BlackCompositeConverter.class - [JAR]

├─ ch.qos.logback.core.pattern.color.BlueCompositeConverter.class - [JAR]

├─ ch.qos.logback.core.pattern.color.BoldBlueCompositeConverter.class - [JAR]

├─ ch.qos.logback.core.pattern.color.BoldCyanCompositeConverter.class - [JAR]

├─ ch.qos.logback.core.pattern.color.BoldGreenCompositeConverter.class - [JAR]

├─ ch.qos.logback.core.pattern.color.BoldMagentaCompositeConverter.class - [JAR]

├─ ch.qos.logback.core.pattern.color.BoldRedCompositeConverter.class - [JAR]

├─ ch.qos.logback.core.pattern.color.BoldWhiteCompositeConverter.class - [JAR]

├─ ch.qos.logback.core.pattern.color.BoldYellowCompositeConverter.class - [JAR]

├─ ch.qos.logback.core.pattern.color.CyanCompositeConverter.class - [JAR]

├─ ch.qos.logback.core.pattern.color.ForegroundCompositeConverterBase.class - [JAR]

├─ ch.qos.logback.core.pattern.color.GrayCompositeConverter.class - [JAR]

├─ ch.qos.logback.core.pattern.color.GreenCompositeConverter.class - [JAR]

├─ ch.qos.logback.core.pattern.color.MagentaCompositeConverter.class - [JAR]

├─ ch.qos.logback.core.pattern.color.RedCompositeConverter.class - [JAR]

├─ ch.qos.logback.core.pattern.color.WhiteCompositeConverter.class - [JAR]

├─ ch.qos.logback.core.pattern.color.YellowCompositeConverter.class - [JAR]

ch.qos.logback.classic.joran.serializedModel

├─ ch.qos.logback.classic.joran.serializedModel.HardenedModelInputStream.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.DoublesMethodsForWeb.class - [JAR]

├─ com.google.common.primitives.ElementTypesAreNonnullByDefault.class - [JAR]

├─ com.google.common.primitives.Floats.class - [JAR]

├─ com.google.common.primitives.FloatsMethodsForWeb.class - [JAR]

├─ com.google.common.primitives.ImmutableDoubleArray.class - [JAR]

├─ com.google.common.primitives.ImmutableIntArray.class - [JAR]

├─ com.google.common.primitives.ImmutableLongArray.class - [JAR]

├─ com.google.common.primitives.Ints.class - [JAR]

├─ com.google.common.primitives.IntsMethodsForWeb.class - [JAR]

├─ com.google.common.primitives.Longs.class - [JAR]

├─ com.google.common.primitives.ParametricNullness.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.ShortsMethodsForWeb.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.checkerframework.checker.index.qual

├─ org.checkerframework.checker.index.qual.EnsuresLTLengthOf.class - [JAR]

├─ org.checkerframework.checker.index.qual.EnsuresLTLengthOfIf.class - [JAR]

├─ org.checkerframework.checker.index.qual.GTENegativeOne.class - [JAR]

├─ org.checkerframework.checker.index.qual.HasSubsequence.class - [JAR]

├─ org.checkerframework.checker.index.qual.IndexFor.class - [JAR]

├─ org.checkerframework.checker.index.qual.IndexOrHigh.class - [JAR]

├─ org.checkerframework.checker.index.qual.IndexOrLow.class - [JAR]

├─ org.checkerframework.checker.index.qual.LTEqLengthOf.class - [JAR]

├─ org.checkerframework.checker.index.qual.LTLengthOf.class - [JAR]

├─ org.checkerframework.checker.index.qual.LTOMLengthOf.class - [JAR]

├─ org.checkerframework.checker.index.qual.LengthOf.class - [JAR]

├─ org.checkerframework.checker.index.qual.LessThan.class - [JAR]

├─ org.checkerframework.checker.index.qual.LessThanBottom.class - [JAR]

├─ org.checkerframework.checker.index.qual.LessThanUnknown.class - [JAR]

├─ org.checkerframework.checker.index.qual.LowerBoundBottom.class - [JAR]

├─ org.checkerframework.checker.index.qual.LowerBoundUnknown.class - [JAR]

├─ org.checkerframework.checker.index.qual.NegativeIndexFor.class - [JAR]

├─ org.checkerframework.checker.index.qual.NonNegative.class - [JAR]

├─ org.checkerframework.checker.index.qual.PolyIndex.class - [JAR]

├─ org.checkerframework.checker.index.qual.PolyLength.class - [JAR]

├─ org.checkerframework.checker.index.qual.PolyLowerBound.class - [JAR]

├─ org.checkerframework.checker.index.qual.PolySameLen.class - [JAR]

├─ org.checkerframework.checker.index.qual.PolyUpperBound.class - [JAR]

├─ org.checkerframework.checker.index.qual.Positive.class - [JAR]

├─ org.checkerframework.checker.index.qual.SameLen.class - [JAR]

├─ org.checkerframework.checker.index.qual.SameLenBottom.class - [JAR]

├─ org.checkerframework.checker.index.qual.SameLenUnknown.class - [JAR]

├─ org.checkerframework.checker.index.qual.SearchIndexBottom.class - [JAR]

├─ org.checkerframework.checker.index.qual.SearchIndexFor.class - [JAR]

├─ org.checkerframework.checker.index.qual.SearchIndexUnknown.class - [JAR]

├─ org.checkerframework.checker.index.qual.SubstringIndexBottom.class - [JAR]

├─ org.checkerframework.checker.index.qual.SubstringIndexFor.class - [JAR]

├─ org.checkerframework.checker.index.qual.SubstringIndexUnknown.class - [JAR]

├─ org.checkerframework.checker.index.qual.UpperBoundBottom.class - [JAR]

├─ org.checkerframework.checker.index.qual.UpperBoundLiteral.class - [JAR]

├─ org.checkerframework.checker.index.qual.UpperBoundUnknown.class - [JAR]

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

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

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

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

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

ch.qos.logback.classic.joran

├─ ch.qos.logback.classic.joran.JoranConfigurator.class - [JAR]

├─ ch.qos.logback.classic.joran.ModelClassToModelHandlerLinker.class - [JAR]

├─ ch.qos.logback.classic.joran.ReconfigureOnChangeTask.class - [JAR]

├─ ch.qos.logback.classic.joran.ReconfigureOnChangeTaskListener.class - [JAR]

├─ ch.qos.logback.classic.joran.SerializedModelConfigurator.class - [JAR]

org.checkerframework.common.initializedfields.qual

├─ org.checkerframework.common.initializedfields.qual.EnsuresInitializedFields.class - [JAR]

├─ org.checkerframework.common.initializedfields.qual.InitializedFields.class - [JAR]

├─ org.checkerframework.common.initializedfields.qual.InitializedFieldsBottom.class - [JAR]

├─ org.checkerframework.common.initializedfields.qual.PolyInitializedFields.class - [JAR]

com.google.common.reflect

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

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

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

├─ com.google.common.reflect.IgnoreJRERequirement.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.ParametricNullness.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]

com.google.common.html

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

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

├─ com.google.common.html.ParametricNullness.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.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.RuleApplicationIncrementalAdditionSaturationFactory.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]

ch.qos.logback.core.rolling

├─ ch.qos.logback.core.rolling.DefaultTimeBasedFileNamingAndTriggeringPolicy.class - [JAR]

├─ ch.qos.logback.core.rolling.FixedWindowRollingPolicy.class - [JAR]

├─ ch.qos.logback.core.rolling.RollingFileAppender.class - [JAR]

├─ ch.qos.logback.core.rolling.RollingPolicy.class - [JAR]

├─ ch.qos.logback.core.rolling.RollingPolicyBase.class - [JAR]

├─ ch.qos.logback.core.rolling.RolloverFailure.class - [JAR]

├─ ch.qos.logback.core.rolling.SizeAndTimeBasedFNATP.class - [JAR]

├─ ch.qos.logback.core.rolling.SizeAndTimeBasedRollingPolicy.class - [JAR]

├─ ch.qos.logback.core.rolling.SizeBasedTriggeringPolicy.class - [JAR]

├─ ch.qos.logback.core.rolling.TimeBasedFileNamingAndTriggeringPolicy.class - [JAR]

├─ ch.qos.logback.core.rolling.TimeBasedFileNamingAndTriggeringPolicyBase.class - [JAR]

├─ ch.qos.logback.core.rolling.TimeBasedRollingPolicy.class - [JAR]

├─ ch.qos.logback.core.rolling.TriggeringPolicy.class - [JAR]

├─ ch.qos.logback.core.rolling.TriggeringPolicyBase.class - [JAR]

ch.qos.logback.classic.log4j

├─ ch.qos.logback.classic.log4j.XMLLayout.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.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.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.DerivedClassConclusionChecker.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.SaturationClassConclusionChecker.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.checkerframework.checker.fenum.qual

├─ org.checkerframework.checker.fenum.qual.AwtAlphaCompositingRule.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.AwtColorSpace.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.AwtCursorType.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.AwtFlowLayout.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.Fenum.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.FenumBottom.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.FenumTop.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.FenumUnqualified.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.PolyFenum.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.SwingBoxOrientation.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.SwingCompassDirection.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.SwingElementOrientation.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.SwingHorizontalOrientation.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.SwingSplitPaneOrientation.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.SwingTextOrientation.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.SwingTitleJustification.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.SwingTitlePosition.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.SwingVerticalOrientation.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.ElementTypesAreNonnullByDefault.class - [JAR]

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

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

├─ com.google.common.escape.ParametricNullness.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]

javax.annotation.meta

├─ javax.annotation.meta.Exclusive.class - [JAR]

├─ javax.annotation.meta.Exhaustive.class - [JAR]

├─ javax.annotation.meta.TypeQualifier.class - [JAR]

├─ javax.annotation.meta.TypeQualifierDefault.class - [JAR]

├─ javax.annotation.meta.TypeQualifierNickname.class - [JAR]

├─ javax.annotation.meta.TypeQualifierValidator.class - [JAR]

├─ javax.annotation.meta.When.class - [JAR]

ch.qos.logback.classic.jul

├─ ch.qos.logback.classic.jul.JULHelper.class - [JAR]

├─ ch.qos.logback.classic.jul.LevelChangePropagator.class - [JAR]

ch.qos.logback.classic.encoder

├─ ch.qos.logback.classic.encoder.JsonEncoder.class - [JAR]

├─ ch.qos.logback.classic.encoder.PatternLayoutEncoder.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]

ch.qos.logback.core.pattern.parser

├─ ch.qos.logback.core.pattern.parser.Compiler.class - [JAR]

├─ ch.qos.logback.core.pattern.parser.CompositeNode.class - [JAR]

├─ ch.qos.logback.core.pattern.parser.FormattingNode.class - [JAR]

├─ ch.qos.logback.core.pattern.parser.Node.class - [JAR]

├─ ch.qos.logback.core.pattern.parser.OptionTokenizer.class - [JAR]

├─ ch.qos.logback.core.pattern.parser.Parser.class - [JAR]

├─ ch.qos.logback.core.pattern.parser.SimpleKeywordNode.class - [JAR]

├─ ch.qos.logback.core.pattern.parser.Token.class - [JAR]

├─ ch.qos.logback.core.pattern.parser.TokenStream.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]

ch.qos.logback.core.testUtil

├─ ch.qos.logback.core.testUtil.CoreTestConstants.class - [JAR]

├─ ch.qos.logback.core.testUtil.DelayingListAppender.class - [JAR]

├─ ch.qos.logback.core.testUtil.EnvUtilForTests.class - [JAR]

├─ ch.qos.logback.core.testUtil.FileTestUtil.class - [JAR]

├─ ch.qos.logback.core.testUtil.FileToBufferUtil.class - [JAR]

├─ ch.qos.logback.core.testUtil.MockInitialContext.class - [JAR]

├─ ch.qos.logback.core.testUtil.MockInitialContextFactory.class - [JAR]

├─ ch.qos.logback.core.testUtil.NPEAppender.class - [JAR]

├─ ch.qos.logback.core.testUtil.RandomUtil.class - [JAR]

├─ ch.qos.logback.core.testUtil.StringListAppender.class - [JAR]

├─ ch.qos.logback.core.testUtil.TeeOutputStream.class - [JAR]

├─ ch.qos.logback.core.testUtil.TrivialStatusListener.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]

ch.qos.logback.classic.boolex

├─ ch.qos.logback.classic.boolex.IEvaluator.class - [JAR]

├─ ch.qos.logback.classic.boolex.JaninoEventEvaluator.class - [JAR]

├─ ch.qos.logback.classic.boolex.OnErrorEvaluator.class - [JAR]

├─ ch.qos.logback.classic.boolex.OnMarkerEvaluator.class - [JAR]

ch.qos.logback.classic.model

├─ ch.qos.logback.classic.model.ConfigurationModel.class - [JAR]

├─ ch.qos.logback.classic.model.ContextNameModel.class - [JAR]

├─ ch.qos.logback.classic.model.LevelModel.class - [JAR]

├─ ch.qos.logback.classic.model.LoggerContextListenerModel.class - [JAR]

├─ ch.qos.logback.classic.model.LoggerModel.class - [JAR]

├─ ch.qos.logback.classic.model.ReceiverModel.class - [JAR]

├─ ch.qos.logback.classic.model.RootLoggerModel.class - [JAR]

org.checkerframework.checker.interning.qual

├─ org.checkerframework.checker.interning.qual.CompareToMethod.class - [JAR]

├─ org.checkerframework.checker.interning.qual.EqualsMethod.class - [JAR]

├─ org.checkerframework.checker.interning.qual.FindDistinct.class - [JAR]

├─ org.checkerframework.checker.interning.qual.InternMethod.class - [JAR]

├─ org.checkerframework.checker.interning.qual.Interned.class - [JAR]

├─ org.checkerframework.checker.interning.qual.InternedDistinct.class - [JAR]

├─ org.checkerframework.checker.interning.qual.PolyInterned.class - [JAR]

├─ org.checkerframework.checker.interning.qual.UnknownInterned.class - [JAR]

├─ org.checkerframework.checker.interning.qual.UsesObjectEquals.class - [JAR]

ch.qos.logback.classic.pattern

├─ ch.qos.logback.classic.pattern.Abbreviator.class - [JAR]

├─ ch.qos.logback.classic.pattern.CallerDataConverter.class - [JAR]

├─ ch.qos.logback.classic.pattern.ClassNameOnlyAbbreviator.class - [JAR]

├─ ch.qos.logback.classic.pattern.ClassOfCallerConverter.class - [JAR]

├─ ch.qos.logback.classic.pattern.ClassicConverter.class - [JAR]

├─ ch.qos.logback.classic.pattern.ContextNameConverter.class - [JAR]

├─ ch.qos.logback.classic.pattern.DateConverter.class - [JAR]

├─ ch.qos.logback.classic.pattern.EnsureExceptionHandling.class - [JAR]

├─ ch.qos.logback.classic.pattern.ExtendedThrowableProxyConverter.class - [JAR]

├─ ch.qos.logback.classic.pattern.FileOfCallerConverter.class - [JAR]

├─ ch.qos.logback.classic.pattern.KeyValuePairConverter.class - [JAR]

├─ ch.qos.logback.classic.pattern.LevelConverter.class - [JAR]

├─ ch.qos.logback.classic.pattern.LineOfCallerConverter.class - [JAR]

├─ ch.qos.logback.classic.pattern.LineSeparatorConverter.class - [JAR]

├─ ch.qos.logback.classic.pattern.LocalSequenceNumberConverter.class - [JAR]

├─ ch.qos.logback.classic.pattern.LoggerConverter.class - [JAR]

├─ ch.qos.logback.classic.pattern.MDCConverter.class - [JAR]

├─ ch.qos.logback.classic.pattern.MarkerConverter.class - [JAR]

├─ ch.qos.logback.classic.pattern.MessageConverter.class - [JAR]

├─ ch.qos.logback.classic.pattern.MethodOfCallerConverter.class - [JAR]

├─ ch.qos.logback.classic.pattern.MicrosecondConverter.class - [JAR]

├─ ch.qos.logback.classic.pattern.NamedConverter.class - [JAR]

├─ ch.qos.logback.classic.pattern.NopThrowableInformationConverter.class - [JAR]

├─ ch.qos.logback.classic.pattern.PrefixCompositeConverter.class - [JAR]

├─ ch.qos.logback.classic.pattern.PropertyConverter.class - [JAR]

├─ ch.qos.logback.classic.pattern.RelativeTimeConverter.class - [JAR]

├─ ch.qos.logback.classic.pattern.RootCauseFirstThrowableProxyConverter.class - [JAR]

├─ ch.qos.logback.classic.pattern.SequenceNumberConverter.class - [JAR]

├─ ch.qos.logback.classic.pattern.SyslogStartConverter.class - [JAR]

├─ ch.qos.logback.classic.pattern.TargetLengthBasedClassNameAbbreviator.class - [JAR]

├─ ch.qos.logback.classic.pattern.TargetLengthBasedClassNameAbbreviator2.class - [JAR]

├─ ch.qos.logback.classic.pattern.ThreadConverter.class - [JAR]

├─ ch.qos.logback.classic.pattern.ThrowableHandlingConverter.class - [JAR]

├─ ch.qos.logback.classic.pattern.ThrowableProxyConverter.class - [JAR]

├─ ch.qos.logback.classic.pattern.Util.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]

ch.qos.logback.core.net.ssl

├─ ch.qos.logback.core.net.ssl.ConfigurableSSLServerSocketFactory.class - [JAR]

├─ ch.qos.logback.core.net.ssl.ConfigurableSSLSocketFactory.class - [JAR]

├─ ch.qos.logback.core.net.ssl.KeyManagerFactoryFactoryBean.class - [JAR]

├─ ch.qos.logback.core.net.ssl.KeyStoreFactoryBean.class - [JAR]

├─ ch.qos.logback.core.net.ssl.SSL.class - [JAR]

├─ ch.qos.logback.core.net.ssl.SSLComponent.class - [JAR]

├─ ch.qos.logback.core.net.ssl.SSLConfigurable.class - [JAR]

├─ ch.qos.logback.core.net.ssl.SSLConfigurableServerSocket.class - [JAR]

├─ ch.qos.logback.core.net.ssl.SSLConfigurableSocket.class - [JAR]

├─ ch.qos.logback.core.net.ssl.SSLConfiguration.class - [JAR]

├─ ch.qos.logback.core.net.ssl.SSLContextFactoryBean.class - [JAR]

├─ ch.qos.logback.core.net.ssl.SSLNestedComponentRegistryRules.class - [JAR]

├─ ch.qos.logback.core.net.ssl.SSLParametersConfiguration.class - [JAR]

├─ ch.qos.logback.core.net.ssl.SecureRandomFactoryBean.class - [JAR]

├─ ch.qos.logback.core.net.ssl.TrustManagerFactoryFactoryBean.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.J2ktIncompatible.class - [JAR]

├─ com.google.common.annotations.VisibleForTesting.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.CombinedElkAxiomProcessor.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]

ch.qos.logback.classic.filter

├─ ch.qos.logback.classic.filter.LevelFilter.class - [JAR]

├─ ch.qos.logback.classic.filter.ThresholdFilter.class - [JAR]

ch.qos.logback.core.model

├─ ch.qos.logback.core.model.AppenderModel.class - [JAR]

├─ ch.qos.logback.core.model.AppenderRefModel.class - [JAR]

├─ ch.qos.logback.core.model.ComponentModel.class - [JAR]

├─ ch.qos.logback.core.model.DefineModel.class - [JAR]

├─ ch.qos.logback.core.model.EventEvaluatorModel.class - [JAR]

├─ ch.qos.logback.core.model.INamedModel.class - [JAR]

├─ ch.qos.logback.core.model.ImplicitModel.class - [JAR]

├─ ch.qos.logback.core.model.ImportModel.class - [JAR]

├─ ch.qos.logback.core.model.IncludeModel.class - [JAR]

├─ ch.qos.logback.core.model.InsertFromJNDIModel.class - [JAR]

├─ ch.qos.logback.core.model.Model.class - [JAR]

├─ ch.qos.logback.core.model.ModelConstants.class - [JAR]

├─ ch.qos.logback.core.model.ModelHandlerFactoryMethod.class - [JAR]

├─ ch.qos.logback.core.model.ModelUtil.class - [JAR]

├─ ch.qos.logback.core.model.NamedComponentModel.class - [JAR]

├─ ch.qos.logback.core.model.NamedModel.class - [JAR]

├─ ch.qos.logback.core.model.ParamModel.class - [JAR]

├─ ch.qos.logback.core.model.PropertyModel.class - [JAR]

├─ ch.qos.logback.core.model.SequenceNumberGeneratorModel.class - [JAR]

├─ ch.qos.logback.core.model.SerializeModelModel.class - [JAR]

├─ ch.qos.logback.core.model.ShutdownHookModel.class - [JAR]

├─ ch.qos.logback.core.model.SiftModel.class - [JAR]

├─ ch.qos.logback.core.model.StatusListenerModel.class - [JAR]

├─ ch.qos.logback.core.model.TimestampModel.class - [JAR]

org.checkerframework.checker.regex.qual

├─ org.checkerframework.checker.regex.qual.PartialRegex.class - [JAR]

├─ org.checkerframework.checker.regex.qual.PolyRegex.class - [JAR]

├─ org.checkerframework.checker.regex.qual.Regex.class - [JAR]

├─ org.checkerframework.checker.regex.qual.RegexBottom.class - [JAR]

├─ org.checkerframework.checker.regex.qual.UnknownRegex.class - [JAR]

ch.qos.logback.core.joran.event

├─ ch.qos.logback.core.joran.event.BodyEvent.class - [JAR]

├─ ch.qos.logback.core.joran.event.EndEvent.class - [JAR]

├─ ch.qos.logback.core.joran.event.SaxEvent.class - [JAR]

├─ ch.qos.logback.core.joran.event.SaxEventRecorder.class - [JAR]

├─ ch.qos.logback.core.joran.event.StartEvent.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.owl.util

├─ org.semanticweb.elk.owl.util.ElkObjectPropertyExpressionInvertor.class - [JAR]

├─ org.semanticweb.elk.owl.util.OwlObjectNameVisitor.class - [JAR]

org.checkerframework.common.value.qual

├─ org.checkerframework.common.value.qual.ArrayLen.class - [JAR]

├─ org.checkerframework.common.value.qual.ArrayLenRange.class - [JAR]

├─ org.checkerframework.common.value.qual.BoolVal.class - [JAR]

├─ org.checkerframework.common.value.qual.BottomVal.class - [JAR]

├─ org.checkerframework.common.value.qual.DoesNotMatchRegex.class - [JAR]

├─ org.checkerframework.common.value.qual.DoubleVal.class - [JAR]

├─ org.checkerframework.common.value.qual.EnsuresMinLenIf.class - [JAR]

├─ org.checkerframework.common.value.qual.EnumVal.class - [JAR]

├─ org.checkerframework.common.value.qual.IntRange.class - [JAR]

├─ org.checkerframework.common.value.qual.IntRangeFromGTENegativeOne.class - [JAR]

├─ org.checkerframework.common.value.qual.IntRangeFromNonNegative.class - [JAR]

├─ org.checkerframework.common.value.qual.IntRangeFromPositive.class - [JAR]

├─ org.checkerframework.common.value.qual.IntVal.class - [JAR]

├─ org.checkerframework.common.value.qual.MatchesRegex.class - [JAR]

├─ org.checkerframework.common.value.qual.MinLen.class - [JAR]

├─ org.checkerframework.common.value.qual.MinLenFieldInvariant.class - [JAR]

├─ org.checkerframework.common.value.qual.PolyValue.class - [JAR]

├─ org.checkerframework.common.value.qual.StaticallyExecutable.class - [JAR]

├─ org.checkerframework.common.value.qual.StringVal.class - [JAR]

├─ org.checkerframework.common.value.qual.UnknownVal.class - [JAR]

org.checkerframework.checker.guieffect.qual

├─ org.checkerframework.checker.guieffect.qual.AlwaysSafe.class - [JAR]

├─ org.checkerframework.checker.guieffect.qual.PolyUI.class - [JAR]

├─ org.checkerframework.checker.guieffect.qual.PolyUIEffect.class - [JAR]

├─ org.checkerframework.checker.guieffect.qual.PolyUIType.class - [JAR]

├─ org.checkerframework.checker.guieffect.qual.SafeEffect.class - [JAR]

├─ org.checkerframework.checker.guieffect.qual.SafeType.class - [JAR]

├─ org.checkerframework.checker.guieffect.qual.UI.class - [JAR]

├─ org.checkerframework.checker.guieffect.qual.UIEffect.class - [JAR]

├─ org.checkerframework.checker.guieffect.qual.UIPackage.class - [JAR]

├─ org.checkerframework.checker.guieffect.qual.UIType.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.Counter.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.util.statistics

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

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

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

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

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

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

ch.qos.logback.classic.layout

├─ ch.qos.logback.classic.layout.TTLLLayout.class - [JAR]

ch.qos.logback.core.hook

├─ ch.qos.logback.core.hook.DefaultShutdownHook.class - [JAR]

├─ ch.qos.logback.core.hook.ShutdownHook.class - [JAR]

├─ ch.qos.logback.core.hook.ShutdownHookBase.class - [JAR]

com.google.common.util.concurrent

├─ com.google.common.util.concurrent.AbstractCatchingFuture.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.AbstractTransformFuture.class - [JAR]

├─ com.google.common.util.concurrent.AggregateFuture.class - [JAR]

├─ com.google.common.util.concurrent.AggregateFutureState.class - [JAR]

├─ com.google.common.util.concurrent.AsyncCallable.class - [JAR]

├─ com.google.common.util.concurrent.AsyncFunction.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.ClosingFuture.class - [JAR]

├─ com.google.common.util.concurrent.CollectionFuture.class - [JAR]

├─ com.google.common.util.concurrent.CombinedFuture.class - [JAR]

├─ com.google.common.util.concurrent.CycleDetectingLockFactory.class - [JAR]

├─ com.google.common.util.concurrent.DirectExecutor.class - [JAR]

├─ com.google.common.util.concurrent.ElementTypesAreNonnullByDefault.class - [JAR]

├─ com.google.common.util.concurrent.ExecutionError.class - [JAR]

├─ com.google.common.util.concurrent.ExecutionList.class - [JAR]

├─ com.google.common.util.concurrent.ExecutionSequencer.class - [JAR]

├─ com.google.common.util.concurrent.FakeTimeLimiter.class - [JAR]

├─ com.google.common.util.concurrent.FluentFuture.class - [JAR]

├─ com.google.common.util.concurrent.ForwardingBlockingDeque.class - [JAR]

├─ com.google.common.util.concurrent.ForwardingBlockingQueue.class - [JAR]

├─ com.google.common.util.concurrent.ForwardingCondition.class - [JAR]

├─ com.google.common.util.concurrent.ForwardingExecutorService.class - [JAR]

├─ com.google.common.util.concurrent.ForwardingFluentFuture.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.ForwardingLock.class - [JAR]

├─ com.google.common.util.concurrent.FutureCallback.class - [JAR]

├─ com.google.common.util.concurrent.Futures.class - [JAR]

├─ com.google.common.util.concurrent.FuturesGetChecked.class - [JAR]

├─ com.google.common.util.concurrent.GwtFluentFutureCatchingSpecialization.class - [JAR]

├─ com.google.common.util.concurrent.GwtFuturesCatchingSpecialization.class - [JAR]

├─ com.google.common.util.concurrent.ImmediateFuture.class - [JAR]

├─ com.google.common.util.concurrent.Internal.class - [JAR]

├─ com.google.common.util.concurrent.InterruptibleTask.class - [JAR]

├─ com.google.common.util.concurrent.JdkFutureAdapters.class - [JAR]

├─ com.google.common.util.concurrent.LazyLogger.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.NullnessCasts.class - [JAR]

├─ com.google.common.util.concurrent.OverflowAvoidingLockSupport.class - [JAR]

├─ com.google.common.util.concurrent.ParametricNullness.class - [JAR]

├─ com.google.common.util.concurrent.Partially.class - [JAR]

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

├─ com.google.common.util.concurrent.RateLimiter.class - [JAR]

├─ com.google.common.util.concurrent.Runnables.class - [JAR]

├─ com.google.common.util.concurrent.SequentialExecutor.class - [JAR]

├─ com.google.common.util.concurrent.Service.class - [JAR]

├─ com.google.common.util.concurrent.ServiceManager.class - [JAR]

├─ com.google.common.util.concurrent.ServiceManagerBridge.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.TimeoutFuture.class - [JAR]

├─ com.google.common.util.concurrent.TrustedListenableFutureTask.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]

javax.annotation

├─ javax.annotation.CheckForNull.class - [JAR]

├─ javax.annotation.CheckForSigned.class - [JAR]

├─ javax.annotation.CheckReturnValue.class - [JAR]

├─ javax.annotation.Detainted.class - [JAR]

├─ javax.annotation.MatchesPattern.class - [JAR]

├─ javax.annotation.Nonnegative.class - [JAR]

├─ javax.annotation.Nonnull.class - [JAR]

├─ javax.annotation.Nullable.class - [JAR]

├─ javax.annotation.OverridingMethodsMustInvokeSuper.class - [JAR]

├─ javax.annotation.ParametersAreNonnullByDefault.class - [JAR]

├─ javax.annotation.ParametersAreNullableByDefault.class - [JAR]

├─ javax.annotation.PropertyKey.class - [JAR]

├─ javax.annotation.RegEx.class - [JAR]

├─ javax.annotation.Signed.class - [JAR]

├─ javax.annotation.Syntax.class - [JAR]

├─ javax.annotation.Tainted.class - [JAR]

├─ javax.annotation.Untainted.class - [JAR]

├─ javax.annotation.WillClose.class - [JAR]

├─ javax.annotation.WillCloseWhenClosed.class - [JAR]

├─ javax.annotation.WillNotClose.class - [JAR]

ch.qos.logback.core.net

├─ ch.qos.logback.core.net.AbstractSSLSocketAppender.class - [JAR]

├─ ch.qos.logback.core.net.AbstractSocketAppender.class - [JAR]

├─ ch.qos.logback.core.net.AutoFlushingObjectWriter.class - [JAR]

├─ ch.qos.logback.core.net.DefaultSocketConnector.class - [JAR]

├─ ch.qos.logback.core.net.HardenedObjectInputStream.class - [JAR]

├─ ch.qos.logback.core.net.LoginAuthenticator.class - [JAR]

├─ ch.qos.logback.core.net.ObjectWriter.class - [JAR]

├─ ch.qos.logback.core.net.ObjectWriterFactory.class - [JAR]

├─ ch.qos.logback.core.net.QueueFactory.class - [JAR]

├─ ch.qos.logback.core.net.SMTPAppenderBase.class - [JAR]

├─ ch.qos.logback.core.net.SocketConnector.class - [JAR]

├─ ch.qos.logback.core.net.SyslogAppenderBase.class - [JAR]

├─ ch.qos.logback.core.net.SyslogConstants.class - [JAR]

├─ ch.qos.logback.core.net.SyslogOutputStream.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]

org.checkerframework.checker.formatter.qual

├─ org.checkerframework.checker.formatter.qual.ConversionCategory.class - [JAR]

├─ org.checkerframework.checker.formatter.qual.Format.class - [JAR]

├─ org.checkerframework.checker.formatter.qual.FormatBottom.class - [JAR]

├─ org.checkerframework.checker.formatter.qual.FormatMethod.class - [JAR]

├─ org.checkerframework.checker.formatter.qual.InvalidFormat.class - [JAR]

├─ org.checkerframework.checker.formatter.qual.ReturnsFormat.class - [JAR]

├─ org.checkerframework.checker.formatter.qual.UnknownFormat.class - [JAR]

org.checkerframework.checker.units.qual

├─ org.checkerframework.checker.units.qual.A.class - [JAR]

├─ org.checkerframework.checker.units.qual.Acceleration.class - [JAR]

├─ org.checkerframework.checker.units.qual.Angle.class - [JAR]

├─ org.checkerframework.checker.units.qual.Area.class - [JAR]

├─ org.checkerframework.checker.units.qual.C.class - [JAR]

├─ org.checkerframework.checker.units.qual.Current.class - [JAR]

├─ org.checkerframework.checker.units.qual.Force.class - [JAR]

├─ org.checkerframework.checker.units.qual.K.class - [JAR]

├─ org.checkerframework.checker.units.qual.Length.class - [JAR]

├─ org.checkerframework.checker.units.qual.Luminance.class - [JAR]

├─ org.checkerframework.checker.units.qual.Mass.class - [JAR]

├─ org.checkerframework.checker.units.qual.MixedUnits.class - [JAR]

├─ org.checkerframework.checker.units.qual.N.class - [JAR]

├─ org.checkerframework.checker.units.qual.PolyUnit.class - [JAR]

├─ org.checkerframework.checker.units.qual.Prefix.class - [JAR]

├─ org.checkerframework.checker.units.qual.Speed.class - [JAR]

├─ org.checkerframework.checker.units.qual.Substance.class - [JAR]

├─ org.checkerframework.checker.units.qual.Temperature.class - [JAR]

├─ org.checkerframework.checker.units.qual.Time.class - [JAR]

├─ org.checkerframework.checker.units.qual.UnitsBottom.class - [JAR]

├─ org.checkerframework.checker.units.qual.UnitsMultiple.class - [JAR]

├─ org.checkerframework.checker.units.qual.UnitsRelations.class - [JAR]

├─ org.checkerframework.checker.units.qual.UnknownUnits.class - [JAR]

├─ org.checkerframework.checker.units.qual.Volume.class - [JAR]

├─ org.checkerframework.checker.units.qual.cd.class - [JAR]

├─ org.checkerframework.checker.units.qual.degrees.class - [JAR]

├─ org.checkerframework.checker.units.qual.g.class - [JAR]

├─ org.checkerframework.checker.units.qual.h.class - [JAR]

├─ org.checkerframework.checker.units.qual.kN.class - [JAR]

├─ org.checkerframework.checker.units.qual.kg.class - [JAR]

├─ org.checkerframework.checker.units.qual.km.class - [JAR]

├─ org.checkerframework.checker.units.qual.km2.class - [JAR]

├─ org.checkerframework.checker.units.qual.km3.class - [JAR]

├─ org.checkerframework.checker.units.qual.kmPERh.class - [JAR]

├─ org.checkerframework.checker.units.qual.m.class - [JAR]

├─ org.checkerframework.checker.units.qual.m2.class - [JAR]

├─ org.checkerframework.checker.units.qual.m3.class - [JAR]

├─ org.checkerframework.checker.units.qual.mPERs.class - [JAR]

├─ org.checkerframework.checker.units.qual.mPERs2.class - [JAR]

├─ org.checkerframework.checker.units.qual.min.class - [JAR]

├─ org.checkerframework.checker.units.qual.mm.class - [JAR]

├─ org.checkerframework.checker.units.qual.mm2.class - [JAR]

├─ org.checkerframework.checker.units.qual.mm3.class - [JAR]

├─ org.checkerframework.checker.units.qual.mol.class - [JAR]

├─ org.checkerframework.checker.units.qual.radians.class - [JAR]

├─ org.checkerframework.checker.units.qual.s.class - [JAR]

├─ org.checkerframework.checker.units.qual.t.class - [JAR]

com.google.common.eventbus

├─ com.google.common.eventbus.AllowConcurrentEvents.class - [JAR]

├─ com.google.common.eventbus.AsyncEventBus.class - [JAR]

├─ com.google.common.eventbus.DeadEvent.class - [JAR]

├─ com.google.common.eventbus.Dispatcher.class - [JAR]

├─ com.google.common.eventbus.ElementTypesAreNonnullByDefault.class - [JAR]

├─ com.google.common.eventbus.EventBus.class - [JAR]

├─ com.google.common.eventbus.ParametricNullness.class - [JAR]

├─ com.google.common.eventbus.Subscribe.class - [JAR]

├─ com.google.common.eventbus.Subscriber.class - [JAR]

├─ com.google.common.eventbus.SubscriberExceptionContext.class - [JAR]

├─ com.google.common.eventbus.SubscriberExceptionHandler.class - [JAR]

├─ com.google.common.eventbus.SubscriberRegistry.class - [JAR]

├─ com.google.common.eventbus.package-info.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.ArrayListMultimapGwtSerializationDependencies.class - [JAR]

├─ com.google.common.collect.ArrayTable.class - [JAR]

├─ com.google.common.collect.BaseImmutableMultimap.class - [JAR]

├─ com.google.common.collect.BiMap.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.CollectCollectors.class - [JAR]

├─ com.google.common.collect.CollectPreconditions.class - [JAR]

├─ com.google.common.collect.CollectSpliterators.class - [JAR]

├─ com.google.common.collect.Collections2.class - [JAR]

├─ com.google.common.collect.CompactHashMap.class - [JAR]

├─ com.google.common.collect.CompactHashSet.class - [JAR]

├─ com.google.common.collect.CompactHashing.class - [JAR]

├─ com.google.common.collect.CompactLinkedHashMap.class - [JAR]

├─ com.google.common.collect.CompactLinkedHashSet.class - [JAR]

├─ com.google.common.collect.ComparatorOrdering.class - [JAR]

├─ com.google.common.collect.Comparators.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.ConcurrentHashMultiset.class - [JAR]

├─ com.google.common.collect.ConsumingQueueIterator.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.ElementTypesAreNonnullByDefault.class - [JAR]

├─ com.google.common.collect.EmptyContiguousSet.class - [JAR]

├─ com.google.common.collect.EmptyImmutableListMultimap.class - [JAR]

├─ com.google.common.collect.EmptyImmutableSetMultimap.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.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.HashMultimapGwtSerializationDependencies.class - [JAR]

├─ com.google.common.collect.HashMultiset.class - [JAR]

├─ com.google.common.collect.Hashing.class - [JAR]

├─ com.google.common.collect.IgnoreJRERequirement.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.ImmutableMultisetGwtSerializationDependencies.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.ImmutableSortedMultiset.class - [JAR]

├─ com.google.common.collect.ImmutableSortedSet.class - [JAR]

├─ com.google.common.collect.ImmutableTable.class - [JAR]

├─ com.google.common.collect.IndexedImmutableSet.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.JdkBackedImmutableBiMap.class - [JAR]

├─ com.google.common.collect.JdkBackedImmutableMap.class - [JAR]

├─ com.google.common.collect.JdkBackedImmutableMultiset.class - [JAR]

├─ com.google.common.collect.JdkBackedImmutableSet.class - [JAR]

├─ com.google.common.collect.LexicographicalOrdering.class - [JAR]

├─ com.google.common.collect.LinkedHashMultimap.class - [JAR]

├─ com.google.common.collect.LinkedHashMultimapGwtSerializationDependencies.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.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.MoreCollectors.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.NullnessCasts.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.ParametricNullness.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.RangeGwtSerializationDependencies.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.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.Streams.class - [JAR]

├─ com.google.common.collect.Synchronized.class - [JAR]

├─ com.google.common.collect.Table.class - [JAR]

├─ com.google.common.collect.TableCollectors.class - [JAR]

├─ com.google.common.collect.Tables.class - [JAR]

├─ com.google.common.collect.TopKSelector.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.package-info.class - [JAR]

org.checkerframework.checker.builder.qual

├─ org.checkerframework.checker.builder.qual.CalledMethods.class - [JAR]

├─ org.checkerframework.checker.builder.qual.NotCalledMethods.class - [JAR]

├─ org.checkerframework.checker.builder.qual.ReturnsReceiver.class - [JAR]

javax.annotation.concurrent

├─ javax.annotation.concurrent.GuardedBy.class - [JAR]

├─ javax.annotation.concurrent.Immutable.class - [JAR]

├─ javax.annotation.concurrent.NotThreadSafe.class - [JAR]

├─ javax.annotation.concurrent.ThreadSafe.class - [JAR]

ch.qos.logback.core.model.conditional

├─ ch.qos.logback.core.model.conditional.ElseModel.class - [JAR]

├─ ch.qos.logback.core.model.conditional.IfModel.class - [JAR]

├─ ch.qos.logback.core.model.conditional.ThenModel.class - [JAR]

ch.qos.logback.core.spi

├─ ch.qos.logback.core.spi.AbstractComponentTracker.class - [JAR]

├─ ch.qos.logback.core.spi.AppenderAttachable.class - [JAR]

├─ ch.qos.logback.core.spi.AppenderAttachableImpl.class - [JAR]

├─ ch.qos.logback.core.spi.BasicSequenceNumberGenerator.class - [JAR]

├─ ch.qos.logback.core.spi.ComponentTracker.class - [JAR]

├─ ch.qos.logback.core.spi.ConfigurationEvent.class - [JAR]

├─ ch.qos.logback.core.spi.ConfigurationEventListener.class - [JAR]

├─ ch.qos.logback.core.spi.ContextAware.class - [JAR]

├─ ch.qos.logback.core.spi.ContextAwareBase.class - [JAR]

├─ ch.qos.logback.core.spi.ContextAwareImpl.class - [JAR]

├─ ch.qos.logback.core.spi.CyclicBufferTracker.class - [JAR]

├─ ch.qos.logback.core.spi.DeferredProcessingAware.class - [JAR]

├─ ch.qos.logback.core.spi.ErrorCodes.class - [JAR]

├─ ch.qos.logback.core.spi.FilterAttachable.class - [JAR]

├─ ch.qos.logback.core.spi.FilterAttachableImpl.class - [JAR]

├─ ch.qos.logback.core.spi.FilterReply.class - [JAR]

├─ ch.qos.logback.core.spi.LifeCycle.class - [JAR]

├─ ch.qos.logback.core.spi.LogbackLock.class - [JAR]

├─ ch.qos.logback.core.spi.PreSerializationTransformer.class - [JAR]

├─ ch.qos.logback.core.spi.PropertyContainer.class - [JAR]

├─ ch.qos.logback.core.spi.PropertyDefiner.class - [JAR]

├─ ch.qos.logback.core.spi.ScanException.class - [JAR]

├─ ch.qos.logback.core.spi.SequenceNumberGenerator.class - [JAR]

org.checkerframework.common.reflection.qual

├─ org.checkerframework.common.reflection.qual.ClassBound.class - [JAR]

├─ org.checkerframework.common.reflection.qual.ClassVal.class - [JAR]

├─ org.checkerframework.common.reflection.qual.ClassValBottom.class - [JAR]

├─ org.checkerframework.common.reflection.qual.ForName.class - [JAR]

├─ org.checkerframework.common.reflection.qual.GetClass.class - [JAR]

├─ org.checkerframework.common.reflection.qual.GetConstructor.class - [JAR]

├─ org.checkerframework.common.reflection.qual.GetMethod.class - [JAR]

├─ org.checkerframework.common.reflection.qual.Invoke.class - [JAR]

├─ org.checkerframework.common.reflection.qual.MethodVal.class - [JAR]

├─ org.checkerframework.common.reflection.qual.MethodValBottom.class - [JAR]

├─ org.checkerframework.common.reflection.qual.NewInstance.class - [JAR]

├─ org.checkerframework.common.reflection.qual.UnknownClass.class - [JAR]

├─ org.checkerframework.common.reflection.qual.UnknownMethod.class - [JAR]

ch.qos.logback.core.recovery

├─ ch.qos.logback.core.recovery.RecoveryCoordinator.class - [JAR]

├─ ch.qos.logback.core.recovery.RecoveryListener.class - [JAR]

├─ ch.qos.logback.core.recovery.ResilientFileOutputStream.class - [JAR]

├─ ch.qos.logback.core.recovery.ResilientOutputStreamBase.class - [JAR]

├─ ch.qos.logback.core.recovery.ResilientSyslogOutputStream.class - [JAR]

ch.qos.logback.core.status

├─ ch.qos.logback.core.status.ErrorStatus.class - [JAR]

├─ ch.qos.logback.core.status.InfoStatus.class - [JAR]

├─ ch.qos.logback.core.status.NopStatusListener.class - [JAR]

├─ ch.qos.logback.core.status.OnConsoleStatusListener.class - [JAR]

├─ ch.qos.logback.core.status.OnErrorConsoleStatusListener.class - [JAR]

├─ ch.qos.logback.core.status.OnFileStatusListener.class - [JAR]

├─ ch.qos.logback.core.status.OnPrintStreamStatusListenerBase.class - [JAR]

├─ ch.qos.logback.core.status.Status.class - [JAR]

├─ ch.qos.logback.core.status.StatusBase.class - [JAR]

├─ ch.qos.logback.core.status.StatusListener.class - [JAR]

├─ ch.qos.logback.core.status.StatusListenerAsList.class - [JAR]

├─ ch.qos.logback.core.status.StatusManager.class - [JAR]

├─ ch.qos.logback.core.status.StatusUtil.class - [JAR]

├─ ch.qos.logback.core.status.ViewStatusMessagesServletBase.class - [JAR]

├─ ch.qos.logback.core.status.WarnStatus.class - [JAR]

ch.qos.logback.core.joran.sanity

├─ ch.qos.logback.core.joran.sanity.AppenderWithinAppenderSanityChecker.class - [JAR]

├─ ch.qos.logback.core.joran.sanity.Pair.class - [JAR]

├─ ch.qos.logback.core.joran.sanity.SanityChecker.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]

ch.qos.logback.core.model.processor

├─ ch.qos.logback.core.model.processor.AllowAllModelFilter.class - [JAR]

├─ ch.qos.logback.core.model.processor.AllowModelFilter.class - [JAR]

├─ ch.qos.logback.core.model.processor.AppenderModelHandler.class - [JAR]

├─ ch.qos.logback.core.model.processor.AppenderRefDependencyAnalyser.class - [JAR]

├─ ch.qos.logback.core.model.processor.AppenderRefModelHandler.class - [JAR]

├─ ch.qos.logback.core.model.processor.ChainedModelFilter.class - [JAR]

├─ ch.qos.logback.core.model.processor.DefaultProcessor.class - [JAR]

├─ ch.qos.logback.core.model.processor.DefineModelHandler.class - [JAR]

├─ ch.qos.logback.core.model.processor.DenyAllModelFilter.class - [JAR]

├─ ch.qos.logback.core.model.processor.DenyModelFilter.class - [JAR]

├─ ch.qos.logback.core.model.processor.DependencyDefinition.class - [JAR]

├─ ch.qos.logback.core.model.processor.EventEvaluatorModelHandler.class - [JAR]

├─ ch.qos.logback.core.model.processor.ImplicitModelHandler.class - [JAR]

├─ ch.qos.logback.core.model.processor.ImportModelHandler.class - [JAR]

├─ ch.qos.logback.core.model.processor.InsertFromJNDIModelHandler.class - [JAR]

├─ ch.qos.logback.core.model.processor.ModelFilter.class - [JAR]

├─ ch.qos.logback.core.model.processor.ModelHandlerBase.class - [JAR]

├─ ch.qos.logback.core.model.processor.ModelHandlerException.class - [JAR]

├─ ch.qos.logback.core.model.processor.ModelInterpretationContext.class - [JAR]

├─ ch.qos.logback.core.model.processor.NOPModelHandler.class - [JAR]

├─ ch.qos.logback.core.model.processor.PhaseIndicator.class - [JAR]

├─ ch.qos.logback.core.model.processor.ProcessingPhase.class - [JAR]

├─ ch.qos.logback.core.model.processor.ProcessorException.class - [JAR]

├─ ch.qos.logback.core.model.processor.PropertyModelHandler.class - [JAR]

├─ ch.qos.logback.core.model.processor.RefContainerDependencyAnalyser.class - [JAR]

├─ ch.qos.logback.core.model.processor.SequenceNumberGeneratorModelHandler.class - [JAR]

├─ ch.qos.logback.core.model.processor.SerializeModelModelHandler.class - [JAR]

├─ ch.qos.logback.core.model.processor.ShutdownHookModelHandler.class - [JAR]

├─ ch.qos.logback.core.model.processor.StatusListenerModelHandler.class - [JAR]

├─ ch.qos.logback.core.model.processor.TimestampModelHandler.class - [JAR]

ch.qos.logback.core

├─ ch.qos.logback.core.Appender.class - [JAR]

├─ ch.qos.logback.core.AppenderBase.class - [JAR]

├─ ch.qos.logback.core.AsyncAppenderBase.class - [JAR]

├─ ch.qos.logback.core.BasicStatusManager.class - [JAR]

├─ ch.qos.logback.core.ConsoleAppender.class - [JAR]

├─ ch.qos.logback.core.Context.class - [JAR]

├─ ch.qos.logback.core.ContextBase.class - [JAR]

├─ ch.qos.logback.core.CoreConstants.class - [JAR]

├─ ch.qos.logback.core.FileAppender.class - [JAR]

├─ ch.qos.logback.core.Layout.class - [JAR]

├─ ch.qos.logback.core.LayoutBase.class - [JAR]

├─ ch.qos.logback.core.LifeCycleManager.class - [JAR]

├─ ch.qos.logback.core.LogbackException.class - [JAR]

├─ ch.qos.logback.core.OutputStreamAppender.class - [JAR]

├─ ch.qos.logback.core.PropertyDefinerBase.class - [JAR]

├─ ch.qos.logback.core.UnsynchronizedAppenderBase.class - [JAR]

com.google.common.net

├─ com.google.common.net.ElementTypesAreNonnullByDefault.class - [JAR]

├─ 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.ParametricNullness.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.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.util.concurrent.internal

├─ com.google.common.util.concurrent.internal.InternalFutureFailureAccess.class - [JAR]

├─ com.google.common.util.concurrent.internal.InternalFutures.class - [JAR]

ch.qos.logback.classic.joran.sanity

├─ ch.qos.logback.classic.joran.sanity.IfNestedWithinSecondPhaseElementSC.class - [JAR]

ch.qos.logback.classic.turbo

├─ ch.qos.logback.classic.turbo.DuplicateMessageFilter.class - [JAR]

├─ ch.qos.logback.classic.turbo.DynamicThresholdFilter.class - [JAR]

├─ ch.qos.logback.classic.turbo.LRUMessageCache.class - [JAR]

├─ ch.qos.logback.classic.turbo.MDCFilter.class - [JAR]

├─ ch.qos.logback.classic.turbo.MDCValueLevelPair.class - [JAR]

├─ ch.qos.logback.classic.turbo.MarkerFilter.class - [JAR]

├─ ch.qos.logback.classic.turbo.MatchingFilter.class - [JAR]

├─ ch.qos.logback.classic.turbo.ReconfigureOnChangeFilter.class - [JAR]

├─ ch.qos.logback.classic.turbo.TurboFilter.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.checkerframework.checker.i18n.qual

├─ org.checkerframework.checker.i18n.qual.LocalizableKey.class - [JAR]

├─ org.checkerframework.checker.i18n.qual.LocalizableKeyBottom.class - [JAR]

├─ org.checkerframework.checker.i18n.qual.Localized.class - [JAR]

├─ org.checkerframework.checker.i18n.qual.UnknownLocalizableKey.class - [JAR]

├─ org.checkerframework.checker.i18n.qual.UnknownLocalized.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]

ch.qos.logback.core.helpers

├─ ch.qos.logback.core.helpers.CyclicBuffer.class - [JAR]

├─ ch.qos.logback.core.helpers.NOPAppender.class - [JAR]

├─ ch.qos.logback.core.helpers.ThrowableToStringArray.class - [JAR]

├─ ch.qos.logback.core.helpers.Transform.class - [JAR]

ch.qos.logback.core.pattern

├─ ch.qos.logback.core.pattern.CompositeConverter.class - [JAR]

├─ ch.qos.logback.core.pattern.Converter.class - [JAR]

├─ ch.qos.logback.core.pattern.ConverterUtil.class - [JAR]

├─ ch.qos.logback.core.pattern.DynamicConverter.class - [JAR]

├─ ch.qos.logback.core.pattern.FormatInfo.class - [JAR]

├─ ch.qos.logback.core.pattern.FormattingConverter.class - [JAR]

├─ ch.qos.logback.core.pattern.IdentityCompositeConverter.class - [JAR]

├─ ch.qos.logback.core.pattern.LiteralConverter.class - [JAR]

├─ ch.qos.logback.core.pattern.PatternLayoutBase.class - [JAR]

├─ ch.qos.logback.core.pattern.PatternLayoutEncoderBase.class - [JAR]

├─ ch.qos.logback.core.pattern.PostCompileProcessor.class - [JAR]

├─ ch.qos.logback.core.pattern.ReplacingCompositeConverter.class - [JAR]

├─ ch.qos.logback.core.pattern.SpacePadder.class - [JAR]

org.checkerframework.checker.lock.qual

├─ org.checkerframework.checker.lock.qual.EnsuresLockHeld.class - [JAR]

├─ org.checkerframework.checker.lock.qual.EnsuresLockHeldIf.class - [JAR]

├─ org.checkerframework.checker.lock.qual.GuardSatisfied.class - [JAR]

├─ org.checkerframework.checker.lock.qual.GuardedBy.class - [JAR]

├─ org.checkerframework.checker.lock.qual.GuardedByBottom.class - [JAR]

├─ org.checkerframework.checker.lock.qual.GuardedByUnknown.class - [JAR]

├─ org.checkerframework.checker.lock.qual.Holding.class - [JAR]

├─ org.checkerframework.checker.lock.qual.LockHeld.class - [JAR]

├─ org.checkerframework.checker.lock.qual.LockPossiblyHeld.class - [JAR]

├─ org.checkerframework.checker.lock.qual.LockingFree.class - [JAR]

├─ org.checkerframework.checker.lock.qual.MayReleaseLocks.class - [JAR]

├─ org.checkerframework.checker.lock.qual.NewObject.class - [JAR]

├─ org.checkerframework.checker.lock.qual.ReleasesNoLocks.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.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]

ch.qos.logback.core.joran.conditional

├─ ch.qos.logback.core.joran.conditional.Condition.class - [JAR]

├─ ch.qos.logback.core.joran.conditional.ElseAction.class - [JAR]

├─ ch.qos.logback.core.joran.conditional.IfAction.class - [JAR]

├─ ch.qos.logback.core.joran.conditional.PropertyEvalScriptBuilder.class - [JAR]

├─ ch.qos.logback.core.joran.conditional.PropertyWrapperForScripts.class - [JAR]

├─ ch.qos.logback.core.joran.conditional.ThenAction.class - [JAR]

org.checkerframework.checker.signature.qual

├─ org.checkerframework.checker.signature.qual.ArrayWithoutPackage.class - [JAR]

├─ org.checkerframework.checker.signature.qual.BinaryName.class - [JAR]

├─ org.checkerframework.checker.signature.qual.BinaryNameOrPrimitiveType.class - [JAR]

├─ org.checkerframework.checker.signature.qual.BinaryNameWithoutPackage.class - [JAR]

├─ org.checkerframework.checker.signature.qual.CanonicalName.class - [JAR]

├─ org.checkerframework.checker.signature.qual.CanonicalNameAndBinaryName.class - [JAR]

├─ org.checkerframework.checker.signature.qual.CanonicalNameOrEmpty.class - [JAR]

├─ org.checkerframework.checker.signature.qual.CanonicalNameOrPrimitiveType.class - [JAR]

├─ org.checkerframework.checker.signature.qual.ClassGetName.class - [JAR]

├─ org.checkerframework.checker.signature.qual.ClassGetSimpleName.class - [JAR]

├─ org.checkerframework.checker.signature.qual.DotSeparatedIdentifiers.class - [JAR]

├─ org.checkerframework.checker.signature.qual.DotSeparatedIdentifiersOrPrimitiveType.class - [JAR]

├─ org.checkerframework.checker.signature.qual.FieldDescriptor.class - [JAR]

├─ org.checkerframework.checker.signature.qual.FieldDescriptorForPrimitive.class - [JAR]

├─ org.checkerframework.checker.signature.qual.FieldDescriptorWithoutPackage.class - [JAR]

├─ org.checkerframework.checker.signature.qual.FqBinaryName.class - [JAR]

├─ org.checkerframework.checker.signature.qual.FullyQualifiedName.class - [JAR]

├─ org.checkerframework.checker.signature.qual.Identifier.class - [JAR]

├─ org.checkerframework.checker.signature.qual.IdentifierOrPrimitiveType.class - [JAR]

├─ org.checkerframework.checker.signature.qual.InternalForm.class - [JAR]

├─ org.checkerframework.checker.signature.qual.MethodDescriptor.class - [JAR]

├─ org.checkerframework.checker.signature.qual.PolySignature.class - [JAR]

├─ org.checkerframework.checker.signature.qual.PrimitiveType.class - [JAR]

├─ org.checkerframework.checker.signature.qual.SignatureBottom.class - [JAR]

├─ org.checkerframework.checker.signature.qual.SignatureUnknown.class - [JAR]

com.google.errorprone.annotations.concurrent

├─ com.google.errorprone.annotations.concurrent.GuardedBy.class - [JAR]

├─ com.google.errorprone.annotations.concurrent.LazyInit.class - [JAR]

├─ com.google.errorprone.annotations.concurrent.LockMethod.class - [JAR]

├─ com.google.errorprone.annotations.concurrent.UnlockMethod.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]

ch.qos.logback.core.joran

├─ ch.qos.logback.core.joran.GenericXMLConfigurator.class - [JAR]

├─ ch.qos.logback.core.joran.JoranConfiguratorBase.class - [JAR]

├─ ch.qos.logback.core.joran.JoranConstants.class - [JAR]

├─ ch.qos.logback.core.joran.ModelClassToModelHandlerLinkerBase.class - [JAR]

├─ ch.qos.logback.core.joran.ParamModelHandler.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.ElementTypesAreNonnullByDefault.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.IgnoreJRERequirement.class - [JAR]

├─ com.google.common.io.InsecureRecursiveDeleteException.class - [JAR]

├─ com.google.common.io.Java8Compatibility.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.MoreFiles.class - [JAR]

├─ com.google.common.io.MultiInputStream.class - [JAR]

├─ com.google.common.io.MultiReader.class - [JAR]

├─ com.google.common.io.ParametricNullness.class - [JAR]

├─ com.google.common.io.PatternFilenameFilter.class - [JAR]

├─ com.google.common.io.ReaderInputStream.class - [JAR]

├─ com.google.common.io.RecursiveDeleteOption.class - [JAR]

├─ com.google.common.io.Resources.class - [JAR]

├─ com.google.common.io.TempFileCreator.class - [JAR]

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

org.semanticweb.elk.reasoner.completeness

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

org.checkerframework.checker.compilermsgs.qual

├─ org.checkerframework.checker.compilermsgs.qual.CompilerMessageKey.class - [JAR]

├─ org.checkerframework.checker.compilermsgs.qual.CompilerMessageKeyBottom.class - [JAR]

├─ org.checkerframework.checker.compilermsgs.qual.UnknownCompilerMessageKey.class - [JAR]

Advertisement

Dependencies from Group

protege-proof-justification
icon @io.github.liveontologies
May 24, 2024
elk-bom
icon @io.github.liveontologies
May 24, 2024
elk-cli
icon @io.github.liveontologies
May 24, 2024
elk-distribution-cli
icon @io.github.liveontologies
May 24, 2024
elk-distribution-owlapi
icon @io.github.liveontologies
May 24, 2024
More Dependencies ❯

Discover Dependencies

elk-owl-parent
icon @io.github.liveontologies
May 24, 2024
elk-owl-parsing-javacc
icon @io.github.liveontologies
May 24, 2024
elk-owlapi
icon @io.github.liveontologies
May 24, 2024
elk-parent
icon @io.github.liveontologies
May 24, 2024
94 stars
elk-proofs
icon @io.github.liveontologies
May 24, 2024
elk-reasoner
icon @io.github.liveontologies
May 24, 2024
elk-protege
icon @io.github.liveontologies
May 24, 2024
elk-util-common
icon @io.github.liveontologies
May 24, 2024
elk-util-collections
icon @io.github.liveontologies
May 24, 2024
elk-util-concurrent
icon @io.github.liveontologies
May 24, 2024
More Dependencies ❯