jar

io.github.liveontologies : elk-protege

Maven & Gradle

May 24, 2024

ELK Reasoner Protege Plug-in · ELK plug-in for Protege ontology editor

Maven Central
Table Of Contents

Latest Version

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

All Versions

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

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

org.semanticweb.elk.reasoner.saturation.rules

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

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

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

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

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

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

org.semanticweb.elk.util.concurrent.collections

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

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

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

org.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.reasoner.entailments.impl

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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]

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]

org.semanticweb.elk.matching.root

├─ org.semanticweb.elk.matching.root.AbstractIndexedContextRootMatch.class - [JAR]

├─ org.semanticweb.elk.matching.root.IndexedContextRootClassExpressionMatch.class - [JAR]

├─ org.semanticweb.elk.matching.root.IndexedContextRootIndividualMatch.class - [JAR]

├─ org.semanticweb.elk.matching.root.IndexedContextRootMatch.class - [JAR]

├─ org.semanticweb.elk.matching.root.IndexedContextRootMatchBaseFactory.class - [JAR]

├─ org.semanticweb.elk.matching.root.IndexedContextRootMatchChain.class - [JAR]

├─ org.semanticweb.elk.matching.root.IndexedContextRootMatchDummyVisitor.class - [JAR]

├─ org.semanticweb.elk.matching.root.IndexedContextRootMatchEquality.class - [JAR]

├─ org.semanticweb.elk.matching.root.IndexedContextRootMatchHash.class - [JAR]

├─ org.semanticweb.elk.matching.root.IndexedContextRootMatchPrinter.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.semanticweb.elk.matching.subsumers

├─ org.semanticweb.elk.matching.subsumers.AbstractIndexedClassEntityMatch.class - [JAR]

├─ org.semanticweb.elk.matching.subsumers.AbstractIndexedObjectSomeValuesFromMatch.class - [JAR]

├─ org.semanticweb.elk.matching.subsumers.AbstractIndexedObjectUnionOfMatch.class - [JAR]

├─ org.semanticweb.elk.matching.subsumers.AbstractSubsumerElkObjectMatch.class - [JAR]

├─ org.semanticweb.elk.matching.subsumers.AbstractSubsumerMatch.class - [JAR]

├─ org.semanticweb.elk.matching.subsumers.AbstractSubsumerNonCanonicalMatch.class - [JAR]

├─ org.semanticweb.elk.matching.subsumers.IndexedClassEntityMatch.class - [JAR]

├─ org.semanticweb.elk.matching.subsumers.IndexedClassMatch.class - [JAR]

├─ org.semanticweb.elk.matching.subsumers.IndexedDataHasValueMatch.class - [JAR]

├─ org.semanticweb.elk.matching.subsumers.IndexedIndividualMatch.class - [JAR]

├─ org.semanticweb.elk.matching.subsumers.IndexedObjectComplementOfMatch.class - [JAR]

├─ org.semanticweb.elk.matching.subsumers.IndexedObjectHasSelfMatch.class - [JAR]

├─ org.semanticweb.elk.matching.subsumers.IndexedObjectIntersectionOfMatch.class - [JAR]

├─ org.semanticweb.elk.matching.subsumers.IndexedObjectSomeValuesFromMatch.class - [JAR]

├─ org.semanticweb.elk.matching.subsumers.IndexedObjectUnionOfMatch.class - [JAR]

├─ org.semanticweb.elk.matching.subsumers.IndexedObjectUnionOfMatchVisitor.class - [JAR]

├─ org.semanticweb.elk.matching.subsumers.SubsumerElkObjectMatch.class - [JAR]

├─ org.semanticweb.elk.matching.subsumers.SubsumerEmptyObjectIntersectionOfMatch.class - [JAR]

├─ org.semanticweb.elk.matching.subsumers.SubsumerEmptyObjectOneOfMatch.class - [JAR]

├─ org.semanticweb.elk.matching.subsumers.SubsumerEmptyObjectUnionOfMatch.class - [JAR]

├─ org.semanticweb.elk.matching.subsumers.SubsumerMatch.class - [JAR]

├─ org.semanticweb.elk.matching.subsumers.SubsumerMatchDummyVisitor.class - [JAR]

├─ org.semanticweb.elk.matching.subsumers.SubsumerMatchEquality.class - [JAR]

