All Downloads are FREE. Search and download functionalities are using the official Maven repository.
  • Log In
  • Register
    • Search JAR files by class name

    Download elk-proofs JAR 0.35.0 with all dependencies


    Utilities to present tracing results (encoded proofs) to the user

    Files of the artifact elk-proofs version 0.35.0 from the group dev.ikm.elk.

    Test

    Artifact elk-proofs
    Group dev.ikm.elk
    Version 0.35.0
    Last update 17. October 2024
    Tags: tracing proofs utilities present results user encoded
    Organization not specified
    URL Not specified
    License not specified
    Dependencies amount 8
    Dependencies guava, puli, elk-owl-model, elk-owl-implementation, elk-reasoner, elk-util-collections, elk-util-common, elk-util-hashing,
    There are maybe transitive dependencies!
    There is a newer version: 0.36.0
    Show newest version
    Show more of this group  Show more artifacts with this name
    Show all versions of elk-proofs Show documentation

    Please rate this JAR file. Is it a good library?

    0 downloads

    Source code of elk-proofs version 0.35.0

    .LICENSE.txt
    META-INF
    META-INF.META-INF.MANIFEST.MF
    META-INF.maven.dev.ikm.elk.elk-proofs
    META-INF.maven.dev.ikm.elk.elk-proofs.META-INF.maven.dev.ikm.elk.elk-proofs.pom.properties
    META-INF.maven.dev.ikm.elk.elk-proofs.META-INF.maven.dev.ikm.elk.elk-proofs.pom.xml
    .module-info
    org.semanticweb.elk.matching
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.AbstractChild
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.AbstractConclusionMatchInferenceVisitor
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.AbstractMatch
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.BackwardLinkMatch1InferenceVisitor
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.BackwardLinkMatch2InferenceVisitor
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.BackwardLinkMatch3InferenceVisitor
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.BackwardLinkMatch4InferenceVisitor
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.ClassInconsistencyMatch1InferenceVisitor
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.ClassInconsistencyMatch2InferenceVisitor
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.ConclusionMatchExpressionRecycleFactory
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.ConclusionMatchHierarchyImpl
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.ConclusionMatcherVisitor
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.DisjointSubsumerMatch1InferenceVisitor
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.DisjointSubsumerMatch2InferenceVisitor
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.ElkMatchException
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.ForwardLinkMatch1InferenceVisitor
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.ForwardLinkMatch2InferenceVisitor
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.ForwardLinkMatch3InferenceVisitor
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.ForwardLinkMatch4InferenceVisitor
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.IndexedDisjointClassesAxiomMatch1InferenceVisitor
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.IndexedDisjointClassesAxiomMatch2InferenceVisitor
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.IndexedEquivalentClassesAxiomMatch1InferenceVisitor
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.IndexedEquivalentClassesAxiomMatch2InferenceVisitor
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.IndexedObjectPropertyRangeAxiomMatch1InferenceVisitor
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.IndexedObjectPropertyRangeAxiomMatch2InferenceVisitor
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.IndexedSubClassOfAxiomMatch1InferenceVisitor
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.IndexedSubClassOfAxiomMatch2InferenceVisitor
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.IndexedSubObjectPropertyOfAxiomMatch1InferenceVisitor
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.IndexedSubObjectPropertyOfAxiomMatch2InferenceVisitor
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.InferenceMap
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.InferenceMatchBufferringFactory
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.InferenceMatchMap
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.InferenceMatchMapImpl
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.InferenceMatchMapWriter
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.InferenceMatchVisitor
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.Matcher
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.PropagationMatch1InferenceVisitor
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.PropagationMatch2InferenceVisitor
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.PropertyRangeMatch1InferenceVisitor
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.PropertyRangeMatch2InferenceVisitor
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.SubClassInclusionComposedMatch1InferenceVisitor
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.SubClassInclusionComposedMatch2InferenceVisitor
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.SubClassInclusionDecomposedMatch1InferenceVisitor
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.SubClassInclusionDecomposedMatch2InferenceVisitor
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.SubPropertyChainMatch1InferenceVisitor
    org.semanticweb.elk.matching.org.semanticweb.elk.matching.SubPropertyChainMatch2InferenceVisitor
    org.semanticweb.elk.matching.conclusions
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.AbstractClassConclusionMatch
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.AbstractConclusionMatch
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.AbstractIndexedAxiomMatch
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.AbstractObjectPropertyConclusionMatch
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.AbstractSaturationConclusionMatch
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.BackwardLinkMatch1
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.BackwardLinkMatch1Watch
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.BackwardLinkMatch2
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.BackwardLinkMatch2Watch
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.BackwardLinkMatch3
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.BackwardLinkMatch3Watch
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.BackwardLinkMatch4
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.ClassConclusionMatch
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.ClassInconsistencyMatch1
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.ClassInconsistencyMatch1Watch
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.ClassInconsistencyMatch2
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.ConclusionMatch
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.ConclusionMatchBaseFactory
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.ConclusionMatchDummyVisitor
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.ConclusionMatchEquality
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.ConclusionMatchExpressionDelegatingFactory
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.ConclusionMatchExpressionFactory
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.ConclusionMatchHash
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.ConclusionMatchHierarchy
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.ConclusionMatchPrinter
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.DisjointSubsumerMatch1
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.DisjointSubsumerMatch1Watch
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.DisjointSubsumerMatch2
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.ForwardLinkMatch1
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.ForwardLinkMatch1Watch
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.ForwardLinkMatch2
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.ForwardLinkMatch2Watch
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.ForwardLinkMatch3
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.ForwardLinkMatch3Watch
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.ForwardLinkMatch4
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.IndexedAxiomMatch
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.IndexedDisjointClassesAxiomMatch1
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.IndexedDisjointClassesAxiomMatch1Watch
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.IndexedDisjointClassesAxiomMatch2
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.IndexedEquivalentClassesAxiomMatch1
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.IndexedEquivalentClassesAxiomMatch1Watch
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.IndexedEquivalentClassesAxiomMatch2
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.IndexedObjectPropertyRangeAxiomMatch1
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.IndexedObjectPropertyRangeAxiomMatch1Watch
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.IndexedObjectPropertyRangeAxiomMatch2
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.IndexedSubClassOfAxiomMatch1
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.IndexedSubClassOfAxiomMatch1Watch
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.IndexedSubClassOfAxiomMatch2
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.IndexedSubObjectPropertyOfAxiomMatch1
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.IndexedSubObjectPropertyOfAxiomMatch1Watch
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.IndexedSubObjectPropertyOfAxiomMatch2
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.ObjectPropertyConclusionMatch
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.PropagationMatch1
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.PropagationMatch1Watch
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.PropagationMatch2
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.PropertyRangeMatch1
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.PropertyRangeMatch1Watch
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.PropertyRangeMatch2
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.SaturationConclusionMatch
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.SubClassInclusionComposedMatch1
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.SubClassInclusionComposedMatch1Watch
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.SubClassInclusionComposedMatch2
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.SubClassInclusionDecomposedMatch1
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.SubClassInclusionDecomposedMatch1Watch
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.SubClassInclusionDecomposedMatch2
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.SubClassInclusionMatch
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.SubPropertyChainMatch1
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.SubPropertyChainMatch1Watch
    org.semanticweb.elk.matching.conclusions.org.semanticweb.elk.matching.conclusions.SubPropertyChainMatch2
    org.semanticweb.elk.matching.inferences
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.AbstractInferenceMatch
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.AbstractSubClassInclusionComposedCanonizerMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.AbstractSubClassInclusionComposedCanonizerMatch2
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.AbstractSubClassInclusionDecomposedCanonizerMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.BackwardLinkCompositionMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.BackwardLinkCompositionMatch2
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.BackwardLinkCompositionMatch3
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.BackwardLinkCompositionMatch4
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.BackwardLinkCompositionMatch5
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.BackwardLinkCompositionMatch6
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.BackwardLinkCompositionMatch7
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.BackwardLinkCompositionMatch8
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.BackwardLinkCompositionMatch9
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.BackwardLinkOfObjectHasSelfMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.BackwardLinkOfObjectHasSelfMatch2
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.BackwardLinkOfObjectHasSelfMatch3
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.BackwardLinkOfObjectSomeValuesFromMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.BackwardLinkOfObjectSomeValuesFromMatch2
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.BackwardLinkOfObjectSomeValuesFromMatch3
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.BackwardLinkReversedExpandedMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.BackwardLinkReversedExpandedMatch2
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.BackwardLinkReversedExpandedMatch3
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.BackwardLinkReversedExpandedMatch4
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.BackwardLinkReversedExpandedMatch5
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ClassInconsistencyOfDisjointSubsumersMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ClassInconsistencyOfDisjointSubsumersMatch2
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ClassInconsistencyOfDisjointSubsumersMatch3
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ClassInconsistencyOfObjectComplementOfMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ClassInconsistencyOfObjectComplementOfMatch2
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ClassInconsistencyOfObjectComplementOfMatch3
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ClassInconsistencyOfOwlNothingMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ClassInconsistencyOfOwlNothingMatch2
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ClassInconsistencyPropagatedMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ClassInconsistencyPropagatedMatch2
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ClassInconsistencyPropagatedMatch3
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ClassInconsistencyPropagatedMatch4
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.DisjointSubsumerFromSubsumerMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.DisjointSubsumerFromSubsumerMatch2
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.DisjointSubsumerFromSubsumerMatch3
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ElkClassAssertionAxiomConversionMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ElkDifferentIndividualsAxiomBinaryConversionMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ElkDifferentIndividualsAxiomNaryConversionMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ElkDisjointClassesAxiomBinaryConversionMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ElkDisjointClassesAxiomNaryConversionMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ElkDisjointUnionAxiomBinaryConversionMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ElkDisjointUnionAxiomEquivalenceConversionMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ElkDisjointUnionAxiomNaryConversionMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ElkDisjointUnionAxiomOwlNothingConversionMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ElkDisjointUnionAxiomSubClassConversionMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ElkEquivalentClassesAxiomEquivalenceConversionMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ElkEquivalentClassesAxiomSubClassConversionMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ElkEquivalentObjectPropertiesAxiomConversionMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ElkObjectPropertyAssertionAxiomConversionMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ElkObjectPropertyDomainAxiomConversionMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ElkObjectPropertyRangeAxiomConversionMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ElkReflexiveObjectPropertyAxiomConversionMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ElkSameIndividualAxiomConversionMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ElkSubClassOfAxiomConversionMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ElkSubObjectPropertyOfAxiomConversionMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ElkTransitiveObjectPropertyAxiomConversionMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ForwardLinkCompositionMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ForwardLinkCompositionMatch2
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ForwardLinkCompositionMatch3
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ForwardLinkCompositionMatch4
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ForwardLinkCompositionMatch5
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ForwardLinkCompositionMatch6
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ForwardLinkCompositionMatch7
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ForwardLinkCompositionMatch8
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ForwardLinkOfObjectHasSelfMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ForwardLinkOfObjectHasSelfMatch2
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ForwardLinkOfObjectHasSelfMatch3
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ForwardLinkOfObjectSomeValuesFromMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ForwardLinkOfObjectSomeValuesFromMatch2
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.ForwardLinkOfObjectSomeValuesFromMatch3
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.InferenceMatch
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.InferenceMatchBaseFactory
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.InferenceMatchDelegatingFactory
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.InferenceMatchPrinter
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.LinkOfObjectHasSelfMatch2
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.LinkOfObjectSomeValuesFromMatch2
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.PropagationGeneratedMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.PropagationGeneratedMatch2
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.PropagationGeneratedMatch3
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.PropertyRangeInheritedMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.PropertyRangeInheritedMatch2
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.PropertyRangeInheritedMatch3
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionComposedDefinedClassMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionComposedDefinedClassMatch2
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionComposedDefinedClassMatch3
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionComposedEmptyObjectIntersectionOfMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionComposedEmptyObjectIntersectionOfMatch2
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionComposedEmptyObjectOneOfMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionComposedEmptyObjectOneOfMatch2
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionComposedEmptyObjectUnionOfMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionComposedEmptyObjectUnionOfMatch2
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionComposedObjectHasValueMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionComposedObjectHasValueMatch2
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionComposedObjectIntersectionOfMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionComposedObjectIntersectionOfMatch2
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionComposedObjectIntersectionOfMatch3
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionComposedObjectSomeValuesFromMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionComposedObjectSomeValuesFromMatch2
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionComposedObjectSomeValuesFromMatch3
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionComposedObjectSomeValuesFromMatch4
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionComposedObjectUnionOfMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionComposedObjectUnionOfMatch2
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionComposedOfDecomposedMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionComposedOfDecomposedMatch2
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionComposedSingletonObjectIntersectionOfMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionComposedSingletonObjectIntersectionOfMatch2
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionComposedSingletonObjectOneOfMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionComposedSingletonObjectOneOfMatch2
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionComposedSingletonObjectUnionOfMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionComposedSingletonObjectUnionOfMatch2
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionDecomposedEmptyObjectIntersectionOfMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionDecomposedEmptyObjectOneOfMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionDecomposedEmptyObjectUnionOfMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionDecomposedFirstConjunctMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionDecomposedFirstConjunctMatch2
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionDecomposedObjectHasValueMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionDecomposedSecondConjunctMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionDecomposedSecondConjunctMatch2
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionDecomposedSingletonObjectIntersectionOfMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionDecomposedSingletonObjectOneOfMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionDecomposedSingletonObjectUnionOfMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionExpandedDefinitionMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionExpandedDefinitionMatch2
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionExpandedDefinitionMatch3
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionExpandedFirstEquivalentClassMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionExpandedFirstEquivalentClassMatch2
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionExpandedFirstEquivalentClassMatch3
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionExpandedSecondEquivalentClassMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionExpandedSecondEquivalentClassMatch2
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionExpandedSecondEquivalentClassMatch3
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionExpandedSubClassOfMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionExpandedSubClassOfMatch2
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionExpandedSubClassOfMatch3
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionObjectHasSelfPropertyRangeMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionObjectHasSelfPropertyRangeMatch2
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionObjectHasSelfPropertyRangeMatch3
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionOwlThingMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionRangeMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionRangeMatch2
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubClassInclusionTautologyMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubPropertyChainExpandedSubObjectPropertyOfMatch1
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubPropertyChainExpandedSubObjectPropertyOfMatch2
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubPropertyChainExpandedSubObjectPropertyOfMatch3
    org.semanticweb.elk.matching.inferences.org.semanticweb.elk.matching.inferences.SubPropertyChainTautologyMatch1
    org.semanticweb.elk.matching.root
    org.semanticweb.elk.matching.root.org.semanticweb.elk.matching.root.AbstractIndexedContextRootMatch
    org.semanticweb.elk.matching.root.org.semanticweb.elk.matching.root.IndexedContextRootClassExpressionMatch
    org.semanticweb.elk.matching.root.org.semanticweb.elk.matching.root.IndexedContextRootIndividualMatch
    org.semanticweb.elk.matching.root.org.semanticweb.elk.matching.root.IndexedContextRootMatch
    org.semanticweb.elk.matching.root.org.semanticweb.elk.matching.root.IndexedContextRootMatchBaseFactory
    org.semanticweb.elk.matching.root.org.semanticweb.elk.matching.root.IndexedContextRootMatchChain
    org.semanticweb.elk.matching.root.org.semanticweb.elk.matching.root.IndexedContextRootMatchDummyVisitor
    org.semanticweb.elk.matching.root.org.semanticweb.elk.matching.root.IndexedContextRootMatchEquality
    org.semanticweb.elk.matching.root.org.semanticweb.elk.matching.root.IndexedContextRootMatchHash
    org.semanticweb.elk.matching.root.org.semanticweb.elk.matching.root.IndexedContextRootMatchPrinter
    org.semanticweb.elk.matching.subsumers
    org.semanticweb.elk.matching.subsumers.org.semanticweb.elk.matching.subsumers.AbstractIndexedClassEntityMatch
    org.semanticweb.elk.matching.subsumers.org.semanticweb.elk.matching.subsumers.AbstractIndexedObjectSomeValuesFromMatch
    org.semanticweb.elk.matching.subsumers.org.semanticweb.elk.matching.subsumers.AbstractIndexedObjectUnionOfMatch
    org.semanticweb.elk.matching.subsumers.org.semanticweb.elk.matching.subsumers.AbstractSubsumerElkObjectMatch
    org.semanticweb.elk.matching.subsumers.org.semanticweb.elk.matching.subsumers.AbstractSubsumerMatch
    org.semanticweb.elk.matching.subsumers.org.semanticweb.elk.matching.subsumers.AbstractSubsumerNonCanonicalMatch
    org.semanticweb.elk.matching.subsumers.org.semanticweb.elk.matching.subsumers.IndexedClassEntityMatch
    org.semanticweb.elk.matching.subsumers.org.semanticweb.elk.matching.subsumers.IndexedClassMatch
    org.semanticweb.elk.matching.subsumers.org.semanticweb.elk.matching.subsumers.IndexedDataHasValueMatch
    org.semanticweb.elk.matching.subsumers.org.semanticweb.elk.matching.subsumers.IndexedIndividualMatch
    org.semanticweb.elk.matching.subsumers.org.semanticweb.elk.matching.subsumers.IndexedObjectComplementOfMatch
    org.semanticweb.elk.matching.subsumers.org.semanticweb.elk.matching.subsumers.IndexedObjectHasSelfMatch
    org.semanticweb.elk.matching.subsumers.org.semanticweb.elk.matching.subsumers.IndexedObjectIntersectionOfMatch
    org.semanticweb.elk.matching.subsumers.org.semanticweb.elk.matching.subsumers.IndexedObjectSomeValuesFromMatch
    org.semanticweb.elk.matching.subsumers.org.semanticweb.elk.matching.subsumers.IndexedObjectUnionOfMatch
    org.semanticweb.elk.matching.subsumers.org.semanticweb.elk.matching.subsumers.IndexedObjectUnionOfMatchVisitor
    org.semanticweb.elk.matching.subsumers.org.semanticweb.elk.matching.subsumers.SubsumerElkObjectMatch
    org.semanticweb.elk.matching.subsumers.org.semanticweb.elk.matching.subsumers.SubsumerEmptyObjectIntersectionOfMatch
    org.semanticweb.elk.matching.subsumers.org.semanticweb.elk.matching.subsumers.SubsumerEmptyObjectOneOfMatch
    org.semanticweb.elk.matching.subsumers.org.semanticweb.elk.matching.subsumers.SubsumerEmptyObjectUnionOfMatch
    org.semanticweb.elk.matching.subsumers.org.semanticweb.elk.matching.subsumers.SubsumerMatch
    org.semanticweb.elk.matching.subsumers.org.semanticweb.elk.matching.subsumers.SubsumerMatchDummyVisitor
    org.semanticweb.elk.matching.subsumers.org.semanticweb.elk.matching.subsumers.SubsumerMatchEquality
    org.semanticweb.elk.matching.subsumers.org.semanticweb.elk.matching.subsumers.SubsumerMatchHash
    org.semanticweb.elk.matching.subsumers.org.semanticweb.elk.matching.subsumers.SubsumerMatchPrinter
    org.semanticweb.elk.matching.subsumers.org.semanticweb.elk.matching.subsumers.SubsumerMatcherVisitor
    org.semanticweb.elk.matching.subsumers.org.semanticweb.elk.matching.subsumers.SubsumerMatches
    org.semanticweb.elk.matching.subsumers.org.semanticweb.elk.matching.subsumers.SubsumerNonCanonicalMatch
    org.semanticweb.elk.matching.subsumers.org.semanticweb.elk.matching.subsumers.SubsumerObjectHasValueMatch
    org.semanticweb.elk.matching.subsumers.org.semanticweb.elk.matching.subsumers.SubsumerObjectOneOfMatch
    org.semanticweb.elk.matching.subsumers.org.semanticweb.elk.matching.subsumers.SubsumerObjectSomeValuesFromMatch
    org.semanticweb.elk.matching.subsumers.org.semanticweb.elk.matching.subsumers.SubsumerObjectUnionOfMatch
    org.semanticweb.elk.matching.subsumers.org.semanticweb.elk.matching.subsumers.SubsumerSingletonObjectIntersectionOfMatch
    org.semanticweb.elk.matching.subsumers.org.semanticweb.elk.matching.subsumers.SubsumerSingletonObjectOneOfMatch
    org.semanticweb.elk.matching.subsumers.org.semanticweb.elk.matching.subsumers.SubsumerSingletonObjectUnionOfMatch
    org.semanticweb.elk.owl.inferences
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.AbstractElkInference
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkClassAssertionOfClassInclusion
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkClassInclusionEmptyObjectOneOfOwlNothing
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkClassInclusionEmptyObjectUnionOfOwlNothing
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkClassInclusionExistentialComposition
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkClassInclusionExistentialFillerExpansion
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkClassInclusionExistentialOfObjectHasSelf
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkClassInclusionExistentialOwlNothing
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkClassInclusionExistentialPropertyExpansion
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkClassInclusionExistentialRange
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkClassInclusionExistentialTransitivity
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkClassInclusionHierarchy
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkClassInclusionNegationClash
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkClassInclusionObjectIntersectionOfComposition
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkClassInclusionObjectIntersectionOfDecomposition
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkClassInclusionObjectIntersectionOfInclusion
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkClassInclusionObjectOneOfInclusion
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkClassInclusionObjectUnionOfComposition
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkClassInclusionOfClassAssertion
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkClassInclusionOfDisjointClasses
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkClassInclusionOfEquivaletClasses
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkClassInclusionOfObjectPropertyAssertion
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkClassInclusionOfObjectPropertyDomain
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkClassInclusionOfReflexiveObjectProperty
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkClassInclusionOwlBottomObjectProperty
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkClassInclusionOwlNothing
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkClassInclusionOwlThing
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkClassInclusionOwlThingEmptyObjectIntersectionOf
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkClassInclusionOwlTopObjectProperty
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkClassInclusionReflexivePropertyRange
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkClassInclusionSingletonObjectUnionOfDecomposition
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkClassInclusionTautology
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkClassInclusionTopObjectHasValue
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkDifferentIndividualsOfDisjointClasses
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkDisjointClassesIntersectionInconsistencies
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkDisjointClassesOfDifferentIndividuals
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkDisjointClassesOfDisjointUnion
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkEquivalentClassesCycle
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkEquivalentClassesObjectHasValue
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkEquivalentClassesObjectOneOf
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkEquivalentClassesOfDisjointUnion
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkEquivalentClassesOfSameIndividual
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkInference
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkInferenceAdapter
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkInferenceBaseFactory
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkInferenceDelegatingFactory
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkInferenceDummyVisitor
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkInferenceEquality
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkInferenceExamples
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkInferenceHash
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkInferenceOptimizedProducingFactory
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkInferencePrinter
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkInferenceProducer
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkInferenceProducingFactory
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkObjectPropertyAssertionOfClassInclusion
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkObjectPropertyDomainOfClassInclusion
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkProof
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkProofGenerator
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkPropertyInclusionHierarchy
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkPropertyInclusionOfEquivalence
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkPropertyInclusionOfTransitiveObjectProperty
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkPropertyInclusionTautology
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkPropertyRangePropertyExpansion
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkSameIndividualOfEquivalentClasses
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ElkToldAxiom
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ModifiableElkProof
    org.semanticweb.elk.owl.inferences.org.semanticweb.elk.owl.inferences.ReasonerElkProof
    org.semanticweb.elk.proofs
    org.semanticweb.elk.proofs.org.semanticweb.elk.proofs.InternalJustifier
    org.semanticweb.elk.proofs.org.semanticweb.elk.proofs.InternalProof
    org.semanticweb.elk.proofs.org.semanticweb.elk.proofs.TracingInferenceWrap




    © 2015 - 2024 Weber Informatics LLC | Privacy Policy