bibexmo.xml 52.6 KB
Newer Older
Laurent Tardif's avatar
Laurent Tardif committed
1
<?xml version="1.0" encoding="iso-8859-1" standalone="no" ?>
Laurent Tardif's avatar
lolo :    
Laurent Tardif committed
2
<!DOCTYPE bibliography SYSTEM "bib.dtd">
Laurent Tardif's avatar
Laurent Tardif committed
3

Jérôme Euzenat's avatar
Jérôme Euzenat committed
4
<bibliography name="Euzenat" date="$Date: 2002-07-08 07:46:11 $" version="$Revision: 1.2 $" author="$Author: jerome $">
Laurent Tardif's avatar
Laurent Tardif committed
5

Jérôme Euzenat's avatar
Jérôme Euzenat committed
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
<reference index="alhulou2002a" type="inproceedings" language="en" reviewing="full">
  <authors><p first="Rim" last="Al-Hulou"/>
	   <p first="Olivier" last="Corby"/>
	   <p first="Rose" last="Dieng-Kuntz"/>
	   <p first="Jérôme" last="Euzenat"/>
	   <p first="Carolina" last="Medina Ramirez"/>
	   <p first="Amedeo" last="Napoli"/>
	   <p first="Raphaël" last="Troncy"/></authors>
  <title>Three knowledge representation formalisms for content-based representation of documents</title>
  <conference type="workshop" name="Formal ontology, knowledge representation and intelligent systems for the world wide web" short="SemWeb" sponsor="KR 2002">
	<date day="19" month="4" year="2002"/>
	<location city="Toulouse" country="FR"/>
  </conference> 
  <date year="2002"/>
  <areas>	<li>Semantic web/Web sémantique</li>
		<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
		<li>XML</li>
  </areas>
	<contracts><li>escrire</li></contracts>
	<softwares><li>troeps</li><li>dlml</li></softwares>
</reference>
Laurent Tardif's avatar
Laurent Tardif committed
27

Jérôme Euzenat's avatar
Jérôme Euzenat committed
28
<reference index="bougé2000a" type="inproceedings" language="fr" reviewing="invited">
Laurent Tardif's avatar
Laurent Tardif committed
29
30
31
32
33
34
35
36
        <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>
Jérôme Euzenat's avatar
Jérôme Euzenat committed
37
38
39
40
  <editors>
    <p first="Jacques" last="Perrin"/>
    <p first="René" last="Soenen"/>
  </editors>
Laurent Tardif's avatar
Laurent Tardif committed
41
42
        <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">
Jérôme Euzenat's avatar
Jérôme Euzenat committed
43
	        <date day="7-8" month="6" year="2000"/>
Laurent Tardif's avatar
Laurent Tardif committed
44
45
                <location city="Toulouse" country="FR"/>
        </conference>
Jérôme Euzenat's avatar
Jérôme Euzenat committed
46
  <date year="2000"/>
Laurent Tardif's avatar
Laurent Tardif committed
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
	<pages>31-50</pages>
        <links>
		<url href="http://www.univ-valenciennes.fr/PROSPER/serveur/doc/toulouse/Prosper-loc-formatted.zip" status="public"/>
                <url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/bouge2000a.ps.gz" status="public"/>
        </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">
	<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">
Jérôme Euzenat's avatar
Jérôme Euzenat committed
75
		<date year="2000"/>
Laurent Tardif's avatar
Laurent Tardif committed
76
77
78
		<location city="Birmimgham" country="UK"/>
	</conference>
	<pages>34-44</pages>
Jérôme Euzenat's avatar
Jérôme Euzenat committed
79
	<date year="2000"/>
Laurent Tardif's avatar
Laurent Tardif committed
80
	<links>
Jérôme Euzenat's avatar
Jérôme Euzenat committed
81
		<url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/brunet2000a.ps.gz" status="public"/>
Laurent Tardif's avatar
Laurent Tardif committed
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
	</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">
	<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">
Jérôme Euzenat's avatar
Jérôme Euzenat committed
102
		<date year="2000"/>
Laurent Tardif's avatar
Laurent Tardif committed
103
104
		<location city="Lyon" country="FR"/>
	</conference>
Jérôme Euzenat's avatar
Jérôme Euzenat committed
105
	<date year="2000"/>