├─ org.semanticweb.elk.matching.subsumers.SubsumerMatchHash.class - [JAR]

├─ org.semanticweb.elk.matching.subsumers.SubsumerMatchPrinter.class - [JAR]

├─ org.semanticweb.elk.matching.subsumers.SubsumerMatcherVisitor.class - [JAR]

├─ org.semanticweb.elk.matching.subsumers.SubsumerMatches.class - [JAR]

├─ org.semanticweb.elk.matching.subsumers.SubsumerNonCanonicalMatch.class - [JAR]

├─ org.semanticweb.elk.matching.subsumers.SubsumerObjectHasValueMatch.class - [JAR]

├─ org.semanticweb.elk.matching.subsumers.SubsumerObjectOneOfMatch.class - [JAR]

├─ org.semanticweb.elk.matching.subsumers.SubsumerObjectSomeValuesFromMatch.class - [JAR]

├─ org.semanticweb.elk.matching.subsumers.SubsumerObjectUnionOfMatch.class - [JAR]

├─ org.semanticweb.elk.matching.subsumers.SubsumerSingletonObjectIntersectionOfMatch.class - [JAR]

├─ org.semanticweb.elk.matching.subsumers.SubsumerSingletonObjectOneOfMatch.class - [JAR]

├─ org.semanticweb.elk.matching.subsumers.SubsumerSingletonObjectUnionOfMatch.class - [JAR]

org.semanticweb.elk.reasoner.tracing.factories

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

