Não está claro se isso foi intencional ou simplesmente uma coincidência.
Não há lugar algum em que a JKR tenha mencionado que o nome de Hogwarts contém as iniciais de todos os fundadores, ou se isso foi intencional.
Baseando-se apenas na lógica e no bom senso, já que não há informações "oficiais" sobre isso, é difícil raciocinar uma resposta definitiva nesse caso. É inteiramente possível que tenha sido intencionado, mas não está suficientemente claro que não possa ser visto de forma plausível ou não intencional (como o Diagon Alley é claramente um trocadilho com “ na diagonal ”, embora isso nunca tenha sido“ oficialmente ”confirmado).