若昂一世
The Counts' family name was de Portugal, as they descended from King John I of Portugal.