All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Search JAR files by class name

Download owlexplanation JAR 1.0.2 with all dependencies

OWL Explanation Generator - see http://www.bcs.org/upload/pdf/dd-matthew-horridge.pdf

Files of the artifact owlexplanation version 1.0.2 from the group net.sourceforge.owlapi.

Artifact owlexplanation
Group net.sourceforge.owlapi
Version 1.0.2
Last update 26. June 2014
Tags: https open projects maven sonatype repositories source helps
Organization not specified
URL Not specified
License GNU LGPL Version 3.0
Dependencies amount 3
Dependencies owlapi-api, owlapi-tools, telemetry,
There are maybe transitive dependencies!

There is a newer version: 5.0.0

Show newest version

Show more of this group Show more artifacts with this name
Show all versions of owlexplanation Show documentation

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

12 downloads

Source code of owlexplanation version 1.0.2

META-INF

META-INF.META-INF.MANIFEST.MF

org.semanticweb.owl.explanation.api

org.semanticweb.owl.explanation.api.org.semanticweb.owl.explanation.api.ConsoleExplanationProgressMonitor

org.semanticweb.owl.explanation.api.org.semanticweb.owl.explanation.api.Explanation

org.semanticweb.owl.explanation.api.org.semanticweb.owl.explanation.api.ExplanationException

org.semanticweb.owl.explanation.api.org.semanticweb.owl.explanation.api.ExplanationGenerator

org.semanticweb.owl.explanation.api.org.semanticweb.owl.explanation.api.ExplanationGeneratorFactory

org.semanticweb.owl.explanation.api.org.semanticweb.owl.explanation.api.ExplanationGeneratorInterruptedException

org.semanticweb.owl.explanation.api.org.semanticweb.owl.explanation.api.ExplanationManager

org.semanticweb.owl.explanation.api.org.semanticweb.owl.explanation.api.ExplanationProgressMonitor

org.semanticweb.owl.explanation.api.org.semanticweb.owl.explanation.api.ExplanationTelemetryWrapper

org.semanticweb.owl.explanation.api.org.semanticweb.owl.explanation.api.NotEntailedException

org.semanticweb.owl.explanation.api.org.semanticweb.owl.explanation.api.NullExplanationProgressMonitor

org.semanticweb.owl.explanation.api.org.semanticweb.owl.explanation.api.RootDerivedReasoner

org.semanticweb.owl.explanation.api.org.semanticweb.owl.explanation.api.UnsupportedEntailmentException

org.semanticweb.owl.explanation.impl.blackbox

org.semanticweb.owl.explanation.impl.blackbox.org.semanticweb.owl.explanation.impl.blackbox.AllInOneExpansionStrategy

org.semanticweb.owl.explanation.impl.blackbox.org.semanticweb.owl.explanation.impl.blackbox.AxiomAdditionHandler

org.semanticweb.owl.explanation.impl.blackbox.org.semanticweb.owl.explanation.impl.blackbox.BlackBoxExplanationGenerator

org.semanticweb.owl.explanation.impl.blackbox.org.semanticweb.owl.explanation.impl.blackbox.BlackBoxExplanationGenerator2

org.semanticweb.owl.explanation.impl.blackbox.org.semanticweb.owl.explanation.impl.blackbox.Configuration

org.semanticweb.owl.explanation.impl.blackbox.org.semanticweb.owl.explanation.impl.blackbox.ContractionStrategy

org.semanticweb.owl.explanation.impl.blackbox.org.semanticweb.owl.explanation.impl.blackbox.DivideAndConquerContractionStrategy

org.semanticweb.owl.explanation.impl.blackbox.org.semanticweb.owl.explanation.impl.blackbox.DynamicSlidingWindowContractionStrategy

org.semanticweb.owl.explanation.impl.blackbox.org.semanticweb.owl.explanation.impl.blackbox.EntailmentChecker

org.semanticweb.owl.explanation.impl.blackbox.org.semanticweb.owl.explanation.impl.blackbox.EntailmentCheckerFactory

org.semanticweb.owl.explanation.impl.blackbox.org.semanticweb.owl.explanation.impl.blackbox.ExpansionStrategy

org.semanticweb.owl.explanation.impl.blackbox.org.semanticweb.owl.explanation.impl.blackbox.InconsistentOntologyClashExpansionStrategy

org.semanticweb.owl.explanation.impl.blackbox.org.semanticweb.owl.explanation.impl.blackbox.InconsistentOntologyContractionStrategy

org.semanticweb.owl.explanation.impl.blackbox.org.semanticweb.owl.explanation.impl.blackbox.InconsistentOntologyExpansionStrategy

org.semanticweb.owl.explanation.impl.blackbox.org.semanticweb.owl.explanation.impl.blackbox.InitialEntailmentCheckStrategy

