Niels Elgaard Larsen
yes:
http://wiki.openstreetmap.org/wiki/Key:stars

The Michelin Guide is a restaurant guide that is available for several regions around the world. Very good restaurants receive 1 to 3 Michelin stars (in fact, the stars are awarded to the chefs of the restaurant). These restaurants can be tagged with the stars=* tag. 