├─ org.semanticweb.elk.matching.inferences.AbstractInferenceMatch.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.AbstractSubClassInclusionComposedCanonizerMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.AbstractSubClassInclusionComposedCanonizerMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.AbstractSubClassInclusionDecomposedCanonizerMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.BackwardLinkCompositionMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.BackwardLinkCompositionMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.BackwardLinkCompositionMatch3.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.BackwardLinkCompositionMatch4.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.BackwardLinkCompositionMatch5.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.BackwardLinkCompositionMatch6.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.BackwardLinkCompositionMatch7.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.BackwardLinkCompositionMatch8.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.BackwardLinkCompositionMatch9.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.BackwardLinkOfObjectHasSelfMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.BackwardLinkOfObjectHasSelfMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.BackwardLinkOfObjectHasSelfMatch3.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.BackwardLinkOfObjectSomeValuesFromMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.BackwardLinkOfObjectSomeValuesFromMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.BackwardLinkOfObjectSomeValuesFromMatch3.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.BackwardLinkReversedExpandedMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.BackwardLinkReversedExpandedMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.BackwardLinkReversedExpandedMatch3.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.BackwardLinkReversedExpandedMatch4.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.BackwardLinkReversedExpandedMatch5.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ClassInconsistencyOfDisjointSubsumersMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ClassInconsistencyOfDisjointSubsumersMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ClassInconsistencyOfDisjointSubsumersMatch3.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ClassInconsistencyOfObjectComplementOfMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ClassInconsistencyOfObjectComplementOfMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ClassInconsistencyOfObjectComplementOfMatch3.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ClassInconsistencyOfOwlNothingMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ClassInconsistencyOfOwlNothingMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ClassInconsistencyPropagatedMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ClassInconsistencyPropagatedMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ClassInconsistencyPropagatedMatch3.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ClassInconsistencyPropagatedMatch4.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.DisjointSubsumerFromSubsumerMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.DisjointSubsumerFromSubsumerMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.DisjointSubsumerFromSubsumerMatch3.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ElkClassAssertionAxiomConversionMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ElkDifferentIndividualsAxiomBinaryConversionMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ElkDifferentIndividualsAxiomNaryConversionMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ElkDisjointClassesAxiomBinaryConversionMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ElkDisjointClassesAxiomNaryConversionMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ElkDisjointUnionAxiomBinaryConversionMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ElkDisjointUnionAxiomEquivalenceConversionMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ElkDisjointUnionAxiomNaryConversionMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ElkDisjointUnionAxiomOwlNothingConversionMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ElkDisjointUnionAxiomSubClassConversionMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ElkEquivalentClassesAxiomEquivalenceConversionMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ElkEquivalentClassesAxiomSubClassConversionMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ElkEquivalentObjectPropertiesAxiomConversionMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ElkObjectPropertyAssertionAxiomConversionMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ElkObjectPropertyDomainAxiomConversionMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ElkObjectPropertyRangeAxiomConversionMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ElkReflexiveObjectPropertyAxiomConversionMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ElkSameIndividualAxiomConversionMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ElkSubClassOfAxiomConversionMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ElkSubObjectPropertyOfAxiomConversionMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ElkTransitiveObjectPropertyAxiomConversionMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ForwardLinkCompositionMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ForwardLinkCompositionMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ForwardLinkCompositionMatch3.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ForwardLinkCompositionMatch4.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ForwardLinkCompositionMatch5.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ForwardLinkCompositionMatch6.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ForwardLinkCompositionMatch7.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ForwardLinkCompositionMatch8.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ForwardLinkOfObjectHasSelfMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ForwardLinkOfObjectHasSelfMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ForwardLinkOfObjectHasSelfMatch3.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ForwardLinkOfObjectSomeValuesFromMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ForwardLinkOfObjectSomeValuesFromMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.ForwardLinkOfObjectSomeValuesFromMatch3.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.InferenceMatch.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.InferenceMatchBaseFactory.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.InferenceMatchDelegatingFactory.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.InferenceMatchPrinter.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.LinkOfObjectHasSelfMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.LinkOfObjectSomeValuesFromMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.PropagationGeneratedMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.PropagationGeneratedMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.PropagationGeneratedMatch3.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.PropertyRangeInheritedMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.PropertyRangeInheritedMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.PropertyRangeInheritedMatch3.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionComposedDefinedClassMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionComposedDefinedClassMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionComposedDefinedClassMatch3.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionComposedEmptyObjectIntersectionOfMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionComposedEmptyObjectIntersectionOfMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionComposedEmptyObjectOneOfMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionComposedEmptyObjectOneOfMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionComposedEmptyObjectUnionOfMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionComposedEmptyObjectUnionOfMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionComposedObjectHasValueMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionComposedObjectHasValueMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionComposedObjectIntersectionOfMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionComposedObjectIntersectionOfMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionComposedObjectIntersectionOfMatch3.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionComposedObjectSomeValuesFromMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionComposedObjectSomeValuesFromMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionComposedObjectSomeValuesFromMatch3.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionComposedObjectSomeValuesFromMatch4.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionComposedObjectUnionOfMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionComposedObjectUnionOfMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionComposedOfDecomposedMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionComposedOfDecomposedMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionComposedSingletonObjectIntersectionOfMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionComposedSingletonObjectIntersectionOfMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionComposedSingletonObjectOneOfMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionComposedSingletonObjectOneOfMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionComposedSingletonObjectUnionOfMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionComposedSingletonObjectUnionOfMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionDecomposedEmptyObjectIntersectionOfMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionDecomposedEmptyObjectOneOfMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionDecomposedEmptyObjectUnionOfMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionDecomposedFirstConjunctMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionDecomposedFirstConjunctMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionDecomposedObjectHasValueMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionDecomposedSecondConjunctMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionDecomposedSecondConjunctMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionDecomposedSingletonObjectIntersectionOfMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionDecomposedSingletonObjectOneOfMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionDecomposedSingletonObjectUnionOfMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionExpandedDefinitionMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionExpandedDefinitionMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionExpandedDefinitionMatch3.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionExpandedFirstEquivalentClassMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionExpandedFirstEquivalentClassMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionExpandedFirstEquivalentClassMatch3.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionExpandedSecondEquivalentClassMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionExpandedSecondEquivalentClassMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionExpandedSecondEquivalentClassMatch3.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionExpandedSubClassOfMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionExpandedSubClassOfMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionExpandedSubClassOfMatch3.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionObjectHasSelfPropertyRangeMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionObjectHasSelfPropertyRangeMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionObjectHasSelfPropertyRangeMatch3.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionOwlThingMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionRangeMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionRangeMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubClassInclusionTautologyMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubPropertyChainExpandedSubObjectPropertyOfMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubPropertyChainExpandedSubObjectPropertyOfMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubPropertyChainExpandedSubObjectPropertyOfMatch3.class - [JAR]

├─ org.semanticweb.elk.matching.inferences.SubPropertyChainTautologyMatch1.class - [JAR]

org.semanticweb.elk.matching

├─ org.semanticweb.elk.matching.AbstractChild.class - [JAR]