org.semanticweb.owl.explanation.impl.blackbox.org.semanticweb.owl.explanation.impl.blackbox.ModularityContractionStrategy

org.semanticweb.owl.explanation.impl.blackbox.org.semanticweb.owl.explanation.impl.blackbox.OrderedAxiomWithWindowContractionStrategy

org.semanticweb.owl.explanation.impl.blackbox.org.semanticweb.owl.explanation.impl.blackbox.OrderedDivideAndConquerStrategy

org.semanticweb.owl.explanation.impl.blackbox.org.semanticweb.owl.explanation.impl.blackbox.PatternBasedEntailmentChecker

org.semanticweb.owl.explanation.impl.blackbox.org.semanticweb.owl.explanation.impl.blackbox.SimpleContractionStrategy

org.semanticweb.owl.explanation.impl.blackbox.org.semanticweb.owl.explanation.impl.blackbox.SimpleExpansionStrategy

org.semanticweb.owl.explanation.impl.blackbox.org.semanticweb.owl.explanation.impl.blackbox.SlidingWindowContractionStrategy

org.semanticweb.owl.explanation.impl.blackbox.org.semanticweb.owl.explanation.impl.blackbox.StructuralExpansionStrategy

org.semanticweb.owl.explanation.impl.blackbox.org.semanticweb.owl.explanation.impl.blackbox.StructuralTypePriorityExpansionStrategy

org.semanticweb.owl.explanation.impl.blackbox.checker

org.semanticweb.owl.explanation.impl.blackbox.checker.org.semanticweb.owl.explanation.impl.blackbox.checker.BlackBoxExplanationGeneratorFactory

org.semanticweb.owl.explanation.impl.blackbox.checker.org.semanticweb.owl.explanation.impl.blackbox.checker.ConsistencyEntailmentChecker

org.semanticweb.owl.explanation.impl.blackbox.checker.org.semanticweb.owl.explanation.impl.blackbox.checker.ConsistencyEntailmentCheckerFactory

org.semanticweb.owl.explanation.impl.blackbox.checker.org.semanticweb.owl.explanation.impl.blackbox.checker.DefaultBlackBoxConfiguration

org.semanticweb.owl.explanation.impl.blackbox.checker.org.semanticweb.owl.explanation.impl.blackbox.checker.InconsistentOntologyExplanationGeneratorFactory

org.semanticweb.owl.explanation.impl.blackbox.checker.org.semanticweb.owl.explanation.impl.blackbox.checker.PatternBasedConsistencyEntailmentChecker

org.semanticweb.owl.explanation.impl.blackbox.checker.org.semanticweb.owl.explanation.impl.blackbox.checker.PatternBasedConsistencyEntailmentCheckerFactory

org.semanticweb.owl.explanation.impl.blackbox.checker.org.semanticweb.owl.explanation.impl.blackbox.checker.SatisfiabilityEntailmentChecker

org.semanticweb.owl.explanation.impl.blackbox.checker.org.semanticweb.owl.explanation.impl.blackbox.checker.SatisfiabilityEntailmentCheckerFactory

org.semanticweb.owl.explanation.impl.blackbox.hst

org.semanticweb.owl.explanation.impl.blackbox.hst.org.semanticweb.owl.explanation.impl.blackbox.hst.BreadthFirstStrategy

org.semanticweb.owl.explanation.impl.blackbox.hst.org.semanticweb.owl.explanation.impl.blackbox.hst.DepthFirstStrategy

org.semanticweb.owl.explanation.impl.blackbox.hst.org.semanticweb.owl.explanation.impl.blackbox.hst.ExplanationComparator

org.semanticweb.owl.explanation.impl.blackbox.hst.org.semanticweb.owl.explanation.impl.blackbox.hst.ExplanationGeneratorMediator

org.semanticweb.owl.explanation.impl.blackbox.hst.org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTree

org.semanticweb.owl.explanation.impl.blackbox.hst.org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTreeCharacteristicsTest

org.semanticweb.owl.explanation.impl.blackbox.hst.org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTreeConstructionStrategy

org.semanticweb.owl.explanation.impl.blackbox.hst.org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTreeNode

org.semanticweb.owl.explanation.impl.blackbox.hst.org.semanticweb.owl.explanation.impl.blackbox.hst.NodeAxiomsComparator

org.semanticweb.owl.explanation.impl.blackbox.nsp

org.semanticweb.owl.explanation.impl.blackbox.nsp.org.semanticweb.owl.explanation.impl.blackbox.nsp.NSPEntailmentCheckerFactory

org.semanticweb.owl.explanation.impl.blackbox.nsp.org.semanticweb.owl.explanation.impl.blackbox.nsp.NonSimplePropertyConfiguration

