owltools
Classes 
InferenceBuilder
InferenceBuilder.FactoryDetails
OWLReasonerRunner
TBoxUnFoldingTool
Exceptions 
TBoxUnFoldingTool.NonDeterministicUnfoldException