├─ org.semanticweb.elk.matching.AbstractConclusionMatchInferenceVisitor.class - [JAR]

├─ org.semanticweb.elk.matching.AbstractMatch.class - [JAR]

├─ org.semanticweb.elk.matching.BackwardLinkMatch1InferenceVisitor.class - [JAR]

├─ org.semanticweb.elk.matching.BackwardLinkMatch2InferenceVisitor.class - [JAR]

├─ org.semanticweb.elk.matching.BackwardLinkMatch3InferenceVisitor.class - [JAR]

├─ org.semanticweb.elk.matching.BackwardLinkMatch4InferenceVisitor.class - [JAR]

├─ org.semanticweb.elk.matching.ClassInconsistencyMatch1InferenceVisitor.class - [JAR]

├─ org.semanticweb.elk.matching.ClassInconsistencyMatch2InferenceVisitor.class - [JAR]

├─ org.semanticweb.elk.matching.ConclusionMatchExpressionRecycleFactory.class - [JAR]

├─ org.semanticweb.elk.matching.ConclusionMatchHierarchyImpl.class - [JAR]

├─ org.semanticweb.elk.matching.ConclusionMatcherVisitor.class - [JAR]

├─ org.semanticweb.elk.matching.DisjointSubsumerMatch1InferenceVisitor.class - [JAR]

├─ org.semanticweb.elk.matching.DisjointSubsumerMatch2InferenceVisitor.class - [JAR]

├─ org.semanticweb.elk.matching.ElkMatchException.class - [JAR]

├─ org.semanticweb.elk.matching.ForwardLinkMatch1InferenceVisitor.class - [JAR]

├─ org.semanticweb.elk.matching.ForwardLinkMatch2InferenceVisitor.class - [JAR]

├─ org.semanticweb.elk.matching.ForwardLinkMatch3InferenceVisitor.class - [JAR]

├─ org.semanticweb.elk.matching.ForwardLinkMatch4InferenceVisitor.class - [JAR]

├─ org.semanticweb.elk.matching.IndexedDisjointClassesAxiomMatch1InferenceVisitor.class - [JAR]

├─ org.semanticweb.elk.matching.IndexedDisjointClassesAxiomMatch2InferenceVisitor.class - [JAR]

├─ org.semanticweb.elk.matching.IndexedEquivalentClassesAxiomMatch1InferenceVisitor.class - [JAR]

├─ org.semanticweb.elk.matching.IndexedEquivalentClassesAxiomMatch2InferenceVisitor.class - [JAR]

├─ org.semanticweb.elk.matching.IndexedObjectPropertyRangeAxiomMatch1InferenceVisitor.class - [JAR]

├─ org.semanticweb.elk.matching.IndexedObjectPropertyRangeAxiomMatch2InferenceVisitor.class - [JAR]

├─ org.semanticweb.elk.matching.IndexedSubClassOfAxiomMatch1InferenceVisitor.class - [JAR]

├─ org.semanticweb.elk.matching.IndexedSubClassOfAxiomMatch2InferenceVisitor.class - [JAR]

├─ org.semanticweb.elk.matching.IndexedSubObjectPropertyOfAxiomMatch1InferenceVisitor.class - [JAR]

├─ org.semanticweb.elk.matching.IndexedSubObjectPropertyOfAxiomMatch2InferenceVisitor.class - [JAR]

├─ org.semanticweb.elk.matching.InferenceMap.class - [JAR]

├─ org.semanticweb.elk.matching.InferenceMatchBufferringFactory.class - [JAR]

├─ org.semanticweb.elk.matching.InferenceMatchMap.class - [JAR]

├─ org.semanticweb.elk.matching.InferenceMatchMapImpl.class - [JAR]

├─ org.semanticweb.elk.matching.InferenceMatchMapWriter.class - [JAR]

├─ org.semanticweb.elk.matching.InferenceMatchVisitor.class - [JAR]

├─ org.semanticweb.elk.matching.Matcher.class - [JAR]

├─ org.semanticweb.elk.matching.PropagationMatch1InferenceVisitor.class - [JAR]

├─ org.semanticweb.elk.matching.PropagationMatch2InferenceVisitor.class - [JAR]

├─ org.semanticweb.elk.matching.PropertyRangeMatch1InferenceVisitor.class - [JAR]

