slides of Ph.D. defense: "Meaning-Text Theory Lexical Semantic Knowledge Representation : Conceptualization, Representation, and Operationalization of Lexicographic Definitions" Maxime Lefrançois (2014) Représentation des connaissances sémantiques lexicales de la Théorie Sens-Texte : Conceptualisation, représentation, et opérationnalisation des définitions lexicographiques.

1. Représentation des connaissances
sémantiques lexicales
de la Théorie Sens-Texte:
Conceptualisation, représentation, et opérationnalisation
des définitions lexicographiques
par
Maxime Lefrançois
Thèse de doctorat ès sciences
dirigée par Fabien Gandon (DR Inria),
et co-dirigée par Christian Boitet (PR Grenoble 1)

2. Explosion des ressources numériques textuelles
Besoin de modèles et algorithmes
pour des applications de TALN
(Traitement Automatique des Langues Naturelles)
• Traduction automatique
• Génération automatique de textes
• Réponse aux questions en langage naturel
• Recherche d’information
• Résumé automatique
• Inférence du premier ordre
• ...
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 2

3. Traitement des ressources numériques textuelles
les approches basées sur les statistiques et l’apprentissage
automatique atteignent leurs limites
prise de conscience
du besoin de connaissances formalisées
pour les traitements automatiques
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 3

4. Plan
0. Pourquoi formaliser les connaissances sémantiques lexicales de
la Théorie Sens-Texte ?
1. L’explicitation de la conceptualisation
de ces connaissances est-elle adaptée à une formalisation ?
2. Quel formalisme de représentation des connaissances
est adapté à l’explicitation de cette conceptualisation ?
3. Comment peut-on opérationnaliser ce formalisme ?
a. pour le raisonnement logique b. sur le web des données
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 4

5. Trois approches en sémantique lexicale
1. Sémantique décompositionnelle
2. Sémantique componentielle
3. Sémantique relationnelle
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 5

6. 1. Sémantique décompositionnelle
2. Sémantique componentielle
3. Sémantique relationnelle
BROUTER, verbe trans.
A.− [Le suj. désigne un
mammifère herbivore]
Manger l'herbe, les jeunes
pousses, les feuilles des
arbres en les arrachant sur
la plante, sur l'arbre même
• Définition explicite, par décomposition en unités de
sens sémantiquement plus simple.
• Approche lexicographique classique
= forme aristotélicienne
= genre proche et différences spécifiques
• A l’extrême: recherche de primitives de sens
(Wierzbicka, 1996)
• Approche extrêmement précise :
La Théorie Sens-Texte
ex: TLFi
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 6

7. 1. Sémantique décompositionnelle
2. Sémantique componentielle
3. Sémantique relationnelle
• Unité lexicale = deux lambda-expressions:
• compositionnalité sémantique
• compositionnalité syntaxique
• Différentes représentations du lexique
• DATR, LFG, Lexique Génératif de Pustejovsky, ...
• Sémantique et syntaxe de la phrase
= calcul de la composition de ces expressions
• Différentes grammaires
• HPSG, GUST
Théorie Sens Texte !
Pas de représentation des définitions
lexicographiques
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 7

8. 1. Sémantique décompositionnelle
2. Sémantique componentielle
3. Sémantique relationnelle
ex: WordNet
• Sens de l’unité lexicale = relations entre l’unité lexicale et
ses voisines dans un réseau lexical
couverture: WordNet, EuroWordNet, ...
& axiomatisation: Multi-Net, HowNet, ...
• Une approche extrêmement précise en lexicographie:
Les fonctions lexicales
de la Théorie Sens-Texte
• Approche cognitiviste proche de la TST: FrameNet
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 8

9. Pourquoi la Théorie linguistique Sens-Texte ?
• fin des années 65 à Moscou
• Dans les trois approches de sémantique lexicale,
la théorie Sens-Texte est intéressante pour sa richesse descriptive ...
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 9

10. Cadre d’étude - la théorie Sens-Texte
- Postule différents niveaux de représentation
- Des règles de transformation entre les niveaux...
- ... générées à partir du lexique
Le Dictionnaire Explicatif et Combinatoire (DEC)
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 10

11. Richesse descriptive du DEC
= environ 500 entrées seulement
principal sujet d’étude
• zone phonologique
• zone morphologique
• zone sémantique
• zone de combinatoire
• zone de stylistique,
• zone d’exemple,
• zone phraséologique,
• zone de nota bene
4 volumes papier
des linguistes de la Théorie Sens-Texte
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 11

