De nombreuses applications du traitement automatique des langues (TAL) font intervenir un traitement sémantique de la langue naturelle : ces applications ont besoin de "comprendre" le sens d'un texte traité (même si elles le font souvent de manière très superficielle). Malheureusement, les méthodes utilisées dans ces applications sont généralement des méthodes ad hoc qui ne permettent pas une modélisation générique du phénomène de compréhension. Le but de ce mémoire est d'explorer dans quelle mesure les logiques de description (LDs) peuvent être utilisées pour représenter le sens d'un texte puis pour raisonner sur ce sens. Plus spécifiquement, ce mémoire explore dans quelle mesure les LDs peuvent être utilisées pour modéliser la reconnaissance d'implications textuelles, c'est-à-dire pour décider étant donnés deux fragments textuels T1 et T2 si oui ou non, T1 implique T2 .