Les services web dits sémantiques sont une proposition pour automatiser les tâches liées à la gestion des services web, paradigme récent pour l'intégration d'applications inter-entreprises. Cette thèse s'intéresse au problème de leur découverte dynamique, c'est-à-dire la possiblité de trouver automatiquement un ensemble de services web qui répondent à une requête, par raisonnement sur leur sémantique. Dans le cadre des logiques de description, nous proposons de formaliser ce problème comme une nouvelle instance de réécriture de concepts en utilisant une terminologie. Cette instance est appelée découverte des meilleures couvertures et s'énonce ainsi : "étant donnés un concept Q (une requête) et une terminologie T de concepts (les services), le problème consiste à rechercher les conjonctions de concepts de T (les ensembles de services) qui sémantiquement se rapprochent le plus de Q". La notion de proximité sémantique entre concepts est définie en s'appuyant sur l'opérateur de différence sémantique entre concepts des logiques de description. Elle consiste à minimiser les différences entre une requête Q et ses réécritures potentielles, maximisant ainsi l'information commune entre elles. Ce critère de réécriture est intéressant car plus général et donc plus souple que les relations de subsomption ou d'équivalence utilisées habituellement. Pour les logiques de description ayant une propriété de subsomption structurelle, et pour ALN, nous montrons que le problème est NP-Difficile et qu'il est fortement lié au problème de la recherche des transversaux minimaux d'un hypergraphe. Nous proposons deux algorithmes appelés computeBCov et computeALNBCov. Un prototype implémentant computeBCov a été développé au sein du projet européen MKBEEM, permettant la validation de l'approche dans le domaine du tourisme