Résumé
L'Analyse Formelle de Concepts (AFC) est une méthode mathématique pour l'analyse de données. Elle découvre des abstraction conceptuelles dans les jeux de données (objets x attributs) et les ordonne hiérarchiquement dans une structure de treillis dit de concepts (ou de Galois). L'AFC a trouvé de nombreuses applications pratiques dans de domaines variés : la recherche d'informations, la fouille de données, la ré-ingénierie logicielle orientée-objets ou l'ingénierie d'ontologies. Son champs reste néanmoins limité par le format de données attribut-valeur qui est imposée en entrée des méthodes d'AFC. L'Analyse Relationnelle de Concepts (ARC) est une extension de l'AFC qui admet des jeux de données dans un format proche de l'Entité-Relation, c'est-à-dire, composés de multiples tables décrivant : (1) des objets de différents types avec leurs attributs ou (2) des associations entre types (liens entre objets). L'ARC génère une famille de treillis, un par type d'objets, dont les concepts sont décrits en faisant référence à d'autres concepts via des attributs formés par abstraction des liens inter-objets. La construction de ces attributs, dits relationnels, est un processus itératif dont les constructeurs sont inspirés des logiques de description. Dans ce double séminaire, nous introduisons l'ARC et nous expliquons ses forces et ses limites et les illustrons par les applications passées ou en cours. Dans la première partie, nous commencerons par présenter les fondements de l'AFC et donner quelques notions de base sur les LD. Les éléments clés du cadre ARC - formats d'entrée et de sortie, opérateurs de graduation, processus itératif d'abstraction de concepts - seront introduits par la suite. Dans la deuxième partie, nous parlerons des applications de l'ARC. D'abord, les divers problèmes du domaine du génie logiciel seront discutés, notamment la compréhension et la refactorisation de modèles, l'aide au choix de services Web pour réaliser un workflow donné ou l'extraction de motifs de transformation de modèles. Ensuite, nous parlerons de l'application de l'AFC à la fouille de textes et à la construction et la maintenance d'ontologies.