├─ org.semanticweb.elk.matching.PropertyRangeMatch2InferenceVisitor.class - [JAR]

├─ org.semanticweb.elk.matching.SubClassInclusionComposedMatch1InferenceVisitor.class - [JAR]

├─ org.semanticweb.elk.matching.SubClassInclusionComposedMatch2InferenceVisitor.class - [JAR]

├─ org.semanticweb.elk.matching.SubClassInclusionDecomposedMatch1InferenceVisitor.class - [JAR]

├─ org.semanticweb.elk.matching.SubClassInclusionDecomposedMatch2InferenceVisitor.class - [JAR]

├─ org.semanticweb.elk.matching.SubPropertyChainMatch1InferenceVisitor.class - [JAR]

├─ org.semanticweb.elk.matching.SubPropertyChainMatch2InferenceVisitor.class - [JAR]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

org.semanticweb.elk.reasoner

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

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]

org.semanticweb.elk.owlapi.wrapper

├─ org.semanticweb.elk.owlapi.wrapper.AbstractOwlAxiomConverterVisitor.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkAnnotationAssertionAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkAnnotationAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkAnnotationPropertyDomainAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkAnnotationPropertyRangeAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkAnnotationPropertyWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkAnnotationWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkAnonymousIndividualWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkAssertionAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkAsymmetricObjectPropertyAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkClassAssertionAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkClassAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkClassExpressionWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkClassWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkDataAllValuesFromWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkDataComplementOfWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkDataExactCardinalityQualifiedWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkDataExactCardinalityUnqualifiedWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkDataHasValueWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkDataIntersectionOfWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkDataMaxCardinalityQualifiedWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkDataMaxCardinalityUnqualifiedWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkDataMinCardinalityQualifiedWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkDataMinCardinalityUnqualifiedWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkDataOneOfWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkDataPropertyAssertionAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkDataPropertyAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkDataPropertyDomainAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkDataPropertyExpressionWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkDataPropertyRangeAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkDataPropertyWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkDataRangeWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkDataSomeValuesFromWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkDataUnionOfWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkDatatypeDefinitionAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkDatatypeRestrictionWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkDatatypeWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkDeclarationAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkDifferentIndividualsAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkDisjointClassesAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkDisjointDataPropertiesAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkDisjointObjectPropertiesAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkDisjointUnionAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkEntityWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkEquivalentClassesAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkEquivalentDataPropertiesAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkEquivalentObjectPropertiesAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkFacetRestrictionWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkFunctionalDataPropertyAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkFunctionalObjectPropertyAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkHasKeyAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkIndividualWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkInverseFunctionalObjectPropertyAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkInverseObjectPropertiesAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkIrreflexiveObjectPropertyAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkLiteralWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkNamedIndividualWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkNegativeDataPropertyAssertionAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkNegativeObjectPropertyAssertionAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkObjectAllValuesFromWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkObjectComplementOfWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkObjectExactCardinalityQualifiedWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkObjectExactCardinalityUnqualifiedWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkObjectHasSelfWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkObjectHasValueWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkObjectIntersectionOfWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkObjectInverseOfWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkObjectMaxCardinalityQualifiedWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkObjectMaxCardinalityUnqualifiedWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkObjectMinCardinalityQualifiedWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkObjectMinCardinalityUnqualifiedWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkObjectOneOfWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkObjectPropertyAssertionAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkObjectPropertyAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkObjectPropertyChainWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkObjectPropertyDomainAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkObjectPropertyExpressionWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkObjectPropertyRangeAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkObjectPropertyWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkObjectSomeValuesFromWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkObjectUnionOfWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkObjectWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkReflexiveObjectPropertyAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkSWRLRuleWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkSameIndividualAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkSubAnnotationPropertyOfAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkSubClassOfAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkSubDataPropertyOfAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkSubObjectPropertyChainOfAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkSubObjectPropertyExpressionWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkSubObjectPropertyOfAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkSymmetricObjectPropertyAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.ElkTransitiveObjectPropertyAxiomWrap.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.OwlAnnotationAxiomConverterVisitor.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.OwlAnnotationSubjectValueVisitor.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.OwlAxiomConverterVisitor.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.OwlClassAxiomConverterVisitor.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.OwlClassExpressionConverterVisitor.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.OwlConverter.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.OwlDataPropertyAxiomConverterVisitor.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.OwlDataRangeConverterVisitor.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.OwlEntityConverterVisitor.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.OwlIndividualAxiomConverterVisitor.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.OwlIndividualConverterVisitor.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.OwlObjectInverseOfConverterVisitor.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.OwlObjectPropertyAxiomConverterVisitor.class - [JAR]

