jar

io.github.liveontologies : elk-proofs

Maven & Gradle

May 24, 2024

ELK Proofs Package · Utilities to present tracing results (encoded proofs) to the user

Table Of Contents

Latest Version

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

All Versions

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

Version Vulnerabilities Size Updated
0.6.x

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