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

Download elk-proofs JAR 0.29.0 with all dependencies


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

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

Artifact elk-proofs
Group dev.ikm.elk
Version 0.29.0
Last update 17. September 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.35.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.29.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