owl.automaton.algorithms
Classes
EmptinessCheck
LanguageAnalysis
SccDecomposition