Research on algorithm for Web service discovery based on ontology