L'objectif du problème appelé "Ontology-based data access" (OBDA) est d'améliorer la réponse à des requêtes en prenant en compte des connaissances d'ordre général durant l'évaluation des requêtes. Ces connaissances générales sont représentées à l'aide d'une ontologie, qui est exprimée dans cette thèse grâce à des formules logiques du premier ordre, appelées règles existentielles, et aussi connues sous le nom de "tuple-generating dependencies" et Datalog+/-. L'expressivité des formules utilisées est telle que l'évaluation de requêtes devient un problème indécidable, et cela a conduit la communauté à définir de nombreux cas décidables, c'est-à-dire des restrictions sur les ensembles de règles existentielles considérés. La contribution de cette thèse est double : tout d'abord, nous proposons une vue unifiée sur une grande fraction des cas décidables connus, et fournissons par là même une analyse de complexité et un algorithme optimal dans le pire des cas. Nous considérons également l'approche couramment utilisée de réécriture de requêtes, et proposons un algorithme générique qui permet de surmonter certaines causes évidentes d'explosion combinatoire qui rendent les approches classiques pratiquement inapplicables. / Ontology-based data access (OBDA) aims at enriching query answering by taking general background knowledge into account when evaluating queries. This background knowledge is represented by means of an ontology, that is expressed in this thesis by a very expressive class of first-order formulas, called existential rules (sometimes also tuple-generating dependencies and Datalog+/-). The high expressivity of the used formalism results in the undecidability of query answering, and numerous decidable classes (that is, restrictions on the sets of existential rules) have been proposed in the literature. The contribution of this thesis is two-fold: first, we propose a unified view of a large part of these classes, together with a complexity analysis and a worst-case optimal algorithm for the introduced generic class. Second, we consider the popular approach of query rewriting, and propose a generic algorithm that overcomes trivial causes of combinatorial explosion that make classical approaches inapplicable.

Dans les économies modernes, le vieillissement démographique, l’arrivée à la retraite des générationsdu Baby-Boom et les difficultés financières actuelles et à venir des régimes de retraite par répartition qui enrésultent laissent envisager que les ménages seront davantage amenés à épargner pour la retraite dans lecadre professionnel et non professionnel.Cette thèse propose une réflexion théorique et empirique sur la contractualisation de l’épargne retraite àtravers les plans d’épargne retraite en dehors des systèmes publics de protection sociale. Cette réflexion estmenée sur deux fronts. Dans un premier temps, nous faisons la lumière sur l’importance des plans d’épargneretraite tels qu’ils existent dans les systèmes de retraites en France et aux Etats-Unis, démontrons leur rôledans la gestion des ressources humaines des entreprises et leur intérêt dans les stratégies d’accumulationd’épargne en vue de la retraite des ménages. L’existence de l’épargne retraite par capitalisation est biensouvent admise comme une situation de fait, cette première partie de la thèse permet de fournir lesarguments micro-économiques qui justifient le recours aux plans d’épargne retraite dans la planification de laretraite. Toutefois, le développement de la contractualisation de l’épargne retraite fait apparaître de nombreuxrisques pour les épargnants, et nous proposons dans un second temps de les identifier. Parmi ces risques,le sous provisionnement en présence d’un objectif de rentes pour les épargnants et la faillite des entreprisesou des institutions financières qui offrent des plans d’épargne retraite sont parmi les plus importants. Malgréla création des agences de garantie des pensions de retraite, l’occurrence de ces risques se traduit pardes pertes substantielles de ressources pour les épargnants. Dans une seconde partie de la thèse, notreréflexion nous conduit à proposer des solutions permettant de sécuriser l’épargne retraite. / Modern economies are increasingly facing a population ageing, the massive retirement of post WorldWar II generations and resulting financial distress of their Pay-As-You-Go pension schemes. These challengesraise the need to rely more on pension saving either on an occupational or an individual basis.In this study, we conduct several theoretical and empirical investigations on pension plans as a contractualsaving vehicle for retirement, and follow two main directions. On the one hand, we shed light on theimportance of pension plans in the French and American retirement systems, demonstrate the role ofpension plans in the firms’ management of human resources and the use of pension plans in households’wealth accumulation strategies. This first part of our studies offers microeconomic insights in theusefulness of pension plans in retirement planning. However, the expansion of pension plans raises newchallenges in terms of retirement income security. Among risks that may result in income shortfalls forretirees, underfunding (whenever a certain level of income is guaranteed to retirees) and sponsoring ormanagement firms’ bankruptcy are the most important one. In spite of the creation of public entities thatprovide income insurance, plan participants incur a substantial amount of losses in the event of underfundingand bankruptcy. The second part of our contributions offers ways to secure pension benefits with priority rules.

