Los elementos centrales del alfabeto del lenguaje de las lógicas de descripción son: