Атрибута role как по мне достаточно для соблюдение семантики. Вроде как поисковики уже умеют его воспринимать и учитывать при разборе документа.
p.s. считаю все эти замуты с nav и menu (его же вроде как нету в HTML5, он был только в XHTML1.1?) глупостью и пустой тратой времени. Как по мне достаточно делать так:
<ul role="menubar">
<li><a href="">Link1</a></li>
<li><a href="">Link2</a></li>
<li><a href="">Link3</a></li>
</ul>
Но если кто не согласен, я с радостью выслушаю доводы. Признаюсь я не особо сведущ в вопросах семантики в контексте таких вот мелочей.