Les données géographiques 3D sont de plus en plus courantes et modélisent de manières variées le territoire. Elles sont souvent utilisées pour mieux comprendre la ville et ses phénomènes sous-jacents en intégrant de nombreuses informations (environnementales, économiques, etc.) pour l'appui à l'aménagement du territoire. À l'échelle locale, le plan local d'urbanisme (PLU) décrit les connaissances régulant le développement urbain, incluant des contraintes tri-dimensionnelles (par exemple : hauteur maximale d'un bâtiment ou surface de plancher) que doivent respecter les nouveaux bâtiments. Ces contraintes sont rédigées dans un format textuel, difficile de compréhension pour le non-initié et dont l'interprétation sur un territoire donné est complexe. L'objectif de cette thèse est de montrer comment les données géographiques 3D permettent d'exploiter les règlements locaux d'urbanisme à travers deux usages : la vérification de règles d'urbanisme et la proposition de configurations bâties. Notre méthodologie s'appuie sur une modélisation de l'espace urbain, représentant les objets pertinents mentionnés dans les règlements, support d'une formalisation des règles avec le langage OCL. La proposition de configurations bâties est réalisée grâce à une méthode d'optimisation basée sur un recuit simulé trans-dimensionnel et une technique de vérification du respect des règles / 3D geographic data are very frequent and represent territories in various ways. Such data are often used to better understand cities and their underlying phenomena by integrating different information (environmental, economic, etc.) to support urban planning. On a local scale, the French Local Urban Plan (PLU) describes constraints that regulate the urban development, notably through tri-dimensional constraints (for example by defining a maximal height or by limiting built area) that new buildings must respect. These constraints are compiled in a textual format. They are difficult to understand for non experts and their impact for a given territory is complex to assess. The aim of this thesis is to demonstrate how 3D geographic data enable the exploitation of local urban regulation constraints through two different uses: the verification of the respect of constraints and the generation of building configurations. Our method relies on a model of the urban environment, representing relevant objects according to regulations. This model supports the formulation of the constraints with the OCL language. The generation of building configurations is processed by an optimization method based on a trans-dimensional simulated annealing relying on a rule checker

La recherche d’image est une thématique de recherche très active. Plusieurs approches permettant d'établir un lien entre les descripteurs de bas niveau et la sémantique ont été proposées. Parmi celles-là, nous citons la reconnaissance d'objets, les ontologies et le bouclage de pertinence. Cependant, leur limitation majeure est la haute dépendance d’une ressource externe et l'incapacité à combiner efficacement l'information visuelle et sémantique. Cette thèse propose un système basé sur un graphe de patrons, la sélection ciblée des descripteurs pour la phase en ligne et l'amélioration de la visualisation des résultats. L'idée est de (1) construire un graphe de patrons composé d'une ontologie modulaire et d'un modèle basé graphe pour l'organisation de l'information sémantique, (2) de construire un ensemble de collections de descripteurs pour guider la sélection des descripteurs à appliquer durant la recherche et (3) améliorer la visualisation des résultats en intégrant les relations sémantiques déduite du graphe de patrons.Durant la construction de graphe de patrons, les modules ontologiques associés à chaque domaine sont automatiquement construits. Le graphe de régions résume l'information visuelle en un format plus condensé et la classifie selon son domaine. Le graphe de patrons est déduit par composition de modules ontologiques. Notre système a été testé sur trois bases d’images. Les résultats obtenus montrent une amélioration au niveau du processus de recherche, une meilleure adaptation des descripteurs visuels utilisés aux domaines couverts et une meilleure visualisation des résultats qui diminue le niveau d’abstraction par rapport à leur logique de génération. / Image retrieval is a very active search area. Several image retrieval approaches that allow mapping between low-level features and high-level semantics have been proposed. Among these, one can cite object recognition, ontologies, and relevance feedback. However, their main limitation concern their high dependence on reliable external resources and lack of capacity to combine semantic and visual information.This thesis proposes a system based on a pattern graph combining semantic and visual features, relevant visual feature selection for image retrieval and improvement of results visualization. The idea is (1) build a pattern graph composed of a modular ontology and a graph-based model, (2) to build visual feature collections to guide feature selection during online retrieval phase and (3) improve the retrieval results visualization with the integration of semantic relations.During the pattern graph building, ontology modules associated to each domain are automatically built using textual corpuses and external resources. The region's graphs summarize the visual information in a condensed form and classify it given its semantics. The pattern graph is obtained using modules composition. In visual features collections building, association rules are used to deduce the best practices on visual features use for image retrieval. Finally, results visualization uses the rich information on images to improve the results presentation.Our system has been tested on three image databases. The results show an improvement in the research process, a better adaptation of the visual features to the domains and a richer visualization of the results.

A ce jour, les pièces prototypes réalisées à partir de poudre ou de liquide n'ont pas forcement des propriétés mécaniques suffisantes ni la précision requise pour être placées dans des mécanismes fonctionnels. L'objectif de ce travail est de réaliser des mécanismes prototypes fonctionnels, c'est-à-dire capables de fonctionner sur un banc d'essais ou en service dans son milieu d'utilisation (sur un véhicule par exemple). L'approche URP "Usinage Rapide de Prototype" proposée consiste à décomposer une pièce complexe de type carter par exemple, en plusieurs strates épaisses usinées sur machine outil à commande numérique 5 axes et assemblées. Le tranchage en strates est déterminé de sorte que les entités fonctionnelles ne soient pas découpées et que l'usinage soit réalisable, y compris pour les entités à obtenir dans l'épaisseur de la pièce. Le type et la position des dispositifs de centrage et de fixation des strates sont ensuite choisis. Deux montages d'usinage originaux et une gamme d'usinage ont été conçus pour réaliser chaque strate en deux phases. Un protocole de vérification de l'usinabilité a été proposé. Un carter a été réalisé sur la machine MIKRON UCP 710 du laboratoire avec une analyse des précisions obtenues. Une pièce d'essai a été définie pour permettre l'évaluation des capabilités de la méthode.

Un grand nombre de périphériques actuels sont dotés de connexions réseaux qui permettent d'accéder à leurs fonctionnalités au travers d'un réseau informatique. Les applications ubiquitaires visent à structurer ces fonctionnalités pour les mettre au service de l'utilisateur.<br /><br />Les environnements ubiquitaires sont caracttérisés par une disponibilité dynamique des fonctionnalités et une hétérogénéité matérielle et logicielle des périphériques. De plus les applications doivent s'adapter en fonction du contexte des utilisateurs.

Ce travail de thèse adresse deux principaux problèmes en recherche d'information : (1) la formalisation automatique des préférences utilisateur, (ou la pondération automatique de requêtes) et (2) l'indexation sémantique. Dans notre première contribution, nous proposons une approche de recherche d'information (RI) flexible fondée sur l'utilisation des CP-Nets (Conditional Preferences Networks). Le formalisme CP-Net est utilisé d'une part, pour la représentation graphique de requêtes flexibles exprimant des préférences qualitatives et d'autre part pour l'évaluation flexible de la pertinence des documents. Pour l'utilisateur, l'expression de préférences qualitatives est plus simple et plus intuitive que la formulation de poids numériques les quantifiant. Cependant, un système automatisé raisonnerait plus simplement sur des poids ordinaux. Nous proposons alors une approche de pondération automatique des requêtes par quantification des CP-Nets correspondants par des valeurs d'utilité. Cette quantification conduit à un UCP-Net qui correspond à une requête booléenne pondérée. Une utilisation des CP-Nets est également proposée pour la représentation des documents dans la perspective d'une évaluation flexible des requêtes ainsi pondéreés. Dans notre seconde contribution, nous proposons une approche d'indexation conceptuelle basée sur les CP-Nets. Nous proposons d'utiliser le formalisme CP-Net comme langage d'indexation afin de représenter les concepts et les relations conditionnelles entre eux d'une manière relativement compacte. Les noeuds du CP-Net sont les concepts représentatifs du contenu du document et les relations entre ces noeuds expriment les associations conditionnelles qui les lient. Notre contribution porte sur un double aspect : d'une part, nous proposons une approche d'extraction des concepts en utilisant WordNet. Les concepts résultants forment les noeuds du CP-Net. D'autre part, nous proposons d'étendre et d'utiliser la technique de règles d'association afin de découvrir les relations conditionnelles entre les concepts noeuds du CP-Nets. Nous proposons enfin un mécanisme d'évaluation des requêtes basé sur l'appariement de graphes (les CP-Nets document et requête en l'occurrence).

