Présentation et objectifs généraux
Mots clés : représentation des
connaissances, sémantique des représentations,
transformations, ontologies, treillis, préservation de
propriétés, web sémantique, représentation du contenu,
sémiologie, TROEPS, WWW, DLML, XML, XSLT .
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 l'action 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 l'action 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.
L'aspect transformation a pour but d'élaborer une
« théorie générale des transformations » fondée sur
les propriétés satisfaites par les transformations plutÔt que
sur les transformations elles-mêmes. Parmi ces propriétés on
trouve la préservation du contenu ou de la structure, la
traÇabilité des sources ou, au contraire, la
confidentialité.
La partie communication cherche à contribuer à
l'intelligibilité de la connaissance échangée entre les
interlocuteurs. L'un de nos premiers travaux est la
description de la sémantique des types de documents
XML à l'instar de leur
syntaxe. Ainsi, la forme des documents peut être altérée tout
en préservant tout ou partie de leur interprétation.
Les applications anticipées sont l'ingénierie des systèmes
de transformation et le « web sémantique »
(serveurs de connaissance, représentation du contenu,
transformation de représentations).