A lo largo de los siglos ha sido conocido también con los nombres de "Fornellos","Forniello"y "San Miguel de Hornillos".