Eminent domain involves compensation at fair market value, not theft. And typically, we use property taxes to motivate property owners to find economically productive uses for their land/buildings.