Dans cette thèse, nous nous intéressons au problème de l'interaction des processus multiples nécessaires à la réalisation d'un projet d'ingénierie.<br />L'approche retenue repose sur l'idée qu'il existe une solution générique aux problèmes d'ingénierie. Notre proposition est de formaliser cette solution pour permettre de l'adapter ensuite à des domaines d'activités et à des projets précis par des opérations de transformation de modèles. Pour cela, nous nous reposons sur les concepts de l'IDM et les appliquons dans le cadre de l'ingénierie système. Les étapes de notre proposition sont :<br />• la formalisation d'un processus générique à partir d'un standard de l'ingénierie système (EIA-632) sous la forme d'un modèle SPEM/UML,<br />• sa spécialisation pour l'adapter au contexte d'application d'un projet,<br />• son enrichissement pour en préparer l'exploitation et la conduite. La formalisation des processus est la base d'une démarche nouvelle d'application de l'ingénierie système.<br />Cette démarche assure une cohérence globale et locale dans l'organisation et le déroulement des projets. En se reposant sur des règles de bonnes pratiques issues des standards internationaux elle s'assure d'un comportement global cohérent du projet. En laissant les acteurs du projet libres d'adapter leurs pratiques à leur environnement de travail elle permet à chacun de travailler de manière optimale avec l'assurance que les processus spécifiques qu'il emploie s'insèrent au mieux dans le projet.<br />La démarche que nous proposons répond à la problématique d'application concrète des processus d'ingénierie système posée par l'industrie et, plus généralement, à celle de l'amélioration continue des méthodes et des produits.