12. « Le DEC, dans sa conception, est fait pour être informatisé ... »
(Mel’čuk et al., 1995)
aspect prédicatif de acheter
informatisation,
mais manque la formalisation
ex: éditeur DECID (Sérasset, 1997)
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 12

13. • Dans les trois approche à la sémantique lexicale,
la théorie Sens-Texte est intéressante pour sa richesse descriptive ...
• ... qui implique des défis à relever
▫ couverture de la langue
▫ axiomatisation
Il faut formaliser les connaissances
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 13

14. « Le DEC, dans sa conception, est fait pour être informatisé [...]
Le seul intérêt véritable de formaliser une description linguistique
est de se donner les moyens de “faire tourner”
un appareillage logicodéductif sur cette description »
(Mel’čuk et al., 1995)
• vérifier la validité du lexique
• découvrir des connaissances sur la langue
• + raisonner sur les textes
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 14

15. L’ingénierie des connaissances
• vérifier la validité du lexique
• découvrir des connaissances sur la langue
• + raisonner sur les textes
Ingénierie
des connaissances
valider
inférer
raisonner
• manipuler
• interroger
• échanger
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 15

16. Une approche d’ingénierie des connaissances
Question de recherche:
Comment
représenter les connaissances
sémantiques lexicales
de la théorie Sens-Texte ?
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 16

17. Méthodologie
1. Extension de l’explicitation de la
conceptualisation
Explicitation
de la conceptualisation
Conceptualisation
du domaine
2.
3.
1. L’explicitation de la conceptualisation
de ces connaissances est-elle adaptée à une formalisation ?
2. Quel formalisme de représentation des connaissances
est adapté à l’explicitation de cette conceptualisation ?
3. Comment peut-on opérationnaliser ce formalisme ?
a. pour le raisonnement logique b. sur le web des données
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 17

18. 0. Pourquoi formaliser les connaissances sémantiques lexicales de
la Théorie Sens-Texte ?
1. L’explicitation de la conceptualisation
de ces connaissances est-elle adaptée à une formalisation ?
1.a. Conceptualisation des des prédicats prédicats linguistiques
linguistiques
1.b. Conceptualisation des définitions lexicographiques
t
2. Quel formalisme de représentation des connaissances
est adapté à l’explicitation de cette conceptualisation ?
2.a. Formalismes existants
2.b. Construction du formalisme des Graphes d’Unités
3. Comment peut-on opérationnaliser ce formalisme ?
3.a. Pour le raisonnement logique
3.b. Sur le web des données lexicales liées
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 18

19. 19
Extension de l’explicitation de la conceptualisation
- Précision de la terminologie
Unité lexicale
&
Unité lexicale
Langage :
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte
Usage :
Type d’
(Instance d’)
« Rachel est une acrobate extraordinaire »

20. 20
Extension de l’explicitation de la conceptualisation
- Structure actancielle sémantique
• Type d’unité lexicale
▫ instancié dans les RSyn,
▫ possède une structure actancielle sémantique
« achat par X de Y à Z pour W»
• Type d’unité sémantique
▫ instancié dans les RSém,
▫ possède une structure actancielle
« Paul a acheté sa maison pour une bouchée de pain »
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte

21. 21
Détermination de la structure actancielle sémantique
Positions actantielles sémantiques: obligatoires ou optionnelles
= Les participants de la situation linguistique dénotée par L
qui ont une position privilégiées auprès de L dans les phrases
+ critères linguistiques !
Pour nous: processus « boîte noire »
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte

22. Exemples de structures actancielles sémantiques
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 22

23. 23
Hiérarchie des types d’unités sémantiques:
- hiérarchie des sens
- et spécialisation de la structure actancielle ?
Motivations Contre-exemple
1. Le niveau sémantique est censé
représenter les sens
2. Les participants de la situation
linguistique sont censés être hérités.
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte
DEC IV

24. Introduction d’un niveau Sémantique Profond
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 24

25. 25
Les types d’unité sémantique profonds
• introduction d’une notation /to eat
• définition de la structure actancielle sémantique profonde
▫ choix des Symboles d’Actants: des rôles sémantiques lexicalisés
▫ introduction des positions actancielles interdites
- correspondance simple avec le niveau SémS
- hiérarchie des sens
- héritage et spécialisation des structures actancielles
SémP SémS
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte

26. 0. Pourquoi formaliser les connaissances sémantiques lexicales de
la Théorie Sens-Texte ?
1. L’explicitation de la conceptualisation
de ces connaissances est-elle adaptée à une formalisation ?
1.a. Conceptualisation des prédicats linguistiques
1.b. Conceptualisation des définitions lexicographiques
des définitions lexicographiques
t
2. Quel formalisme de représentation des connaissances
est adapté à l’explicitation de cette conceptualisation ?
2.a. Formalismes existants
2.b. Construction du formalisme des Graphes d’Unités
3. Comment peut-on opérationnaliser ce formalisme ?
3.a. Pour le raisonnement logique
3.b. Sur le web des données lexicales liées
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 26

27. 27
Les définitions lexicographiques
- Conceptualisations existantes
• Composante centrale et composantes périphériques (projet Definiens)
• Composantes périphériques choisies pour une catégorie d’unités lexicales précise (ex: sentiments)
• Composantes périphériques suggérées par une étiquette sémantique choisie dans une hiérarchie
• Dans la littérature: Représentation Sémantique
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte
(projet RELIEF, ATILF Nancy)

28. 28
Une "reconceptualisation" nécessaire
1. Le niveau sémantique profond porte les sens
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte

29. 29
Une "reconceptualisation" nécessaire
1. Le niveau sémantique profond porte les sens
2. Une représentation linguistique n’est qu’une instanciation de la définition
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte

30. 30
Re-conceptualisation nécessaire
1. Le niveau sémantique profond porte les sens
2. Une représentation linguistique n’est qu’une instanciation de la définition
3. Un participant peut être obligatoire, optionnel ou interdit.
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte

31. Prototype d’éditeur de définitions lexicographiques
Stage M2 Romain Gugert – (Lefrançois, Giboin)
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 31

32. Prototype d’éditeur de définitions lexicographiques
Stage M2 Romain Gugert – (Lefrançois, Giboin)
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 32

33. Prototype d’éditeur de définitions lexicographiques
Stage M2 Romain Gugert – (Lefrançois, Giboin)
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 33

34. 34
Prototype d’éditeur de définitions lexicographiques
Stage M2 Romain Gugert – (Lefrançois, Giboin)
• Maquettage et prototypage d’une application web
▫ javascript, mxGraphs
▫ interactions innovantes de manipulation directe de graphes
• Evaluation coopérative sur 6 lexicographes du projet RELIEF
▫ Offre une première base de discussion essentielle
▫ Confirme les attentes des lexicographes pour un tel outil
▫ Permet d’identifier des directions d’amélioration possible
 amélioration du workflow
 amélioration de la manipulation de graphes
 "cacher" le niveau sémantique profond si possible
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte

35. 0. Pourquoi formaliser les connaissances sémantiques lexicales de
la Théorie Sens-Texte ?
1. L’explicitation de la conceptualisation
de ces connaissances est-elle adaptée à une formalisation ?
1.a. Conceptualisation des prédicats linguistiques
1.b. Conceptualisation des définitions lexicographiques
t
2. Quel formalisme de représentation des connaissances
est adapté à l’explicitation de cette conceptualisation ?
2.a. Formalismes existants
2.b. Construction du formalisme des Graphes d’Unités
3. Comment peut-on opérationnaliser ce formalisme ?
3.a. Pour le raisonnement logique
3.b. Sur le web des données lexicales liées
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 35

36. Détermination des formalismes candidats
Mel’čuk, 65
Grammaires
de dépendance
Logiques de description
Sowa, 84
Brachman, 85
Tesnière, 56
• Evaluation selon les critères de Gruber, 1995
Théorie Sens-Texte
Graphes Conceptuels
▫ la formalisation doit être claire
▫ la formalisation doit être cohérente avec la conceptualisation
▫ la formalisation doit être extensible
▫ la formalisation ne doit pas déformer la conceptualisation
▫ la formalisation doit permettre la déduction logique souhaitée
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 36

37. Deux aspects à formaliser
• Les types d’unité
▫ avec des positions actancielles signées,
obligatoires, optionnelles, ou interdites...
▫ ... héritées et spécialisées dans la hiérarchie
• Les définitions lexicographiques
▫ et les règles de contraction et d’expansion
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 37

38. Inadéquation des logiques de description
- trop d’axiomes
- rôle utilitaire abstrait
- indécidable
• Les types d’unité
• Les définitions lexicographiques
Rôles fonctionnels Contraction Expansion
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 38