├─ org.semanticweb.elk.owlapi.wrapper.OwlObjectPropertyExpressionConverterVisitor.class - [JAR]

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

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

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

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

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

org.semanticweb.elk.util.logging.statistics

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

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

org.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.owl.printers

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

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

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

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

org.semanticweb.elk.protege.ui

├─ org.semanticweb.elk.protege.ui.ElkPanel.class - [JAR]

├─ org.semanticweb.elk.protege.ui.ElkPreferencesPanel.class - [JAR]

├─ org.semanticweb.elk.protege.ui.ElkProofPreferencesPanel.class - [JAR]

org.semanticweb.elk.reasoner.saturation.rules.contradiction

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

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

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

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

org.semanticweb.elk.protege

├─ org.semanticweb.elk.protege.ElkPreferences.class - [JAR]

├─ org.semanticweb.elk.protege.ProtegeReasonerFactory.class - [JAR]

org.semanticweb.elk.owl.inferences

├─ org.semanticweb.elk.owl.inferences.AbstractElkInference.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkClassAssertionOfClassInclusion.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkClassInclusionEmptyObjectOneOfOwlNothing.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkClassInclusionEmptyObjectUnionOfOwlNothing.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkClassInclusionExistentialComposition.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkClassInclusionExistentialFillerExpansion.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkClassInclusionExistentialOfObjectHasSelf.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkClassInclusionExistentialOwlNothing.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkClassInclusionExistentialPropertyExpansion.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkClassInclusionExistentialRange.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkClassInclusionExistentialTransitivity.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkClassInclusionHierarchy.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkClassInclusionNegationClash.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkClassInclusionObjectIntersectionOfComposition.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkClassInclusionObjectIntersectionOfDecomposition.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkClassInclusionObjectIntersectionOfInclusion.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkClassInclusionObjectOneOfInclusion.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkClassInclusionObjectUnionOfComposition.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkClassInclusionOfClassAssertion.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkClassInclusionOfDisjointClasses.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkClassInclusionOfEquivaletClasses.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkClassInclusionOfObjectPropertyAssertion.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkClassInclusionOfObjectPropertyDomain.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkClassInclusionOfReflexiveObjectProperty.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkClassInclusionOwlBottomObjectProperty.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkClassInclusionOwlNothing.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkClassInclusionOwlThing.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkClassInclusionOwlThingEmptyObjectIntersectionOf.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkClassInclusionOwlTopObjectProperty.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkClassInclusionReflexivePropertyRange.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkClassInclusionSingletonObjectUnionOfDecomposition.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkClassInclusionTautology.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkClassInclusionTopObjectHasValue.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkDifferentIndividualsOfDisjointClasses.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkDisjointClassesIntersectionInconsistencies.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkDisjointClassesOfDifferentIndividuals.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkDisjointClassesOfDisjointUnion.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkEquivalentClassesCycle.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkEquivalentClassesObjectHasValue.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkEquivalentClassesObjectOneOf.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkEquivalentClassesOfDisjointUnion.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkEquivalentClassesOfSameIndividual.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkInference.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkInferenceAdapter.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkInferenceBaseFactory.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkInferenceDelegatingFactory.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkInferenceDummyVisitor.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkInferenceEquality.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkInferenceExamples.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkInferenceHash.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkInferenceOptimizedProducingFactory.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkInferencePrinter.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkInferenceProducer.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkInferenceProducingFactory.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkObjectPropertyAssertionOfClassInclusion.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkObjectPropertyDomainOfClassInclusion.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkProof.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkProofGenerator.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkPropertyInclusionHierarchy.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkPropertyInclusionOfEquivalence.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkPropertyInclusionOfTransitiveObjectProperty.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkPropertyInclusionTautology.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkPropertyRangePropertyExpansion.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkSameIndividualOfEquivalentClasses.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ElkToldAxiom.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ModifiableElkProof.class - [JAR]

├─ org.semanticweb.elk.owl.inferences.ReasonerElkProof.class - [JAR]

org.semanticweb.elk.protege.proof

