<bibliography name="Exmo" date="2000/11/05">
<reference index="bougé2000a" type="inproceedings" language="fr" status="public" reviewed="full">
<authors>
<p first="Patrick" last="Bougé" />
<p first="Dominique" last="Deneux" />
<p first="Christophe" last="Lerch" />
<p first="Jérôme" last="Euzenat" />
<p first="Jean-Paul" last="Barthès" />
<p first="Michel" last="Tollenaere" />
</authors>
<title>Localisation des connaissances dans les systèmes de production: approches multiples pour différents types de connaissance</title>
<conference type="journées" name="Gestion de connaissances, coopération, méthodologie de recherches interdisciplinaires" sponsor="Prosper">
<location city="Toulouse" country="FR" />
</conference>
<year>2000</year>
<date>7-8 juin</date>
<pages>31-50</pages>
<links>
<url href="http://www.univ-valenciennes.fr/PROSPER/serveur/doc/toulouse/Prosper-loc-formatted.zip" status="public" type="postscript" content="paper" compression="gz" />
<url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/bouge2000a.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<abstract>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.</abstract>
<areas>
<li>Knowledge management/Gestion de connaissance</li>
</areas>
<contracts><li>ardeco</li></contracts>
</reference>
<reference index="brunet2000a" type="inproceedings" language="en" status="public" reviewed="full">
<authors>
<p first="Olivier" last="Brunet" />
</authors>
<title>Lattice approach to classifications</title>
<conference type="European summer school" issue="12" short="ESSLLI" name="logic, language and information">
<location city="Birmimgham" country="UK" />
</conference>
<pages>34-44</pages>
<year>2000</year>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/brunet2000a.ps.gz" status="hidden" type="postscript" content="paper" compression="gz" />
</links>
<abstract>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.</abstract>
<keywords>
</keywords>
<areas>
<li>Transformations</li>
</areas>
</reference>
<reference index="brunet2000b" type="inproceedings" language="fr" status="public" reviewed="full">
<authors>
<p first="Olivier" last="Brunet" />
</authors>
<title>Classifications et treillis</title>
<conference type="Rencontres nationales" issue="5" short="RJCIA" name="de jeunes chercheurs en intelligence artificielle">
<location city="Lyon" country="FR" />
</conference>
<year>2000</year>
<pages>29-38</pages>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/brunet2000b.ps.gz" status="hidden" type="postscript" content="paper" compression="gz" />
<url href="http://www710.univ-lyon1.fr/~rjcia/papiers/Brunet.pdf" status="public" type="postscript" content="paper" compression="gz" />
</links>
<abstract> 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.</abstract>
<keywords>
<li>Représentation des connaissances</li>
<li>Compilation et approximation de connaissances</li>
</keywords>
<areas>
<li>Transformations</li>
</areas>
</reference>
<reference index="cerbah2000a" type="inproceedings" language="en" status="public" reviewed="full">
<authors>
<p first="Farid" last="Cerbah" />
<p first="Jérôme" last="Euzenat" />
</authors>
<title>Terminology extraction techniques for improving traceability from formal models to textual requirements</title>
<conference type="international conference" issue="5" short="NLDB" name="on applications of natural language to information systems">
<location city="Versailles" country="FR" />
</conference>
<journal name="Lecture notes in computer science"><publishers name="Springer Verlag"><location city="Heidelberg" country="DE" /></publishers></journal>
<year>2000</year>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/cerbah2000a.ps.gz" status="hidden" type="postscript" content="paper" compression="gz" />
</links>
<abstract>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.</abstract>
<keywords>
<li>XML</li>
<li>terminology</li>
<li>knowledge extraction</li>
</keywords>
<softwares><li>troeps</li></softwares>
<contracts><li>genieII</li></contracts>
<areas>
<li>Texts/Textes</li>
<li>Knowledge management/Gestion de connaissance</li>
</areas>
</reference>
<reference index="cerbah2000b" type="inproceedings" language="en" status="public" reviewed="full">
<authors>
<p first="Farid" last="Cerbah" />
<p first="Jérôme" last="Euzenat" />
</authors>
<title>Integrating textual knowledge and formal knowledge for improving traceability</title>
<conference type="ECAI 2000 Workshop" name="Knowledge Management and Organizational Memory">
<location city="Berlin" country="DE" />
</conference>
<pages>10-16</pages>
<year>2000</year>
<links>
<url href="http://www-sop.inria.fr/acacia/WORKSHOPS/ECAI2000-OM/Papers/ecai2000-cerbah.ps" status="hidden" type="postscript" content="paper" compression="gz" />
<url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/cerbah2000b.ps.gz" status="hidden" type="postscript" content="paper" compression="gz" />
</links>
<abstract>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.
</abstract>
<keywords>
<li>XML</li>
<li>terminology</li>
<li>knowledge extraction</li>
</keywords>
<softwares><li>troeps</li></softwares>
<contracts><li>genieII</li></contracts>
<areas>
<li>Texts/Textes</li>
<li>Knowledge management/Gestion de connaissance</li>
</areas>
</reference>
<reference index="cerbah2000c" type="inproceedings" language="en" status="public" reviewed="full">
<authors>
<p first="Farid" last="Cerbah" />
<p first="Jérôme" last="Euzenat" />
</authors>
<title>Integrating textual knowledge and forml knowledge for improving traceability</title>
<conference type="international conference" issue="12" short="EKAW" name="on knowledge engineering and knowledge management">
<location city="Juan-les-Pins" country="FR" />
</conference>
<journal name="Lecture notes in computer science"><publishers name="Springer Verlag"><location city="Heidelberg" country="DE" /></publishers></journal>
<number>1937</number>
<editors>
<p first="Rose" last="Dieng" />
<p first="Olivier" last="Corby" />
</editors>
<isbn>3-540-41119-4</isbn>
<pages>296-303</pages>
<year>2000</year>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/cerbah2000c.ps.gz" status="hidden" type="postscript" content="paper" compression="gz" />
</links>
<abstract>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. </abstract>
<keywords>
<li>XML</li>
<li>terminology</li>
<li>knowledge extraction</li>
</keywords>
<softwares><li>troeps</li></softwares>
<contracts><li>genieII</li></contracts>
<areas>
<li>Texts/Textes</li>
<li>Knowledge management/Gestion de connaissance</li>
</areas>
</reference>
<reference index="euzenat2000a" type="inproceedings" language="fr" status="unref" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>XML est-il le langage de représentation de connaissance de l'an 2000 ?</title>
<conference type="journées" issue="6" short="LMO" name="langages et modèles à objets">
<location city="Mont Saint-Hilaire" country="CA" />
</conference>
<pages>59-74</pages>
<year>2000</year>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/euzenat2000a.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<abstract>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.
</abstract>
<keywords>
<li>XML</li>
<li>sémantique</li>
<li>représentation de connaissance par objets</li>
</keywords>
<softwares><li>troeps</li></softwares>
<contracts><li>genieII</li><li>escrire</li></contracts>
<areas>
<li>Objects/Objets</li>
<li>XML</li>
</areas>
</reference>
<reference index="euzenat2000b" type="incollection" status="hidden" reviewed="full" language="en">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Construction collaborative de bases de connaissance et de documents pour la capitalisation</title>
<book>
<reference index="zacklad2000a" type="collection" language="fr" status="public" reviewed="full">
<editors>
<p first="Manuel" last="Zacklad" />
<p first="Michel" last="Grundstein" />
</editors>
<publisher name="Hermès Science publisher">
<location city="Paris" country="FR" />
</publisher>
<title>Systèmes d'information pour la gestion des connaissances dans les organisations</title>
<year>2000</year>
<status>à paraître</status>
<keywords />
<areas><li>Gestion de connaissance</li></areas>
</reference>
</book>
<year>2000</year>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/exmo/tmp/euzenat-sigc.rtf.zip" compression="zip" type="rtf" status="hidden" content="paper" />
</links>
<abstract>L'activité de « mémoire technique » est destinée à recevoir la
connaissance technique utilisée par les ingénieurs de l'entreprise. Ces
mémoires techniques participent de la problématique de la gestion des
connaissances ("knowledge management") en ce qu'elles permettent
d'accroître les capacités de capitalisation et de gestion de la
connaissance et des expériences au sein des entreprises. Une telle mémoire
se doit d'être vivante si elle doit être utilisée ou enrichie. Elle doit
donc être cohérente et intelligible. L'approche de la mémoire technique
présentée ici est nourrie de notre expérience de la construction de bases
de connaissance. À cette fin, trois principes sont ici mis en avant : la
mémoire technique doit être autant que possible formalisée, elle doit être
liée aux sources de connaissance informelle, elle doit exprimer le
consensus d'une communauté. On présente brièvement comment le prototype
CO4 répond à ces exigences en permettant l'édition de connaissance
formalisée sur le world-wide web, la référence des entités modélisées vers
des sources informelles et la mise en oeuvre d'un protocole de
collaboration destiné à encourager le consensus entre les acteurs.</abstract>
<keywords>
<li>Mémoire technique</li>
<li>mémoire d'entreprise</li>
<li>serveur de connaissance</li>
<li>consensus</li>
<li>éditeur de connaissance</li>
<li>world-wide web</li>
<li>TROEPS</li>
<li>CO4</li>
<li>collaboration protocol</li>
</keywords>
<softwares><li>troeps</li><li>co4</li></softwares>
<contracts><li>accsv</li><li>greg</li></contracts>
<areas>
<li>Knowledge management/Gestion de connaissance</li>
<li>Objects/Objets</li>
</areas>
</reference>
<reference index="euzenat2000c" type="inproceedings" language="fr" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<editors><p first="Paul" last="Kopp" /></editors>
<title>Problèmes d'intelligibilité et solutions autour de XML</title>
<conference type="séminaire" name="Valorisation des données" sponsor="CNES">
<location city="Labège" country="FR" />
</conference>
<school name="CNES">
<location city="Toulouse" country="FR" />
</school>
<year>2000</year>
<date>16-17 mars</date>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/euzenat2000c.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<abstract>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.</abstract>
<keywords>
<li>XML</li>
<li>RDF</li>
<li>Schéma</li>
<li>DSD</li>
<li>Représentation de connaissance par objets</li>
<li>Sémantique</li>
</keywords>
<areas>
<li>Computational semiotics/Sémiologie informatique</li>
<li>XML</li>
<li>Semantics/Sémantique</li>
</areas>
<contracts><li>escrire</li></contracts>
</reference>
<reference index="euzenat2000d" type="inproceedings" language="en" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Towards formal knowledge intelligibility at the semiotic level</title>
<conference type="ECAI 2000 Workshop" name="Applied Semiotics: Control Problems">
<location city="Berlin" country="DE" />
</conference>
<year>2000</year>
<pages>59-61</pages>
<links>
<url href="http://www.iitp.ru/asc2000/ps/12_EUZEN.PS" status="public" type="postscript" content="paper" compression="gz" />
<url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/euzenat2000d.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<abstract>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.</abstract>
<keywords>
<li>Semantics</li>
<li>Interoperability</li>
<li>Intelligibility</li>
<li>Computational semiotics</li>
</keywords>
<areas>
<li>Computational semiotics/Sémiologie informatique</li>
</areas>
</reference>
<reference index="napoli2000a" type="article" language="fr" status="public" reviewed="full">
<authors>
<p first="Amedeo" last="Napoli" />
<p first="Jérôme" last="Euzenat" />
<p first="Roland" last="Ducournau" />
</authors>
<title>Les représentations de connaissances par objets</title>
<journal name="Techniques et science informatique">
<publisher name="Hermès Science publisher">
<location city="Paris" country="FR" />
</publisher>
</journal>
<volume>19</volume>
<number>1-3</number>
<pages>387-394</pages>
<year>2000</year>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/napoli2000a.ps.gz" status="hidden" type="postscript" content="paper" compression="gz" />
</links>
<abstract>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.</abstract>
<keywords>
<li>Représentation des connaissances par objets</li>
<li>raisonnement</li>
<li>système classificatoire</li>
<li>logique de descriptions</li>
<li>gestion des connaissances</li>
<li>objet</li>
<li>inférence</li>
<li>classification</li>
</keywords>
<areas><li>Objects/Objets</li></areas>
</reference>
<reference index="troncy2000a" type="masterthesis" language="fr" status="public" reviewed="full">
<authors>
<p first="Raphaël" last="Troncy" />
</authors>
<type>DEA d'informatique</type>
<school name="Université Joseph Fourier-INPG"><location city="Grenoble" country="FR" /></school>
<title>Intégration texte-représentation formelle pour la gestion de documents XML</title>
<year>2000</year>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/exmo/reports/dea-troncy.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<abstract>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.
</abstract>
<keywords>
<li>Représentation de connaissance</li>
<li>Représentation du contenu</li>
<li>Sémantique</li>
<li>XML</li>
<li>Recherche d'information</li>
<li>Annotations</li>
<li>Ontologies</li>
<li>Objets</li>
</keywords>
<areas><li>Formal content representation/Représentation formelle de contenu</li></areas>
</reference>
<reference index="troncy2000b" type="misc" language="fr" status="public" reviewed="full">
<authors>
<p first="Raphaël" last="Troncy" />
</authors>
<type>Magistère d'informatique</type>
<school name="Université Joseph Fourier-INPG"><location city="Grenoble" country="FR" /></school>
<title>Intégration texte-représentation formelle pour la gestion de documents XML</title>
<year>2000</year>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/exmo/reports/troncy2000b.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<keywords>
<li>Représentation de connaissance</li>
<li>Représentation du contenu</li>
<li>Sémantique</li>
<li>XML</li>
<li>Recherche d'information</li>
<li>Annotations</li>
<li>Ontologies</li>
<li>Objets</li>
</keywords>
<areas><li>Formal content representation/Représentation formelle de contenu</li></areas>
<softwares><li>troeps</li></softwares>
<contracts><li toto="134">escrire</li></contracts>
</reference>
<reference index="sanchez1999a" type="article" language="en" reviewing="full" status="public" reviewed="full">
<authors>
<p first="Catherine" last="Sanchez" />
> <p first="Corinne" last="Lachaize" />
<p first="Florence" last="Janody" />
<p first="Bernard" last="Bellon" />
<p first="Laurence" last="Röder" />
<p first="Jérôme" last="Euzenat" />
<p first="François" last="Rechenmann" />
<p first="Bernard" last="Jacq" />
</authors>
<title>Grasping at molecular interactions and genetic networks in <I>Drosophila melanogaster</I> using FlyNets, an Internet database</title>
<journal name="Nucleic acids research" issn="0305-1048" short="nar">
<publisher name="Oxford university press">
<location city="Oxford" country="UK" />
</publisher>
</journal>
<volume>27</volume>
<number>1</number>
<pages>89-94</pages>
<date year="1999" />
<links><url href="http://nar.oupjournals.org/cgi/pmidlookup?view=full&pmid=9847149" status="public" type="postscript" content="paper" compression="gz" /></links>
<abstract>FlyNets (http://gifts.univ-mrs.fr/FlyNets/FlyNets_home_page.html) is a WWW database describing molecular interactions
(protein-DNA, protein-RNA and protein-protein) in the fly Drosophila melanogaster. It is composed of two parts, as follows. (i)
FlyNets-base is a specialized database which focuses on molecular interactions involved in Drosophila development. The
information content of FlyNets-base is distributed among several specific lines arranged according to a GenBank-like format and
grouped into five thematic zones to improve human readability. The FlyNets database achieves a high level of integration with
other databases such as FlyBase, EMBL, GenBank and SWISS-PROT through numerous hyperlinks. (ii) FlyNets-list is a very
simple and more general databank, the long-term goal of which is to report on any published molecular interaction occuring in the
fly, giving direct web access to corresponding abstracts in Medline and in FlyBase. In the context of genome projects, databases
describing molecular interactions and genetic networks will provide a link at the functional level between the genome, the proteome
and the transcriptome worlds of different organisms. Interaction databases therefore aim at describing the contents, structure,
function and behaviour of what we herein define as the interactome world.</abstract>
<areas><li>Object-based knowledge représentation/Représentation de connaissance par objets</li></areas>
</reference>
<reference index="euzenat2001pra" type="article" language="en" reviewing="full" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Granularity in relational formalisms with application to time and space representation</title>
<journal name="Computational intelligence" short="ci">
<publisher name="Blackwell" />
</journal>
<note>accepted (scheduled for 17(4))</note>
<date year="2001" />
<abstract>Temporal and spatial phenomena can be seen at a more or less precise granularity,
depending on the kind of perceivable details. As a consequence, the relationship between two
objects may differ depending on the granularity considered. When merging representations of
different granularity, this may raise problems. This paper presents general rules of
granularity conversion in relation algebras. Granularity is considered independently of the
specific relation algebra, by investigating operators for converting a representation from
one granularity to another and presenting six constraints that they must satisfy. The
constraints are shown to be independent and consistent and general results about the existence
of such operators are provided. The constraints are used to generate the unique pairs of
operators for converting qualitative temporal relationships (upward and downward) from one
granularity to another. Then two fundamental constructors (product and weakening) are
presented: they permit the generation of new qualitative systems (e.g. space algebra) from
existing ones. They are shown to preserve most of the properties of granularity conversion
operators.</abstract>
<keywords><li>Granularity</li>
<li>space representation</li>
<li>time representation</li>
<li>relation algebra</li>
<li>interval algebra</li>
<li>product</li>
<li>weakening</li>
</keywords>
<areas>
<li>Time representation/Représentation temporelle</li>
<li>Space representation/Représentation spatiale</li>
<li>Granularity/Granularité</li>
</areas>
</reference>
<reference index="cerbah2001prb" type="article" language="en" reviewing="full" status="public" reviewed="full">
<authors>
<p first="Farid" last="Cerbah" />
<p first="Jérôme" last="Euzenat" />
</authors>
<title>Traceability between models and texts through terminology</title>
<journal name="Data and knowledge engineering" short="dke">
<publisher name="North-Holland">
<location city="Amsterdam" country="NL" />
</publisher>
</journal>
<volume>38</volume>
<number>1</number>
<pages>31-43</pages>
<date year="2001" />
<note>to appear</note>
<abstract>Modeling often concerns the translation of informal texts into formal
representations. This translation process requires support for itself
and for its traceability. We pretend that inserting a terminology
between informal textual documents and their formalization can help to
serve both of these goals. Modern terminology extraction tools
support the formalization process by using terms as a first sketch of
formalized concepts. Moreover, the terms can be employed for linking
the concepts and the textual sources. They act as a powerful
navigation structure. This is exemplified through the presentation of
a fully implemented system.
</abstract>
<keywords><li>Terminology extraction</li>
<li>Traceability</li>
<li>Model generation</li>
<li>Hypertext</li>
<li>Object-oriented modeling</li>
<li>Natural language</li>
</keywords>
<areas>
<li>Knowledge management/Gestion de connaissance</li>
<li>Texts/Textes</li>
</areas>
<softwares><li>troeps</li></softwares>
</reference>
<reference index="euzenat1993e" type="article" language="fr" reviewing="full" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Représentation granulaire du temps</title>
<journal name="Revue d'intelligence artificielle" issn="0992-499X" short="ria">
<publisher name="Hermès">
<location city="Paris" country="FR" />
</publisher>
</journal>
<volume>7</volume>
<number>3</number>
<pages>329-361</pages>
<date year="1993" />
<links><url href="ftp://ftp.inrialpes.fr/pub/sherpa/publications/euzenat93d.ps.gz" status="public" type="postscript" content="paper" compression="gz" /></links>
<abstract>Afin de représenter le temps sous plusieurs niveaux de détail, une représentation temporelle
granulaire est proposée. Une telle représentation dispose les entités temporelles dans différents
espaces organisés hiérarchiquement et nommés granularités. Elle conduit à conserver la représentation
symbolique du temps et à simplifier la représentation numérique. Par contre, elle nécessite la
définition d'opérateurs de conversion des représentations entre deux granularités afin de pouvoir
utiliser une même entité temporelle sous différentes granularités.<br />
Les propriétés que doivent respecter ces opérateurs afin de conserver les interprétations classiques de
ces représentations sont exposées et des opérateurs de conversion symboliques et numériques sont proposés.
Sous l'aspect symbolique, les opérateurs sont compatibles avec la représentation des relations temporelles
sous forme d'algèbres de points et d'intervalles. En ce qui concerne la conversion numérique, certaines
contraintes doivent être ajoutées afin de disposer des propriétés escomptées. Par ailleurs, la
caractérisation des opérateurs laisse une certaine latitude, qui peut être utilisée pour introduire de
la connaissance liée au domaine considéré, dans leur définition. Des possibilités d'utilisation de cette
latitude sont discutées.
</abstract>
<keywords><li>Représentation temporelle</li>
<li>Granularité</li>
<li>Localité</li>
<li>Histoire</li>
</keywords>
<areas>
<li>Time representation/Représentation temporelle</li>
<li>Granularity/Granularité</li></areas>
</reference>
<reference index="euzenat1999c" type="article" language="fr" reviewing="full" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>La représentation de connaissance est-elle soluble dans le web ?</title>
<journal name="Document numérique" issn="1279-5127">
<publisher name="Hermès">
<location city="Paris" country="FR" />
</publisher>
</journal>
<volume>3</volume>
<number>3-4</number>
<pages>151-167</pages>
<date year="1999" />
<isbn>2-7462-0094-5</isbn>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/sherpa/publications/euzenat99c.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<abstract>Une double interrogation se pose concernant les rapports entre la représentation de connaissance,
telle qu'elle est entendue en intelligence artificielle (c'est-à-dire une représentation formelle dotée
d'une sémantique), et la notion de document telle qu'elle est actuellement comprise dans le World wide
web :<ul>
<li>La représentation de connaissance est-elle soluble dans le web ? C'est-à-dire peut-elle s'intégrer
harmonieusement dans le paysage du web et comment, mais aussi que peut-elle
apporter au web ?</li>
<li>La représentation de connaissance va-t-elle se dissoudre dans le web ? En ces temps où toute source
documentaire est nommée " base de connaissance ", où les formats des documents du web sont de plus en
plus structurés, la représentation de connaissance a-t-elle un avenir hors du web ou sera-t-elle
dépassée par ces approches plus pragmatiques ?</li>
</ul>Pour cela, les activités de représentation de connaissance intégrées dans l'aspect documentaire du
web (excluant les robots par exemple) sont décrites : pages web à connaissance ajoutée (par exemple,
SHOE), serveurs de connaissance (par exemple, Troeps), moulins à connaissance (par exemple, AltaVista
refine), éditeurs de connaissance (par exemple, Ontolingua server). Les rapports entre les systèmes de
représentation de connaissance et le langage XML seront évoqués. S'il ne s'agit pas d'un langage de
représentation de connaissance, les efforts à réaliser (et réalisés) pour l'en rapprocher sont précisés.
</abstract>
<keywords><li>Représentation de connaissance</li>
<li>WWW</li>
<li>XML</li>
<li>ACL</li>
<li>serveurs de connaissance</li>
<li>moulins à connaissance</li>
<li>éditeurs de connaissance</li>
</keywords>
<areas>
<li>XML</li>
<li>Semantic web/Web sémantique</li>
</areas>
</reference>
<reference index="euzenat1995a" type="incollection" language="en" reviewing="full" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Building consensual knowledge bases: context and architecture</title>
<in><reference index="mars1995a" type="book" language="en" reviewing="full" status="public" reviewed="full">
<editors>
<p first="Nicolaas" last="Mars" />
</editors>
<title>Towards very large knowledge bases</title>
<publisher name="IOS press"><location city="Amsterdam" country="NL" /></publisher>
<date year="1995" />
<isbn>90-5199-217-3</isbn>
</reference></in>
<conference type="international conference" name="building and sharing very large-scale knowledge bases" issue="2" short="KBKS">
<date day="10-13" month="4" year="1995" />
<location city="Enschede" country="NL" />
</conference>
<pages>143-155</pages>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/sherpa/publications/euzenat95a.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<date year="1995" />
<keywords><li>CSCW</li>
<li>knowledge sharing</li>
<li>knowledge revision</li>
<li>negotiation</li>
<li>protocol</li>
<li>knowledge communication</li>
</keywords>
<abstract>A protocol and architecture are presented in order to achieve consensual knowledge bases (i.e.
bases in which knowledge is expressed in a formal language and which are considered as containing the
state of the art in some research area). It assumes that the construction of the base must and can be
achieved collectively. The architecture is based on individual workstations which provide support for
developing a knowledge base: formal expression of knowledge through objects, tasks and qualitative
equations annotated with hypertext nodes and links. It also provides tools for detecting similarities
and inconsistencies between pieces of knowledge. These bases can be grouped together in order to
constitute a new reference knowledge base. The process for constructing this last base mimics the
submission of articles to peer-reviewed journals. This is achieved through a protocol for submitting
knowledge to the group base, confronting it with the content of that base, amending it accordingly,
reviewing it by the other knowledge bases and finally incorporating it. The system is to be used by
researchers in the field of genome sequencing.</abstract>
<areas>
<li>Knowledge management/Gestion de connaissance</li>
<li>Collaborative edition/Édition collaborative</li>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Texts/Textes</li>
</areas>
<softwares><li>troeps</li><li>co4</li></softwares>
</reference>
<reference index="valtchev1996a" type="incollection" language="en" reviewing="full" status="public" reviewed="full">
<authors>
<p first="Petko" last="Valtchev" />
<p first="Jérôme" last="Euzenat" />
</authors>
<title>Classification of concepts through products of concepts and abstract data types</title>
<in><reference index="diday1996a" type="book" language="en" reviewing="full" status="public" reviewed="full">
<editors>
<p first="Edwin" last="Diday" />
<p first="Yves" last="Lechevalier" />
<p first="Otto" last="Opitz" />
</editors>
<title>Ordinal and symbolic data analysis</title>
<serie>Studies in classification, data analysis, and knowledge organisation</serie>
<publisher name="Springer Verlag"><location city="Heildelberg" country="DE" /></publisher>
<date year="1996" />
<isbn>3-540-61081-2</isbn>
</reference></in>
<pages>3-12</pages>
<date year="1996" />
<links>
<url href="ftp://ftp.inrialpes.fr/pub/sherpa/publications/valtchev96a.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<abstract>The classification scheme formalism represents in a uniform manner both usual data
types and structured objects is introduced. It is here provided with a dissimilarity measure
which only takes into account the structure of a given domain:
a partial order over a set of classes. The measure we define compares a couple of individuals
according to their mutual position within the taxonomy structuring the underlying domain. It
is then used to design a classification algorithm to work on structured objects.</abstract>
<areas>
<li>Classification</li>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
</areas>
<softwares><li>troeps</li></softwares>
</reference>
<reference index="euzenat1998b" type="incollection" language="fr" reviewing="invited" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Représentation de connaissance par objets</title>
<in><reference index="ducournau1998a" type="book" language="fr" reviewing="invited" status="public" reviewed="full">
<editors>
<p first="Roland" last="Ducournau" />
<p first="Jérôme" last="Euzenat" />
<p first="Gérald" last="Masini" />
<p first="Amedeo" last="Napoli" />
</editors>
<title>Langages et modèles à objets: état des recherches et perspectives</title>
<publisher name="INRIA"><location city="Rocquencourt" country="FR" /></publisher>
<date year="1998" />
<isbn>2-7261-1131-9</isbn>
</reference></in>
<pages>293-319</pages>
<chapter>10</chapter>
<date year="1998" />
<links>
<url href="ftp://ftp.inrialpes.fr/pub/sherpa/publications/euzenat98b.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<abstract>Les systèmes de représentation de connaissance sont utilisés pour modéliser symboliquement un
domaine particulier. Certains d'entre eux utilisent la notion d'objet comme structure principale. On trace
ici les traits principaux de tels systèmes, en évoquant les systèmes marquants. L'exposé approfondit
ensuite un système particulier, TROEPS, en abordant d'abord les problèmes que la conception de ce
système cherche à résoudre. TROEPS est présenté en considérant les constructions et les mécanismes
d'inférence qu'il met en oeuvre.</abstract>
<keywords><li>Représentation de connaissance</li>
<li>classification</li>
<li>filtrage</li>
<li>type</li>
<li>WWW</li>
<li>hypertexte</li>
<li>logiques de descriptions</li>
<li>réseaux sémantiques, schémas</li>
<li>identité</li>
<li>nommage</li>
<li>inférence</li>
<li>évolution</li>
<li>spécialisation</li>
<li>points de vue</li>
<li>passerelles</li>
</keywords>
<areas>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Classification</li>
</areas>
<softwares><li>troeps</li><li>shirka</li></softwares>
</reference>
<reference index="euzenat2001a" type="incollection" language="fr" reviewing="invited" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Construction collaborative de bases de connaissance et de documents pour la capitalisation</title>
<in>
<reference index="zacklad2001a" type="book" language="fr" status="public" reviewed="full">
<editors>
<p first="Manuel" last="Zacklad" />
<p first="Michel" last="Grundstein" />
</editors>
<publisher name="Hermès Science publisher">
<location city="Paris" country="FR" />
</publisher>
<title>Ingénierie et capitalisation des connaissances</title>
<date year="2001" />
<isbn>2-7462-0234-4</isbn>
<areas><li>Knowledge management/Gestion de connaissance</li></areas>
</reference>
</in>
<pages>25-48</pages>
<chapter>2</chapter>
<date year="2001" />
<links>
<url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/euzenat2001a.ps.gz" compression="gz" status="hidden" type="postscript" content="paper" />
<url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/euzenat2001a.pdf" type="pdf" status="hidden" content="paper" compression="gz" />
</links>
<abstract>L'activité de "mémoire technique" est destinée à recevoir la
connaissance technique utilisée par les ingénieurs de l'entreprise. Ces
mémoires techniques participent de la problématique de la gestion des
connaissances ("knowledge management") en ce qu'elles permettent
d'accroître les capacités de capitalisation et de gestion de la
connaissance et des expériences au sein des entreprises. Une telle mémoire
se doit d'être vivante si elle doit être utilisée ou enrichie. Elle doit
donc être cohérente et intelligible. L'approche de la mémoire technique
présentée ici est nourrie de notre expérience de la construction de bases
de connaissance. À cette fin, trois principes sont ici mis en avant : la
mémoire technique doit être autant que possible formalisée, elle doit être
liée aux sources de connaissance informelle, elle doit exprimer le
consensus d'une communauté. On présente brièvement comment le prototype
CO4 répond à ces exigences en permettant l'édition de connaissance
formalisée sur le world-wide web, la référence des entités modélisées vers
des sources informelles et la mise en oeuvre d'un protocole de
collaboration destiné à encourager le consensus entre les acteurs.</abstract>
<keywords>
<li>Mémoire technique</li>
<li>mémoire d'entreprise</li>
<li>serveur de connaissance</li>
<li>consensus</li>
<li>éditeur de connaissance</li>
<li>world-wide web</li>
<li>TROEPS</li>
<li>CO4</li>
<li>collaboration protocol</li>
</keywords>
<softwares><li>troeps</li><li>co4</li></softwares>
<contracts><li>accsv</li><li>greg</li></contracts>
<areas>
<li>Knowledge management/Gestion de connaissance</li>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
</areas>
</reference>
<reference index="euzenat2002prc" type="incollection" language="en" reviewing="invited" status="hidden" reviewed="full">
<authors>
<p first="Jérôme" last="Euzenat" /><p first="Angelo" last="Montanari" /></authors>
<title>Time granularity</title>
<in><reference index="gabbay2002a" type="book" language="en" reviewing="invited" status="public" reviewed="full">
<editors>
<p first="Dov" last="Gabbay" />
<p first="Michael" last="Fisher" />
<p first="Lluis" last="Vila" />
</editors>
<title>Handbook of time and temporal reasoning in artificial intelligence</title>
<publisher name="The MIT press"><location city="Cambridge" state="MA" country="US" /></publisher>
<date year="2001" />
</reference></in>
<date year="2001" />
<note>in preparation</note>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/exmo/tmp/tempgran.ps.gz" status="hidden" type="postscript" content="paper" compression="gz" />
</links>
<abstract>A temporal situation can be described at different levels of abstraction
depending on the accuracy required or the available knowledge. Time
granularity can be defined as the resolution power of the temporal
qualification of a statement. Providing a formalism with the concept of
time granularity makes it possible to model time information with respect
to differently grained temporal domains. This does not merely mean that
one can use different time units - e.g., months and days - to represent
time quantities in a unique flat temporal model, but it involves more
difficult semantic issues related to the problem of assigning a proper
meaning to the association of statements with the different temporal
domains of a layered temporal model and of switching from one domain
to a coarser/finer one. Such an ability of providing and relating temporal
representations at different "grain levels" of the same reality is
both an interesting research theme and a major requirement for many
applications (e.g. agent communication or integration of layered
specifications).<br />
After a presentation of the general properties required by a
multi-granular temporal formalism, we discuss the various
issues and approaches to time granularity proposed in the literature.
We focus on the main existing formalisms for representing and reasoning
about quantitative and qualitative time granularity: the general set-theoretic
framework for time granularity developed by Bettini et al
and Montanari's metric and layered temporal logic for
quantitative time granularity, and Euzenat's relational algebra granularity
conversion operators for qualitative time granularity.
The relationships between these systems and others are then
explored. At the end, we briefly describe some applications exploiting time
granularity, and we discuss related work on time granularity in the areas of
formal specifications of real-time systems, temporal databases, and data
mining.</abstract>
<areas>
<li>Time representation/Représentation temporelle</li>
<li>Granularity/Granularité</li>
</areas>
</reference>
<reference index="deneux2001a" type="incollection" language="fr" reviewing="invited" status="hidden" reviewed="full">
<authors>
<p first="Dominique" last="Deneux" />
<p first="Christophe" last="Lerch" />
<p first="Jérôme" last="Euzenat" />
<p first="Jean-Paul" last="Barthès" />
</authors>
<title>Pluralité des connaissances dans les systèmes industriels</title>
<in><reference index="perrin2001a" type="book" language="fr" reviewing="invited" status="public" reviewed="full">
<editors>
<p first="Jacques" last="Perrin" />
<p first="René" last="Soenen" />
</editors>
<title>Coopération et connaissance dans les systèmes industriels : une approche interdisciplinaire</title>
<date year="2001" />
<publisher name="Hermès Science publisher"><location city="Paris" country="FR" /></publisher>
</reference></in>
<chapter>4</chapter>
<date year="2001" />
<note>en preparation</note>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/deneux2001a.ps.gz" status="hidden" type="postscript" content="paper" compression="gz" />
</links>
<areas />
</reference>
<reference index="euzenat1991a" type="inproceedings" language="en" reviewing="full" status="public" reviewed="full">
<authors>
<p first="Jérôme" last="Euzenat" />
<p first="Libero" last="Maesano" />
</authors>
<title>An architecture for selective forgetting</title>
<conference type="conference" name="Artificial Intelligence and Simulation of Behavior" issue="8" short="AISB" sponsor="SSAISB">
<date day="16-19" month="4" year="1991" />
<location city="Leeds" country="UK" />
</conference>
<date year="1991" />
<pages>117-128</pages>
<publisher name="Springer Verlag"><location city="London" country="UK" /></publisher>
<isbn>3-540-19671-4</isbn>
<abstract>Some knowledge based systems will have to deal with increasing amount of knowledge. In order
to avoid memory overflow, it is necessary to clean memory of useless data. Here is a first step toward
an intelligent automatic forgetting scheme. The problem of the close relation between forgetting and
inferring is addressed, and a general solution is proposed. It is implemented as invalidation operators
for reasoning maintenance system dependency graphs. This results in a general architecture for selective
forgetting which is presented in the framework of the Sachem system.</abstract>
<areas>
<li>Forgetting/Oubli</li>
<li>Reason maintainance/Maintien du raisonnement</li>
</areas>
<softwares><li>kool</li></softwares>
</reference>
<reference index="euzenat1991c" type="inproceedings" language="en" reviewing="full" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Contexts for nonmonotonic RMSes</title>
<conference type="International Joint Conference" name="Artificial Intelligence" issue="12" short="IJCAI">
<date day="24-30" month="8" year="1991" />
<location city="Sydney" country="AU" />
</conference>
<pages>300-305</pages>
<date year="1991" />
<publisher name="Morgan Kauffman"><location city="San-Mateo" state="CA" country="US" /></publisher>
<isbn>1-558-60160-0</isbn>
<abstract>A new kind of RMS, based on a close merge of TMS and ATMS, is proposed. It uses the TMS graph
and interpretation and the ATMS multiple context labelling procedure. In order to fill in the problems
of the ATMS environments in presence of nonmonotonic inferences, a new kind of environment, able to
take into account hypotheses that do not hold, is defined. These environments can inherit formulas that
hold as in the ATMS context lattice. The dependency graph can be interpreted with regard to these
environments; so every node can be labelled. Furthermore, this leads to consider several possible
interpretations of a query.</abstract>
<areas><li>Reason maintainance/Maintien du raisonnement</li></areas>
</reference>
<reference index="buisson1992a" type="inproceedings" language="en" reviewing="full" status="public" reviewed="full">
<authors>
<p first="Laurent" last="Buisson" />
<p first="Jérôme" last="Euzenat" />
</authors>
<title>The ELSA avalanche path analysis system: an experiment with reason maintenance and object-based representations (extended abstract)</title>
<conference type="workshop" name="Applications of Reason Maintenance Systems" sponsor="ECAI 92">
<date day="4" month="8" year="1992" />
<location city="Wien" country="OS" />
</conference>
<date year="1992" />
<abstract>ELSA is an application concerning avalanche path analysis which takes advantages of
a reason maintenance system. In order to fully describe it, the tool on which the ELSA application
is developed - Shirka/TMS - is first described. It is noteworthy that the RMS on Shirka is a
special one. It is only used for cache consistency maintenance. As a consequence, the importance
of Shirka/TMS in ELSA is in preserving cache consistency rather than defaults assumptions and
backtracking. Then, the processing of the ELSA system is presented, emphasizing on the use of
the RMS: the RMS of Shirka is critical for the performances of the whole system. This is illustrated
in the third part in which are given some comparison of the use of ELSA with and without its RMS,
in order to highlight the advantages of such a device.</abstract>
<areas><li>Reason maintainance/Maintien du raisonnement</li>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
</areas>
</reference>
<reference index="euzenat1992a" type="inproceedings" language="en" reviewing="full" status="public" reviewed="full">
<authors>
<p first="Jérôme" last="Euzenat" />
<p first="Michel" last="Le" />
<p first="Éric" last="Mazeran" />
<p first="Michel" last="Weinberg" />
</authors>
<title>Generic embedding of an uncertain calculus in objects and rules</title>
<conference type="International Conference" name="Intelligent Systems" issue="1" short="SPICE" sponsor="Singapoore">
<date day="28-1" month="9-10" year="1992" />
<location city="Singapore" country="SG" />
</conference>
<date year="1992" />
<pages>177-182</pages>
<abstract>While symbolic knowledge representation and reasoning methods are necessary for almost any
kind of knowledge-based application, they often lack numerically represented uncertainty and
vagueness. Meanwhile, different applications would require different numeric calculi. SMECI Uncertain
Module (SUM) enables to embed an uncertain (or graded) calculus into a multi-paradigm environment
(including tasks, rules, objects and multiple-worlds), allowing therefore the object model to take
into account uncertain values so that the inference engine can draw uncertain inferences from
uncertain and vague premises. The originality of SUM is that it does not make strong assumptions
about the calculus used, which only has to respect some fundamental "format" expressed through the
design of basic objects and the instantiation of a set of generic primitives. Therefore, SUM is not
restricted to numeric truth values but can deal with any kind of values provided with an
implementation of the generic interface.</abstract>
<keywords><li>uncertainty</li>
<li>vagueness</li>
<li>fuzzy logic</li>
<li>object-based knowledge representation</li>
<li>inference engine</li>
</keywords>
<areas><li>Miscellaneous/Divers</li></areas>
</reference>
<reference index="euzenat1993b" type="inproceedings" language="en" reviewing="full" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>A purely taxonomic and descriptive meaning for classes</title>
<conference type="workshop" name="object-based representation systems" sponsor="IJCAI 93">
<date day="28" month="8" year="1993" />
<location city="Chambéry" country="FR" />
</conference>
<date year="1993" />
<in><reference index="napoli1993a" type="techreport" language="en" reviewing="full" status="public" reviewed="full">
<editors><p first="Amedeo" last="Napoli" /></editors>
<title>object-based representation systems</title>
<type>Rapport de recherche</type>
<institution name="CRIN"><location city="Nancy" country="FR" /></institution>
<number>93-R-156</number>
<date year="1993" />
</reference></in>
<pages>81-92</pages>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/sherpa/publications/euzenat93b.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<abstract>Three different aspects of classes in object-based systems arestudied: the distinction between
classes and instances, the separation of ontological from taxonomic function of classes and their descriptive
or definitional meaning. The advantages of using a descriptive and taxonomic meaning for classes are
advocated. One of the important reasons for separating ontology from taxonomy is the multiplicity of
taxonomies over a same set of objects and the independence of objects from these taxonomies. These
distinctions ground the semantics of the object-based representation system TROPES. The specialisation
relation in TROPES is examined under this light and the classification mechanism is interpreted under
the descriptive setting. It is shown that the use of a descriptive semantics of classes can support a
semantics for the classification mechanism. In fact, there is no intrinsic superiority of definition over
description: the precision of the former is balanced by the generality of the later.</abstract>
<keywords><li>Specialisation</li>
<li>Classification</li>
<li>Categorisation</li>
<li>Instantiation</li>
<li>Descriptive classes</li>
<li>Definitional classes</li>
</keywords>
<areas>
<li>Classification</li>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Semantics/Sémantique</li>
</areas>
<softwares><li>troeps</li></softwares>
</reference>
<reference index="euzenat1993c" type="inproceedings" language="en" reviewing="extabs" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Brief overview of T-tree: the Tropes Taxonomy building Tool</title>
<conference type="workshop" name="classification research" issue="4" sponsor="ASIS SIG/CR">
<date day="28" month="10" year="1993" />
<location city="Columbus" state="OH" country="US" />
</conference>
<pages>69-87</pages>
<red><reference index="smith1994a" type="collection" language="en" reviewing="extabs" status="public" reviewed="full">
<editors>
<p first="Philip" last="Smith" />
<p first="Clare" last="Beghtol" />
<p first="Raya" last="Fidel" />
<p first="Barbara" last="Kwasnik" />
</editors>
<title>Advances in classification research 4</title>
<publisher name="Information today"><location city="Medford" state="NJ" country="US" /></publisher>
<isbn>0938734-97-0</isbn>
<pages>47-66</pages>
<date year="1994" />
</reference></red>
<date year="1994" />
<links>
<url href="ftp://ftp.inrialpes.fr/pub/sherpa/publications/euzenat93c.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<abstract>TROPES is an object-based knowledge representation system. It allows the representation
of multiple taxonomies over the same set of objects through viewpoints and provides tools for
classification (identification) of objects and categorisation (classification) of classes from
their descriptions. T-TREE is an extension of TROPES for the construction of taxonomies from objects.
Data analysis algorithms consider TROPES objects for producing TROPES taxonomies. Thus, data analysis
is integrated into the knowledge representation system. Moreover, the original bridge notion permits
the comparison and connection of adjacent taxonomies.</abstract>
<keywords><li>Automated techniques to assist in creating classification scheme</li>
<li>Knowledge representation schemes</li>
<li>Classification algorithms</li>
<li>Software for management of classification schemes</li>
<li>Comparison and compatibility between classification scheme</li>
</keywords>
<areas>
<li>Classification</li>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Semantics/Sémantique</li>
</areas>
<softwares><li>troeps</li></softwares>
</reference>
<reference index="euzenat1994c" type="inproceedings" language="en" reviewing="full" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>KR and OOL co-operation based on semantics non reducibility</title>
<conference type="workshop" name="integrating object-orientation and knowledge representation" sponsor="ECAI 94">
<date day="8" month="8" year="1994" />
<location city="Amsterdam" country="NL" />
</conference>
<date year="1994" />
<length unit="p">6</length>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/sherpa/publications/euzenat94b.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<abstract>We argue that, due to semantics non reducibility, object based-knowledge representation systems
(OBKR) and object-oriented programming languages (OOL) cannot be reduced one to another. However, being
aware of this incompatibility allows to organise their cohabitation and co-operation accordingly. This
is illustrated through the design of a new implementation of the TROPES system.</abstract>
<areas>
<li>Classification</li>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Semantics/Sémantique</li>
</areas>
<softwares><li>troeps</li></softwares>
</reference>
<reference index="euzenat1995c" type="inproceedings" language="en" reviewing="full" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>An algebraic approach to granularity in time representation</title>
<conference type="international workshop" name="temporal representation and reasoning" issue="2" short="TIME" sponsor="IEEE">
<date day="26" month="4" year="1995" />
<location city="Melbourne" state="FL" country="US" />
</conference>
<pages>147-154</pages>
<date year="1995" />
<publisher name="University of Regina">
<location city="Regina" country="CA" />
</publisher>
<isbn>0-7731-0295-7</isbn>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/sherpa/publications/euzenat95c.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<abstract>Any phenomenon can be seen under a more or less precise granularity, depending on the kind of
details which are perceivable. This can be applied to time. A characteristic of abstract spaces such as
the one used for representing time is their granularity independence, i.e. the fact that they have the
same structure at different granularities. So, time "places" and their relationship can be seen under
different granularities and they still behave like time places and relationship under each granularity.
However, they do not remain exactly the same time places and relationship. Here is presented a pair of
operators for converting (upward and downward) qualitative time relationship from one granularity to
another. These operators are the only ones to satisfy a set of six constraints which characterize
granularity changes.</abstract>
<areas>
<li>Time representation/Représentation temporelle</li>
<li>Granularity/Granularité</li>
</areas>
</reference>
<reference index="valtchev1995a" type="inproceedings" language="en" reviewing="abstract" status="public" reviewed="full">
<authors>
<p first="Petko" last="Valtchev" />
<p first="Jérôme" last="Euzenat" />
</authors>
<title>Classification of concepts through products of concepts and abstract data types (abstract)</title>
<conference type="international conference" name="data analysis and ordered structures" issue="1">
<date day="20-23" month="6" year="1995" />
<location city="Paris" country="FR" />
</conference>
<date year="1995" />
<pages>131-134</pages>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/sherpa/publications/valtchev95a.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<abstract>The classification scheme formalism represents in a uniform manner both usual da
ta types and structured objects is introduced. It is here provided with a dissim
ilarity measure which only takes into account the structure of a given domain:
a partial order over a set of classes. The measure we define compares a couple o
f individuals according to their mutual position within the taxonomy structuring
the underlying domain. It is then used to design a classification algorithm to
work on structured objects.
</abstract>
<areas>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Classification</li>
</areas>
<softwares><li>troeps</li></softwares>
</reference>
<reference index="capponi1995a" type="inproceedings" language="en" reviewing="extabs" status="public" reviewed="full">
<authors>
<p first="Cécile" last="Capponi" />
<p first="Jérôme" last="Euzenat" />
<p first="Jérôme" last="Gensel" />
</authors>
<title>Objects, types and constraints as classification schemes (abstract)</title>
<conference type="international symposium" name="Knowledge Retrieval, Use, and Storage for Efficiency" issue="1" short="KRUSE">
<date day="11-13" month="8" year="1995" />
<location city="Santa-Cruz" state="CA" country="US" />
</conference>
<date year="1995" />
<pages>69-73</pages>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/sherpa/publications/capponi95a.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<abstract>The notion of classification scheme is a generic model that encompasses the kind of
classification performed in many knowledge representation formalisms. Classification schemes abstract
from the structure of individuals and consider only a sub-categorization relationship. The product of
classification schemes preserves the status of classification scheme and provides various
classification algorithms which rely on the classification defined for each member of the product.
Object-based representation formalisms often use heterogeneous ways of representing knowledge. In the
particular case of the TROPES system, knowledge is expressed by classes, types and constraints. Here
is presented the way to express types and constraints in a type description module which provides
them with the simple structure of classification schemes. This mapping allows the integration into
TROPES of new types and constraints together with their sub-typing relation. Afterwards, taxonomies
of classes are themselves considered to be classification schemes which are products of more
primitive ones. Then, this information is sufficient for classifying TROPES objects.</abstract>
<keywords><li>Class</li>
<li>object</li>
<li>type</li>
<li>constraint</li>
<li>classification scheme</li>
<li>sub-type inference</li>
</keywords>
<areas>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Semantics/Sémantique</li>
<li>Classification</li>
</areas>
<softwares><li>troeps</li></softwares>
</reference>
<reference index="euzenat1995d" type="inproceedings" language="en" reviewing="full" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>A categorical approach to time representation: first study on qualitative aspects</title>
<conference type="workshop" name="spatial and temporal reasoning" sponsor="IJCAI">
<date day="20" month="8" year="1995" />
<location city="Montréal" country="CA" />
</conference>
<date year="1995" />
<pages>145-152</pages>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/sherpa/publications/euzenat95d.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<areas>
<li>Time representation/Représentation temporelle</li>
<li>Granularity/Granularité</li>
</areas>
<abstract>The qualitative time representation formalisms are considered from the viewpoint of category
theory. The representation of a temporal situation can be expressed as a graph and the relationship
holding between that graph and others (imprecise or coarser) views of the same situation are expressed
as morphisms. These categorical structures are expected to be combinable with
other aspects of knowledge representation providing a framework for the integration of temporal
representation tools and formalisms with other areas of knowledge representation.</abstract>
<keywords><li>Category theory</li>
<li>time representation</li>
<li>temporal granularity</li>
<li>interval algebra</li>
</keywords>
</reference>
<reference index="euzenat1995e" type="inproceedings" language="en" reviewing="full" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>An algebraic approach for granularity in qualitative time and space representation</title>
<conference type="International Joint Conference" name="Artificial Intelligence" issue="14" short="IJCAI">
<date day="21-25" month="8" year="1995" />
<location city="Montréal" country="CA" />
</conference>
<date year="1995" />
<pages>894-900</pages>
<publisher name="Morgan Kauffman"><location city="San-Mateo" state="CA" country="US" /></publisher>
<isbn>1-55860-363-8</isbn>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/sherpa/publications/euzenat95e.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<abstract>Any phenomenon can be seen under a more or less precise granularity, depending on the kind
of details which are perceivable. This can be applied to time and space. A characteristic of abstract
spaces such as the one used for representing time is their granularity independence, i.e. the fact that
they have the same structure under different granularities. So, time "places" and their relationships
can be seen under different granularities and they still behave like time places and relationships
under each granularity. However, they do not remain exactly the same time places and relationships.
Here is presented a pair of operators for converting (upward and downward) qualitative time
relationships from one granularity to another. These operators are the only ones to satisfy a set of
six constraints which characterize granularity changes. They are also shown to be useful for spatial
relationships.</abstract>
<areas>
<li>Time representation/Représentation temporelle</li>
<li>Space representation/Représentation spatiale</li>
<li>Granularity/Granularité</li>
</areas>
</reference>
<reference index="euzenat1996a" type="inproceedings" language="en" reviewing="full" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Knowledge bases as Web page backbones</title>
<conference type="workshop" name="artificial intelligence-based tools to help W3 users" sponsor="5th WWW conference">
<date day="6" month="5" year="1996" />
<location city="Paris" country="FR" />
</conference>
<date year="1996" />
<links>
<url href="http://www.inrialpes.fr/sherpa/papers/euzenat96a.html" status="public" type="postscript" content="paper" compression="gz" />
</links>
<areas>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Semantic web/Web sémantique</li>
</areas>
<softwares><li>troeps</li></softwares>
</reference>
<reference index="euzenat1996b" type="inproceedings" language="en" reviewing="full" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Corporate memory through cooperative creation of knowledge bases and hyper-documents</title>
<conference type="workshop" name="knowledge acquisition" issue="10" short="KAW">
<date day="9-14" month="11" year="1996" />
<location city="Banff" country="CA" />
</conference>
<date year="1996" />
<pages>(36)1-18</pages>
<note>best paper of the corporate memory and enterprise modelling track</note>
<links>
<url href="http://www.inrialpes.fr/sherpa/papers/euzenat96b/euzenat96b.html" status="hidden" type="postscript" content="paper" compression="gz" />
<url href="ftp://ftp.inrialpes.fr/pub/sherpa/publications/euzenat96b.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<abstract>The Co<sub>4</sub> system is dedicated to the representation of formal knowledge in an object
and task based manner. It is fully interleaved with hyper-documents and thus provides integration of formal
and informal knowledge. Moreover, consensus about the content of the knowledge bases is enforced with the
help of a protocol for integrating knowledge through several levels of consensual knowledge bases.
Co<sub>4</sub> is presented here as addressing three claims about corporate memory: (1) it must be
formalised to the greatest possible extent so that its semantics is clear and its manipulation can be
automated; (2) it cannot be totally formalised and thus formal and informal knowledge must be organised
such that they refer to each other; (3) in order to be useful, it must be accepted by the people involved
(providers and users) and thus must be non contradictory and consensual.</abstract>
<areas>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Knowledge management/Gestion de connaissance</li>
<li>Collaborative edition/Édition collaborative</li>
<li>Texts/Textes</li>
</areas>
<softwares><li>troeps</li><li>co4</li></softwares>
</reference>
<reference index="euzenat1997b" type="inproceedings" language="en" reviewing="full" status="public" reviewed="full">
<authors>
<p first="Jérôme" last="Euzenat" />
<p first="Christophe" last="Chemla" />
<p first="Bernard" last="Jacq" />
</authors>
<title>A knowledge base for <I>D. melanogaster</I> gene interactions involved in pattern formation</title>
<conference type="international conference" name="intelligent systems for molecular biology" issue="5" short="ISMB">
<date day="21-25" month="6" year="1997" />
<location city="Halkidiki" country="HK" />
</conference>
<date year="1997" />
<pages>108-119</pages>
<publisher name="AAAI press"><location city="Menlo Park" state="CA" country="US" /></publisher>
<isbn>1-57-735-022-7</isbn>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/sherpa/publications/euzenat97a.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<abstract>The understanding of pattern formation in Drosophila requires the handling of
the many genetic and molecular interactions which occur between developmental genes. For
that purpose, a knowledge base (KNIFE) has been developed in order to structure and manipulate
the interaction data. KNIFE contains data about interactions published in the literature and
gathered from various databases. These data are structured in an object knowledge
representation system into various interrelated entities. KNIFE can be browsed through a
WWW interface in order to select, classify and examine the objects and their references
in other bases. It also provides specialised biological tools such as interaction network
manipulation and diagnosis of missing interactions.</abstract>
<areas>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
</areas>
<softwares><li>troeps</li></softwares>
</reference>
<reference index="valtchev1997c" type="inproceedings" language="en" reviewing="full" status="public" reviewed="full">
<authors>
<p first="Petko" last="Valtchev" />
<p first="Jérôme" last="Euzenat" />
</authors>
<title>Dissimilarity measure for collections of objects and values</title>
<conference type="international symposium" name="intelligent data analysis" issue="2" short="IDA">
<date day="21-25" month="8" year="1997" />
<location city="London" country="UK" />
</conference>
<in><reference index="liu1997a" type="serialproceedings" language="en" reviewing="full" status="public" reviewed="full">
<editors>
<p first="Xiaohui" last="Liu" />
<p first="Paul" last="Cohen" />
<p first="Michael" last="Berthold" />
</editors>
<journal name="Lecture notes in computer science" short="lncs" issn="0302-9743">
<publisher name="Springer Verlag"><location city="Heildelberg" country="DE" /></publisher>
</journal>
<title>Advances in intelligent data analysis, reasoning about data</title>
<number>1280</number>
<isbn>3-540-63346-4</isbn>
<date year="1997" />
</reference></in>
<date year="1997" />
<pages>259-272</pages>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/sherpa/publications/valtchev97c.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
<url href="ftp://ftp.inrialpes.fr/pub/sherpa/publications/valtchev97c.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<abstract>Automatic classification may be used in object knowledge bases in order to suggest
hypothesis about the structure of the available object sets. Yet its direct application meets some
difficulties due to the way data is represented: attributes relating objects, multi-valued
attributes, non-standard and external data types used in object descriptions. We present here an
approach to the automatic classification of objects based on a specific dissimilarity model. The
topological measure, presented in a previous paper, accounts for both object relations and the
variety of available data types. In this paper, the extension of the topological measure on
multi-valued object attributes, e.g. lists or sets, is presented. The resulting dissimilarity
is completely integrated in the knowledge model TROPES which enables the definition of a
classification strategy for an arbitrary knowledge base built on top of TROPES.
</abstract>
<areas>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Classification</li>
</areas>
<softwares><li>troeps</li></softwares>
</reference>
<reference index="crampé1998a" type="inproceedings" language="en" reviewing="full" status="public" reviewed="full">
<authors>
<p first="Isabelle" last="Crampé" />
<p first="Jérôme" last="Euzenat" />
</authors>
<title>Object knowledge base revision</title>
<conference type="european conference" name="artificial intelligence" issue="13" short="ECAI">
<date day="23-28" month="8" year="1998" /> (,
<location city="Brighton" country="UK" />
</conference>
<pages>3-7</pages>
<date year="1998" />
<publisher name="John Wiley and son"><location city="Chichester" country="UK" /></publisher>
<isbn>0-471-98431-0</isbn>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/sherpa/publications/crampe98a.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<abstract>A revision framework for object-based knowledge representation languages is presented. It is defined
by adapting logical revision to objects and characterised both semantically and syntactically. The syntactic
analysis of revision shows that it can be easily interpreted in terms of object structures (e.g. moving classes
or enlarging domains). This is the source of the implementation and it enables users to be involved in the
revision process.</abstract>
<areas>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Semantics/Sémantique</li>
<li>Revision/Révision</li>
</areas>
<softwares><li>troeps</li></softwares>
</reference>
<reference index="cerbah2000a" type="inproceedings" language="en" reviewing="full" status="public" reviewed="full">
<authors>
<p first="Farid" last="Cerbah" />
<p first="Jérôme" last="Euzenat" />
</authors>
<title>Using terminology extraction techniques for improving traceability from formal models to textual requirements</title>
<conference type="international conference" issue="5" short="NLDB" name="applications of natural language to information systems">
<date month="6" year="2000" />
<location city="Versailles" country="FR" />
</conference>
<date year="2000" />
<in><reference index="bouzeghoub2001a" type="serialproceedings" language="en" reviewing="full" status="public" reviewed="full">
<editors>
<p first="Mokrane" last="Bouzeghoub" />
<p first="Zoubida" last="Kedad" />
<p first="Élisabeth" last="Métais" />
</editors>
<journal name="Lecture notes in computer science" short="lncs" issn="0302-9743">
<publisher name="Springer Verlag"><location city="Heildelberg" country="DE" /></publisher>
</journal>
<title>Natural Language Processing and Information Systems</title>
<number>1959</number>
<isbn>3-540-41943-8</isbn>
<date year="2001" />
</reference></in>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/cerbah2000a.ps.gz" status="hidden" type="postscript" content="paper" compression="gz" />
<url href="http://link.springer.de/link/service/series/0558/papers/1959/19590115.pdf" status="public" type="postscript" content="paper" compression="gz" />
</links>
<pages>115-126</pages>
<abstract>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.</abstract>
<keywords>
<li>XML</li>
<li>terminology</li>
<li>knowledge extraction</li>
</keywords>
<softwares>
<li>troeps</li>
</softwares>
<contracts>
<li>genieII</li></contracts>
<areas>
<li>Texts/Textes</li>
<li>Knowledge management/Gestion de connaissance</li>
</areas>
</reference>
<reference index="cerbah2000b" type="inproceedings" language="en" reviewing="full" status="public" reviewed="full">
<authors>
<p first="Farid" last="Cerbah" />
<p first="Jérôme" last="Euzenat" />
</authors>
<title>Integrating textual knowledge and formal knowledge for improving traceability</title>
<conference type="workshop" name="Knowledge Management and Organizational Memory" sponsor="ECAI">
<date day="21" month="8" year="2000" />
<location city="Berlin" country="DE" />
</conference>
<date year="2000" />
<pages>10-16</pages>
<links>
<url href="http://www-sop.inria.fr/acacia/WORKSHOPS/ECAI2000-OM/Papers/ecai2000-cerbah.ps" status="public" type="postscript" content="paper" compression="gz" />
<url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/cerbah2000b.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<abstract>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.
</abstract>
<keywords>
<li>XML</li>
<li>terminology</li>
<li>knowledge extraction</li>
</keywords>
<softwares><li>troeps</li></softwares>
<contracts><li>genieII</li></contracts>
<areas>
<li>Texts/Textes</li>
<li>Knowledge management/Gestion de connaissance</li>
</areas>
</reference>
<reference index="euzenat2000d" type="inproceedings" language="en" reviewing="full" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Towards formal knowledge intelligibility at the semiotic level</title>
<conference type="workshop" name="applied semiotics: control problems" sponsor="ECAI">
<date day="21" month="8" year="2000" />
<location city="Berlin" country="DE" />
</conference>
<pages>59-61</pages>
<links>
<url href="http://www.iitp.ru/asc2000/ps/12_EUZEN.PS" status="public" type="postscript" content="paper" compression="gz" />
<url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/euzenat2000d.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<date year="2000" />
<abstract>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.</abstract>
<keywords>
<li>Semantics</li>
<li>Interoperability</li>
<li>Intelligibility</li>
<li>Computational semiotics</li>
</keywords>
<areas>
<li>Computational semiotics/Sémiologie informatique</li>
</areas>
</reference>
<reference index="cerbah2000c" type="inproceedings" language="en" reviewing="full" status="public" reviewed="full">
<authors>
<p first="Farid" last="Cerbah" />
<p first="Jérôme" last="Euzenat" />
</authors>
<title>Integrating textual knowledge and forml knowledge for improving traceability</title>
<conference type="international conference" issue="12" short="EKAW" name="knowledge engineering and knowledge management">
<date month="10" year="2000" />
<location city="Juan-les-Pins" country="FR" />
</conference>
<date year="2000" />
<in><reference index="dieng2000a" type="serialproceedings" language="en" reviewing="full" status="public" reviewed="full">
<editors>
<p first="Rose" last="Dieng" />
<p first="Olivier" last="Corby" />
</editors>
<journal name="Lecture notes in computer science" short="lncs" issn="0302-9743">
<publisher name="Springer Verlag"><location city="Heildelberg" country="DE" /></publisher>
</journal>
<title>Knowledge engineering and knowledge management: methods, models and tools</title>
<volume>1937</volume>
<isbn>3-540-41119-4</isbn>
<date year="1997" />
</reference></in>
<pages>296-303</pages>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/cerbah2000c.ps.gz" status="hidden" type="postscript" content="paper" compression="gz" />
</links>
<abstract>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. </abstract>
<keywords>
<li>XML</li>
<li>terminology</li>
<li>knowledge extraction</li>
</keywords>
<softwares><li>troeps</li></softwares>
<contracts><li>genieII</li></contracts>
<areas>
<li>Texts/Textes</li>
<li>Knowledge management/Gestion de connaissance</li>
</areas>
</reference>
<reference index="euzenat2001b" type="inproceedings" language="en" reviewing="full" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Towards a principled approach to semantic interoperability</title>
<conference type="workshop" name="ontology and information sharing" sponsor="IJCAI 2001">
<date day="4-5" month="8" year="2001" />
<location city="Seattle" state="WA" country="US" />
</conference>
<note>to appear</note>
<date year="2001" />
<links>
<url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/euzenat2001b.ps.gz" status="hidden" type="postscript" content="paper" compression="gz" />
</links>
<abstract>Semantic interoperability is the faculty of interpreting knowledge
imported from other languages at the semantic level, i.e. to ascribe
to each imported piece of knowledge the correct interpretation or
set of models. It is a very important requirement for delivering a
worldwide semantic web. This paper presents preliminary investigations
towards developing a unified view of the problem. It proposes a
definition of semantic interoperability based on model theory and
shows how it applies to already existing works in the domain.
Then, new applications of this definition to family of languages,
ontology patterns and explicit description of semantics are presented.</abstract>
<keywords><li>Semantic interoperability</li>
<li>ontology sharing</li>
<li>knowledge transformation</li>
<li>ontology patterns</li>
</keywords>
<areas> <li>Transformations</li>
<li>Semantic web/Web sémantique</li>
<li>Semantics/Sémantique</li>
</areas>
<contracts><li>ontoweb</li></contracts>
</reference>
<reference index="euzenat2001e" type="inproceedings" language="en" reviewing="full" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Preserving modularity in XML encoding of description logics</title>
<conference issue="14" type="workshop" name="description logics" short="DL">
<date day="1-3" month="8" year="2001" />
<location city="Stanford" state="CA" country="US" />
</conference>
<note>to appear</note>
<date year="2001" />
<links>
<url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/euzenat2001e.ps.gz" status="hidden" type="postscript" content="paper" compression="gz" />
</links>
<abstract>Description logics have been designed and studied in a modular
way. This particularity has not been used in engineering because
work was focused on implementing one logic at a time. With the advent of
networked knowledge resources, it becomes important to be able to
gather knowledge in one language in order to import it in another
one For that purpose, we have designed in \xml\ a description logic
markup language that takes advantage of modularity by describing
each characteristics (syntax, semantics, rendering) at the term level
and composing these descriptions in full logics.
Moreover, modularity is used in order to export a terminology
from a language to another one by taking advantage of local
transformations.</abstract>
<areas> <li>Semantic web/Web sémantique</li>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Semantics/Sémantique</li>
<li>XML</li>
</areas>
<softwares><li>dlml</li></softwares>
<contracts><li>ontoweb</li></contracts>
</reference>
<reference index="euzenat2001d" type="inproceedings" language="en" reviewing="full" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" />
<p first="Laurent" last="Tardif" /></authors>
<title>XML transformation flow processing</title>
<conference issue="2" type="conference" name="Extreme markup languages">
<date day="14-17" month="8" year="2001" />
<location city="Montréal" country="CA" />
</conference>
<note>to appear</note>
<date year="2001" />
<links>
<url href="http://transmorpher.inrialpes.fr/paper/" status="hidden" type="postscript" content="paper" compression="gz" />
</links>
<abstract>The XSLT language is both complex to use in simple
cases (like tag renaming or element hiding) and restricted in complex
ones (requiring the processing of multiple stylesheets with complex
information flows). We propose a framework improving on XSLT. It
provides simple-to-use and easy-to-analyze macros for the
basic common transformation tasks. It provides a superstructure for
composing multiple stylesheets, with multiple input and output documents,
in ways that are not accessible within XSLT. Having the whole transformation
description in an integrated format allows to control and to analyze the
complete transformation.</abstract>
<keywords><li>XML</li>
<li>XSLT</li>
<li>Transmorpher</li>
<li>Transformations</li>
</keywords>
<areas> <li>Transformations</li>
</areas>
<contracts><li>fluxmedia</li></contracts>
<softwares><li>transmorpher</li></softwares>
</reference>
<reference index="euzenat1987b" type="inproceedings" language="fr" reviewing="full" status="public" reviewed="full">
<authors>
<p first="Jérôme" last="Euzenat" />
<p first="François" last="Rechenmann" />
</authors>
<title>Maintenance de la vérité dans les systèmes à base de connaissance centrée-objet</title>
<conference type="congrès" name="Reconnaissance des Formes et Intelligence Artificielle" issue="6" short="RFIA" sponsor="AFCET-INRIA">
<date day="16-20" month="11" year="1987" />
<location city="Antibes" country="FR" />
</conference>
<date year="1987" />
<pages>1095-1109</pages>
<publisher name="Dunod"><location city="Paris" country="FR" /></publisher>
<isbn>2-04-013480-8</isbn>
<abstract>Le raisonnement non monotone est souvent une conséquence de la connexion des
systèmes à base de connaissance à des systèmes informatiques extérieurs. Ces derniers
sont en effet susceptibles d'agir sur les données et les connaissances de la base. Les
systèmes de maintenance de la vérité (truth maintenance systems) possèdent certaines
fonctionnalités requises pour gérer la non monotonie. Ils sont évalués dans le contexte
d'une utilisation des représentations centrées-objet. Les caractéristiques de ces
dernières (héritage, attachement procédural, valeurs par défaut, attributs multi-valués),
et en particulier du modèle retenu dans le système Shirka, amènent à des solutions
spécifiques.</abstract>
<keywords><li>maintenance de la vérité</li>
<li>TMS</li>
<li>raisonnement non monotone</li>
<li>représentations centrées-objet</li>
</keywords>
<areas>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Reason maintainance/Maintien du raisonnement</li>
</areas>
<softwares><li>shirka</li></softwares>
</reference>
<reference index="euzenat1989a" type="inproceedings" language="fr" reviewing="full" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Étendre le TMS (vers les contextes)</title>
<conference type="congrès" name="Reconnaissance des Formes et Intelligence Artificielle" issue="7" short="RFIA" sponsor="AFCET-INRIA">
<date day="29-1" month="11-12" year="1989" />
<location city="Paris" country="FR" />
</conference>
<pages>581-586</pages>
<date year="1989" />
<publisher name="Dunod"><location city="Paris" country="FR" /></publisher>
<isbn>2-90-367767-0</isbn>
<abstract>Les systèmes de maintenance de la vérité ont été conçus pour raisonner à l'aide de
connaissance incomplète. Un système de maintenance de la vérité qui combine les avantages des
TMS - autorisant l'utilisation d'inférences non monotones - et des ATMS - considérant le
raisonnement sous plusieurs contextes simultanément - est présenté. Il maintient un graphe de
dépendances entre les objets utilisés par un système de raisonnement et propage à travers ce
graphe les contextes dans lesquels les noeuds sont valides. Une théorie de l'interprétation des
contextes est présentée. Elle garantit certaines bonnes propriétés aux contextes manipulés par
l'implémentation. Les réponses aux requêtes peuvent alors être interprétées sur la base
théorique ainsi posée.</abstract>
<keywords><li>Raisonnement hypothétique</li>
<li>Raisonnement multi-monde</li>
<li>Raisonnement non monotone</li>
<li>Systèmes de maintenance de la vérité</li>
</keywords>
<areas>
<li>Reason maintainance/Maintien du raisonnement</li>
</areas>
</reference>
<reference index="euzenat1991b" type="inproceedings" language="fr" reviewing="full" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>SaMaRis: visualiser et manipuler interactivement le raisonnement</title>
<conference type="convention" name="intelligence artificielle" issue="3" short="CIA">
<date day="15-17" month="1" year="1991" />
<location city="Paris" country="FR" />
</conference>
<pages>219-238</pages>
<date year="1991" />
<publisher name="Hermès"><location city="Paris" country="FR" /></publisher>
<isbn>2-86601-261-5</isbn>
<areas>
<li>Reason maintainance/Maintien du raisonnement</li>
</areas>
<softwares><li>samaris</li></softwares>
</reference>
<reference index="euzenat1991d" type="inproceedings" language="fr" reviewing="full" status="public" reviewed="full">
<authors>
<p first="Jérôme" last="Euzenat" />
<p first="Laurent" last="Buisson" />
</authors>
<title>SaMaRis: un environnement pour l'expérimentation et l'étude du maintien des raisonnements</title>
<conference type="congrès" name="Reconnaissance des Formes et Intelligence Artificielle" issue="8" short="RFIA" sponsor="AFCET-INRIA-ARC-AFIA">
<date day="25-29" month="11" year="1991" />
<location city="Villeurbanne" country="FR" />
</conference>
<date year="1991" />
<pages>1233-1247</pages>
<publisher name="AFCET"><location city="Paris" country="FR" /></publisher>
<isbn>2-90-36-77-103-8</isbn>
<abstract>SaMaRis est un logiciel destiné à l'étude et à l'expérimentation des systèmes de
maintien du raisonnement, ou de tout autre type de systèmes tirant parti d'une représentation
explicite d'un raisonnement afin de lui faire subir des opérations constructives (rétablissement
de la cohérence), destructives (oubli) ou consultatives (explication). Son architecture est
composée de quatre modules indépendants: le protocole de communication avec le système d'inférence,
le graphe de dépendances représentant le raisonnement lui-même, les services associés au graphe
et les applications générales sur ce graphe. SaMaRis n'a aucune connaissance de la sémantique
associée au graphe par le système d'inférence, ainsi son action peut-elle être adaptée à divers
types de raisonnements.</abstract>
<areas>
<li>Reason maintainance/Maintien du raisonnement</li>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
</areas>
<softwares><li>samaris</li></softwares>
</reference>
<reference index="euzenat1993a" type="inproceedings" language="fr" reviewing="full" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Définition abstraite de la classification et son application aux taxonomies d'objets</title>
<conference type="journées" name="représentations par objets" issue="2" short="RPO" sponsor="EC2">
<date day="17-18" month="6" year="1993" />
<location city="La Grande-Motte" country="FR" />
</conference>
<date year="1993" />
<pages>235-246</pages>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/sherpa/publications/euzenat93a.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<abstract>La notion de système classificatoire est introduite comme généralisation de la classification
dans les systèmes de représentation de connaissance. Sa définition ne dépend d'aucun modèle de
connaissance. Les contraintes qui peuvent lui être ajoutées dans un modèle particulier sont examinées
sous la forme de propriétés sémantiques, de structures graphiques et de problèmes d'incomplétude venant
entacher les propriétés sémantiques. Ces seules contraintes permettront d'établir certaines propriétés
(univocité, déterminance) de l'opération de classification et de concevoir les algorithmes en
conséquence. Enfin, le système classificatoire est instancié de deux façons extrêmement différentes
dans le cadre du modèle TROPES. La diversité de ces deux dernières interprétations est déjà un exemple
de la généralité de cette définition.</abstract>
<keywords><li>Objet</li>
<li>Classification</li>
<li>Taxonomie</li>
<li>Catégorisation</li>
</keywords>
<areas>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Semantics/Sémantique</li>
<li>Classification</li>
</areas>
<softwares><li>troeps</li></softwares>
</reference>
<reference index="euzenat1994a" type="inproceedings" language="fr" reviewing="full" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Classification dans les représentations par objets: produits de systèmes classificatoires</title>
<conference type="congrès" name="Reconnaissance des Formes et Intelligence Artificielle" issue="9" short="RFIA" sponsor="AFCET-AFIA-ARC-INRIA">
<date day="11-14" month="1" year="1994" />
<location city="Paris" country="FR" />
</conference>
<date year="1994" />
<pages>185-196</pages>
<publisher name="AFCET"><location city="Paris" country="FR" /></publisher>
<isbn>2-90-36-77-129-X</isbn>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/sherpa/publications/euzenat94a.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<abstract>Les systèmes classificatoires représentent la structure supportant une activité de classification.
Ils sont définis non pas à partir de la structure des entités à classer mais à partir de l'activité de
classification elle-même. Ils prennent en compte la taxonomie dans laquelle est menée la classification et
la construction de cette taxonomie. La notion de système classificatoire est étendue à l'aide d'opérations
de produit et de projection qui engendrent de nouveaux systèmes classificatoires de telle sorte que les
propriétés de ceux-ci leurs sont applicables. Les classifications multiples et composées sont ainsi
caractérisées par un système classificatoire produit et des algorithmes peuvent être directement inférés
de la composition des systèmes. L'exemple de TROPES permet de montrer comment la classification multi-points
de vue d'objets composés est élaborée comme un produit de systèmes classificatoires à partir de systèmes
classificatoires primitifs correspondant aux types de données.</abstract>
<keywords><li>Classification</li>
<li>Taxonomie</li>
<li>Catégorisation</li>
<li>Systèmes classificatoires</li>
<li>TROPES</li>
<li>Produits de systèmes classificatoires</li>
</keywords>
<areas>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Semantics/Sémantique</li>
<li>Classification</li>
</areas>
<softwares><li>troeps</li></softwares>
</reference>
<reference index="carre1995a" type="inproceedings" language="fr" reviewing="full" status="public" reviewed="full">
<authors>
<p first="Bernard" last="Carré" />
<p first="Roland" last="Ducournau" />
<p first="Jérôme" last="Euzenat" />
<p first="Amedeo" last="Napoli" />
<p first="François" last="Rechenmann" />
</authors>
<title>Classification et objets: programmation ou représentation?</title>
<conference type="journées nationales" issue="5" sponsor="PRC-GDR intelligence artificielle">
<date day="1-3" month="2" year="1995" />
<location city="Nancy" country="FR" />
</conference>
<date year="1995" />
<pages>213-237</pages>
<publisher name="Teknea"><location city="Toulouse" country="FR" /></publisher>
<isbn>2-87717-047-0</isbn>
<areas>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Semantics/Sémantique</li>
<li>Classification</li>
</areas>
<softwares><li>troeps</li><li>shirka</li></softwares>
</reference>
<reference index="euzenat1995f" type="inproceedings" language="fr" reviewing="full" status="public" reviewed="full">
<authors>
<p first="Jérôme" last="Euzenat" />
<p first="François" last="Rechenmann" />
</authors>
<title>Shirka, 10 ans, c'est Tropes ?</title>
<conference type="journées" name="langages et modèles à objets" issue="2" short="LMO">
<date day="1-3" month="10" year="1995" />
<location city="Nancy" country="FR" />
</conference>
<pages>13-34</pages>
<date year="1995" />
<links>
<url href="ftp://ftp.inrialpes.fr/pub/sherpa/publications/euzenat95f.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<abstract>Il y a dix ans, apparaissait le système de représentation de connaissance SHIRKA. À
travers la présentation de sa conception, de son évolution et de son utilisation, on tente d'établir
ce que peut être, dix ans plus tard, un système de représentation de connaissance. La mise en oeuvre
de deux points clé de SHIRKA - la séparation programmation-représentation et l'utilisation de l'objet
partout où cela est possible - est particulièrement étudiée. Ceci permet de considérer leur pertinence
et leur évolution pour la représentation de connaissance.</abstract>
<areas>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Classification</li>
</areas>
<softwares><li>troeps</li><li>shirka</li></softwares>
</reference>
<reference index="crampé1996a" type="inproceedings" language="fr" reviewing="full" status="public" reviewed="full">
<authors>
<p first="Isabelle" last="Crampé" />
<p first="Jérôme" last="Euzenat" />
</authors>
<title>Révision interactive dans une base de connaissance à objets</title>
<conference type="congrès" name="Reconnaissance des Formes et Intelligence Artificielle" issue="10" short="RFIA" sponsor="AFCET-AFIA-ARC-INRIA">
<date day="16-18" month="1" year="1996" />
<location city="Rennes" country="FR" />
</conference>
<date year="1996" />
<pages>615-623</pages>
<publisher name="AFCET"><location city="Paris" country="FR" /></publisher>
<isbn>2-903677142-X</isbn>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/sherpa/publications/crampe96a.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<abstract>Lors de la construction d'une base de connaissance, la présence d'une inconsistance peut laisser
l'utilisateur démuni car il ne peut embrasser l'étendue de la base. Afin de résoudre ce problème, nous
proposons un outil lui indiquant les solutions possibles. Les principes de la révision en logique
s'appliquent à cette problématique, mais des résultats plus satisfaisants sont envisageables. En effet,
afin d'obtenir des solutions minimisant la perte de connaissance, nous allons nous appuyer sur les
structures impliquées dans les représentations par objet (ordre de spécialisation, inclusion des domaines).
Par ailleurs, la prise en compte des préférences de l'utilisateur et de son statut permet d'organiser la
recherche de solutions.</abstract>
<keywords><li>révision</li>
<li>représentation de connaissance par objet</li>
<li>interaction système-utilisateur</li>
</keywords>
<areas>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Revision/Révision</li>
</areas>
<softwares><li>troeps</li></softwares>
</reference>
<reference index="crampé1996c" type="inproceedings" language="fr" reviewing="full" status="public" reviewed="full">
<authors>
<p first="Isabelle" last="Crampé" />
<p first="Jérôme" last="Euzenat" />
</authors>
<title>Fondements de la révision dans un langage d'objets simple</title>
<conference type="journées" name="langages et modèles à objets" issue="3" short="LMO">
<date day="16-18" month="10" year="1996" />
<location city="Leysin" country="CH" />
</conference>
<pages>134-149</pages>
<date year="1996" />
<links>
<url href="ftp://ftp.inrialpes.fr/pub/sherpa/publications/crampe96c.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<abstract>La révision d'une base de connaissance, rendue inconsistante suite à l'ajout d'une assertion,
consiste à la rendre consistante en la modifiant. Résoudre ce problème est très utile dans l'assistance
aux utilisateurs de bases de connaissance et s'appliquerait avec profit dans le contexte des objets.
Afin de poser les bases d'un tel mécanisme, une représentation par objets minimale est formalisée. Elle
est dotée de mécanismes d'inférence et d'une caractérisation syntaxique de l'inconsistance et de
l'incohérence. La notion de base de connaissance révisée est définie sur ce langage. Un critère de
minimalité, à la fois sémantique et syntaxique, permet de définir les bases révisées les plus proches
de la base initiale.</abstract>
<areas>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Semantics/Sémantique</li>
<li>Revision/Révision</li>
</areas>
<softwares><li>troeps</li></softwares>
</reference>
<reference index="euzenat1998a" type="inproceedings" language="fr" reviewing="full" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Algèbres d'intervalles sur des domaines temporels arborescents</title>
<conference type="congrès" name="Reconnaissance des Formes et Intelligence Artificielle" issue="11" short="RFIA" sponsor="AFCET-AFIA">
<date year="1998" />
<location city="Clermont-Ferrand" country="FR" />
</conference>
<pages>III-385-394</pages>
<date year="1998" />
<links>
<url href="ftp://ftp.inrialpes.fr/pub/sherpa/publications/euzenat98a.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<abstract>Afin de concilier les algèbres d'intervalles temporels avec un modèle temporel arborescent, on
présente une algèbre d'intervalles dont le modèle du temps est ordonné par un ordre partiel. Elle est ensuite
déclinée suivant l'orientation de l'arborescence. L'approche utilisée est classique puisqu'elle consiste à
produire une algèbre d'instants dans chacun de ces cas et de " passer à l'intervalle ". Elle est cependant
complexifiée par l'introduction de la notion de voisinage conceptuel dont le passage à l'intervalle nécessite
de nouveaux développements. De plus, la symétrie passé/futur dans le cas arborescent est nettement mise en
évidence et, en particulier, dissociée de la symétrie des relations réciproques.</abstract>
<keywords><li>Algèbres de relations</li>
<li>algèbres d'intervalles</li>
<li>temps arborescent</li>
<li>domaine temporel partiellement ordonné</li>
<li>restriction</li>
</keywords>
<areas>
<li>Time representation/Représentation temporelle</li>
</areas>
<softwares><li>pera</li></softwares>
</reference>
<reference index="valtchev1999c" type="inproceedings" language="fr" reviewing="extabs" status="public" reviewed="full">
<authors>
<p first="Petko" last="Valtchev" />
<p first="Jérôme" last="Euzenat" />
</authors>
<title>Une stratégie de construction de taxonomies dans les objets</title>
<conference type="rencontres" issue="7" sponsor="société française de classification" short="SFC">
<date year="1999" />
<location city="Nancy" country="FR" />
</conference>
<isbn>2-7261-1149-1</isbn>
<pages>307-314</pages>
<date year="1999" />
<links>
<url href="ftp://ftp.inrialpes.fr/pub/sherpa/publications/valtchev99c.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<abstract>Construire automatiquement une taxonomie de classes à partir d'objets
co-définis et indiférenciables n'est pas une tâche aisée.
La partition de l'ensemble d'objets en domaines et la hiérarchisation
de ces domaines par la relation de composition permettent de différencier
les objets et d'éviter certains cycles impliquant une relation de
composition. Par ailleurs, l'utilisation d'une dissimilarité bâtie
sur les taxonomies de classes existantes dans certains domaines permet
d'éviter de traiter d'autres cycles. Il subsite cependant des références
circulaires qui sont alors circonscrites à une partie bien identifiée
des domaines.</abstract>
<areas>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Classification</li>
</areas>
<softwares><li>troeps</li></softwares>
</reference>
<reference index="euzenat2000a" type="inproceedings" language="fr" reviewing="full" status="unref" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>XML est-il le langage de représentation de connaissance de l'an 2000 ?</title>
<conference type="journées" issue="6" short="LMO" name="langages et modèles à objets">
<date month="1" year="2000" />
<location city="Mont Saint-Hilaire" country="CA" />
</conference>
<isbn>2-7462-0093-7</isbn>
<date year="2000" />
<pages>59-74</pages>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/euzenat2000a.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<abstract>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.
</abstract>
<keywords>
<li>XML</li>
<li>sémantique</li>
<li>représentation de connaissance par objets</li>
</keywords>
<softwares><li>troeps</li></softwares>
<contracts><li>genieII</li><li>escrire</li></contracts>
<areas>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>XML</li>
</areas>
</reference>
<reference index="euzenat2001c" type="inproceedings" language="fr" reviewing="full" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>L'annotation formelle de documents en (8) questions</title>
<conference type="journées" issue="6" short="IC" name="ingénierie des connaissances">
<date month="6" year="2001" />
<location city="Grenoble" country="FR" />
</conference>
<publisher name="Presses universitaires de Grenoble" short="PUG">
<location city="Grenoble" country="FR" />
</publisher>
<date year="2001" />
<note>à paraître</note>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/euzenat2001c.ps.gz" status="private" type="postscript" content="paper" compression="gz" />
</links>
<abstract>Annoter un ensemble de documents informels à l'aide de représentations formelles
appelle plusieurs questions qui doivent trouver une réponse si l'on veut développer un système
cohérent. Ces questions sont liées à la forme et à l'objet des représentations retenues, à la
nécessité d'utiliser de la connaissance indépendante du contenu des documents (ontologies,
connaissance de contexte) et au statut du système résultant (grande base de connaissance ou
éléments de connaissance distribués). Ces questions sont décrites et illustrées par la tentative
d'annotation de résumés d'articles en génétique moléculaire.</abstract>
<keywords><li>Web sémantique</li>
<li>recherche par le contenu</li>
<li>annotation formelle</li>
<li>représentation du contenu</li>
<li>ontologie</li>
<li>connaissance de contexte</li>
</keywords>
<contracts><li>escrire</li></contracts>
<areas>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Semantic web/Web sémantique</li>
<li>Texts/Textes</li>
</areas>
</reference>
<reference index="euzenat1990a" type="phd" language="fr" reviewing="full" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Un système de maintenance de la vérité à propagation de contextes</title>
<type>Thèse d'informatique</type>
<school name="Université Joseph Fourier"><location city="Grenoble" country="FR" /></school>
<date day="20" month="2" year="1990" />
<length unit="p">131</length>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/sherpa/theses/euzenat.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<abstract>Le raisonnement hypothétique consiste à compléter la connaissance disponible afin
de poursuivre un raisonnement. L'aide aux utilisateurs de systèmes de raisonnement hypothétique
nécessite la conception d'algorithmes spécifiques, pour pouvoir gérer efficacement les hypothèses
et leurs conséquences et pour permettre de poser automatiquement des hypothèses. Cette dernière
exigence conduit à implémenter un raisonnement non monotone.<br />
Les systèmes de maintenance de la vérité enregistrent les inférences produites par un système de
raisonnement sous forme d'un graphe de dépendances et se chargent de garantir la cohérence des
formules présentes dans une base de connaissance. Deux types de systèmes de maintenance de la
vérité ont été proposés:<ul>
<li>Les systèmes à propagation acceptent des inférences non monotones et propagent la validité
absolue au sein du graphe de dépendances. L'étiquetage obtenu représente une interprétation
du graphe.</li>
<li>Les systèmes à contextes n'acceptent que des inférences monotones mais propagent des
étiquettes dénotant les contextes dans lesquels les formules doivent être présentes. Ils
permettent donc de raisonner sous plusieurs contextes
simultanément.</li></ul>
Le but de ce travail est de concevoir un système qui combine leurs avantages. Il permet de
raisonner simultanément sous plusieurs contextes à l'aide d'inférences non monotones. Pour cela,
des environnements capables de tenir compte de l'absence d'hypothèses sont définis. Une
interprétation est associée à ces environnements et est étendue aux noeuds du graphe de dépendances,
en accord avec l'interprétation des systèmes à propagation. Cela permet d'établir la signification
des étiquettes associées aux noeuds du graphe, et de proposer de multiples possibilités de soumettre
des requêtes au système.<br />
Un système correspondant à cette caractérisation, le CP-TMS, est implémenté comme une extension
des systèmes de maintenance de la vérité à propagation. Cette implémentation est décrite ici, puis
critiquée.</abstract>
<keywords><li>Mécanisation du raisonnement</li>
<li>raisonnement hypothétique</li>
<li>raisonnement non monotone</li>
<li>maintenance de la vérité</li>
</keywords>
<areas>
<li>Reason maintainance/Maintien du raisonnement</li>
</areas>
</reference>
<reference index="ducournau1998a" type="collection" language="fr" reviewing="none" status="public" reviewed="full">
<editors>
<p first="Roland" last="Ducournau" />
<p first="Jérôme" last="Euzenat" />
<p first="Gérald" last="Masini" />
<p first="Amedeo" last="Napoli" />
</editors>
<title>Langages et modèles à objets: états des recherches et perspectives</title>
<serie>Didactique</serie>
<number>19</number>
<publisher name="INRIA"><location city="Rocquencourt" country="FR" /></publisher>
<length unit="p">527</length>
<date year="1998" />
<isbn>2-7261-1131-9</isbn>
<links>
<url href="http://co4.inrialpes.fr/lmobook/" status="public" type="postscript" content="paper" compression="gz" />
</links>
<areas>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Semantics/Sémantique</li>
<li>Classification</li>
</areas>
<softwares><li>troeps</li><li>shirka</li><li>kool</li><li>smeci</li></softwares>
</reference>
<reference index="euzenat1999a" type="phd" language="fr" reviewing="full" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Représentations de connaissance: de l'approximation à la confrontation</title>
<school name="Université Joseph Fourier"><location city="Grenoble" country="FR" /></school>
<date day="20" month="1" year="1999" />
<type>habilitation à diriger des recherches</type>
<note>référence INRIA TH-015</note>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/sherpa/theses/hdr-euzenat.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<abstract>Un formalisme de représentation de connaissance a pour but de permettre la modélisation
d'un domaine particulier. Bien entendu, il existe divers langages de ce type et, au sein d'un même
langage, divers modèles peuvent représenter un même domaine. Ce mémoire est consacré à l'étude des
rapports entre de multiples représentations de la même situation. Il présente les travaux de
l'auteur entre 1992 et 1998 en progressant de la notion d'approximation, qui fonde la
représentation, vers la confrontation entre les diverses
représentations.<br />
Tout d'abord la notion d'approximation au sein des représentations de connaissance par objets est
mise en avant, en particulier en ce qui concerne l'ensemble des mécanismes tirant parti de la
structure taxonomique (classification, catégorisation, inférence de taxonomie). À partir de la
notion de système classificatoire qui permet de rendre compte de ces mécanismes de manière unique
on montre comment un système de représentation de connaissance peut être
construit.<br />
Le second chapitre introduit la possibilité de tirer parti de multiples taxonomies (sur le même
ensemble d'objets) dans un système de représentation de connaissance. La multiplicité des
représentations taxonomiques est alors introduite en tant que telle et justifiée. Ces multiples
taxonomies sont replacées dans le cadre des systèmes classificatoires présentés
auparavant.<br />
La notion de granularité, qui fait l'objet du troisième chapitre, concerne la comparaison de
représentations diverses de la même situation sachant qu'elles ont un rapport très particulier
entre elles puisqu'elles représentent la même situation sous différentes granularités. À la
différence des autres chapitres, celui-ci n'est pas situé dans le cadre des représentations de
connaissance par objets mais dans celui des algèbres de relations binaires utilisées pour
représenter le temps et l'espace.<br />
Le quatrième chapitre, enfin, va vers la confrontation des différentes représentations de
manière à en tirer le meilleur parti (obtenir une représentation consensuelle ou tout simplement
une représentation consistante). Le but des travaux qui y sont présentés est de développer un
système d'aide à la construction collaborative de bases de connaissance consensuelles. À cette
fin, les utilisateurs veulent mettre dans une base commune (qui doit être consistante et
consensuelle) le contenu de leurs bases de connaissance individuelles. Pour cela, deux problèmes
particuliers sont traités : la conception d'un mécanisme de révision, pour les représentations
de connaissance par objets, permettant aux utilisateurs de traiter les problèmes d'inconsistance
et la conception d'un protocole de soumission de connaissance garantissant l'obtention d'une
base commune consensuelle.<br />
Cet aperçu partiel des travaux possibles dans l'étude des relations entre représentations est
limité, mais il met en évidence le caractère non impératif des solutions proposées qui s'appliquent
bien au cadre où le modélisateur interagit avec le système de représentation.
</abstract>
<keywords><li>représentation de connaissance</li>
<li>approximation</li>
<li>bases de connaissance</li>
<li>modélisation</li>
<li>représentation par objets</li>
<li>point de vue</li>
<li>passerelle</li>
<li>classification</li>
<li>catégorisation</li>
<li>inférence de taxonomie</li>
<li>granularité</li>
<li>représentation temporelle</li>
<li>algèbre de relations binaires</li>
<li>révision</li>
<li>consensus</li>
<li>TROEPS</li>
<li>CO4</li>
</keywords>
<areas>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Semantics/Sémantique</li>
<li>Classification</li>
<li>Revision/Révision</li>
<li>Time representation/Représentation temporelle</li>
<li>Space representation/Représentation spatiale</li>
<li>Granularity/Granularité</li>
<li>Knowledge management/Gestion de connaissance</li>
<li>Collaborative edition/Édition collaborative</li>
</areas>
<softwares><li>troeps</li></softwares>
</reference>
<reference index="napoli2000a" type="article" language="fr" reviewing="invited" status="public" reviewed="full">
<authors>
<p first="Amedeo" last="Napoli" />
<p first="Jérôme" last="Euzenat" />
<p first="Roland" last="Ducournau" />
</authors>
<title>Les représentations de connaissances par objets</title>
<journal name="Techniques et science informatique" issn="0752-4072" short="tsi">
<publisher name="Hermès Science publisher">
<location city="Paris" country="FR" />
</publisher>
</journal>
<volume>19</volume>
<number>1-3</number>
<pages>387-394</pages>
<date year="2000" />
<isbn>2-7462-0098-8</isbn>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/napoli2000a.ps.gz" status="hidden" type="postscript" content="paper" compression="gz" />
</links>
<abstract>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.</abstract>
<keywords>
<li>Représentation des connaissances par objets</li>
<li>raisonnement</li>
<li>système classificatoire</li>
<li>logique de descriptions</li>
<li>gestion des connaissances</li>
<li>objet</li>
<li>inférence</li>
<li>classification</li>
</keywords>
<areas>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Semantics/Sémantique</li>
<li>Classification</li>
<li>Knowledge management/Gestion de connaissance</li>
<li>Semantic web/Web sémantique</li>
</areas>
</reference>
<reference index="euzenat1995b" type="inproceedings" language="fr" reviewing="invited" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Acquérir pour représenter (et raisonner) ou représenter pour acquérir?</title>
<conference type="journées" name="acquisition de connaissances" issue="6" short="JAC">
<date day="5-7" month="4" year="1995" />
<location city="Grenoble" country="FR" />
</conference>
<date year="1995" />
<pages>283-285</pages>
<publisher name="INRIA"><location city="Rocquencourt" country="FR" /></publisher>
<isbn>2-7261-0903-9</isbn>
<areas><li>Miscellaneous/Divers</li></areas>
<softwares><li>shirka</li></softwares>
</reference>
<reference index="buisson1991a" type="inproceedings" language="en" reviewing="poster" status="public" reviewed="full">
<authors>
<p first="Laurent" last="Buisson" />
<p first="Jérôme" last="Euzenat" />
</authors>
<title>A quantitative analysis of reasoning for RMSes</title>
<conference type="International Symposium" name="Methodologies for Intelligent Systems" issue="6" short="ISMIS">
<date day="16-19" month="10" year="1991" />
<location city="Charlotte" state="NC" country="US" />
</conference>
<pages>9-20</pages>
<in><reference index="mm1991a" type="techreport" language="en" reviewing="poster" status="public" reviewed="full">
<institution name="Martin Marietta Oak Ridge National Laboratory">
<location city="Oak Ridge" state="TN" country="US" />
</institution>
<type>Technical memorandum ORNL</type>
<number>TM-11938</number>
<date year="1991" />
</reference></in>
<date year="1991" />
<abstract>For reasoning systems, it is sometime useful to cache away the inferred values. Meanwhile,
when the system works in a dynamic environment, cache coherence has to be performed, and this can be
achieved with the help of a reasoning maintenance system (RMS). The questions to be answered, before
implementing such a system for a particular application, are: how much is caching useful ? Does the
system need a dynamicity management system ? Is a RMS suited (what will be
its overhead) ?<br />
We provide an application driven evaluation framework in order to answer these questions. The evaluation
is based on the real work to be processed on the reasoning of the application. First, we express the
action of caching and maintaining with two concepts: backward and forward cone effects. Then we quantify
the inference time for those systems and find the quantification of the cone effects in the formulas.
</abstract>
<areas>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Reason maintainance/Maintien du raisonnement</li>
</areas>
<softwares><li>shirka</li></softwares>
</reference>
<reference index="euzenat1999b" type="inproceedings" language="fr" reviewing="poster" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Des arbres qui cachent des forêts : remarques sur l'organisation hiérarchique de la connaissance</title>
<conference type="conférence" issue="2" sponsor="chapitre français de l'ISKO">
<date day="21-22" month="10" year="1999" />
<location city="Lyon" country="FR" />
</conference>
<date year="1999" />
<length unit="p">2</length>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/sherpa/publications/euzenat99b.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<areas>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Classification</li>
<li>Knowledge management/Gestion de connaissance</li>
<li>Semantic web/Web sémantique</li>
</areas>
</reference>
<reference index="euzenat1996c" type="inproceedings" language="en" reviewing="none" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>HyTropes: a WWW front-end to an object knowledge management system</title>
<conference type="demonstration track" name="knowledge acquisition workshop" issue="10" short="KAW">
<date day="9-14" month="11" year="1996" />
<location city="Banff" country="CA" />
</conference>
<date year="1996" />
<pages>(62)1-12</pages>
<links>
<url href="http://www.inrialpes.fr/sherpa/papers/euzenat96c/euzenat96c.html" status="hidden" type="postscript" content="paper" compression="gz" />
<url href="ftp://ftp.inrialpes.fr/pub/sherpa/publications/euzenat96c.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<abstract>HyTropes is a HTTP server allowing the manipulation of a knowledge base written in the Tropes
object-based representation language through the world-wide web. It allows the navigation through the
knowledge base as well as the invocation of search queries (filters). The display can be customised in
order to best suit the needs of the applications. HyTropes will be demonstrated through three prototypic
knowledge bases: ColiGene and FirstFly devoted to the genetic regulation of various organisms and STG,
a bibliographic knowledge base.</abstract>
<areas>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Knowledge management/Gestion de connaissance</li>
<li>Collaborative edition/Édition collaborative</li>
</areas>
<softwares><li>troeps</li></softwares>
</reference>
<reference index="bessiere1997a" type="inproceedings" language="fr" reviewing="invited" status="public" reviewed="full">
<authors>
<p first="Christian" last="Bessière" />
<p first="Jérôme" last="Euzenat" />
<p first="Robert" last="Jeansoulin" />
<p first="Gérard" last="Ligozat" />
<p first="Sylviane" last="Schwer" />
</authors>
<title>Raisonnement spatial et temporel</title>
<conference type="journées nationales" issue="6" sponsor="PRC-GDR intelligence artificielle">
<date day="19-21" month="3" year="1997" />
<location city="Grenoble" country="FR" />
</conference>
<date year="1997" />
<pages>77-88</pages>
<publisher name="Hermès"><location city="Paris" country="FR" /></publisher>
<isbn>2-86601-602-5</isbn>
<abstract>Bien que, ou parce que, toutes les activités et toutes les perceptions humaines sont relatives au
temps et à l'espace, ni les philosophes, ni les scientifiques n'en fournissent de définition unanime. Kant
conçoit l'espace et le temps comme des conditions nécessaires de l'expérience humaine, qui ne porte jamais
sur la réalité en soi, mais sur les phénomènes qu'on perçoit. Pour Pascal ce sont des choses premières qu'il
est impossible, voire inutile de définir.<br />
Le temps et l'espace sont des modalités fondamentale de l'existence et de la connaissance que l'on en a.
A défaut de les définir, les hommes se sont attachés au cours des siècles à les mesurer. Ces approches
métriques, numériques, ont été l'enjeu de travaux considérables pour gagner en précision. Pour autant
l'absence de précision dans la localisation, n'a jamais empêché de constater - qualitativement - que le
temps et l'espace sont source de relations entre les objets et les
événements.<br />
Les représentations de ces approches qualitatives n'ont reçu de formalisation mathématique que vers la fin
du siècle dernier, où Henri Poincaré fonde les bases des travaux ultérieurs sur la relativité comme sur la
topologie.<br />
Ces approches qualitatives focalisent le travail du groupe Kanéou, en termes de représentation (logique,
modèles, langue naturelle), de traitement (CSP, multi-agents) et d'application (diagnostic, aménagement,
systèmes d'information géographique).</abstract>
<areas>
<li>Time representation/Représentation temporelle</li>
<li>Space representation/Représentation spatiale</li>
</areas>
</reference>
<reference index="napoli1997a" type="inproceedings" language="fr" reviewing="invited" status="public" reviewed="full">
<authors>
<p first="Amedeo" last="Napoli" />
<p first="Isabelle" last="Crampé" />
<p first="Roland" last="Ducournau" />
<p first="Jérôme" last="Euzenat" />
<p first="Michel" last="Leclère" />
<p first="Philippe" last="Vismara" />
</authors>
<title>Aspects actuels des représentations de connaissances par objets et de la classification</title>
<conference type="journées nationales" issue="6" sponsor="PRC-GDR intelligence artificielle">
<date day="19-21" month="3" year="1997" />
<location city="Grenoble" country="FR" />
</conference>
<date year="1997" />
<pages>289-314</pages>
<publisher name="Hermès"><location city="Paris" country="FR" /></publisher>
<isbn>2-86601-602-5</isbn>
<abstract>Cet article présente certains thèmes de recherches étudiés par les membres du
groupe "Objets et classification" du PRC-IA. Ces thèmes concernent
essentiellement la théorie des systèmes de représentation de
connaissances par objets (RCPO), la révision d'une base de connaissances
dans les systèmes de RCPO, la classification de classes et d'instances, et
la mise en oeuvre d'applications, illustrée ici par le système RESYN. Les
travaux présentés montrent une certaine continuité avec les
préoccupations des membres du groupe depuis qu'il existe. L'article se
termine par la présentation d'éléments de définition d'un système de RCPO,
et de perspectives de recherches découlant des thèmes explicités dans l'article.</abstract>
<areas>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Classification</li>
<li>Revision/Révision</li>
</areas>
<softwares><li>troeps</li></softwares>
</reference>
<reference index="bougé2000a" type="inproceedings" language="fr" reviewing="invited" status="public" reviewed="full">
<authors>
<p first="Patrick" last="Bougé" />
<p first="Dominique" last="Deneux" />
<p first="Christophe" last="Lerch" />
<p first="Jérôme" last="Euzenat" />
<p first="Jean-Paul" last="Barthès" />
<p first="Michel" last="Tollenaere" />
</authors>
<editors>
<p first="Jacques" last="Perrin" />
<p first="René" last="Soenen" />
</editors>
<title>Localisation des connaissances dans les systèmes de production: approches multiples pour différents types de connaissance</title>
<conference type="journées" name="Gestion de connaissances, coopération, méthodologie de recherches interdisciplinaires" sponsor="Prosper">
<date day="7-8" month="6" year="2000" />
<location city="Toulouse" country="FR" />
</conference>
<date year="2000" />
<pages>31-50</pages>
<links>
<url href="http://www.univ-valenciennes.fr/PROSPER/serveur/doc/toulouse/Prosper-loc-formatted.zip" status="public" type="postscript" content="paper" compression="gz" />
<url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/bouge2000a.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<abstract>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.</abstract>
<areas>
<li>Knowledge management/Gestion de connaissance</li>
</areas>
<contracts><li>ardeco</li></contracts>
</reference>
<reference index="euzenat1997c" type="inproceedings" language="fr" reviewing="poster" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Influence des classes intermédiaires dans les tests de classification</title>
<conference type="poster session" name="langages et modèles à objets" issue="4" short="LMO">
<date day="22-24" month="10" year="1997" />
<location city="Roscoff" country="FR" />
</conference>
<date year="1997" />
<length unit="p">5</length>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/sherpa/publications/euzenat97c.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<abstract>Dans le cadre d'une tâche de conception de hiérarchie, on mets en évidence l'influence des classes
intermédiaires (ayant des sous-classes) sur le type de taxonomie obtenue (avec ou sans
multi-spécialisation).</abstract>
<keywords><li>construction de taxonomie</li>
<li>génie logiciel</li>
<li>protocole expérimental</li>
</keywords>
<areas>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Classification</li>
</areas>
</reference>
<reference index="euzenat1997d" type="bulletin" language="fr" reviewing="none" status="public" reviewed="full">
<editors>
<p first="Jérôme" last="Euzenat" />
<p first="Christian" last="Bessière" />
</editors>
<title>Dossier 'Raisonnement temporel et spatial'</title>
<journal name="Bulletin de l'AFIA"><publisher name="AFIA" /></journal>
<volume>29</volume>
<pages>26-51</pages>
<date month="4" year="1997" />
<links>
<url href="ftp://ftp.inrialpes.fr/pub/sherpa/rapports/afia-29-rts.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<areas>
<li>Time representation/Représentation temporelle</li>
<li>Space representation/Représentation spatiale</li>
</areas>
</reference>
<reference index="euzenat1998c" type="bulletin" language="fr" reviewing="none" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Édition coopérative de bases de connaissance sur le worldwide web</title>
<journal name="Bulletin de l'AFIA"><publisher name="AFIA" /></journal>
<volume>34</volume>
<pages>6-9</pages>
<date month="7" year="1998" />
<links>
<url href="http://www.inrialpes.fr/sherpa/papers/euzenat98c.html" status="public" type="postscript" content="paper" compression="gz" />
</links>
<trans>
<reference index="euzenat1998ce" type="unpublished" language="en" reviewing="none" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Cooperative elaboration of knowledge bases on the World-wide web</title>
<date year="1998" />
<links>
<url href="http://co4.inrialpes.fr/related.html" status="public" type="postscript" content="paper" compression="gz" />
</links>
</reference>
</trans>
<abstract>Dans ces quelques lignes on s'intéresse aux problèmes posés par l'édition de bases de connaissance
sur le World-wide web (web dans la suite) et à présenter certaines solutions retenues. On considérera
indifféremment la notion de base de connaissance et celle d'ontologie. Un encart présente les différents
systèmes accessibles au public. Les problèmes d'indexation de sites ou d'aide à la recherche au moyen de
bases de connaissance n'est pas traité ici.</abstract>
<areas>
<li>Knowledge management/Gestion de connaissance</li>
<li>Collaborative edition/Édition collaborative</li>
</areas>
<softwares><li>troeps</li><li>co4</li></softwares>
</reference>
<reference index="euzenat1999d" type="bulletin" language="fr" reviewing="none" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Contribution au débat ' évaluation scientifique : peut-on mieux faite en IA ? ' </title>
<journal name="Bulletin de l'AFIA"><publisher name="AFIA" /></journal>
<volume>37</volume>
<pages>21-22</pages>
<date month="5" year="1999" />
<areas><li>Miscellaneous/Divers</li></areas>
</reference>
<reference index="euzenat1989b" type="techreport" language="fr" reviewing="none" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Le système de maintenance de la vérité à propagation de contextes</title>
<number>779</number>
<type>Rapport de recherche</type>
<institution name="IMAG"><location city="Grenoble" country="FR" /></institution>
<date month="5" year="1989" />
<length unit="p">42</length>
<abstract>Les systèmes de maintenance de la vérité ont été conçus pour raisonner à l'aide de
connaissance incomplète. Le CP-TMS est un système de maintenance de la vérité tentant de combiner
les avantages des systèmes à propagation (TMS) - autorisant l'utilisation d'inférences non monotones
- et des systèmes à contextes (ATMS) - considérant le raisonnement sous plusieurs contextes
simultanément. Il maintient un graphe de dépendances entre les objets manipulés par un système de
raisonnement et propage à travers ce graphe les contextes dans lesquels les
noeuds sont valides. Ces
contextes prennent en compte l'incomplétude des bases de connaissance et permettent d'exprimer des
inférences non monotones. Une théorie de l'interprétation des contextes est présentée. Elle garantit
certaines bonnes propriétés aux contextes manipulés par l'implémentation. Le système garantit la
consistance des contextes manipulés et permet de répondre à des requêtes concernant différents
contextes simultanément au regard de la base théorique ainsi posée.</abstract>
<keywords><li>Systèmes de maintenance de la vérité</li>
<li>Raisonnement non monotone</li>
<li>Raisonnement multimonde</li>
<li>Raisonnement hypothétique</li>
</keywords>
<areas><li>Reason maintainance/Maintien du raisonnement</li></areas>
</reference>
<reference index="euzenat1993d" type="techreport" language="en" reviewing="none" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Multiple labelling generators in non monotonic RMS graphs</title>
<number>2076</number>
<type>Research report</type>
<institution name="INRIA Rhône-Alpes"><location city="Grenoble" country="FR" /></institution>
<date month="10" year="1993" />
<length unit="p">49</length>
<links>
<url href="ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-2076.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<abstract>Non monotonic reason maintenance systems (RMS) are able, provided with a dependency
graph (which represents a reasoning), to return a weakly grounded labelling of that graph (which
represents a set of beliefs that the reasoner can hold). There can be several weakly grounded
labellings. This work investigates the labelling process of these graphs in order to find parts
of the graph which lead to multiple labellings: the multiple labelling generators (MLG). Two
criteria are presented in order to isolate them. It is proved that:<ul>
<li>they do not belong to stratified even strongly connected components (SCC)
of the complete support graph.</li>
<li>they are successive initial SCC of unlabelled part of alternate even
SCC.</li></ul>
Previous algorithms from Doyle and Goodwin are considered and new ones are put forward. This leads
to a better understanding of labelling generation mechanisms and previous algorithms. They are
discussed from the stand-point of the properties of correctness and potential completeness
(the ability to find one but any of the labellings).</abstract>
<keywords><li>Non monotonic reasoning</li>
<li>truth maintenance</li>
<li>TMS</li>
<li>reason maintenance</li>
<li>RMS</li>
<li>dependency graph</li>
<li>label propagation</li>
</keywords>
<areas><li>Reason maintainance/Maintien du raisonnement</li></areas>
</reference>
<reference index="euzenat1994b" type="techreport" language="fr" reviewing="none" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Granularité dans les représentations spatio-temporelles</title>
<number>2242</number>
<institution name="INRIA Rhône-Alpes"><location city="Grenoble" country="FR" /></institution>
<date month="4" year="1994" />
<type>Rapport de recherche</type>
<length unit="p">62</length>
<links>
<url href="ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-2242-1.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
<url href="ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-2242-2.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<abstract>Afin de représenter le temps sous plusieurs niveaux de détail, une représentation temporelle
granulaire est proposée. Une telle représentation dispose les entités temporelles dans différents
espaces organisés hiérarchiquement et nommés granularités. Elle conduit à conserver la représentation
symbolique du temps et à simplifier la représentation numérique. Par contre, elle nécessite la
définition d'opérateurs de conversion des représentations entre deux granularités afin de pouvoir
utiliser une même entité temporelle sous différentes granularités.<br />
Les propriétés que doivent respecter ces opérateurs afin de conserver les interprétations classiques
de ces représentations sont exposées et des opérateurs de conversion symboliques et numériques sont
proposés. Sous l'aspect symbolique, les opérateurs sont compatibles avec la représentation des relations
temporelles sous forme d'algèbre de points et d'intervalles. En ce qui concerne la conversion numérique,
certaines contraintes doivent être ajoutées afin de disposer des propriétés escomptées. Enfin, des
possibilités d'utilisation de la latitude laissée par la définition des opérateurs sont discutées et
l'extension de la représentation granulaire à d'autres espaces est explorée.</abstract>
<keywords><li>Représentation temporelle</li>
<li>Représentation spatiale</li>
<li>Points de vue</li>
<li>Granularité</li>
<li>Localité</li>
<li>Histoire</li>
</keywords>
<areas>
<li>Time representation/Représentation temporelle</li>
<li>Space representation/Représentation spatiale</li>
<li>Granularity/Granularité</li>
</areas>
</reference>
<reference index="crampé1996d" type="techreport" language="fr" reviewing="none" status="public" reviewed="full">
<authors>
<p first="Isabelle" last="Crampé" />
<p first="Jérôme" last="Euzenat" />
</authors>
<title>Fondements de la révision dans un langage d'objets simple</title>
<type>Rapport de recherche</type>
<number>3060</number>
<institution name="INRIA Rhône-Alpes"><location city="Grenoble" country="FR" /></institution>
<date month="12" year="1996" />
<length unit="p">46</length>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/sherpa/rapports/rr-inria-3060.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<abstract>L'ajout d'une connaissance dans une base de connaissance peut provoquer une
inconsistance. La révision consiste alors à modifier la base pour la rendre consistante avec
la dernière connaissance à ajouter. Résoudre ce problème est très utile dans l'assistance aux
utilisateurs de bases de connaissance. Afin de poser les bases d'un tel mécanisme pour les
objets, une représentation par objets minimale est formalisée. Elle est dotée de mécanismes
d'inférence et d'une caractérisation syntaxique de l'inconsistance et de l'incohérence. La
notion de base de connaissance révisée est définie sur ce langage. Un critère de minimalité,
à la fois sémantique et syntaxique, permet de définir les bases révisées les plus proches de
la base initiale.</abstract>
<keywords><li>Révision</li>
<li>minimisation des modifications</li>
<li>représentation de connaissance par objets</li>
</keywords>
<areas>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Semantics/Sémantique</li>
<li>Revision/Révision</li>
</areas>
<softwares><li>troeps</li></softwares>
</reference>
<reference index="euzenat1997a" type="techreport" language="en" reviewing="none" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>A protocol for building consensual and consistent repositories</title>
<number>3260</number>
<type>Research report</type>
<institution name="INRIA Rhône-Alpes"><location city="Grenoble" country="FR" /></institution>
<date month="9" year="1997" />
<length unit="p">46</length>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/sherpa/rapports/rr-inria-3260.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<abstract> Distributed collaborative construction of a repository (e.g. knowledge base, document,
design description) requires tools enforcing the consistency of the repository and the agreement of
all the collaborators on the content of the repository. The CO4 protocol presented herein manages
the communication between collaborators in order to maintain these properties on a hierarchy of
repositories. It mimics the submission of articles to peer-reviewed journals (except that each
change must be accepted by all the participants). The protocol is independent from the nature of
the repository and is based on a restricted set of message types. The communication between
collaborators is described through a set of rules. The protocol is live, fair and maintains a
consistent repository consensual among the collaborators.</abstract>
<keywords><li>Computer supported collaborative work</li>
<li>groupwork</li>
<li>knowledge sharing</li>
<li>negotiation</li>
<li>interaction protocol</li>
<li>knowledge communication</li>
<li>consensus</li>
</keywords>
<areas><li>Collaborative edition/Édition collaborative</li></areas>
<softwares><li>co4</li></softwares>
</reference>
<reference index="euzenat2001ln" type="lecturenotes" language="fr" reviewing="none" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Sémantique des représentations de connaissance</title>
<school name="université Joseph Fourier"><location city="Grenoble" country="FR" /></school>
<date month="12" year="1998" />
<length unit="p">125</length>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/sherpa/tmp/src.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<areas>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Semantics/Sémantique</li>
</areas>
</reference>
<reference index="euzenat1992b" type="manual" language="fr" reviewing="none" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Le module de l'incertain de Smeci</title>
<type>Manuel de référence</type>
<number>1505-MF-001</number>
<institution name="Ilog"><location city="Gentilly" country="FR" /></institution>
<date day="1" month="7" year="1992" />
<length unit="p">94</length>
<areas><li>Miscellaneous/Divers</li></areas>
<softwares><li>smeci</li></softwares>
</reference>
<reference index="sherpa1995a" type="manual" language="en" reviewing="none" status="public" reviewed="full">
<authors><p title="Projet" last="Sherpa" /></authors>
<title>Tropes 1.0</title>
<type>Reference manual</type>
<institution name="INRIA Rhône-Alpes"><location city="Grenoble" country="FR" /></institution>
<length unit="p">85</length>
<date month="6" year="1995" />
<ed>
<reference index="sherpa1997a" type="manual" language="en" reviewing="none" status="public" reviewed="full">
<authors><p title="Projet" last="Sherpa" /></authors>
<title>Tropes 1.1</title>
<type>Reference manual</type>
<institution name="INRIA Rhône-Alpes"><location city="Grenoble" country="FR" /></institution>
<length unit="p">140</length>
<date month="9" year="1997" />
</reference>
<reference index="sherpa1998a" type="manual" language="en" reviewing="none" status="public" reviewed="full">
<authors><p title="Projet" last="Sherpa" /></authors>
<title>Tropes 1.2</title>
<type>Reference manual</type>
<institution name="INRIA Rhône-Alpes"><location city="Grenoble" country="FR" /></institution>
<length unit="p">145</length>
<date month="7" year="1998" />
</reference>
<reference index="sherpa1999a" type="manual" language="en" reviewing="none" status="public" reviewed="full">
<authors><p title="Projet" last="Sherpa" /></authors>
<title>Tropes 1.3</title>
<type>Reference manual</type>
<institution name="INRIA Rhône-Alpes"><location city="Grenoble" country="FR" /></institution>
<length unit="p">161</length>
<date month="12" year="1999" />
</reference>
</ed>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/sherpa/rapports/tropes-manual.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
<url href="http://co4.inrialpes.fr/docs/troeps-1.2a/troeps.html" status="public" type="postscript" content="paper" compression="gz" />
</links>
<areas>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Classification</li>
</areas>
<softwares><li>troeps</li></softwares>
</reference>
<reference index="sherpa1998b" type="manual" language="en" reviewing="none" status="public" reviewed="full">
<authors><p title="Projet" last="Sherpa" /></authors>
<title>Co4 1.0</title>
<type>Reference manual</type>
<institution name="INRIA Rhône-Alpes"><location city="Grenoble" country="FR" /></institution>
<date month="7" year="1998" />
<length unit="p">35</length>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/sherpa/rapports/co4-manual.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
<url href="http://co4.inrialpes.fr/docs/co4-1.0a/co4.html" status="public" type="postscript" content="paper" compression="gz" />
</links>
<areas />
<softwares><li>co4</li></softwares>
</reference>
<reference index="exmo2001a" type="manual" language="en" reviewing="none" status="public" reviewed="full">
<authors>
<p title="action" last="Exmo" />
<p title="société" last="FluxMedia" />
</authors>
<title>Transmorpher 1.0</title>
<type>Reference manual</type>
<institution name="INRIA Rhône-Alpes/FluxMedia"><location city="Grenoble" country="FR" /></institution>
<date year="2001" />
<links>
<url href="http://transmorpher.inrialpes.fr/refman" status="public" type="postscript" content="paper" compression="gz" />
</links>
<areas><li>Collaborative edition/Édition collaborative</li></areas>
<softwares><li>transmorpher</li></softwares>
</reference>
<reference index="dewez1998a" type="motionpicture" language="fr" reviewing="none" status="public" reviewed="full">
<directors><p first="Sandrine" last="Dewez" /></directors>
<scenarists><p first="Jérôme" last="Euzenat" /></scenarists>
<interprets>
<p first="Jérôme" last="Euzenat" />
<p first="Corinne" last="Lachaize" />
</interprets>
<voices><p first="Jérôme" last="Euzenat" /></voices>
<title>Construction collaborative de bases de connaissance consensuelle</title>
<institution name="INRIA"><location city="Rocquencourt" country="FR" /></institution>
<length unit="mn">4:20</length>
<number>434</number>
<trad language="en">
<reference index="dewez1999a" type="motionpicture" language="en" reviewing="none" status="public" reviewed="full">
<directors><p first="Sandrine" last="Dewez" /></directors>
<scenarists><p first="Jérôme" last="Euzenat" /></scenarists>
<interprets>
<p first="Jérôme" last="Euzenat" />
<p first="Corinne" last="Lachaize" />
</interprets>
<voices><p first="Jérôme" last="Euzenat" /></voices>
<title>Collaborative construction of consensual knowledge bases</title>
<institution name="INRIA"><location city="Rocquencourt" country="FR" /></institution>
<length unit="mn">4:20</length>
<number>442</number>
<date year="1999" />
</reference></trad>
<date year="1998" />
<abstract>Cette vidéo présente l'infrastructure CO4 qui permet à plusieurs intervenants de construire, à distance, une base de
connaissance partagée. CO4 utilise un protocole de soumission de connaissance semblable à celui de l'évaluation par les
pairs. Un intervenant soumet une proposition à la base partagée. Elle est transmise aux membres du groupe qui peuvent la tester, la
modifier, l'accepter ou la rejeter. Un nouvel intervenant soumet sa candidature, le protocole gère alors son intégration au
groupe de travail.</abstract>
<keywords><li>base de connaissances</li><li>réseau</li><li>travail
coopératif</li></keywords>
<areas><li>Collaborative edition/Édition collaborative</li></areas>
<contracts><li>storia</li></contracts>
<softwares><li>troeps</li><li>co4</li></softwares>
</reference>
<reference index="euzenat1987a" type="masterthesis" language="fr" reviewing="full" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Un système de maintenance de la vérité pour une représentation de connaissance centrée-objet</title>
<type>Rapport de DEA</type>
<school name="INPG"><location city="Grenoble" country="FR" /></school>
<date month="6" year="1987" />
<abstract>L'utilisation d'objets pour la représentation des connaissances est de plus en plus
répandue. C'est dire l'importance que prend la conception de bases de connaissance centrées-objet
qui peuvent être manipulés de manière non monotone par divers systèmes informatiques tant pour
y opérer des modifications que des consultations.<br />
On se propose d'étudier des mécanismes permettant à la fois plus d'efficacité et de cohérence dans
l'utilisation d'une représentation centrée-objet. Le mécanisme de caching introduit des problèmes
liés à l'utilisation non monotone de la base. Dans le but de palier ces problèmes, les différents
systèmes de maintenance de la vérité existant sont étudiés.<br />
Un cadre général permettant la coopération des mécanismes de "caching" et de maintenance de la
vérité au sein d'une représentation centrée-objet est proposé. On présente ensuite une
réalisation effective des propositions sur le système de gestion de bases de connaissance
centrées-objet Shirka.</abstract>
<keywords><li>représentation centrée-objet</li>
<li>maintenance de la vérité</li>
<li>TMS</li>
<li>raisonnement non monotone</li>
<li>caching</li>
</keywords>
<areas>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Reason maintainance/Maintien du raisonnement</li>
</areas>
<softwares><li>shirka</li></softwares>
</reference>
<reference index="euzenat1988a" type="deliverable" language="en" reviewing="none" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Management of nonmonotonicity in knowledge base systems</title>
<contract>Esprit 1 AIDA</contract>
<type>deliverable</type>
<number>Z2.2/36-2</number>
<institution name="Laboratoire ARTEMIS"><location city="Grenoble" country="FR" /></institution>
<date month="11" year="1988" />
<length unit="p">21</length>
<areas>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Reason maintainance/Maintien du raisonnement</li>
</areas>
<softwares><li>shirka</li></softwares>
</reference>
<reference index="euzenat1989c" type="deliverable" language="en" reviewing="none" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Impact of nonmonotonicity on the management of objects on secondary storage</title>
<contract>Esprit 1 AIDA</contract>
<type>deliverable</type>
<number>Z2.2-3</number>
<institution name="Laboratoire ARTEMIS"><location city="Grenoble" country="FR" /></institution>
<date month="5" year="1989" />
<length unit="p">37</length>
<abstract>After a review of the different ways to consider nonmonotonicity problems arising in knowledge
bases as an extension of incompleteness problems in databases, this report will expose in details the
implementation of a TMS as a cache consistency maintenance system as it was proposed in the previous report.
The problems which stem from this implementation are discussed together with some solutions; they are the
integrity constraint satisfaction problem and the secondary storage strategies to consider.</abstract>
<areas>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Reason maintainance/Maintien du raisonnement</li>
</areas>
<softwares><li>shirka</li></softwares>
</reference>
<reference index="euzenat1997e" type="deliverable" language="fr" reviewing="none" status="public" reviewed="full">
<authors>
<p first="Jérôme" last="Euzenat" />
<p first="Loïc" last="Tricand de La Goute" />
</authors>
<title>Serveurs de connaissance et mémoire d'entreprise</title>
<type>Rapport d'activité final</type>
<contract>SToRIA, volet 3, phase 1</contract>
<institution name="INRIA Rhône-Alpes"><location city="Grenoble" country="FR" /></institution>
<date month="9" year="1997" />
<length unit="p">10</length>
<areas>
<li>Knowledge management/Gestion de connaissance</li>
<li>Collaborative edition/Édition collaborative</li>
</areas>
<softwares><li>troeps</li><li>co4</li></softwares>
</reference>
<reference index="euzenat1998d" type="deliverable" language="fr" reviewing="none" status="public" reviewed="full">
<authors>
<p first="Jérôme" last="Euzenat" />
<p first="Loïc" last="Tricand de La Goute" />
</authors>
<title>Serveurs de connaissance et mémoire d'entreprise</title>
<type>Rapport d'activité final</type>
<contract>SToRIA, volet 3, phase 2</contract>
<institution name="INRIA Rhône-Alpes"><location city="Grenoble" country="FR" /></institution>
<date month="9" year="1998" />
<length unit="p">13</length>
<areas>
<li>Knowledge management/Gestion de connaissance</li>
<li>Collaborative edition/Édition collaborative</li>
</areas>
<softwares><li>troeps</li><li>co4</li></softwares>
</reference>
<reference index="cerbah1999a" type="deliverable" language="fr" reviewing="none" status="public" reviewed="full">
<authors>
<p first="Farid" last="Cerbah" />
<p first="Jérôme" last="Euzenat" />
</authors>
<title>Intégration de connaissances modélisées et de connaissances textuelles : spécification d'un système d'aide à
la pose de liens de traçabilité</title>
<number>DGT 7672</number>
<contract>Génie II - Tâche 3.3.1</contract>
<institution name="Dassault aviation"><location city="Saint-Cloud" country="FR" /></institution>
<date month="4" year="1999" />
<length unit="p">15</length>
<areas>
<li>Knowledge management/Gestion de connaissance</li>
<li>Texts/Textes</li>
</areas>
<softwares><li>troeps</li></softwares>
</reference>
<reference index="euzenat1999e" type="deliverable" language="fr" reviewing="none" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Intégration de connaissances modélisées et de connaissances textuelles : intégration objets-termes-textes via XML</title>
<contract>Génie II - Tâche 3.3.1</contract>
<institution name="Dassault aviation"><location city="Saint-Cloud" country="FR" /></institution>
<date month="9" year="1999" />
<length unit="p">16</length>
<areas>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Knowledge management/Gestion de connaissance</li>
<li>Texts/Textes</li>
<li>XML</li>
</areas>
<softwares><li>troeps</li></softwares>
</reference>
<reference index="cligniez1999a" type="deliverable" language="fr" reviewing="none" status="public" reviewed="full">
<authors>
<p first="Vincent" last="Cligniez" />
<p first="Jérôme" last="Euzenat" />
<p first="Yannick" last="Manche" />
</authors>
<title>Raisonnement spatial pour l'intégration de modèles de simulation : Application aux avalanches</title>
<type>Rapport final</type>
<contract>programme SIG Casini 1998</contract>
<institution name="INRIA Rhône-Alpes/CEMAGREF Grenoble">
<location city="Grenoble" country="FR" />
</institution>
<date month="10" year="1999" />
<length unit="p">23</length>
<areas>
<li>Reason maintainance/Maintien du raisonnement</li>
<li>Space representation/Représentation spatiale</li>
</areas>
</reference>
<reference index="euzenat2000e" type="deliverable" language="fr" reviewing="none" status="hidden" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Vers une plate-forme de diffusion de textes sur internet : étude préliminaire</title>
<type>Rapport de conseil</type>
<contract>Cred-M (Odile Jacob Multimédia)</contract>
<date month="6" year="2000" />
<length unit="p">63</length>
<areas>
<li>Knowledge management/Gestion de connaissance</li>
<li>Texts/Textes</li>
<li>Semantic web/Web sémantique</li>
<li>XML</li>
</areas>
</reference>
<reference index="euzenat1988b" type="internalreport" language="fr" reviewing="none" status="hidden" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Un nouvel algorithme de maintenance de la vérité</title>
<institution name="Cognitech"><location city="Paris" country="FR" /></institution>
<type>Rapport interne</type>
<date month="5" year="1988" />
<length unit="p">18</length>
<abstract>Ce rapport présente d'abord le fonctionnement général des systèmes de maintenance
de la vérité. À partir de l'analyse détaillée des algorithmes proposés antérieurement, un
nouvel algorithme reposant essentiellement sur la notion de noeuds influants, sur la validité
d'une composante fortement connexe du graphe de dépendances, est décrit. Une critique de cet
algorithme est finalement présentée.</abstract>
<keywords><li>Systèmes de maintenance de la vérité</li>
<li>TMS</li>
<li>graphe de dépendances</li>
<li>composante fortement connexe</li>
<li>rétrogression dirigée par les dépendances</li>
</keywords>
<areas><li>Reason maintainance/Maintien du raisonnement</li></areas>
</reference>
<reference index="euzenat1988c" type="internalreport" language="fr" reviewing="none" status="hidden" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Iroise + TMS, utilisation</title>
<institution name="Cognitech"><location city="Paris" country="FR" /></institution>
<type>Rapport interne</type>
<date month="5" year="1988" />
<length unit="p">10</length>
<areas><li>Reason maintainance/Maintien du raisonnement</li></areas>
<softwares><li>iroise</li></softwares>
</reference>
<reference index="euzenat1988d" type="internalreport" language="fr" reviewing="none" status="hidden" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Iroise + TMS, implémentation</title>
<institution name="Cognitech"><location city="Paris" country="FR" /></institution>
<type>Rapport interne</type>
<date month="5" year="1988" />
<length unit="p">15</length>
<areas><li>Reason maintainance/Maintien du raisonnement</li></areas>
<softwares><li>iroise</li></softwares>
</reference>
<reference index="euzenat1988e" type="internalreport" language="fr" reviewing="none" status="hidden" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Un module TMS, version C0</title>
<institution name="Cognitech"><location city="Paris" country="FR" /></institution>
<date year="1988" />
<type>Rapport interne</type>
<length unit="p">25</length>
<abstract>On présente ici un module de l'AGC qui est un système de maintenance de la vérité
conçu pour être interfaçable avec différents mécanismes d'inférence. Après une brève présentation
des systèmes de maintenance de la vérité, celui qui est proposé est approfondi au travers d'un
exemple avant que ne soient abordés les problèmes d'interfaçages proprement dit. Le guide
d'interfaçage décrit deux types de liaisons: une liaison de bas niveau et une liaison de haut
niveau. En annexe figure la liste des fichiers fournis avec le module ainsi que les fonctions
qu'ils contienent, puis un ensemble de tests permettant d'aborder les point cruciaux de
l'interface.</abstract>
<areas><li>Reason maintainance/Maintien du raisonnement</li></areas>
<softwares><li>samaris</li></softwares>
</reference>
<reference index="euzenat1989d" type="internalreport" language="fr" reviewing="none" status="hidden" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Rétrogresser c'est progresser</title>
<institution name="Laboratoire ARTEMIS"><location city="Grenoble" country="FR" /></institution>
<date month="1" year="1989" />
<type>Rapport interne</type>
<length unit="p">20</length>
<areas><li>Reason maintainance/Maintien du raisonnement</li></areas>
</reference>
<reference index="euzenat1989e" type="internalreport" language="fr" reviewing="none" status="hidden" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Connexion Kool/RMS, spécifications</title>
<number>Sachem JE004</number>
<institution name="CEDIAG/Bull"><location city="Louveciennes" country="FR" /></institution>
<date month="9" year="1989" />
<type>Rapport interne</type>
<length unit="p">22</length>
<abstract />
<keywords />
<areas>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Reason maintainance/Maintien du raisonnement</li>
</areas>
<softwares><li>kool</li></softwares>
</reference>
<reference index="euzenat1989f" type="internalreport" language="fr" reviewing="none" status="hidden" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Un algorithme de maintenance de la vérité tirant parti des composantes fortement connexes</title>
<institution name="Laboratoire ARTEMIS"><location city="Grenoble" country="FR" /></institution>
<type>Rapport interne</type>
<date month="12" year="1989" />
<length unit="p">16</length>
<areas><li>Reason maintainance/Maintien du raisonnement</li></areas>
</reference>
<reference index="euzenat1990b" type="internalreport" language="en" reviewing="none" status="hidden" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Cache consistency in large object knowledge bases</title>
<institution name="Laboratoire ARTEMIS"><location city="Grenoble" country="FR" /></institution>
<date month="9" year="1990" />
<type>Internal report</type>
<length unit="p">35</length>
<areas>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Reason maintainance/Maintien du raisonnement</li>
</areas>
<softwares><li>shirka</li></softwares>
</reference>
<reference index="buisson1991b" type="internalreport" language="en" reviewing="none" status="hidden" reviewed="full">
<authors>
<p first="Laurent" last="Buisson" />
<p first="Jérôme" last="Euzenat" />
</authors>
<title>A quantitative analysis of reasoning for RMSes</title>
<institution name="Laboratoire ARTEMIS"><location city="Grenoble" country="FR" /></institution>
<type>Internal report</type>
<date month="1" year="1991" />
<length unit="p">18</length>
<abstract>For reasoning systems, it is sometime useful to cache away the inferred values. Meanwhile,
when the system works in a dynamic environment, cache coherence has to be performed, and this can be
achieved with the help of a reasoning maintenance system (RMS). The questions to be answered, before
implementing such a system for a particular application, are: how much is caching useful ? Does the
system need a dynamicity management system ? Is a RMS suited (what will be
its overhead) ?<br />
We provide an application driven evaluation framework in order to answer these questions. The evaluation
is not based on the intrinsic complexity of RMS but on the real work to be processed on the reasoning
of the application. First, we express the action of caching and maintaining with two concepts: backward
and forward cone effects. Then we quantify the inference time for those systems and find the
quantification of the cone effects in the formulas.<br />
As a consequence, the decision to use caching and/or RMS is expressed as a tradeoff between the
advantages and disadvantages of both cone effects.
</abstract>
<keywords><li>Reasoning maintenance systems</li>
<li>Inference caching</li>
<li>Spatial reasoning</li>
<li>Cone effect</li>
</keywords>
<areas>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Reason maintainance/Maintien du raisonnement</li>
</areas>
<softwares><li>shirka</li></softwares>
</reference>
<reference index="euzenat1991e" type="internalreport" language="en" reviewing="none" status="hidden" reviewed="full">
<authors>
<p first="Jérôme" last="Euzenat" />
<p first="Martin" last="Strecker" />
</authors>
<title>Forgetting abilities for space-bounded agents</title>
<institution name="Laboratoire ARTEMIS"><location city="Grenoble" country="FR" /></institution>
<type>Internal report</type>
<date month="8" year="1991" />
<length unit="p">11</length>
<abstract>We propose a model of "agent" that has some characteristics at the crossroad of several
ongoing research tracks: self rationality, autoepistemic reasoning, cooperative agents and
resource-bounded reasoning. That model is particular since available technologies enable its
implementation and thus its experimentation. Although in distributed artificial intelligence,
the emphasis is on cooperation, we concentrate on belief management. We stress here the
resource-bounded reasoning aspect of the work but describe first the architecture of our
agents. We then describe the kind of behavior we expect from forgetting and show that this is
achievable in both the theoretical and practical frameworks.</abstract>
<keywords><li>Resource-bounded reasoning</li>
<li>Belief revision</li>
<li>Autonomous agents</li>
</keywords>
<areas>
<li>Forgetting/Oubli</li>
<li>Reason maintainance/Maintien du raisonnement</li>
</areas>
</reference>
<reference index="euzenat1992c" type="internalreport" language="fr" reviewing="none" status="hidden" reviewed="full">
<authors>
<p first="Jérôme" last="Euzenat" />
<p first="Jean-François" last="Puget" />
</authors>
<title>Utiliser les dépendances lors du retour-arrière dans Pecos</title>
<institution name="Ilog"><location city="Gentilly" country="FR" /></institution>
<date month="10" year="1992" />
<type>Rapport interne</type>
<length unit="p">27</length>
<abstract>Le modèle d'exploration d'un espace de recherche utilisé par Pecos
est le retour-arrière chronologique. Il consiste, lorsque l'on a
détecté une inconsistance (le domaine d'une variable est vide), à
revenir au dernier point de choix pour explorer les autres
alternatives. Ce modèle d'exploration ne conserve pas les véritables raisons
de l'inconsistance. La question que l'on se pose est celle d'exploiter ces dépendances
afin d'explorer un nombre minimum d'alternatives dans tout le graphe.</abstract>
<areas>
<li>Reason maintainance/Maintien du raisonnement</li>
</areas>
<softwares><li>pecos</li></softwares>
</reference>
<reference index="euzenat1992d" type="internalreport" language="en" reviewing="none" status="hidden" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Modular constraint satisfaction</title>
<institution name="IRIMAG"><location city="Grenoble" country="FR" /></institution>
<date month="10" year="1992" />
<type>Internal report</type>
<length unit="p">11</length>
<abstract>Modular constraint satisfaction organizes a constraint satisfaction problem (CSP)
into a hierarchically linked set of modules. Using a modular description of a CSP brings the
advantages of classical modular development methodology such as problem decomposition or
incremental problem definition. A module can be seen as either a CSP or a constraint. Moreover,
modular constraint satisfaction environments can be build on top of existing constraint
satisfaction packages. Stating CSP in terms of modules does not bring any computational
advantage in itself, but can help to state problems in a way that emphasizes the computational
advantages of "tree clustered" CSP. Down and upward strategies are presented which allow to
take into account, during the constraint solving process, the hierarchical structure of
modular CSP. Moreover, modular CSP has been designed in order to implement dynamic CSP by
grouping dynamic components into related clusters. This is shown through applications to
configuration design and story understanding. Nevertheless, modular CSP is a first step toward
generic modular CSP enabling to develop hierarchies of components which share the same
interface.</abstract>
<keywords><li>Constraint satisfaction</li>
<li>Constraint programming languages</li>
<li>Modules</li>
<li>Dynamic CSP</li>
<li>Tree clustering</li>
</keywords>
<areas><li>Miscellaneous/Divers</li></areas>
</reference>
<reference index="euzenat1994d" type="internalreport" language="en" reviewing="none" status="hidden" reviewed="full">
<authors>
<p first="Cécile" last="Capponi" />
<p first="Jérôme" last="Euzenat" />
<p first="Jérôme" last="Gensel" />
</authors>
<title>Objects, types and constraints as classification schemes</title>
<institution name="INRIA Rhône-Alpes"><location city="Grenoble" country="FR" /></institution>
<date month="2" year="1994" />
<type>Internal report</type>
<length unit="p">20</length>
<abstract>The notion of classification scheme is a generic model that encompasses the kind of
classification performed in many knowledge representation formalisms. Classification schemes abstract
from the structure of individuals and consider only a sub-categorization relationship. The product
of classification schemes preserves the status of classification scheme and provides various
classification and categorization algorithms which rely on both the classification and the categorization
defined in the members of the product. Object-based representation formalisms often use heterogeneous
ways of representing knowledge. In the particular case of the system TROPES, knowledge is expressed by
classes, types and constraints. Here is presented the way to express types and constraints in a type
description module which provides them with the simple structure of classification schemes. This mapping
allows the integration into TROPES of new types and constraints together with their sub-typing relation.
Afterwards, taxonomies of classes are themselves considered to be classification schemes which are
product of more primitive ones. Then, this information is sufficient for classifying TROPES objects.</abstract>
<keywords><li>Class</li>
<li>object</li>
<li>type</li>
<li>constraint</li>
<li>classification scheme</li>
<li>sub-type inference</li>
</keywords>
<areas>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Semantics/Sémantique</li>
<li>Classification</li>
</areas>
<softwares><li>troeps</li></softwares>
</reference>
<reference index="euzenat1995g" type="internalreport" language="fr" reviewing="none" status="hidden" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Sur la sémantique des actes de langage artificiels (remarques préliminaires)</title>
<institution name="INRIA Rhône-Alpes"><location city="Grenoble" country="FR" /></institution>
<date month="11" year="1995" />
<type>Internal report</type>
<length unit="p">13</length>
<abstract>On tente naïvement de se poser quelques questions concernant la sémantique des langages
"universels" d'expressions d'actes de langage, c'est-à-dire de langage destinés à assurer
l'inter-opérabilité d'agents logiciels hétérogènes. L'un des problèmes soulevés par les tentatives
de formalisation actuelles est leur présupposé sur les agents qui interagissent. Or, si l'on désire
l'inter-opérabilité, il faut que les messages puissent être interprétés de manière satisfaisante
par toutes sortes d'agents: des agents très intelligents et des agents simplets, des agents
sincères et altruistes et des agents menteurs et cupides. Il n'est donc pas immédiat d'appliquer
les formules qui fonctionnent bien pour l'analyse d'un dialogue, l'analyse d'un protocole ou
l'analyse de la manière de dialoguer d'un sujet avec un autre à un langage "universel". Un début
de proposition est fait au travers de la notion de protocole affiché.</abstract>
<areas>
<li>Semantics/Sémantique</li>
<li>Computational semiotics/Sémiologie informatique</li>
</areas>
</reference>
<reference index="euzenat2000b" type="internalreport" language="en" reviewing="none" status="hidden" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Encoding the syntax and semantics of description logics in XML</title>
<institution name="INRIA Rhône-Alpes"><location city="Grenoble" country="FR" /></institution>
<type>Internal report</type>
<date month="2" year="2000" />
<length unit="p">5</length>
<abstract>XML is a powerful exchange format which is promised to a wide
dissemination. In order to allow the exchange and manipulation of
description logic terminologies, a generic XML format is
designed. This format preserves the modularity of the DL familly of
formalisms. The advantage of such a format is illustrated through
various transformations. But beside syntax description, it might be
useful to exchange semantics descriptions. We show how a semantics
description language can be designed for XML and present its use
through exchange between a basic description logic and a syllogistic
language.</abstract>
<areas>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Semantics/Sémantique</li>
<li>XML</li>
</areas>
<softwares><li>dlml</li></softwares>
</reference>
<reference index="euzenat1988f" type="misc" language="fr" reviewing="none" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<title>Maintien des croyances et bases de connaissance, application aux bases de connaissance centrées-objet</title>
<note>Séminaire 'bases de données et de connaissances'</note>
<institution name="Laboratoire ARTEMIS"><location city="Grenoble" country="FR" /></institution>
<date day="24" month="3" year="1988" />
<length unit="p">9</length>
<abstract>Après avoir défini le terme de base de connaissance, utilisé à la fois par les champs
de recherche en l'intelligence artificielle et des bases de données, ce papier présente des
réflexions et des travaux sur le thème de l'intégration d'un système de maintien des croyances
dans une base de connaissance. Dans la perspective de grandes bases de connaissance - à la fois
par la taille et par la durée de vie - la nécessité d'un mécanisme capable de garantir la
validité du contenu de la base par rapport à un ensemble d'inférences semble inéluctable. Les
systèmes de maintien des croyances développés pour les systèmes à base de règles sont candidats
pour assurer cette tâche. Leur adaptation aux bases de connaissance, et en particulier au modèle
centré-objet, est présentée au travers du système de représentation de connaissance Shirka.</abstract>
<areas>
<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
<li>Reason maintainance/Maintien du raisonnement</li>
</areas>
<softwares><li>shirka</li></softwares>
</reference>
<reference index="euzenat2000c" type="inproceedings" language="fr" reviewing="none" status="public" reviewed="full">
<authors><p first="Jérôme" last="Euzenat" /></authors>
<editors><p first="Paul" last="Kopp" /></editors>
<title>Problèmes d'intelligibilité et solutions autour de XML</title>
<conference type="séminaire" name="Valorisation des données" sponsor="CNES">
<date day="16-17" month="3" year="2000" />
<location city="Labège" country="FR" />
</conference>
<date year="2000" />
<institution name="CNES"><location city="Toulouse" country="FR" /></institution>
<links>
<url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/euzenat2000c.ps.gz" status="public" type="postscript" content="paper" compression="gz" />
</links>
<length unit="p">30</length>
<abstract>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.</abstract>
<keywords>
<li>XML</li>
<li>RDF</li>
<li>Schéma</li>
<li>DSD</li>
<li>Représentation de connaissance par objets</li>
<li>Sémantique</li>
</keywords>
<areas>
<li>Computational semiotics/Sémiologie informatique</li>
<li>XML</li>
<li>Semantics/Sémantique</li>
</areas>
<contracts>
<li>escrire</li>
</contracts>
</reference>
</bibliography>