VAMP: a service for validating MPEG-7 descriptions w.r.t. to formal profile definitions