La semántica para las expresivas lógicas de descripción expuestas anteriormente se da; de la siguiente manera: