Download owlapi-debugging-3.3.jar
owlapi/owlapi-debugging-3.3.jar.zip( 63 k)
The download jar file contains the following class files or Java source files.
META-INF/MANIFEST.MF META-INF/maven/net.sourceforge.owlapi/owlapi-debugging/pom.properties META-INF/maven/net.sourceforge.owlapi/owlapi-debugging/pom.xml com.clarkparsia.owlapi.explanation.BlackBoxExplanation.class com.clarkparsia.owlapi.explanation.DefaultExplanationGenerator.class com.clarkparsia.owlapi.explanation.ExplanationGenerator.class com.clarkparsia.owlapi.explanation.HSTExplanationGenerator.class com.clarkparsia.owlapi.explanation.MultipleExplanationGenerator.class com.clarkparsia.owlapi.explanation.SatisfiabilityConverter.class com.clarkparsia.owlapi.explanation.SingleExplanationGenerator.class com.clarkparsia.owlapi.explanation.SingleExplanationGeneratorImpl.class com.clarkparsia.owlapi.explanation.TransactionAwareSingleExpGen.class com.clarkparsia.owlapi.explanation.io.ConciseExplanationRenderer.class com.clarkparsia.owlapi.explanation.io.ExplanationRenderer.class com.clarkparsia.owlapi.explanation.io.SilentExplanationRenderer.class com.clarkparsia.owlapi.explanation.util.DefinitionTracker.class com.clarkparsia.owlapi.explanation.util.ExplanationProgressMonitor.class com.clarkparsia.owlapi.explanation.util.OntologyUtils.class com.clarkparsia.owlapi.explanation.util.SilentExplanationProgressMonitor.class org.semanticweb.owlapi.debugging.AbstractOWLDebugger.class org.semanticweb.owlapi.debugging.BlackBoxOWLDebugger.class org.semanticweb.owlapi.debugging.DebuggerClassExpressionGenerator.class org.semanticweb.owlapi.debugging.JustificationMap.class org.semanticweb.owlapi.debugging.OWLDebugger.class uk.ac.manchester.cs.owl.explanation.ordering.AlphaExplanationOrderer.class uk.ac.manchester.cs.owl.explanation.ordering.DefaultExplanationOrderer.class uk.ac.manchester.cs.owl.explanation.ordering.EntailedAxiomTree.class uk.ac.manchester.cs.owl.explanation.ordering.ExplanationOrderer.class uk.ac.manchester.cs.owl.explanation.ordering.ExplanationTree.class uk.ac.manchester.cs.owl.explanation.ordering.NullExplanationOrderer.class