On a characterization of the Sobolev spaces over an abstract Wiener space