Laurent Tardif's avatar
Laurent Tardif committed
106
107
	<pages>29-38</pages>
	<links>
Jérôme Euzenat's avatar
Jérôme Euzenat committed
108
		<url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/brunet2000b.ps.gz" status="public"/>
Laurent Tardif's avatar
Laurent Tardif committed
109
110
111
112
113
114
115
116
117
118
119
120
		<url href="http://www710.univ-lyon1.fr/~rjcia/papiers/Brunet.pdf" status="public"/>
	</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>

Jérôme Euzenat's avatar
Jérôme Euzenat committed
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
<reference index="brunet2001a" type="inproceedings" language="en">
	<authors>
		<p first="Olivier" last="Brunet"/>
	</authors>
	<title>A Model for Knowledge Representation in Distributed Systems</title>
	<conference type="workshop" sponsor="KI" name="Modal Logic in AI">
		<date year="2001"/>
		<location city="Wien" country="OS"/>
	</conference>
	<date year="2001"/>
	<pages>3-12</pages>
	<links>
		<url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/brunet2001a.ps.gz" status="public"/>
	</links>
	<abstract></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" reviewing="full">
Laurent Tardif's avatar
Laurent Tardif committed
146
147
148
149
	<authors>
		<p first="Farid" last="Cerbah"/>
		<p first="Jérôme" last="Euzenat"/>
	</authors>
Jérôme Euzenat's avatar
Jérôme Euzenat committed
150
151
152
	<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"/>
Laurent Tardif's avatar
Laurent Tardif committed
153
154
		<location city="Versailles" country="FR"/>
	</conference>
Jérôme Euzenat's avatar
Jérôme Euzenat committed
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
  <date year="2000"/>
  <in><reference index="bouzeghoub2001a" type="serialproceedings" language="en" reviewing="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>
Laurent Tardif's avatar
Laurent Tardif committed
170
171
	<links>
		<!-- hidden until 06/2001 -->
Jérôme Euzenat's avatar
Jérôme Euzenat committed
172
173
		<url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/cerbah2000a.ps.gz" status="public"/>
		<url href="http://link.springer.de/link/service/series/0558/papers/1959/19590115.pdf" status="public"/>
Laurent Tardif's avatar
Laurent Tardif committed
174
	</links>
Jérôme Euzenat's avatar
Jérôme Euzenat committed
175
	<pages>115-126</pages>
Laurent Tardif's avatar
Laurent Tardif committed
176
177
178
179
180
181
182
183
184
185
186
187
188
	<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>
Jérôme Euzenat's avatar
Jérôme Euzenat committed
189
190
191
192
193
	<softwares>
  <li>troeps</li>
  </softwares>
	<contracts>
  <li>genieII</li></contracts>
Laurent Tardif's avatar
Laurent Tardif committed
194
195
196
197
198
199
	<areas>
		<li>Texts/Textes</li>
		<li>Knowledge management/Gestion de connaissance</li>
	</areas>
</reference>

Jérôme Euzenat's avatar
Jérôme Euzenat committed
200
201

<reference index="cerbah2000b" type="inproceedings" language="en" reviewing="full">
Laurent Tardif's avatar
Laurent Tardif committed
202
203
204
205
206
	<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>
Jérôme Euzenat's avatar
Jérôme Euzenat committed
207
208
	<conference type="workshop" name="Knowledge Management and Organizational Memory" sponsor="ECAI">
        	<date day="21" month="8" year="2000"/>
Laurent Tardif's avatar
Laurent Tardif committed
209
210
		<location city="Berlin" country="DE"/>
	</conference>
Jérôme Euzenat's avatar
Jérôme Euzenat committed
211
  <date year="2000"/>
Laurent Tardif's avatar
Laurent Tardif committed
212
213
	<pages>10-16</pages>
	<links>
Jérôme Euzenat's avatar
Jérôme Euzenat committed
214
215
		<url href="http://www-sop.inria.fr/acacia/WORKSHOPS/ECAI2000-OM/Papers/ecai2000-cerbah.ps" status="public"/>
		<url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/cerbah2000b.ps.gz" status="public"/>
Laurent Tardif's avatar
Laurent Tardif committed
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
	</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>

