Technically, ogg, ogm, ogv, and oga all follow RFC 3533 and can legitimately be called the same file format, namely ogg. The only difference between all those extensions the codecs used; Xiph intentionally left the definition of how to map a given codec into ogg up to the codec.