Localization vs. identification of semi-algebraic sets