Le contexte général de ce travail concerne le problème de la conception de systèmes de haute qualité qui intègrent plusieurs sources de données via une couche sémantique codée dans un langage de représentation et de raisonnement des connaissances. Nous considérons les systèmes de gestion de données basés sur les connaissances (KBDM), qui sont structurés en trois couches : la couche de données, qui comprend les sources de données, la couche de connaissances (ou ontologique) ainsi que les mappings entre les deux. Les mappings et les connaissances sont exprimés dans le cadre des règles existentielles. L'une des difficultés intrinsèques à la conception d'un système KBDM est la nécessité de comprendre le contenu des sources de données. Les sources de données sont souvent fournies avec des requêtes et des contraintes typiques, à partir desquelles des informations précieuses sur leur sémantique peuvent être tirées, tant que ces informations sont rendues intelligibles aux concepteurs d'un système KBDM. Cela motive notre question principale : est-il possible de traduire les requêtes et contraintes sur les données au niveau ontologique tout en préservant leur sémantique ? Les principales contributions de cette thèse sont les suivantes. Nous étendons les travaux précédents sur la traduction de requêtes des données vers l'ontologie avec de nouvelles techniques pour le calcul de traductions de requêtes parfaites, minimalement complètes ou maximalement adéquates. Concernant la traduction de contraintes des données vers l'ontologie, nous définissons un cadre général et l'appliquons à plusieurs classes de contraintes. Enfin, nous fournissons un opérateur de réécriture de requête adéquat et complet pour les règles existentielles disjonctives et les mappings disjonctifs, ainsi que des résultats d'indécidabilité, qui sont d'un intérêt indépendant.