Jérôme Euzenat's avatar
Jérôme Euzenat committed
240
<reference index="cerbah2000c" type="inproceedings" language="en" reviewing="full">
Laurent Tardif's avatar
Laurent Tardif committed
241
242
243
244
	<authors>
		<p first="Farid" last="Cerbah"/>
		<p first="Jérôme" last="Euzenat"/>
	</authors>
Jérôme Euzenat's avatar
Jérôme Euzenat committed
245
246
247
	<title>Integrating textual knowledge and formal knowledge for improving traceability</title>
	<conference type="international conference" issue="12" short="EKAW" name="knowledge engineering and knowledge management">
        	<date month="10" year="2000"/>
Laurent Tardif's avatar
Laurent Tardif committed
248
249
		<location city="Juan-les-Pins" country="FR"/>
	</conference>
Jérôme Euzenat's avatar
Jérôme Euzenat committed
250
251
252
253
254
255
256
257
258
259
260
261
262
263
  <date year="2000"/>
	<in><reference index="dieng2000a" type="serialproceedings" language="en" reviewing="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="2000"/>
	</reference></in>
Laurent Tardif's avatar
Laurent Tardif committed
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
	<pages>296-303</pages>
	<links>
		<url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/cerbah2000c.ps.gz" status="hidden"/>
	</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>

Jérôme Euzenat's avatar
Jérôme Euzenat committed
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
<reference index="cerbah2001a" type="article" language="en" reviewing="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"/>
  <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="cruz2001a" type="proceedings" language="en" reviewing="none">
  <editors>
    <p first="Isabel" last="Cruz"/>
    <p first="Stefan" last="Decker"/>
    <p first="Jérôme" last="Euzenat"/>
    <p first="Deborah" last="McGuinness"/>
  </editors>
  <title>Semantic web working symposium</title>
  <length>597</length>
  <date year="2001"/>
  <links>
    <url href="http://www.semanticweb.org/SWWS/program/full/SWWSProceedings.pdf" status="public"/>
  </links>
  <areas>
	<li>Semantic web/Web sémantique</li>
  </areas>
</reference>

<reference index="euzenat2002f" type="proceedings" language="en" reviewing="none">
  <editors>
    <p first="Jérôme" last="Euzenat"/>
    <p first="Asuncion" last="Gomez Perez"/>
    <p first="Nicola" last="Guarino"/>
    <p first="Heiner" last="Stuckenschmidt"/>
  </editors>
  <title>ECAI 2002 workshop on Ontologies and semantic interoperability</title>
  <length>597</length>
  <date year="2002"/>
  <links>
    <url href="ftp://ftp.inrialpes.fr/pub/exmo/reports/ECAI2002-OIS-ws.pdf" status="public"/>
  </links>
  <areas>
	<li>Semantic web/Web sémantique</li>
  </areas>
</reference>

<reference index="cruz2002a" type="collection" language="en" reviewing="none">
  <editors>
    <p first="Isabel" last="Cruz"/>
    <p first="Stefan" last="Decker"/>
    <p first="Jérôme" last="Euzenat"/>
    <p first="Deborah" last="McGuinness"/>
  </editors>
  <title>The emerging semantic web</title>
  <publisher name="IOS press"><location city="Amsterdam" country="NL" /></publisher>
  <length>302</length>
  <date year="2002"/>
  <links>
    <url href="http://barbara.inrialpes.fr/SWWSBook" status="public"/>
  </links>
  <areas>
	<li>Semantic web/Web sémantique</li>
  </areas>
  <note>Scheduled for June 2002</note>
</reference>

<reference index="euzenat2000a" type="inproceedings" language="fr" reviewing="full" status="unref">
Laurent Tardif's avatar
Laurent Tardif committed
388
389
390
	<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">
Jérôme Euzenat's avatar
Jérôme Euzenat committed
391
        	<date month="1" year="2000"/>
Laurent Tardif's avatar
Laurent Tardif committed
392
393
		<location city="Mont Saint-Hilaire" country="CA"/>
	</conference>
Jérôme Euzenat's avatar
Jérôme Euzenat committed
394
395
        <isbn>2-7462-0093-7</isbn>
  <date year="2000"/>
Laurent Tardif's avatar
Laurent Tardif committed
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
	<pages>59-74</pages>
	<links>
		<url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/euzenat2000a.ps.gz" status="public"/>
	</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>
