Download owlapi-tools-3.4.4.3-ansell-sources.jar
owlapi/owlapi-tools-3.4.4.3-ansell-sources.jar.zip( 139 k)
The download jar file contains the following class files or Java source files.
META-INF/MANIFEST.MF com.clarkparsia.owlapi.explanation.BlackBoxExplanation.java com.clarkparsia.owlapi.explanation.DefaultExplanationGenerator.java com.clarkparsia.owlapi.explanation.ExplanationGenerator.java com.clarkparsia.owlapi.explanation.HSTExplanationGenerator.java com.clarkparsia.owlapi.explanation.MultipleExplanationGenerator.java com.clarkparsia.owlapi.explanation.SatisfiabilityConverter.java com.clarkparsia.owlapi.explanation.SingleExplanationGenerator.java com.clarkparsia.owlapi.explanation.SingleExplanationGeneratorImpl.java com.clarkparsia.owlapi.explanation.TransactionAwareSingleExpGen.java com.clarkparsia.owlapi.explanation.io.ConciseExplanationRenderer.java com.clarkparsia.owlapi.explanation.io.ExplanationRenderer.java com.clarkparsia.owlapi.explanation.io.SilentExplanationRenderer.java com.clarkparsia.owlapi.explanation.util.DefinitionTracker.java com.clarkparsia.owlapi.explanation.util.ExplanationProgressMonitor.java com.clarkparsia.owlapi.explanation.util.OntologyUtils.java com.clarkparsia.owlapi.explanation.util.SilentExplanationProgressMonitor.java com.clarkparsia.owlapi.modularity.locality.LocalityClass.java com.clarkparsia.owlapi.modularity.locality.LocalityEvaluator.java com.clarkparsia.owlapi.modularity.locality.SemanticLocalityEvaluator.java com.clarkparsia.owlapi.modularity.locality.SyntacticLocalityEvaluator.java org.semanticweb.owlapi.AbstractCompositeOntologyChange.java org.semanticweb.owlapi.AddClassExpressionClosureAxiom.java org.semanticweb.owlapi.AmalgamateSubClassAxioms.java org.semanticweb.owlapi.CoerceConstantsIntoDataPropertyRange.java org.semanticweb.owlapi.ConvertEquivalentClassesToSuperClasses.java org.semanticweb.owlapi.ConvertPropertyAssertionsToAnnotations.java org.semanticweb.owlapi.ConvertSuperClassesToEquivalentClass.java org.semanticweb.owlapi.CreateValuePartition.java org.semanticweb.owlapi.MakeClassesMutuallyDisjoint.java org.semanticweb.owlapi.MakePrimitiveSubClassesMutuallyDisjoint.java org.semanticweb.owlapi.OWLCompositeOntologyChange.java org.semanticweb.owlapi.RemoveAllDisjointAxioms.java org.semanticweb.owlapi.ShortForm2AnnotationGenerator.java org.semanticweb.owlapi.SplitSubClassAxioms.java org.semanticweb.owlapi.debugging.AbstractOWLDebugger.java org.semanticweb.owlapi.debugging.BlackBoxOWLDebugger.java org.semanticweb.owlapi.debugging.DebuggerClassExpressionGenerator.java org.semanticweb.owlapi.debugging.JustificationMap.java org.semanticweb.owlapi.debugging.OWLDebugger.java org.semanticweb.owlapi.metrics.AbstractOWLMetric.java org.semanticweb.owlapi.metrics.AverageAssertedNamedSuperclassCount.java org.semanticweb.owlapi.metrics.AxiomCount.java org.semanticweb.owlapi.metrics.AxiomCountMetric.java org.semanticweb.owlapi.metrics.AxiomTypeCountMetricFactory.java org.semanticweb.owlapi.metrics.AxiomTypeMetric.java org.semanticweb.owlapi.metrics.DLExpressivity.java org.semanticweb.owlapi.metrics.DoubleValuedMetric.java org.semanticweb.owlapi.metrics.GCICount.java org.semanticweb.owlapi.metrics.HiddenGCICount.java org.semanticweb.owlapi.metrics.ImportClosureSize.java org.semanticweb.owlapi.metrics.IntegerValuedMetric.java org.semanticweb.owlapi.metrics.LogicalAxiomCount.java org.semanticweb.owlapi.metrics.MaximumNumberOfNamedSuperclasses.java org.semanticweb.owlapi.metrics.NumberOfClassesWithMultipleInheritance.java org.semanticweb.owlapi.metrics.OWLMetric.java org.semanticweb.owlapi.metrics.OWLMetricManager.java org.semanticweb.owlapi.metrics.ObjectCountMetric.java org.semanticweb.owlapi.metrics.ReferencedClassCount.java org.semanticweb.owlapi.metrics.ReferencedDataPropertyCount.java org.semanticweb.owlapi.metrics.ReferencedIndividualCount.java org.semanticweb.owlapi.metrics.ReferencedObjectPropertyCount.java org.semanticweb.owlapi.metrics.UnsatisfiableClassCountMetric.java org.semanticweb.owlapi.modularity.OntologySegmenter.java org.semanticweb.owlapi.normalform.NegationalNormalFormConverter.java org.semanticweb.owlapi.normalform.NormalFormRewriter.java org.semanticweb.owlapi.normalform.OWLObjectComplementOfExtractor.java uk.ac.manchester.cs.bhig.util.MutableTree.java uk.ac.manchester.cs.bhig.util.NodeRenderer.java uk.ac.manchester.cs.bhig.util.Tree.java uk.ac.manchester.cs.owl.explanation.ordering.AlphaExplanationOrderer.java uk.ac.manchester.cs.owl.explanation.ordering.EntailedAxiomTree.java uk.ac.manchester.cs.owl.explanation.ordering.ExplanationOrderer.java uk.ac.manchester.cs.owl.explanation.ordering.ExplanationOrdererImpl.java uk.ac.manchester.cs.owl.explanation.ordering.ExplanationTree.java uk.ac.manchester.cs.owl.explanation.ordering.NullExplanationOrderer.java uk.ac.manchester.cs.owlapi.modularity.ModuleType.java uk.ac.manchester.cs.owlapi.modularity.SyntacticLocalityModuleExtractor.java