owltools
Interfaces
InferenceBuilder.OWLClassFilter
Classes
InferenceBuilder
InferenceBuilder.ConsistencyReport
InferenceBuilder.PotentialRedundant
JustifyAssertionsTool
JustifyAssertionsTool.JustifyResult
RedundantInferences
RedundantInferences.RedundantAxiom
TBoxUnFoldingTool
Exceptions
TBoxUnFoldingTool.NonDeterministicUnfoldException