Jérôme Euzenat's avatar
Jérôme Euzenat committed
420
		<li>Object-based knowledge représentation/Représentation de connaissance par objets</li>
Laurent Tardif's avatar
Laurent Tardif committed
421
422
423
424
425
		<li>XML</li>
	</areas>
</reference>


Jérôme Euzenat's avatar
Jérôme Euzenat committed
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
<reference index="euzenat2000b" type="internalreport" language="en" reviewing="none" status="hidden">
  <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>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>
Laurent Tardif's avatar
Laurent Tardif committed
450

Jérôme Euzenat's avatar
Jérôme Euzenat committed
451
<reference index="euzenat2000c" type="inproceedings" language="fr" reviewing="none">
Laurent Tardif's avatar
Laurent Tardif committed
452
453
454
455
	<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">
Jérôme Euzenat's avatar
Jérôme Euzenat committed
456
	        <date day="16-17" month="3" year="2000"/>
Laurent Tardif's avatar
Laurent Tardif committed
457
458
		<location city="Labège" country="FR"/>
	</conference>
Jérôme Euzenat's avatar
Jérôme Euzenat committed
459
460
        <date year="2000"/>
	<institution name="CNES"><location city="Toulouse" country="FR"/></institution>
Laurent Tardif's avatar
Laurent Tardif committed
461
462
463
	<links>
		<url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/euzenat2000c.ps.gz" status="public"/>
	</links>
Jérôme Euzenat's avatar
Jérôme Euzenat committed
464
	<length>30</length>
Laurent Tardif's avatar
Laurent Tardif committed
465
466
467
468
469
470
471
472
	<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 
Jérôme Euzenat's avatar
Jérôme Euzenat committed
473
destiné à "ajouter de la sémantique" mais n'en dispose pas lui-même. Il 
Laurent Tardif's avatar
Laurent Tardif committed
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
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>
		<!-- li>Interopérabilité</li>
		<li>Intelligibilité</li -->
	</keywords>
	<areas>
		<li>Computational semiotics/Sémiologie informatique</li>
		<li>XML</li>
		<li>Semantics/Sémantique</li>
	</areas>
Jérôme Euzenat's avatar
Jérôme Euzenat committed
500
501
502
	<contracts>
  <li>escrire</li>
  </contracts>
Laurent Tardif's avatar
Laurent Tardif committed
503
504
</reference>

Jérôme Euzenat's avatar
Jérôme Euzenat committed
505
<reference index="euzenat2000d" type="inproceedings" language="en" reviewing="full">
Laurent Tardif's avatar
Laurent Tardif committed
506
507
	<authors><p first="Jérôme" last="Euzenat"/></authors>
	<title>Towards formal knowledge intelligibility at the semiotic level</title>
Jérôme Euzenat's avatar
Jérôme Euzenat committed
508
509
	<conference type="workshop" name="applied semiotics: control problems" sponsor="ECAI">
        	<date day="21" month="8" year="2000"/>
Laurent Tardif's avatar
Laurent Tardif committed
510
511
512
513
514
515
516
		<location city="Berlin" country="DE"/>
	</conference>
	<pages>59-61</pages>
	<links>
		<url href="http://www.iitp.ru/asc2000/ps/12_EUZEN.PS" status="public"/>
		<url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/euzenat2000d.ps.gz" status="public"/>
	</links>
Jérôme Euzenat's avatar
Jérôme Euzenat committed
517
  <date year="2000"/>
Laurent Tardif's avatar
Laurent Tardif committed
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
	<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>

