Interface OwlModule.AutomatonTransformer