Dorfname
Der heutige Dorfname entwickelte sich stufenweise von Babinchova zu Benken. Der Name Babinchova verweist auf den Hof eines alemannischen Grundbesitzers Babo oder Bebo, eines Schwagers der 741 urkundenden Donatorin Beata. Der Name des Hofes erscheint kurz nach 1050 als Bebenchon, sowie als Bebinkon und Ende des 12. Jahrhunderts als Benken in den Urkunden.
Bild Gemeinde Benken