Jérôme Euzenat's avatar
Jérôme Euzenat committed
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
<!--Confidentiel jusqu'au 1/7/2001-->
<reference index="euzenat2000e" type="deliverable" language="fr" reviewing="none" status="hidden">
  <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>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="euzenat2001a" type="incollection" language="fr" reviewing="invited">
	<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">
			<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"/>
		<url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/euzenat2001a.pdf" type="pdf"/>
	</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="euzenat2001b" type="inproceedings" language="en" reviewing="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>
  <editors><p first="Asuncion" last="Gomez Perez"/><p first="Michael" last="Gruninger"/><p first="Heiner" last="Stuckenschmidt"/><p first="Michael" last="Uschold"/>
  </editors>
  <pages>19-25</pages>
  <date year="2001"/>
  <links>
    <url href="http://ceur-ws.org/Vol-47/euzenat.pdf" status="public"/>
    <url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/euzenat2001b.ps.gz" status="public"/>
  </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="euzenat2001c" type="inproceedings" language="fr" reviewing="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>
	<editors><p first="Jean" last="Charlet"/></editors>
	<publisher name="Presses universitaires de Grenoble" short="PUG">
		<location city="Grenoble" country="FR"/>
	</publisher>
	<date year="2001"/>
        <isbn>2-7061-1026-0</isbn>
	<date year="2001"/>
	<pages>95-110</pages>
	<links>
		<url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/euzenat2001c.ps.gz" status="hidden"/>
	</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="euzenat2001d" type="inproceedings" language="en" reviewing="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> 
  <pages>61-72</pages>
  <date year="2001"/>
  <links>
    <url href="http://transmorpher.inrialpes.fr/paper/" status="public"/>
    <url href="http://www.extrememarkup.com" status="public"/>
  </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="euzenat2001e" type="inproceedings" language="en" reviewing="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>
  <editors><p first="Deborah" last="McGuinness"/>
           <p first="Peter" last="Patel-Schneider"/>
           <p first="Carole" last="Goble"/>
           <p first="Ralph" last="Möller"/></editors>
  <pages>20-29</pages>
  <date year="2001"/>
  <links>
    <url href="http://ceur-ws.org/Vol-49/Euzenat-20start.ps" status="public"/>
    <url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/euzenat2001e.ps.gz" status="public"/>
  </links>
  <abstract>Description logics have been designed and studied in a modular
way. This has allowed a methodic approach to complexity
evaluation. We present a way to preserve this modularity in encoding
description logics in XML and show how it can be used for building
modular transformations and assembling them easily.</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="euzenat2001f" type="inproceedings" language="en" reviewing="full">
  <authors><p first="Jérôme" last="Euzenat"/></authors>
  <title>An infrastructure for formally ensuring interoperability in a heterogeneous semantic web</title>
  <conference issue="1" type="internationnal" name="semantic web working symposium" short="SWWS">
	<date day="30-31" month="7" year="2001"/>
	<location city="Stanford" state="CA" country="US"/>
  </conference> 
  <pages>345-360</pages>
  <date year="2001"/>
  <links>
    <url href="http://www.semanticweb.org/SWWS/program/full/paper16.pdf" status="public"/>
    <url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/euzenat2001f.pdf" status="public"/>
  </links>
  <abstract>Because different applications and different communities require different
 features, the semantic web might have to face the heterogeneity of the languages for
 expressing knowledge. Yet, it will be necessary for many applications to use knowledge
 coming from different sources. In such a context, ensuring the correct understanding
 of imported knowledge on a semantic ground is very important. We present here an
 infrastructure based on the notions of transformations from one language to another
 and of properties satisfied by transformations. We show, in the particular context of
 semantic properties and description logics markup language, how it is possible (1) to
 define properties of transformations, (2) to express, in a form easily processed by
 machine, the proof of a property and (3) to construct by composition a proof of
 properties satisfied by compound transformations. All these functions are based on
 extensions of current web standard languages.</abstract>
  <keywords><li>XML</li>
		<li>XSLT</li>
		<li>OMDoc</li>
		<li>MathML</li>
		<li>DLML</li>
		<li>XSLT</li>
		<li>Transmorpher</li>
		<li>Transformations</li>
		<li>proof</li>
  </keywords>
  <areas>	<li>Semantic web/Web sémantique</li>
        	<li>Transformations</li>
		<li>Semantics/Sémantique</li>
		<li>XML</li>
  </areas>
  <softwares><li>dlml</li><li>Transmorpher</li><li>dsd</li></softwares>
  <contracts><li>ontoweb</li></contracts>
  <areas>	<li>Semantic web/Web sémantique</li>
		<li>Semantics/Sémantique</li>
		<li>XML</li>
  </areas>
	<contracts><li>fluxmedia</li></contracts>
	<softwares><li>transmorpher</li></softwares>
</reference>

