F. Baader, D. Calvanese, D. Mcguinness, and D. Nardi, The description logic handbook: theory, implementation and applications, 2003.

F. Baader, R. Küsters, and R. Molitor, Computing least common subsumer in description logics with existential restrictions, Proceedings of the 16th international joint conference on AI, pp.96-103, 1999.

F. Baader, R. Küsters, and R. Molitor, Rewriting concepts using terminologies, Proceedings of the 7th international conference on principles of knowledge representation and reasoning (KR'2000), pp.297-308, 2000.

C. Beeri, A. Y. Levy, and M. Rousset, Rewriting queries using views in description logics, Proceedings of ACM PODS, pp.99-108, 1997.

B. Benatallah, M. Hacid, C. Rey, and F. Toumani, Request rewriting-based Web service discovery, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00108745

, Proceedings of the international Semantic Web conference (ISWC 2003), vol.2870, pp.242-257, 2003.

B. Benatallah, M. Hacid, C. Rey, and F. Toumani, Semantic reasoning for Web services discovery, Proceedings of the WWW workshop on e-services and the Semantic Web, 2003.
URL : https://hal.archives-ouvertes.fr/hal-01585905

C. Berge, Hypergraphs. In: North Holland Mathematical Library, vol.45, 1989.

A. Bernstein and M. Klein, Discovering services: towards high precision service retrieval, Proceedings of the CaiSE workshop on Web Services, e-business, and the Semantic Web: foundations, models, architecture, engineering and applications, 2002.

F. Casati, M. Shan, and D. Georgakopoulos, J Very Large Databases Special Issue E-Serv, vol.10, issue.1, p.117, 2001.

F. Casati and M. Shan, Dynamic and adaptive composition of e-services, Inf Sys, vol.26, issue.3, pp.143-163, 2001.

D. Chakraborty, F. Perich, S. Avancha, and A. Joshi, DReggie: semantic service discovery for M-Commerce applications, Proceedings of the workshop on reliable and secure applications in mobile environment, 20th symposium on reliable distributed systems, pp.28-31, 2001.

. Daml and . Services,

, DAML-S: Web service description for the Semantic Web, Proceedings of the 1st international Semantic Web conference (ISWC), pp.348-363, 2002.

Y. Ding, D. Fensel, B. Omelayenko, and M. Klein, The Semantic Web: yet another hip?, Data Knowl Eng, vol.6, issue.2-3, pp.205-227, 2002.

F. Donini, A. Schaerf, M. Lenzerini, and D. Nardi, ed) Foundation of knowledge representation, pp.191-236, 1996.

T. Eiter and G. Gottlob, Identifying the minimal transversals of a hypergraph and related problems, SIAM J Comput, vol.24, issue.6, pp.1278-1304, 1995.

D. Fensel, C. Bussler, Y. Ding, and B. Omelayenko, The Web Service Modeling Framework WSMF, Electron Commerce Res Appl, vol.1, issue.2, pp.113-137, 2002.

D. Fensel, C. Bussler, and A. Maedche, Semantic Web enabled Web services, Proceedings of the international Semantic Web conference, pp.1-2, 2002.

M. L. Freidman and L. Khachiyan, On the complexity of dualization of monotone disjunctive normal forms, J Algorithms, vol.21, pp.618-628, 1996.

F. Goasdoué, M. Rousset, and V. Lattès, The use of CARIN language and algorithms for information integration: the PIC-SEL system, Int J Cooper Inf Sys, vol.9, issue.4, pp.383-401, 2000.

J. González-castillo, D. Trastour, and C. Bartolini, Description logics for matchmaking of services, Proceedings of the KI-2001 workshop on applications of description logics, vol.44, 2001.

M. Hacid, A. Leger, C. Rey, and F. Toumani, Dynamic discovery of e-services: a description logics based approach. Report, LIMOS, Clemont-Ferrand, 2002.

A. Y. Halevy, Answering queries using views: a survey, J Very Large Databases, vol.10, issue.4, pp.270-294, 2001.

J. Hendler and D. L. Mcguinness, The DARPA Agent Markup Language, IEEE Intell Sys, vol.15, issue.6, pp.67-73, 2000.

I. Horrocks, DAML+OIL: a reasonable Web ontology language, Proceedings of EDBT'2002, vol.2, p.13, 2002.

I. Horrocks, P. F. Patel-schneider, and F. Van-harmelen, Reviewing the design of DAML+OIL: an ontology language for the Semantic Web, Proceedings of the 18th national conference on artificial intelligence (AAAI 2002), pp.792-797, 2002.

R. Mannilaa, The design of relational databases, 1994.

S. Mcilraith, T. C. Son, and H. Zeng, Semantic Web services, IEEE Intell Sys Special Issue Semantic Web, vol.16, issue.2, pp.46-53, 2001.

. Mkbeem, , 2002.

R. Molitor, Structural subsumption for ALN, 1998.

M. Paolucci, T. Kawamura, T. R. Payne, and K. P. Sycara, Semantic matching of Web services capabilities, Proceedings of the international Semantic Web conference, pp.333-347, 2002.

T. R. Payne, M. Paolucci, and K. Sycara, Advertising and matching DAML-S service descriptions (position paper), Proceedings of the international Semantic Web working symposium, 2001.

C. Rey, F. Toumani, M. Hacid, A. Leger, . Limos et al., An algorithm and a prototype for the dynamic discovery of e-services, 2003.

G. Teege, Making the difference: a subtraction operation for description logics, Proceedings of KR'94, location, day month, 1994.

G. Weikum, Data Eng Bull Special Issue Infrastruct Adv E-Serv, vol.24, issue.1, 2001.