Controllability for systems governed by semilinear evolution inclusions without compactness