L’équipe EXMO étudie l’échange de connaissance structurée et formalisée. La connaissance est représentée dans des langages formellement définis. Ils peuvent aller de XML - métalangage structuré mais sans sémantique - aux langages de représentation de connaissance - structurés, sémantiquement définis mais spécialisés.

Le but de EXMO est le développement d’outils théoriques et logiciels pour aider à l’organisation, la manipulation, la composition et la présentation d’éléments de connaissance structurés lors de la communication entre humains. Dans le processus de communication, l’ordinateur peut introduire une plus-value à son rôle de médium et de mémoire en accomplissant des tâches comme le formatage, le filtrage, la catégorisation, le test de consistance ou la généralisation.

Assurer l’adéquation et l’intelligibilité de la connaissance pour les interlocuteurs nécessite le développement d’une compréhension abstraite des représentations et des transformations qui leur sont appliquées. Les travaux de EXMO sont focalisés sur deux aspects. L’aspect transformation rend compte des modifications de la connaissance pendant la communication alors que l’aspect communication concerne la préservation de l’intelligibilité de la connaissance transformée.

Notre travail s’applique naturellement à l’infrastructure du web sémantique (lorsqu’il est nécessaire d’importer des éléments de connaissance dans d’autres contextes : langages, ontologies) et l’ingénierie des systèmes de transformation (lorsque l’on veut établir les propriétés de flux de transformations complexes).