[1] de Bruijn J, Lausen H, Polleres A, et al. The web service modeling language: an overview[C]//The 3rd European Semantic Web Conference. Budva, Montenegro, 2006: 590-604.
[2] Martin D, Ankolekar A, Burstein M, et al. OWL-S 1.1 release[EB/OL].(2004-11)[2009-06-10].http: //www.daml.org/services/owls/1.1/.
[3] Bellur U, Kulkarni R. Improved matchmaking algorithm for semantic web services based on bipartite graph matching[C]//The IEEE International Conference on Web Services. Salt Lake City, Utah, USA, 2007: 86-93.
[4] Dragone Luigi. Validation and discovery of non-deterministic semantic e-services[C]//The 5th International Workshop on Web Services and Formal Methods. Milan, Italy, 2008: 88-106.
[5] Li Lei, Horrocks Ian. A software framework for matchmaking based on semantic web technology[C]//The 12th International Conference on World Wide Web. New York, NY, USA, 2003: 331-339.
[6] Payne T R, Paolucci M, Kawamura T, et al. Semantic matching of web services capabilities[C]//The First International Semantic Web Conference. Sardinia, Italy, 2002: 333-347.
[7] Sirin E, Hendler J, Parsia B. Semi-automatic composition of web services using semantic descriptions[C]//Web Services: Modeling, Architecture and Infrastructure Workshop in ICEIS 2003. Angers, France, 2003: 17-24.
[8] Thiagarajan R, Mayer W, Stumptner M. Semantic service discovery by consistency based matchmaking[C]//The Joint International Conferences on Advances in Data and Web Management. Suzhou, China, 2009: 492-505.
[9] Bellur U, Vadodaria H. On extending semantic matchmaking to include preconditions and effects[C]//IEEE International Conference on Web Services. Beijing, China, 2008: 120-128.
[10] Bener A B, Ozadali V, Ilhan E S. Semantic matchmaker with precondition and effect matching using SWRL[J]. Expert Systems and Applications, 2009, 36(5): 9371-9377.
[11] Baader F, Lutz C, Milicic M, et al. A description logic based approach to reasoning about web services[C]//Workshop on Web Service Semantics: Towards Dynamic Business Integration in WWW’05. Chiba, Japan, 2005: 636-647.
[12] Baader F, Calvanese D, McGuinness D, et al. The description logic handbook: theory, implementation and applications[M]. Cambridge:Cambridge University Press, 2003.
[13] Fries B, Khalid M A, Kapahnke P. Owls-tc version 2.2 revision 2[EB/OL].(2008-03)[2009-06-10].http: //www.semwebcentral.org/projects/owls-tc/.