Unlike copyright, you must actively protect a trademark or you lose the rights. If W3C is not legally challenging the Superbus, they will lose trademark claims for the html5 logo.
It's not clear if the html5 logos is W3C trademark. They dont' list it anywhere as such and provide very permissive license.