Download owlapi-tools-3.4.3.jar
owlapi/owlapi-tools-3.4.3.jar.zip( 147 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-tools/pom.properties META-INF/maven/net.sourceforge.owlapi/owlapi-tools/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 com.clarkparsia.owlapi.modularity.locality.LocalityClass.class com.clarkparsia.owlapi.modularity.locality.LocalityEvaluator.class com.clarkparsia.owlapi.modularity.locality.SemanticLocalityEvaluator.class com.clarkparsia.owlapi.modularity.locality.SyntacticLocalityEvaluator.class org.semanticweb.owlapi.AbstractCompositeOntologyChange.class org.semanticweb.owlapi.AddClassExpressionClosureAxiom.class org.semanticweb.owlapi.AmalgamateSubClassAxioms.class org.semanticweb.owlapi.CoerceConstantsIntoDataPropertyRange.class org.semanticweb.owlapi.ConvertEquivalentClassesToSuperClasses.class org.semanticweb.owlapi.ConvertPropertyAssertionsToAnnotations.class org.semanticweb.owlapi.ConvertSuperClassesToEquivalentClass.class org.semanticweb.owlapi.CreateValuePartition.class org.semanticweb.owlapi.MakeClassesMutuallyDisjoint.class org.semanticweb.owlapi.MakePrimitiveSubClassesMutuallyDisjoint.class org.semanticweb.owlapi.OWLCompositeOntologyChange.class org.semanticweb.owlapi.RemoveAllDisjointAxioms.class org.semanticweb.owlapi.ShortForm2AnnotationGenerator.class org.semanticweb.owlapi.SplitSubClassAxioms.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 org.semanticweb.owlapi.metrics.AbstractOWLMetric.class org.semanticweb.owlapi.metrics.AverageAssertedNamedSuperclassCount.class org.semanticweb.owlapi.metrics.AxiomCount.class org.semanticweb.owlapi.metrics.AxiomCountMetric.class org.semanticweb.owlapi.metrics.AxiomTypeCountMetricFactory.class org.semanticweb.owlapi.metrics.AxiomTypeMetric.class org.semanticweb.owlapi.metrics.DLExpressivity.class org.semanticweb.owlapi.metrics.DoubleValuedMetric.class org.semanticweb.owlapi.metrics.GCICount.class org.semanticweb.owlapi.metrics.HiddenGCICount.class org.semanticweb.owlapi.metrics.ImportClosureSize.class org.semanticweb.owlapi.metrics.IntegerValuedMetric.class org.semanticweb.owlapi.metrics.LogicalAxiomCount.class org.semanticweb.owlapi.metrics.MaximumNumberOfNamedSuperclasses.class org.semanticweb.owlapi.metrics.NumberOfClassesWithMultipleInheritance.class org.semanticweb.owlapi.metrics.OWLMetric.class org.semanticweb.owlapi.metrics.OWLMetricManager.class org.semanticweb.owlapi.metrics.ObjectCountMetric.class org.semanticweb.owlapi.metrics.ReferencedClassCount.class org.semanticweb.owlapi.metrics.ReferencedDataPropertyCount.class org.semanticweb.owlapi.metrics.ReferencedIndividualCount.class org.semanticweb.owlapi.metrics.ReferencedObjectPropertyCount.class org.semanticweb.owlapi.metrics.UnsatisfiableClassCountMetric.class org.semanticweb.owlapi.modularity.OntologySegmenter.class org.semanticweb.owlapi.normalform.NegationalNormalFormConverter.class org.semanticweb.owlapi.normalform.NormalFormRewriter.class org.semanticweb.owlapi.normalform.OWLObjectComplementOfExtractor.class uk.ac.manchester.cs.bhig.util.MutableTree.class uk.ac.manchester.cs.bhig.util.NodeRenderer.class uk.ac.manchester.cs.bhig.util.Tree.class uk.ac.manchester.cs.owl.explanation.ordering.AlphaExplanationOrderer.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.ExplanationOrdererImpl.class uk.ac.manchester.cs.owl.explanation.ordering.ExplanationTree.class uk.ac.manchester.cs.owl.explanation.ordering.NullExplanationOrderer.class uk.ac.manchester.cs.owlapi.modularity.ModuleType.class uk.ac.manchester.cs.owlapi.modularity.SyntacticLocalityModuleExtractor.class