En Brasil hemos pasado por eso hace un par de años: Abreviações na tag name - #12 by matheusgomesms
Debemos recordar que la wiki de la etiqueta name=* dice: Si un nombre oficial es más difícil de manejar u oscuro que otro nombre para la misma característica y menos personas lo usan en la práctica, incluso si está señalizado, es mejor poner el nombre oficial en official_name=* o alt_name=* que tratarlo como nombre principal.
Aquí están los detalles de la propuesta: Proposal:Brazil/Padronização das escolas públicas do Brasil - OpenStreetMap Wiki
TLDR: hemos estandarizado para:
name=Colegio Miguel de los Ríos
official_name=Colegio de Educación Infantil y Primaria Miguel de los Ríos
short_name=CEIP Miguel de los Ríos
alt_name=C.E.I.P. Miguel de los Ríos (y variantes, si las hubiere)
loc_name=* Colegio Miguel Ríos (nombre más conocido de la escuela en la ubicación, si hay)