Wäre hier das semantisch korrekte Element nicht <dfn>?
Die Infobox von AFAIK stellt ja sicherlich eine Definition des Begriffs AFAIK dar, oder?
jein - wenn es eben um eine abkürzung geht, ist der inhalt der infobox keine definition - eine defintion definiert ausdrücklich ein term (lt html spezifikation), und das sind begriffe und keine abkürzungen
eine defintion ist zb folgedes:
"Die Sekunde <dfn>ist das 9192631770-fache der Periodendauer der dem Übergang zwischen den beiden Hyperfeinstrukturniveaus des Grundzustandes von Atomen des Nuklids 133Cs entsprechenden Strahlung.</dfn>"
aber im grunde hast du recht, das dfn-element ist wahrscheinlich besser geeignet als ein span-element