Le sujet principal de cette thèse est l'extraction de connaissances dans les bases de données (ECBD). Plus précisément, nous avons étudié deux des plus importantes tâches d'ECBD actuelles, qui sont l'extraction de motifs et la génération de règles d'association. Tout au long de notre travail, notre objectif a été de trouver des règles d'associations intéressantes selon plusieurs points de vue : dans un but de fouille efficace, pour réduire au minimum l'ensemble des règles extraites et pour trouver des unités de connaissances intelligibles (et facilement interprétables). Pour atteindre ce but, nous avons développé et adapté des algorithmes spécifiques. <br />Les contributions principales de cette thèse sont : <strong>(1)</strong> nous avons développé et adapté des algorithmes pour trouver les règles d'association minimales non-redondantes ; <strong>(2)</strong> nous avons défini une nouvelle base pour les règles d'associations appelée “règles fermées” ; <strong>(3)</strong> nous avons étudié un champ de l'ECBD important mais relativement peu étudié, à savoir l'extraction des motifs rares et des règles d'association rares ; <strong>(4)</strong> nous avons regroupé nos algorithmes et une collection d'autres algorithmes ainsi que d'autres opérations auxiliaires d'ECBD dans une boîte à outils logicielle appelée Coron.

Proposition d'une représentation formelle complète des méthodes de modélisation des systèmes d'information en informatique de gestion. Le but est de constituer une base de connaissances d'un système expert pour diriger des modélisations. Une architecture fonctionnelle d'un tel système expert est proposée et expérimentée