39. Inadéquation des Graphes Conceptuels
• Les types d’unité
- structure actancielle conceptuellement inexistante
- grand nombre de règles à maintenir
- problème d’héritage à arité variable
• Les définitions lexicographiques
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 39

40. Le formalisme des Graphes d’Unités
• un formalisme à base de graphes inspiré des GC
• construit pour la théorie Sens-Texte mais réutilisable pour
modéliser d’autres connaissances
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 40

41. 0. Pourquoi formaliser les connaissances sémantiques lexicales de
la Théorie Sens-Texte ?
1. L’explicitation de la conceptualisation
de ces connaissances est-elle adaptée à une formalisation ?
1.a. Conceptualisation des prédicats linguistiques
1.b. Conceptualisation des définitions lexicographiques
t
2. Quel formalisme de représentation des connaissances
est adapté à l’explicitation de cette conceptualisation ?
2.a. Formalismes existants
2.b. Construction du formalisme des Graphes d’Unités
3. Comment peut-on opérationnaliser ce formalisme ?
3.a. Pour le raisonnement logique
3.b. Sur le web des données lexicales liées
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 41

42. Formalisation de la structure actancielle
• Pour un symbole d’actant s
▫ : s est une position actancielle possible
▫ : s est une position actancielle obligatoire
▫ : s est une position actancielle interdite
▫ : définit le type des unités qui prennent
la position actancielle s d’une unité de type t
hiérarchie des types primitifs =
superposition intriquée de telles structures
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 42

43. Formalisation de la hiérarchie des types
d’unités
Prise en compte des types conjonctifs
hiérarchie des types conjonctifs =
superposition intriquée
de hiérarchies de types primitifs
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 43

44. Graphes d’Unités
RSémS
« John feels no revulsion at the
sight of a dead animal »
RSynP
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 44

45. Règles de graphes d’unités
• une hypothèse
• une conclusion
• des noeuds frontière
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 45

46. Définitions de types d’unité
= deux règles contraposées
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 46

47. 0. Pourquoi formaliser les connaissances sémantiques lexicales de
la Théorie Sens-Texte ?
1. L’explicitation de la conceptualisation
de ces connaissances est-elle adaptée à une formalisation ?
1.a. Conceptualisation des prédicats linguistiques
1.b. Conceptualisation des définitions lexicographiques
t
2. Quel formalisme de représentation des connaissances
est adapté à l’explicitation de cette conceptualisation ?
2.a. Formalismes existants
2.b. Construction du formalisme des Graphes d’Unités
3. Comment peut-on opérationnaliser ce formalisme ?
3.a. Pour le raisonnement logique
3.b. Sur le web des données lexicales liées
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 47

48. Sémantique logique
Théorie des modèles & algèbre relationnelle
Un modèle qui
satisfait un graphe d’unités
G implique H =
pour tout modèle M qui satisfait G,
il existe un modèle qui satisfait H
Un modèle qui
satisfait la hiérarchie des types d’unité
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 48

49. Règles d’inférence
Quelles connaissances peut-on expliciter dans G ?
... et déduction logique
...
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 49
G
OUI !
H est-il déductible de G ?

50. Décidabilité de la déduction logique
• Condition suffisante: expansion finie
▫ Des conditions d’acyclicité
 sur la hiérarchie des types d’unités
 sur les définitions lexicographiques
▫ Les lexicographes de la Théorie Sens-Texte
s’imposaient déjà ces conditions par intuition
▫ Mais on peut trouver mieux
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 50

51. La déduction logique par rapport à l’implication logique...
correction
et complétude
(sous réserve de consistance)
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 51

52. 0. Pourquoi formaliser les connaissances sémantiques lexicales de
la Théorie Sens-Texte ?
1. L’explicitation de la conceptualisation
de ces connaissances est-elle adaptée à une formalisation ?
1.a. Conceptualisation des prédicats linguistiques
1.b. Conceptualisation des définitions lexicographiques
t
2. Quel formalisme de représentation des connaissances
est adapté à l’explicitation de cette conceptualisation ?
2.a. Formalismes existants
2.b. Construction du formalisme des Graphes d’Unités
3. Comment peut-on opérationnaliser ce formalisme ?
3.a. Pour le raisonnement logique
3.b. Sur le web des données lexicales liées
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 52

