Les problèmes d'intelligibilité et d'interopérabilité que pose et que
résout le langage XML sont examinés en explorant progressivement les
travaux destinés à les résoudre: XML en tant que langage universel, permet
théoriquement l'interopérabilité. Mais XML, métalangage sans sémantique,
n'offre aucune possibilité d'intelligibilité pour qui (humain ou
programme) ne connaît pas le contenu. XML-Schéma n'améliore que
l'interopérabilité en définissant très précisément les types de données
(et parfois leurs unités). RDF, langage de description de ressources, est
destiné à « ajouter de la sémantique » mais n'en dispose pas lui-même. Il
sera donc très difficile (lire impossible) pour un programme de
l'interpréter. Plusieurs initiatives indépendantes du W3C s'attachent à
produire des langages de descriptions de contenu cette fois-ci dotés d'une
sémantique rigoureuse. Ce faisant, ces langages réduisent drastiquement
leurs champs d'utilisation et par conséquent les possibilités
d'interopérabilité des documents les utilisant. Si le temps est suffisant,
on pourra présenter brièvement (a) une proposition de langage de
description de la sémantique destiné à préserver l'interopérabilité en
améliorant l'intelligibilité ainsi que (b) un projet, actuellement en
cours, de comparaison de plusieurs formalismes de représentation de
connaissance pour la représentation du contenu. XML, RDF, Schéma, DSD, Représentation de connaissance par objets, Sémantique Computational semiotics/Sémiologie informatique, XML, Semantics/Sémantique
Exchange of formalised knowledge through computers is developing fast.
It is assumed that using knowledge will increase the efficiency of the systems by
providing a better understanding of exchanged information. However, intelligibility
is by no way ensured by the use of a semantically defined language. This statement
of interest explains why and calls for the involvement of the semioticians for
tackling this problem. Semantics, Interoperability, Intelligibility, Computational semiotics Computational semiotics/Sémiologie informatique
Formal content representation/Représentation formelle de contenu
Actuellement, le Web contient d'importantes quantités d'informations couvrant
tous les sujets imaginables. Le problème qui était avant de savoir si une information, même très spécifique, était disponible sur le Web, est mainte nant devenu comment retrouver cette information. Apporter du sens intelligible et exploitable par des machines aux documents devrait leur permettre d'utiliser l'information présente, d'améliorer les techniques de recherche, et donc de faire du Web une gigantesque base de connaissance. Les langages de représentation de connaissance sont de bons candidats si l'on souhaite décrire le contenu de documents. L'action Escrire a d'ailleurs pour objectif d'en comparer trois. Parmi eux, la représentation de connaissances à objets apparaît particulièrement adaptée lorsqu'il s'agit de représenter des connaissances complexes sur un domaine en cours d'étude. On pourra alors manipuler plus efficacement une base de documents en les indexant par leur contenu (ou leur sens). Les documents pertinents seront ramenés à partir de requêtes structurées tirant parti du formalisme de représentation de connaissance (hiérarchie de classes, mécanismes de classification...).
Nous avons d'abord observé le lien étroit existant entre la nature de la connaissance à représenter et le type du document. Nous avons aussi pu voir que plus que le contenu, c'est l'application résultante qui va décider des éléments à représenter. Nous avons donc essayé d'imaginer quels types de requêtes un utilisateur est susceptible de poser, ce qui nous a conduit à proposer un langage de requêtes. Un corpus de travail a été utilisé pour mettre en oeuvre les choix effectués. Il concerne les interactions géniques chez la drosophile pendant son processus de segmentation. Le système de représentation de connaissances à objets Troeps gère les connaissances contenues dans les documents. Un évaluateur de requêtes a été intégré à ce système pour permettre de l'interroger.
Représentation de connaissance, Représentation du contenu, Sémantique, XML, Recherche d'information, Annotations, Ontologies, Objets Formal content representation/Représentation formelle de contenu
La gestion des connaissances s'instancie de manière extrèmement
variée au sein des entreprises et elle mobilise des disciplines tout aussi variées.
Les connaissances considérées par les différentes approches peuvent être très
différentes. On peut se demander si cet état de fait est dû aux approches mises
en oeuvre ou exigé par la variété des applications englobées par la gestion de
connaissance. On considère un ensemble de projets pouvant être considérés comme
relevant de la gestion de connaissance restreinte au cadre des systèmes de
productions. On observe tout d'abord qu'ils s'attachent à résoudre des problèmes
différents par des méthodes différentes. De plus, la corrélation semble faible
entre les disciplines et les connaissances d'une part et entre les problèmes et
les disciplines d'autre part. Knowledge management/Gestion de connaissance
De nombreuses applications (représentation du contenu,
définition de vocabulaire) utilisent XML pour transcrire la connaissance
et la communiquer telle quelle ou dans des contextes plus larges. Le
langage XML est considéré comme un langage universel et sa similarité avec
les systèmes à objets a été remarquée. XML va-t-il donc remplacer les
langages de représentation de connaissance ? Un exemple concret permet de
présenter quelques questions et problèmes posés par la transcription d'un
formalisme de représentation de connaissance par objets en XML. Les
solutions possibles de ces problèmes sont comparées. L'avantage et la
lacune principale d'XML étant son absence de sémantique, une solution à ce
problème est ébauchée.
XML, sémantique, représentation de connaissance par objets Objects/Objets, XML
Amedeo Napoli, Jérôme Euzenat, Roland Ducournau, Les représentations de connaissances par objets, Techniques et science informatique19(1-3):387-394, 2000 BibTeX
La finalité des systèmes de représentation des connaissances par objets
est de représenter des connaissances autour de la notion centrale d'objet.
Cet article décrit l'origine et l'évolution de ces systèmes, ainsi que la
place et l'avenir qui leurs sont réservés. Représentation des connaissances par objets, raisonnement, système classificatoire, logique de descriptions, gestion des connaissances, objet, inférence, classification Objects/Objets
Texts/Textes
Farid Cerbah, Jérôme Euzenat, Terminology extraction techniques for improving traceability from formal models to textual requirements, Proc. 5th international conference on applications of natural language to information systems, Versailles (FR)
, 2000 BibTeX
This article deals with traceability in sotfware engineering. More
precisely, we concentrate on the role of terminological knowledge in
the mapping between (informal) textual requirements and (formal)
object models. We show that terminological knowledge facilitates the
production of traceability links, provided that language processing
technologies allow to elaborate semi-automatically the required
terminological resources. The presented system is one step towards
incremental formalization from textual knowledge. XML, terminology, knowledge extraction Texts/Textes, Knowledge management/Gestion de connaissance
Farid Cerbah, Jérôme Euzenat, Integrating textual knowledge and formal knowledge for improving traceability, Proc. ECAI 2000 Workshop Knowledge Management and Organizational Memory, Berlin (DE)
, pp10-16, 2000 BibTeX
This article deals with traceability in knowledge repositories. More
precisely, we concentrate on the role of terminological knowledge in
the mapping between (informal) textual requirements and (formal)
object models. We show that terminological knowledge facilitates the
production of traceability links, provided that language processing
technologies allow to elaborate semi-automatically the required
terminological resources. The presented system is one step towards
incremental formalization from textual knowledge. As such,
it is a valuable tool for building knowledge repositories.
XML, terminology, knowledge extraction Texts/Textes, Knowledge management/Gestion de connaissance
Farid Cerbah, Jérôme Euzenat, Integrating textual knowledge and forml knowledge for improving traceability, Proc. 12th international conference on knowledge engineering and knowledge management, Juan-les-Pins (FR)
, pp296-303, 2000 BibTeX
Knowledge engineering often concerns the translation of
informal knowledge into a formal representation. This translation
process requires support for itself and for its traceability.
We pretend that inserting a terminological structure between informal
textual documents and their formalization serves both of these goals.
Modern terminology extraction tools support the formalization
process where the terms are a first sketch of formalized concepts.
Moreover, the terms can be used for linking the concepts and the
pieces of texts. This is exemplified through the presentation of an
implemented system. XML, terminology, knowledge extraction Texts/Textes, Knowledge management/Gestion de connaissance
Transformations
Olivier Brunet, Lattice approach to classifications, Proc. 12th European summer school logic, language and information, Birmimgham (UK)
, pp34-44, 2000 BibTeX
We present a translation of J. Barwise and J. Seligman's
"Information Flow Theory" into a lattice and Galois connection based
formalism. We show how to transform the different structures of the
theory into this formalism and show that this translation extends the
expressivity of the theory.
Nous présentons un formalisme de traduction de l'Information Flow Theory, une théorie de représentation des transferts d'information développée par J. Barwise et J. Seligman, vers un formalisme standard de correspondances de Galois. Nous donnons certaines propriétés de cette traduction et montrons que celle-ci est totale et injective mais non surjective, ce qui signifie que cette théorie se traduit exactement sous forme de treillis et de correspondances de Galois mais que l'on peut l'enrichir en utilisant ce formalisme. Représentation des connaissances, Compilation et approximation de connaissances Transformations