<reference index="euzenat2001g" type="article" language="en" reviewing="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 publisher">
		<location city="Malden" country="US" state="MA"/>
	</publisher>
  </journal>
  <volume>17</volume>
  <number>4</number>
  <pages>703-737</pages>
  <date year="2001"/>
  <links>
    <url href="ftp://ftp.inrialpes.fr/pub/sherpa/publications/euzenat2001g.pdf" status="hidden"/>
  </links>
  <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="euzenat2001h" type="deliverable" language="en" reviewing="none">
  <editors><p first="Jérôme" last="Euzenat"/></editors>
  <title>1st international semantic web working symposium (SWWS-1)</title>
  <contract>IST OntoWeb thematic network</contract>
  <type>deliverable</type>
  <number>7.6</number>
  <length>30</length>
  <institution name="INRIA Rhône-Alpes"><location city="Montbonnot" country="FR" /></institution>
  <date month="09" year="2001"/>
  <areas>
		<li>Web sémantique/Semantic web</li>
  </areas>
</reference>

<reference index="euzenat2002a" type="prospective" language="en" reviewing="none">
  <editors><p first="Jérôme" last="Euzenat"/></editors>
  <title>Research challenges and perspectives of the Semantic web</title>
  <type>EU-NSF Strategic report</type>
  <length>82</length>
  <institution name="ERCIM"><location city="Sophia Antipolis" country="FR" /></institution>
	<links>
		<url href="http://www.ercim.org/EU-NSF/semweb.html" status="public"/>
		<url href="http://www.ercim.org/EU-NSF/Semweb.pdf" status="public"/>
		<url href="ftp://ftp.inrialpes.fr/pub/exmo/reports/ercim-semweb.pdf"/>
	</links>
  <date month="01" year="2002"/>
  <areas>
		<li>Web sémantique/Semantic web</li>
  </areas>
</reference>

<reference index="euzenat2002b" type="article" language="en" reviewing="full">
  <authors><p first="Jérôme" last="Euzenat"/></authors>
  <title>Eight questions about semantic web annotations</title>
  <journal name="IEEE Intelligent systems" short="ieee-is">
	<publisher name="IEEE Computer society">
		<location city="New-York" state="NY" country="US"/>
	</publisher>
  </journal>
  <volume>17</volume>
  <number>2</number>
  <pages>55-62</pages>
  <date year="2002"/>
  <links>
    <url href="http://computer.org/intelligent/ex2002/x2055abs.html" status="public"/>
    <url href="ftp://ftp.inrialpes.fr/pub/sherpa/publications/euzenat2002a.pdf" status="hidden"/>
  </links>
  <abstract>Improving information retrieval is annotation¹s central goal. However, without
sufficient planning, annotation‹especially when running a robot and attaching automatically
extracted content‹risks producing incoherent information. The author recommends answering
eight questions before you annotate. He provides a practical application of this approach,
and discusses applying the questions to other systems.</abstract>
  <keywords><li>Semantic web</li>
            <li>Search by content</li>
            <li>Content representation</li>
            <li>Ontology</li>
            <li>Background knowledge</li>
  </keywords>
  <areas>
		<li>Semantic web/Web sémantique</li>
		<li>Texts/Textes</li>
  </areas>
</reference>


<reference index="euzenat2002c" type="article" language="en" reviewing="full">
  <authors><p first="Jérôme" last="Euzenat"/>
	   <p first="Laurent" last="Tardif"/></authors>
  <title>XML transformation flow processing</title>
  <journal name="Markup languages: theory and practice" short="mltp">
	<publisher name="The MIT press">
		<location city="Cambridge" state="MA" country="US"/>
	</publisher>
  </journal>
  <volume>3</volume>
  <number>3</number>
  <pages>285-311</pages>
  <note>to appear</note>
  <date year="2002"/>
  <links>
  </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="euzenat2002d" type="incollection" language="en" reviewing="invited">
  <authors><p first="Jérôme" last="Euzenat"/></authors>
  <title>An infrastructure for formally ensuring interoperability in a heterogeneous semantic web</title>
  <in><reference index="cruz2002a" type="collection" language="en" reviewing="none">
  <editors>
    <p first="Isabel" last="Cruz"/>
    <p first="Stefan" last="Decker"/>
    <p first="Jérôme" last="Euzenat"/>
    <p first="Deborah" last="McGuinness"/>
  </editors>
  <title>The emerging semantic web</title>
  <publisher name="IOS press"><location city="Amsterdam" country="NL" /></publisher>
  <length>302</length>
  <date year="2002"/>
  <links>
    <url href="http://barbara.inrialpes.fr/SWWSBook" status="public"/>
  </links>
  <areas>
	<li>Semantic web/Web sémantique</li>
  </areas>
  </reference></in>
  <date year="2002"/>
  <note>to appear</note>
