jar

net.sourceforge.owlapi : owlexplanation

Maven & Gradle

Mar 18, 2019
5 usages
17 stars

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

Table Of Contents

Latest Version

Download net.sourceforge.owlapi : owlexplanation JAR file - Latest Versions:

All Versions

Download net.sourceforge.owlapi : owlexplanation JAR file - All Versions:

Version Vulnerabilities Size Updated
5.0.x
2.0.x
1.1.x
1.0.x

View Java Class Source Code in JAR file

  1. Download JD-GUI to open JAR file and explore Java source code file (.class .java)
  2. Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window owlexplanation-2.0.1.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

org.semanticweb.owl.explanation.impl.blackbox

├─ org.semanticweb.owl.explanation.impl.blackbox.AllInOneExpansionStrategy.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.AxiomAdditionHandler.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.BlackBoxExplanationGenerator.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.BlackBoxExplanationGenerator2.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.Configuration.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.ContractionStrategy.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.DivideAndConquerContractionStrategy.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.DynamicSlidingWindowContractionStrategy.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.EntailmentChecker.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.EntailmentCheckerFactory.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.ExpansionStrategy.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.InconsistentOntologyClashExpansionStrategy.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.InconsistentOntologyContractionStrategy.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.InconsistentOntologyExpansionStrategy.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.InitialEntailmentCheckStrategy.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.ModularityContractionStrategy.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.OrderedAxiomWithWindowContractionStrategy.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.OrderedDivideAndConquerStrategy.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.PatternBasedEntailmentChecker.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.SimpleContractionStrategy.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.SimpleExpansionStrategy.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.SlidingWindowContractionStrategy.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.StructuralExpansionStrategy.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.StructuralTypePriorityExpansionStrategy.class - [JAR]

org.semanticweb.owl.explanation.api

├─ org.semanticweb.owl.explanation.api.ConsoleExplanationProgressMonitor.class - [JAR]

├─ org.semanticweb.owl.explanation.api.Explanation.class - [JAR]

├─ org.semanticweb.owl.explanation.api.ExplanationException.class - [JAR]

├─ org.semanticweb.owl.explanation.api.ExplanationGenerator.class - [JAR]

├─ org.semanticweb.owl.explanation.api.ExplanationGeneratorFactory.class - [JAR]

├─ org.semanticweb.owl.explanation.api.ExplanationGeneratorInterruptedException.class - [JAR]

├─ org.semanticweb.owl.explanation.api.ExplanationManager.class - [JAR]

├─ org.semanticweb.owl.explanation.api.ExplanationProgressMonitor.class - [JAR]

├─ org.semanticweb.owl.explanation.api.ExplanationTelemetryWrapper.class - [JAR]

├─ org.semanticweb.owl.explanation.api.NotEntailedException.class - [JAR]

├─ org.semanticweb.owl.explanation.api.NullExplanationProgressMonitor.class - [JAR]

├─ org.semanticweb.owl.explanation.api.RootDerivedReasoner.class - [JAR]

├─ org.semanticweb.owl.explanation.api.UnsupportedEntailmentException.class - [JAR]

org.semanticweb.owl.explanation.impl.util

├─ org.semanticweb.owl.explanation.impl.util.AxiomTransformation.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.util.ClassExpressionPosition.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.util.DeltaPlusTransformation.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.util.DeltaTransformation.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.util.DeltaTransformationUnfolder.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.util.ModularityStrategy.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.util.Polarity.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.util.Position.class - [JAR]

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

├─ org.semanticweb.owl.explanation.impl.blackbox.hst.BreadthFirstStrategy.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.hst.DepthFirstStrategy.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.hst.ExplanationComparator.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.hst.ExplanationGeneratorMediator.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTree.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTreeConstructionStrategy.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTreeNode.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.hst.NodeAxiomsComparator.class - [JAR]

org.semanticweb.owl.explanation.modularity

├─ org.semanticweb.owl.explanation.modularity.OptimisedModuleExtractor.class - [JAR]

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

├─ org.semanticweb.owl.explanation.impl.blackbox.nsp.NSPEntailmentCheckerFactory.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.nsp.NonSimplePropertyConfiguration.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.nsp.NonSimplePropertyEntailmentChecker.class - [JAR]

org.semanticweb.owl.explanation.impl.laconic

├─ org.semanticweb.owl.explanation.impl.laconic.BaseDescriptionGenerator.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.laconic.BetaGenerator.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.laconic.IsLaconicChecker.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.laconic.LaconicCheckerMode.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGenerator.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGeneratorBasedOnDeltaPlus.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGeneratorBasedOnIncrementalOPlusWithDeltaPlusFiltering.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGeneratorBasedOnOPlus.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGeneratorBasedOnOPlusWithDeltaPlusFiltering.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGeneratorFactory.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.laconic.ModularityTreatment.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.laconic.OPlusSplitting.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.laconic.TauGenerator.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.laconic.TriviallyBottomChecker.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.laconic.TriviallyTopChecker.class - [JAR]

org.semanticweb.owl.explanation.impl.rootderived

├─ org.semanticweb.owl.explanation.impl.rootderived.CompleteRootDerivedReasoner.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.rootderived.StructuralRootDerivedReasoner.class - [JAR]

org.semanticweb.owl.explanation.impl.setree

├─ org.semanticweb.owl.explanation.impl.setree.SETreeBuilder.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.setree.SETreeExplanationGenerator.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.setree.SETreeNode.class - [JAR]

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

├─ org.semanticweb.owl.explanation.impl.blackbox.checker.BlackBoxExplanationGeneratorFactory.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.checker.ConsistencyEntailmentChecker.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.checker.ConsistencyEntailmentCheckerFactory.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.checker.DefaultBlackBoxConfiguration.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.checker.InconsistentOntologyExplanationGeneratorFactory.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.checker.PatternBasedConsistencyEntailmentChecker.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.checker.PatternBasedConsistencyEntailmentCheckerFactory.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.checker.SatisfiabilityEntailmentChecker.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.blackbox.checker.SatisfiabilityEntailmentCheckerFactory.class - [JAR]

org.semanticweb.owl.explanation.impl.masking

├─ org.semanticweb.owl.explanation.impl.masking.MaskingDetector.class - [JAR]

├─ org.semanticweb.owl.explanation.impl.masking.MaskingDetectorDeltaImpl.class - [JAR]

Advertisement

Dependencies from Group

Jul 17, 2023
117 usages
755 stars
Jul 17, 2023
83 usages
755 stars
Jul 17, 2023
81 usages
755 stars
Jul 17, 2023
36 usages
752 stars
Jul 17, 2023
30 usages
755 stars

Discover Dependencies

May 15, 2017
3 usages
Jul 06, 2016
3 usages
Jan 30, 2017
4 usages
Apr 27, 2017
3 usages
185 stars
Apr 27, 2017
3 usages
185 stars
Apr 27, 2017
3 usages
185 stars
Apr 27, 2017
3 usages
185 stars
Apr 27, 2017
3 usages
185 stars
Apr 27, 2017
3 usages
185 stars
Apr 27, 2017
3 usages
185 stars