org.semanticweb.owl.explanation.impl.blackbox.nsp.org.semanticweb.owl.explanation.impl.blackbox.nsp.NonSimplePropertyEntailmentChecker

org.semanticweb.owl.explanation.impl.laconic

org.semanticweb.owl.explanation.impl.laconic.org.semanticweb.owl.explanation.impl.laconic.BaseDescriptionGenerator

org.semanticweb.owl.explanation.impl.laconic.org.semanticweb.owl.explanation.impl.laconic.BetaGenerator

org.semanticweb.owl.explanation.impl.laconic.org.semanticweb.owl.explanation.impl.laconic.IsLaconicChecker

org.semanticweb.owl.explanation.impl.laconic.org.semanticweb.owl.explanation.impl.laconic.LaconicCheckerMode

org.semanticweb.owl.explanation.impl.laconic.org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGenerator

org.semanticweb.owl.explanation.impl.laconic.org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGeneratorBasedOnDeltaPlus

org.semanticweb.owl.explanation.impl.laconic.org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGeneratorBasedOnIncrementalOPlusWithDeltaPlusFiltering

org.semanticweb.owl.explanation.impl.laconic.org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGeneratorBasedOnOPlus

org.semanticweb.owl.explanation.impl.laconic.org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGeneratorBasedOnOPlusWithDeltaPlusFiltering

org.semanticweb.owl.explanation.impl.laconic.org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGeneratorFactory

org.semanticweb.owl.explanation.impl.laconic.org.semanticweb.owl.explanation.impl.laconic.ModularityTreatment

org.semanticweb.owl.explanation.impl.laconic.org.semanticweb.owl.explanation.impl.laconic.NestedIntersectionMaskingTestCase

org.semanticweb.owl.explanation.impl.laconic.org.semanticweb.owl.explanation.impl.laconic.NestedIntersectionTestCase

org.semanticweb.owl.explanation.impl.laconic.org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

org.semanticweb.owl.explanation.impl.laconic.org.semanticweb.owl.explanation.impl.laconic.OPlusSplitting

org.semanticweb.owl.explanation.impl.laconic.org.semanticweb.owl.explanation.impl.laconic.TauGenerator

org.semanticweb.owl.explanation.impl.laconic.org.semanticweb.owl.explanation.impl.laconic.TriviallyBottomChecker

org.semanticweb.owl.explanation.impl.laconic.org.semanticweb.owl.explanation.impl.laconic.TriviallyTopChecker

org.semanticweb.owl.explanation.impl.masking

org.semanticweb.owl.explanation.impl.masking.org.semanticweb.owl.explanation.impl.masking.MaskingDetector

org.semanticweb.owl.explanation.impl.masking.org.semanticweb.owl.explanation.impl.masking.MaskingDetectorDeltaImpl

org.semanticweb.owl.explanation.impl.rootderived

org.semanticweb.owl.explanation.impl.rootderived.org.semanticweb.owl.explanation.impl.rootderived.CompleteRootDerivedReasoner

org.semanticweb.owl.explanation.impl.rootderived.org.semanticweb.owl.explanation.impl.rootderived.StructuralRootDerivedReasoner

org.semanticweb.owl.explanation.impl.setree

org.semanticweb.owl.explanation.impl.setree.org.semanticweb.owl.explanation.impl.setree.SETreeBuilder

org.semanticweb.owl.explanation.impl.setree.org.semanticweb.owl.explanation.impl.setree.SETreeExplanationGenerator

org.semanticweb.owl.explanation.impl.setree.org.semanticweb.owl.explanation.impl.setree.SETreeNode

org.semanticweb.owl.explanation.impl.util

org.semanticweb.owl.explanation.impl.util.org.semanticweb.owl.explanation.impl.util.AxiomTransformation

org.semanticweb.owl.explanation.impl.util.org.semanticweb.owl.explanation.impl.util.ClassExpressionPosition

org.semanticweb.owl.explanation.impl.util.org.semanticweb.owl.explanation.impl.util.DeltaPlusTransformation

org.semanticweb.owl.explanation.impl.util.org.semanticweb.owl.explanation.impl.util.DeltaTransformation

org.semanticweb.owl.explanation.impl.util.org.semanticweb.owl.explanation.impl.util.DeltaTransformationUnfolder

org.semanticweb.owl.explanation.impl.util.org.semanticweb.owl.explanation.impl.util.ModularityStrategy

org.semanticweb.owl.explanation.impl.util.org.semanticweb.owl.explanation.impl.util.Polarity

org.semanticweb.owl.explanation.impl.util.org.semanticweb.owl.explanation.impl.util.Position

org.semanticweb.owl.explanation.modularity

org.semanticweb.owl.explanation.modularity.org.semanticweb.owl.explanation.modularity.OptimisedModuleExtractor

© 2015 - 2024 Weber Informatics LLC | Privacy Policy