Este documento discute a normalização de ontologias em lógica de descrições ALC para permitir o raciocínio com a ferramenta leanCoP. O autor propõe um algoritmo de normalização mais simples e eficiente em termos de uso de memória em comparação com o algoritmo original. O trabalho futuro inclui implementar o algoritmo do método de conexões para lógica de descrições ALC e testá-lo em um banco de ontologias.