Research on Web service discovery technology based on semantic