├─ org.semanticweb.elk.protege.proof.AbstractFlattenedInclusionHierarchyStep.class - [JAR]

├─ org.semanticweb.elk.protege.proof.AbstractInlinedStep.class - [JAR]

├─ org.semanticweb.elk.protege.proof.ElkInternalJustificationProofService.class - [JAR]

├─ org.semanticweb.elk.protege.proof.ElkJustificationProofService.class - [JAR]

├─ org.semanticweb.elk.protege.proof.ElkOwlInferenceExamples.class - [JAR]

├─ org.semanticweb.elk.protege.proof.ElkOwlJustificationProofService.class - [JAR]

├─ org.semanticweb.elk.protege.proof.ElkProofService.class - [JAR]

├─ org.semanticweb.elk.protege.proof.InlinedClassInclusionExistentialPropertyExpansionStep.class - [JAR]

├─ org.semanticweb.elk.protege.proof.InlinedClassInclusionHierarchyStep.class - [JAR]

├─ org.semanticweb.elk.protege.proof.InlinedOwlProofNode.class - [JAR]

├─ org.semanticweb.elk.protege.proof.InlinedOwlProofStep.class - [JAR]

├─ org.semanticweb.elk.protege.proof.InlinedPropertyInclusionHierarchyStep.class - [JAR]

org.semanticweb.elk.reasoner.taxonomy

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

org.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]

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.config

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

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

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

org.semanticweb.elk.util.hashing

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

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

org.semanticweb.elk.io

├─ org.semanticweb.elk.io.FileUtils.class - [JAR]

├─ org.semanticweb.elk.io.IOUtils.class - [JAR]

org.semanticweb.elk.reasoner.taxonomy.model

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

org.semanticweb.elk.exceptions

├─ org.semanticweb.elk.exceptions.ElkException.class - [JAR]

├─ org.semanticweb.elk.exceptions.ElkRuntimeException.class - [JAR]

org.semanticweb.elk.matching.conclusions

├─ org.semanticweb.elk.matching.conclusions.AbstractClassConclusionMatch.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.AbstractConclusionMatch.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.AbstractIndexedAxiomMatch.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.AbstractObjectPropertyConclusionMatch.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.AbstractSaturationConclusionMatch.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.BackwardLinkMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.BackwardLinkMatch1Watch.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.BackwardLinkMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.BackwardLinkMatch2Watch.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.BackwardLinkMatch3.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.BackwardLinkMatch3Watch.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.BackwardLinkMatch4.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.ClassConclusionMatch.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.ClassInconsistencyMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.ClassInconsistencyMatch1Watch.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.ClassInconsistencyMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.ConclusionMatch.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.ConclusionMatchBaseFactory.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.ConclusionMatchDummyVisitor.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.ConclusionMatchEquality.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.ConclusionMatchExpressionDelegatingFactory.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.ConclusionMatchExpressionFactory.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.ConclusionMatchHash.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.ConclusionMatchHierarchy.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.ConclusionMatchPrinter.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.DisjointSubsumerMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.DisjointSubsumerMatch1Watch.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.DisjointSubsumerMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.ForwardLinkMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.ForwardLinkMatch1Watch.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.ForwardLinkMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.ForwardLinkMatch2Watch.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.ForwardLinkMatch3.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.ForwardLinkMatch3Watch.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.ForwardLinkMatch4.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.IndexedAxiomMatch.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.IndexedDisjointClassesAxiomMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.IndexedDisjointClassesAxiomMatch1Watch.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.IndexedDisjointClassesAxiomMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.IndexedEquivalentClassesAxiomMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.IndexedEquivalentClassesAxiomMatch1Watch.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.IndexedEquivalentClassesAxiomMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.IndexedObjectPropertyRangeAxiomMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.IndexedObjectPropertyRangeAxiomMatch1Watch.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.IndexedObjectPropertyRangeAxiomMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.IndexedSubClassOfAxiomMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.IndexedSubClassOfAxiomMatch1Watch.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.IndexedSubClassOfAxiomMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.IndexedSubObjectPropertyOfAxiomMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.IndexedSubObjectPropertyOfAxiomMatch1Watch.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.IndexedSubObjectPropertyOfAxiomMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.ObjectPropertyConclusionMatch.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.PropagationMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.PropagationMatch1Watch.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.PropagationMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.PropertyRangeMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.PropertyRangeMatch1Watch.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.PropertyRangeMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.SaturationConclusionMatch.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.SubClassInclusionComposedMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.SubClassInclusionComposedMatch1Watch.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.SubClassInclusionComposedMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.SubClassInclusionDecomposedMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.SubClassInclusionDecomposedMatch1Watch.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.SubClassInclusionDecomposedMatch2.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.SubClassInclusionMatch.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.SubPropertyChainMatch1.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.SubPropertyChainMatch1Watch.class - [JAR]

