F. Baader, D. Calvanese, D. Mcguinness, D. Nardi, and P. Patel-schneider, The Description Logic Handbook, 2003.
DOI : 10.1017/CBO9780511711787

F. Baader and U. Sattler, An overview of tableau algorithms for desciption logics, Studia Logica, vol.69, issue.1, pp.5-40, 2001.
DOI : 10.1023/A:1013882326814

B. Benatallah, M. Dumas, and Q. Sheng, Facilitating the Rapid Development and Scalable Orchestration of Composite Web Services, Distributed and Parallel Databases, vol.17, issue.1, pp.5-37, 2005.
DOI : 10.1023/B:DAPD.0000045366.15607.67

B. Benatallah, M. Hacid, A. Léger, C. Rey, and F. Toumani, On automating Web services discovery, The VLDB Journal, vol.16, issue.1, pp.84-96, 2005.
DOI : 10.1007/s00778-003-0117-x

A. Bener, V. Ozadalia, and E. Ilhan, Semantic matchmaker with precondition and effect matching using SWRL, Expert Systems with Applications, vol.36, issue.5, pp.9371-9377, 2009.
DOI : 10.1016/j.eswa.2009.01.010

D. Berardi, D. Calvanese, G. D. Giacomo, M. Lenzerini, and M. Mecella, e-service composition by description logics based reasoning, Proceedings of the International Workshop on Description Logics, pp.75-84, 2003.

A. Borgida and P. Patel-schneide, A semantics and complete algorithm for subsumption in the classic description logic, Journal of Artificial Intelligence Research, vol.1, issue.1, pp.277-308, 1994.

A. Borgida and L. Serafini, Distributed Description Logics: Assimilating Information from Peer Sources, Jounal of Data Semantics, vol.1, pp.153-184, 2003.
DOI : 10.1007/978-3-540-39733-5_7

S. Colucci, T. D. Sciascio, F. Domini, and M. Mongiello, Description Logics Approach to Semantic Matching of Web Services, Journal of Computing and Information Technology, vol.11, issue.3, pp.217-224, 2003.
DOI : 10.2498/cit.2003.03.10

C. Ghidini and L. Serafini, Distributed first order logics, Frontiers Of Combining Systems 2, Studies in Logic and Computation, pp.121-140, 1998.

S. Grimm, B. Motik, and C. Preist, Matching semantic service descriptions with local closedworld reasoning, Proceedings of The Semantic Web: Research and Applications, pp.575-589, 2006.

H. Levesque, R. Reiter, Y. Lespérance, F. Lin, and R. Scherl, GOLOG: A logic programming language for dynamic domains, The Journal of Logic Programming, vol.31, issue.1-3, pp.1-3, 1997.
DOI : 10.1016/S0743-1066(96)00121-5

F. Lin, L. Qiu, H. Huang, Q. Yu, and Z. Shi, Description Logic Based Composition of Web Services, Proceedings of the Pacific Rim International Workshop on Agent Computing and Multi-Agent Systems, 2006.
DOI : 10.1007/11802372_21

J. Peer, A POP-Based Replanning Agent for Automatic Web Service Composition, Proceedings of the European Conference on Semantic Web, pp.47-61, 2005.
DOI : 10.1007/11431053_4

C. Peltz, Web services orchestration -a review of emerging technologies, tools, and standards, Tech. rep, 2003.

L. Serafini and A. Tamilin, Local tableaux for reasoning in distributed description logics, In: Description Logics, 2004.

K. Sycara, M. Paolucci, A. Ankolekar, and N. Srinivasan, Automated discovery, interaction and composition of Semantic Web services, Web Semantics: Science, Services and Agents on the World Wide Web, vol.1, issue.1, pp.27-46, 2003.
DOI : 10.1016/j.websem.2003.07.002

G. Yolanda, Description logics and planning, AI Magazine, vol.26, issue.2, pp.73-84, 2005.