The aim of this paper was threefold: (i) proving the existence of a finite basis for the description logic ALC, (ii) studying the conditions to effectively build this finite basis, and introducing a concrete algorithm to do so, and (iii) extending t…