├─ org.semanticweb.elk.matching.conclusions.SubPropertyChainMatch2.class - [JAR]

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

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

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

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

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

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

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

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

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

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

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

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]

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]

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.reasoner.tracing

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

org.semanticweb.elk.owl.implementation

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

org.semanticweb.elk.reasoner.saturation

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

org.semanticweb.elk.util.collections.chains

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

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

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

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

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

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

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

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

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

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.owl.iris

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

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

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

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

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

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

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

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

├─ org.semanticweb.elk.owlapi.AbstractElkObjectConverter.class - [JAR]

├─ org.semanticweb.elk.owlapi.ConverterException.class - [JAR]

├─ org.semanticweb.elk.owlapi.DelegatingOWLReasoner.class - [JAR]

├─ org.semanticweb.elk.owlapi.ElkConverter.class - [JAR]

├─ org.semanticweb.elk.owlapi.ElkProver.class - [JAR]

├─ org.semanticweb.elk.owlapi.ElkProverFactory.class - [JAR]

├─ org.semanticweb.elk.owlapi.ElkReasoner.class - [JAR]

├─ org.semanticweb.elk.owlapi.ElkReasonerConfiguration.class - [JAR]

├─ org.semanticweb.elk.owlapi.ElkReasonerFactory.class - [JAR]

├─ org.semanticweb.elk.owlapi.ElkReasonerProgressMonitor.class - [JAR]

├─ org.semanticweb.elk.owlapi.OwlChangesLoaderFactory.class - [JAR]

├─ org.semanticweb.elk.owlapi.OwlOntologyChangeProcessorVisitor.class - [JAR]

├─ org.semanticweb.elk.owlapi.OwlOntologyLoader.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]

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.reasoner.saturation.properties

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

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

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

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

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

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

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

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

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

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

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

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

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

org.semanticweb.elk.proofs

├─ org.semanticweb.elk.proofs.InternalJustifier.class - [JAR]

├─ org.semanticweb.elk.proofs.InternalProof.class - [JAR]

├─ org.semanticweb.elk.proofs.TracingInferenceWrap.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]

org.semanticweb.elk.reasoner.saturation.context

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

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

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

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

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

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

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

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

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

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

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

org.semanticweb.elk.owlapi.proofs

├─ org.semanticweb.elk.owlapi.proofs.ElkInferenceConvertingProducer.class - [JAR]

├─ org.semanticweb.elk.owlapi.proofs.ElkOwlInference.class - [JAR]

├─ org.semanticweb.elk.owlapi.proofs.ElkOwlProof.class - [JAR]

├─ org.semanticweb.elk.owlapi.proofs.OwlInternalJustifier.class - [JAR]

├─ org.semanticweb.elk.owlapi.proofs.OwlInternalProof.class - [JAR]

org.semanticweb.elk.reasoner.saturation.rules.forwardlink

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

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

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

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

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

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

org.semanticweb.elk.reasoner.taxonomy.impl

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

org.semanticweb.elk.util.logging

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

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

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

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

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

org.semanticweb.elk.owl.util

├─ org.semanticweb.elk.owl.util.ElkObjectPropertyExpressionInvertor.class - [JAR]

├─ org.semanticweb.elk.owl.util.OwlObjectNameVisitor.class - [JAR]

org.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.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]

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-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
elk-util-io
icon @io.github.liveontologies
May 24, 2024
elk-util-hashing
icon @io.github.liveontologies
May 24, 2024
elk-util-parent
icon @io.github.liveontologies
May 24, 2024
elk-util-logging
icon @io.github.liveontologies
May 24, 2024
elk-util-testing
icon @io.github.liveontologies
May 24, 2024
io.github.lyxnx.gradle.catalogs.gradle.plugin
icon @io.github.lyxnx.gradle.catalogs
May 24, 2024
6 stars
checkout
icon @com.mangopay.android
May 24, 2024
More Dependencies ❯