Stamboom van Hagenbeek

Voor Sophia zijn verschillende afstammingstheorien opgesteld. Schwennecke noemt haar van Ham. Mötsch meent (hoewel hij de in 1992 gepubliceerde vermelding van haar Beierse afkomst nog niet kende) dat ze tot de vooraanstaande Beijerse adelsfamilie van Formbach behoorde, waarschijnlijk een dochter van graaf Meinhard V van Formbach en Mathilde van Reinhausen. Heinzelmann meent zelfs dat ze in dat geval
zeer goed dezelfde persoon kan zijn als Sophia, de vrouw van
tegenkoning Herman van Luxemburg-Salm. Hij ovl. 8.09.1088, waarna Sophia (2) voor 1092 met Stephan van Sponheim getrouwd zou kunnen zijn