Dynamic discovery of e-services A Description Logic approach