All Classes
AbstractOWLDebugger
AbstractOWLMetric
AlphaExplanationOrderer
ArrayIntMap
Atom
AtomicDecomposition
AtomicDecompositionImpl
AtomList
AverageAssertedNamedSuperclassCount
AxiomCount
AxiomCountMetric
AxiomSelector
AxiomTypeCountMetricFactory
AxiomTypeMetric
AxiomWrapper
BlackBoxExplanation
BlackBoxOWLDebugger
BotEquivalenceEvaluator
ConciseExplanationRenderer
DebuggerClassExpressionGenerator
Decomposer
DefaultExplanationGenerator
DefinitionTracker
DLExpressivity
DoubleValuedMetric
EntailedAxiomTree
ExplanationGenerator
ExplanationOrderer
ExplanationOrdererImpl
ExplanationProgressMonitor
ExplanationRenderer
ExplanationTree
FastSet
FastSetFactory
FastSetSimple
GCICount
HiddenGCICount
HSTExplanationGenerator
IdentityMultiMap
ImportClosureSize
IntegerValuedMetric
JustificationMap
LocalFastSet
LocalityChecker
LocalityClass
LocalityEvaluator
LogicalAxiomCount
MaximumNumberOfNamedSuperclasses
Modularizer
Modularizer
ModuleMethod
ModuleType
MultipleExplanationGenerator
MutableTree
NegationalNormalFormConverter
NodeRenderer
NormalFormRewriter
NullExplanationOrderer
NumberOfClassesWithMultipleInheritance
ObjectCountMetric
OntologyAtom
OntologyBasedModularizer
OntologySegmenter
OntologyUtils
OWLDebugger
OWLMetric
OWLMetricManager
OWLObjectComplementOfExtractor
ReferencedClassCount
ReferencedDataPropertyCount
ReferencedIndividualCount
ReferencedObjectPropertyCount
SatisfiabilityConverter
SemanticLocalityChecker
SemanticLocalityEvaluator
SigAccessor
SigIndex
Signature
SilentExplanationProgressMonitor
SilentExplanationRenderer
SingleExplanationGenerator
SingleExplanationGeneratorImpl
SyntacticLocalityChecker
SyntacticLocalityEvaluator
SyntacticLocalityModuleExtractor
TopEquivalenceEvaluator
TransactionAwareSingleExpGen
Tree
UnsatisfiableClassCountMetric