in sorted by

 [EXMO] bibliography selection (2000/11/05)

Computational semiotics/Sémiologie informatique



Jérôme Euzenat, Problèmes d'intelligibilité et solutions autour de XML, Actes CNES séminaire Valorisation des données, Labège (FR) , 2000
BibTeX
ftp://ftp.inrialpes.fr/pub/exmo/publications/euzenat2000c.ps.gz
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


Jérôme Euzenat, Towards formal knowledge intelligibility at the semiotic level, Proc. ECAI 2000 Workshop Applied Semiotics: Control Problems, Berlin (DE) , pp59-61, 2000
BibTeX
http://www.iitp.ru/asc2000/ps/12_EUZEN.PS
ftp://ftp.inrialpes.fr/pub/exmo/publications/euzenat2000d.ps.gz
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



Raphaël Troncy, Intégration texte-représentation formelle pour la gestion de documents XML, DEA d'informatique, Université Joseph Fourier-INPG, Grenoble (FR) , 2000
BibTeX
ftp://ftp.inrialpes.fr/pub/exmo/reports/dea-troncy.ps.gz
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


Raphaël Troncy, Intégration texte-représentation formelle pour la gestion de documents XML,
BibTeX
ftp://ftp.inrialpes.fr/pub/exmo/reports/troncy2000b.ps.gz
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

Knowledge management/Gestion de connaissance



Patrick Bougé, Dominique Deneux, Christophe Lerch, Jérôme Euzenat, Jean-Paul Barthès, Michel Tollenaere, Localisation des connaissances dans les systèmes de production: approches multiples pour différents types de connaissance, Actes Prosper journées Gestion de connaissances, coopération, méthodologie de recherches interdisciplinaires, Toulouse (FR) , pp31-50, 2000
BibTeX
http://www.univ-valenciennes.fr/PROSPER/serveur/doc/toulouse/Prosper-loc-formatted.zip
ftp://ftp.inrialpes.fr/pub/exmo/publications/bouge2000a.ps.gz
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

Objects/Objets



Jérôme Euzenat, XML est-il le langage de représentation de connaissance de l'an 2000 ?, Actes 6es journées langages et modèles à objets, Mont Saint-Hilaire (CA) , pp59-74, 2000
BibTeX
ftp://ftp.inrialpes.fr/pub/exmo/publications/euzenat2000a.ps.gz
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.

Transformations


Olivier Brunet, Classifications et treillis, Actes 5es Rencontres nationales de jeunes chercheurs en intelligence artificielle, Lyon (FR) , pp29-38, 2000
BibTeX
http://www710.univ-lyon1.fr/~rjcia/papiers/Brunet.pdf
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

EXMO : research | people | papers | teaching | training | cooperation | software | applications | transfert© | ? | *

http://www.inrialpes.fr/exmo/papers/© INRIA Rhône-Alpes, 1999-2000
Maintained by Jérôme Euzenat