https://wiki.openstreetmap.org/wiki/DE:Adressen#Geb%C3%A4ude_mit_mehreren_Hausnummern

Ja, die Vergabe mehrere Hausnummern an einem Objekt ist nicht einheitlich. Wenn es viele Hausnummern sind, nutze ich gerne den Bindestrich (z.B. 14-18). Häufig werden die Adressen mit separaten Nodes eingetragen, für jede Hausnummer ein Node. So wie du es jetzt mit Semikolon eingetragen hast, ist's aber auch gut. :)

Ich würde das so lassen und den Hinweis schließen.