</reference>

<reference index="napoli2000a" type="article" language="fr" reviewing="invited">
Laurent Tardif's avatar
Laurent Tardif committed
977
978
979
980
981
982
	<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>
Jérôme Euzenat's avatar
Jérôme Euzenat committed
983
	<journal name="Techniques et science informatique" issn="0752-4072" short="tsi">
Laurent Tardif's avatar
Laurent Tardif committed
984
985
986
987
988
989
990
		<publisher name="Hermès Science publisher">
			<location city="Paris" country="FR"/>
		</publisher>
	</journal>
	<volume>19</volume>
	<number>1-3</number>
	<pages>387-394</pages>
Jérôme Euzenat's avatar
Jérôme Euzenat committed
991
992
        <date year="2000"/>
	<isbn>2-7462-0098-8</isbn>
Laurent Tardif's avatar
Laurent Tardif committed
993
994
995
996
997
998
999
1000
1001
1002
1003
1004
1005
1006
1007
1008
1009
	<links>
		<url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/napoli2000a.ps.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>
Jérôme Euzenat's avatar
Jérôme Euzenat committed
1010
1011
1012
1013
1014
1015
1016
	<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>
Laurent Tardif's avatar
Laurent Tardif committed
1017
1018
</reference>

Jérôme Euzenat's avatar
Jérôme Euzenat committed
1019
1020
1021
1022
1023
1024
1025
1026
1027
1028
1029
1030
1031
1032
1033
1034
1035
1036
1037
1038
1039
1040
1041
1042
1043
1044
1045
1046
1047
1048
1049
1050
1051
1052
1053
1054
1055
1056
1057
1058
1059
1060
1061
1062
1063
1064
<reference index="euzenat2002e" type="inproceedings" language="en" reviewing="full">
  <authors><p first="Jérôme" last="Euzenat"/>
           <p first="Heiner" last="Stuckenschmidt"/></authors>
  <title>The `family of languages' approach to semantic interoperability</title>
  <conference type="workshop" name="Knowledge
Transformation for the Semantic Web" sponsor="ECAI 2002">
	<date day="23" month="7" year="2002"/>
	<location city="Lyon" country="FR"/>
  </conference>
  <editors><p first="Borys" last="Omelayenko"/>
           <p first="Michel" last="Klein"/>
  </editors>
  <date year="2002"/>
  <links>
    <url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/euzenat2002e.pdf" status="public"/>
  </links>
  <abstract>Exchanging knowledge via the web might lead to the use of different representation languages because different applications could take advantage of this knowledge. In order to function properly, the interoperability of these languages must be established on a semantic ground (i.e., based on the models of the representations). Several solutions can be used for ensuring this interoperability.
We present a new approach based on a set of knowledge representation languages partially ordered with regard to the transformability from one language to another by preserving a particular property. The advantages of the family of languages
approach are the opportunity to choose the language in which a representation will be imported and the possibility to compose the transformations available between the members of the family. For the same set of languages, there can be several structures depending on the property used for structuring the family. We focus here on semantic properties of different strength that allow us to perform practicable but well founded transformations.
</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="exmo2001a" type="manual" language="en" reviewing="none">
  <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"/>
  </links>
  <areas><li>Collaborative edition/Édition collaborative</li></areas>
  <softwares><li>transmorpher</li></softwares>
</reference>
Laurent Tardif's avatar
Laurent Tardif committed
1065

Jérôme Euzenat's avatar
Jérôme Euzenat committed
1066
1067
1068
1069
1070
1071
1072
1073
1074
1075
1076
1077
1078
1079
1080
1081
1082
1083
1084
1085
1086
1087
1088
1089
1090
1091
1092
1093
1094
1095
1096
1097
1098
<reference index="stuckenschmidt2001a" type="inproceedings" language="en" reviewing="full">
  <authors><p first="Heiner" last="Stuckenschmidt"/>
	   <p first="Jérôme" last="Euzenat"/></authors>
  <title>Ontology Language Integration: A Constructive Approach</title>
  <conference type="workshop" name="Applications of Description Logics" sponsor="KI 2001">
	<date day="18" month="9" year="2001"/>
	<location city="Wien" country="AT"/>
  </conference> 
  <date year="2001"/>
  <abstract>The problem of integrating different ontology languages has
become of special interest recently, especially in the context of
semantic web applications. In the paper, we present an approach
that is based on the configuration of a joint language all other
languages can be translated into. We use description logics as a
basis for constructing this common language taking advantage of
the modular character and the availability of profound
theoretical results in this area. We give the central definitions
and exemplify the approach using example ontologies available on
the Web.</abstract>
  <links>
    <url href="http://ceur-ws.org/Vol-44/StuckenschmidtEuzenat.ps.gz" status="public" />
    <url href="ftp://ftp.inrialpes.fr/pub/exmo/publications/stuckenschmidt2001a.pdf" status="public" />
  </links>
  <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>
	<contracts><li>ontoweb</li></contracts>
	<softwares><li>transmorpher</li><li>dlml</li></softwares>
</reference>

<reference index="troncy2000a" type="mastersthesis" language="fr">
Laurent Tardif's avatar
Laurent Tardif committed
1099
1100
1101
1102
1103
1104
	<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>
Jérôme Euzenat's avatar
Jérôme Euzenat committed
1105
	<date year="2000"/>
Laurent Tardif's avatar
Laurent Tardif committed
1106
1107
1108
1109
1110
1111
1112
1113
1114
1115
1116
1117
1118
1119
1120
1121
1122
1123
1124
1125
1126
1127
1128
1129
1130
1131
1132
	<links>
		<url href="ftp://ftp.inrialpes.fr/pub/exmo/reports/dea-troncy.ps.gz" status="public" />
	</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">
	<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>
Jérôme Euzenat's avatar
Jérôme Euzenat committed
1133
	<date year="2000"/>
Laurent Tardif's avatar
Laurent Tardif committed
1134
1135
1136
1137
1138
1139
1140
1141
1142
1143
1144
1145
1146
1147
1148
	<links>
		<url href="ftp://ftp.inrialpes.fr/pub/exmo/reports/troncy2000b.ps.gz" status="public" />
	</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>
Jérôme Euzenat's avatar
Jérôme Euzenat committed
1149
1150
1151
1152
1153
1154
1155
1156
1157
1158
1159
1160
1161
1162
1163
1164
1165
1166
1167
1168
1169
1170
1171
1172
1173
1174
1175
1176
1177
1178
1179
1180
1181
1182
1183
1184
1185
1186
1187
1188
1189
1190
	<contracts><li>escrire</li></contracts>

</reference>

<reference index="troncy2002a" type="inproceedings" language="fr" reviewing="full">
  <authors><p first="Raphaël" last="Troncy"/>
	   <p first="Antoine" last="Isaac"/></authors>
  <title>DOE : une mise en oeuvre d'une méthode de structuration différentielle pour les ontologies</title>
  <conference issue="13" type="journées francophones" name="Ingénierie des Connaissances" short="IC">
	<date day="28-30" month="5" year="2002"/>
	<location city="Rouen" country="FR"/>
  </conference> 
  <date year="2002"/>
  <pages>63-74</pages>
  <links>
  </links>
  <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>
	<contracts><li>ina</li></contracts>
	<softwares><li>doe</li></softwares>
</reference>

<reference index="bachimont2002a" type="inproceedings" language="en" reviewing="full">
  <authors><p first="Bruno" last="Bachimont"/>
	   <p first="Raphaël" last="Troncy"/>
	   <p first="Antoine" last="Isaac"/></authors>
  <title>Semantic Commitment for Designing Ontologies: A Proposal</title>
	<conference type="international conference" issue="13" short="EKAW" name="knowledge engineering and knowledge management">
        	<date day="1-4" month="10" year="2002"/>
		<location city="Siguenza" country="ES"/>
	</conference>
  <date year="2002"/>
  <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>
	<contracts><li>ina</li></contracts>
	<softwares><li>doe</li></softwares>
Laurent Tardif's avatar
Laurent Tardif committed
1191
1192
1193
</reference>

</bibliography>