53. Publication du modèle et des règles sur le
web des données
• profiter des architectures existantes...
Choix du métamodèle OWL 2 RL
- règles d’inférence
- interrogation
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 53
- partage
- raisonnement (partiel)

54. Deux modèles différents, mais interopérables
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 54
Alignement
avec
ontolex

55. A partir d’une représentation des définitions lexicographiques
formelles:
Génération automatique a l’aide de règles SPARQL
des règles SPARQL d’expansion et de contraction
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 55

56. Publication sur le web des données
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 56

57. Ingénierie
des connaissances
Conclusion: contributions
• valider
• inférer
• raisonner
• manipuler
• interroger
• échanger
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 57

58. Contributions
• Choix d’une méthodologie en trois étapes
1. Extension de l’explicitation de la conceptualisation
▫ Conceptualisation du sens au niveau sémantique profond
▫ Conceptualisation des définitions lexicographiques
▫ Développement d’un prototype d’éditeur
2. Choix d’un formalisme de représentation des connaissances
▫ Justification de l’inadéquation des standards existants
▫ Construction du formalisme des Graphes d’Unités
3. Opérationnalisation du formalisme des Graphes d’Unités
▫ Définition et caractérisation du raisonnement logique
▫ Opérationnalisation sur le web des données
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 58

59. Perspectives
• Approfondir l’opérationnalisation
▫ Conditions nécessaires et suffisantes de décidabilité
▫ Etude de la complexité
▫ Implémentation sur le web des données
• Approfondir la formalisation
▫ Réviser les règles pour prendre en compte les composantes optionnelles et
interdites dans les définitions lexicographiques
▫ Impact sur l’opérationnalisation
• Complétion de la conceptualisation des définitions lexicographiques
▫ Composantes faibles, parties présuppositionnelles, polysémie lexicale
▫ Impact sur la formalisation et l’opérationnalisation
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 59

60. Perspectives
• Application aux projets de lexicographie explicative et combinatoire
▫ v2 du prototype d’éditeur de définitions lexicographiques
 RELIEF Nancy, Moscou
▫ population automatisée ou semi-automatisée à l’aide de ressources lexicales
existantes sur le web des données
• Etude en lexicographie multilingue
• Représentation des fonctions lexicales
• Représentation d’autres niveaux linguistiques
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 60

61. Perspectives
• Applications au TALN
▫ étude des transducteurs des graphes d’unités
▫ traduction automatique
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 61

62. Perspectives
• Applications au TALN
▫ étude des transducteurs des graphes d’unités
▫ traduction automatique
▫ interaction en langue naturelle avec une base de connaissances
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 62

63. Perspectives
• Applications au TALN
▫ étude des transducteurs des graphes d’unités
▫ traduction automatique
▫ interaction en langue naturelle avec une base de connaissances
▫ cercle vertueux
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 63

64. Publications
Lefrançois, Gandon, Giboin. TOTh’2014
Méthodologie d’ingénierie des connaissances pour la représentation des définitions lexicographiques de la théorie Sens-Texte
Lefrançois, Gandon. IC’2014
Un éditeur de définitions formelles pour les connaissances lexicales de la Théorie Sens-Texte
Lefrançois, Gandon. RANLP’2013
Rationale, Concepts, and Current Outcome of the Unit Graphs Framework
Lefrançois, Gandon. RANLP’2013
The Unit Graphs Framework: Foundational Concepts and Semantic Consequence
Lefrançois, Gandon. MTT’2013
The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Théory
Lefrançois, Gugert, Gandon, Giboin. MTT’2013
Application of the Unit Graphs Framework to Lexicographic Definitions in the RELIEF project
Lefrançois, Gandon. Depling’2013
Reasoning with Dependency Structures and Lexicographic Definitions using Unit Graphs
Lefrançois. RECITAL’2013
Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d’Unités
Lefrançois, Gandon. RR-8212, Inria, 2013
The Unit Graphs Mathematical Framework
Lefrançois, Gandon. MTT’2011
ILexicOn: Toward an ECD-Compliant Interlingual Lexical Ontology Described with SemanticWeb Formalisms
Lefrançois, Gandon. TIA’2011
ULiS: An Expert System on Linguistics to Support MultilingualManagement of Interlingual Knowledge bases
Lefrançois, Gandon. MSW’2011
ULiS: An Expert System on Linguistics to Support MultilingualManagement of Interlingual Semantic Web Knowledge bases
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 64