SlideShare a Scribd company logo
1 of 62
Download to read offline
Représentation
des connaissances du DEC:
Concepts fondamentaux
du formalisme des Graphes d’Unités
Maxime Lefrançois
maxime.lefrancois@inria.fr
TALN-RECITAL’13, 20 juin 2013, Sables d’Olonne
INRIA Wimmics – Fabien Gandon
LIG GETALP – Christian Boitet
Représentation des connaissances
• répond à des besoins récurrents
▫ représenter
▫ manipuler
▫ interroger
▫ raisonner
▫ partager
▫ ...
• ici: appliqué au domaine de la linguistique
▫ Théorie Sens-Texte
2Maxime Lefrançois, Représentation des connaissances du DEC
Mel’čuk et al
3Maxime Lefrançois, Représentation des connaissances du DEC
Choisir le formalisme
Peupler
Applications
t
4Maxime Lefrançois, Représentation des connaissances du DEC
t
Choisir...
1. Choisir le formalisme
5Maxime Lefrançois, Représentation des connaissances du DEC
t
Choisir...
1. Choix d’un formalisme
6
• Besoins, problèmes
• Web Sémantique ?
▫ fausse bonne idée
• Graphes Conceptuels ?
▫ non
• Le formalisme des Graphes d’Unités
▫ Hiérarchie des Types d’Unités
▫ Hiérarchie des symboles de circonstants
▫ Graphes d’Unités
▫ Concepts avancés
Maxime Lefrançois, Représentation des connaissances du DEC
7
Théorie Sens-Texte
1893 54 59
1932
65
88 96
04
L. Tesnière
I.A. Mel’cuk
- Différents niveaux de représentation
- Des règles de transformation
- Importance du Lexique:
Le Dictionnaire Explicatif et Combinatoire
Maxime Lefrançois, Représentation des connaissances du DEC
91
8
Théorie Sens-Texte
1893 54 59
1932
65
88 96
04
L. Tesnière
I.A. Mel’cuk
Maxime Lefrançois, Représentation des connaissances du DEC
91
65 – Début
88 – Dependency Grammar
91 – Introduction à la Lexicologie Explicative et Combinatoire
96 – Lexical Functions
04 – Actants in Semantics and Syntax
9
Théorie Sens-Texte
1893 54 59
1932
65
88 96
04
L. Tesnière
I.A. Mel’cuk
Maxime Lefrançois, Représentation des connaissances du DEC
91
65 – Début
88 – Dependency Grammar
91 – Introduction à la Lexicologie Explicative et Combinatoire
96 – Lexical Functions
04 – Actants in Semantics and Syntax
PEIGNE2a :
(Outil de tissage qu’une personne X utilise pour peigner#2 un objet Y)
10
<CC label="outil">outil de tissage</CC>
<PC role="utilisation">que X utilise pour peigner#2 Y</PC>
~ de personne X pour objet Y
Maxime Lefrançois, Représentation des connaissances du DEC
Besoin 1: Définitions Lexicographiques
dans le RLF
(Barque et Polguère, 2008)
(Polguère, 2009; Lux-Pogodalla et Polguère, 2011)
PEIGNE2a :
(Outil de tissage qu’une personne X utilise pour peigner#2 un objet Y)
11
<CC label="outil">outil de tissage</CC>
<PC role="utilisation">que X utilise pour peigner#2 Y</PC>
~ de personne X pour objet Y
Maxime Lefrançois, Représentation des connaissances du DEC
Besoin 1: Définitions Lexicographiques
dans le RLF
(Barque et Polguère, 2008)
(Polguère, 2009; Lux-Pogodalla et Polguère, 2011)
PEIGNER2 :
personne X ~ fibres Y
OUTIL
~ de personne X pour activité Y
PEIGNE2a :
(Outil de tissage qu’une personne X utilise pour peigner#2 un objet Y)
12
<CC label="outil">outil de tissage</CC>
<PC role="utilisation">que X utilise pour peigner#2 Y</PC>
~ de personne X pour objet Y
Maxime Lefrançois, Représentation des connaissances du DEC
Besoin 1: Définitions Lexicographiques
dans le RLF
(Barque et Polguère, 2008)
(Polguère, 2009; Lux-Pogodalla et Polguère, 2011)
PEIGNER2 :
personne X ~ fibres Y
OUTIL
~ de personne X pour activité Y
PEIGNE2a :
(Outil de tissage qu’une personne X utilise pour peigner#2 un objet Y)
13
<CC label="outil">outil de tissage</CC>
<PC role="utilisation">que X utilise pour peigner#2 Y</PC>
~ de personne X pour objet Y
Maxime Lefrançois, Représentation des connaissances du DEC
Besoin 1: Définitions Lexicographiques
dans le RLF
(Barque et Polguère, 2008)
(Polguère, 2009; Lux-Pogodalla et Polguère, 2011)
PEIGNER2 :
personne X ~ fibres Y
OUTIL
~ de personne X pour activité YDegré de formalisation non atteint aujourd’hui
14
Théorie Sens-Texte
1893 54 59
1932
65
88 96
04
L. Tesnière
I.A. Mel’cuk
Maxime Lefrançois, Représentation des connaissances du DEC
91
65 – Début
88 – Dependency Grammar
91 – Introduction à la Lexicologie Explicative et Combinatoire
96 – Lexical Functions
04 – Actants in Semantics and Syntax
15
Positions actancielles sémantiques (PosASem)
= Les participants de la situation linguistique dénotée par L
qui ont une position privilégiées dans les phrases construites avec L
Prédicats linguistiques
Maxime Lefrançois, Représentation des connaissances du DEC
Besoin 2: Théorie des actants sémantiques
(Mel’cuk, 2004)
16
Positions actancielles sémantiques (PosASem)
= Les participants de la situation linguistique dénotée par L
qui ont une position privilégiées dans les phrases construites avec L
Prédicats linguistiques
Maxime Lefrançois, Représentation des connaissances du DEC
Besoin 2: Théorie des actants sémantiques
(Mel’cuk, 2004)
17
Prédicats linguistiques
Maxime Lefrançois, Représentation des connaissances du DEC
Besoin 2: Théorie des actants sémantiques
(Mel’cuk, 2004)
(to eat)(Paul ; omelette ; plate)
optionnel
prédicat
logique≠
18
Prédicats linguistiques
Maxime Lefrançois, Représentation des connaissances du DEC
Besoin 2: Théorie des actants sémantiques
(Mel’cuk, 2004)
(outil)(Paul ; Mesurer)
(outil)(Paul ; Menuisier)
(to eat)(Paul ; omelette ; plate)
« scindé »
optionnel
prédicat
logique≠
19
Prédicats linguistiques
Maxime Lefrançois, Représentation des connaissances du DEC
Besoin 2: Théorie des actants sémantiques
(Mel’cuk, 2004)
un actant peut être un prédicat
(outil)(Paul ; Mesurer)
(outil)(Paul ; Menuisier)
(to eat)(Paul ; omelette ; plate)
« scindé »
optionnel
prédicat
logique≠
1. Choix d’un formalisme
20
• Besoins, problèmes
• Web Sémantique ?
▫ fausse bonne idée
• Graphes Conceptuels ?
▫ non
• Le formalisme des Graphes d’Unités
▫ Hiérarchie des Types d’Unités
▫ Hiérarchie des symboles de circonstants
▫ Graphes d’Unités
▫ Concepts avancés
Maxime Lefrançois, Représentation des connaissances du DEC
21
Web Sémantique
1893 54 59
1932
65
88 96
04
L. Tesnière
I.A. Mel’cuk
Maxime Lefrançois, Représentation des connaissances du DEC
91
RDF: des graphes étiquetés et orientés.
standard pour la représentation et l’échange
de connaissances structurées
OWL: Logiques de description
SPARQL: Interroger, ...
22
Web Sémantique
1893 54 59
1932
65
88 96
04
L. Tesnière
I.A. Mel’cuk
Maxime Lefrançois, Représentation des connaissances du DEC
91
• RDF: trop peu de sémantique
OK comme syntaxe d’échange
Problèmes en mot mot.
23
Web Sémantique
1893 54 59
1932
65
88 96
04
L. Tesnière
I.A. Mel’cuk
Maxime Lefrançois, Représentation des connaissances du DEC
91
• OLW: que des relations binaires
réifier ? -> pas de sémantique
Problèmes en mot mot.
24
Web Sémantique
Maxime Lefrançois, Représentation des connaissances du DEC
Projet pour représenter les définitions lexicographiquesULiS
(Lefrançois & Gandon, MTT’2011, TIA’2011, MSW’2011)
25
Web Sémantique
Maxime Lefrançois, Représentation des connaissances du DEC
ULiS
1893 54 59
1932
65
88 96
04
L. Tesnière
I.A. Mel’cuk 91
besoin de OWL full + règles
Problèmes en mot mot.
1. Choix d’un formalisme
26
• Besoins, problèmes
• Web Sémantique ?
▫ fausse bonne idée
• Graphes Conceptuels ?
▫ non
• Le formalisme des Graphes d’Unités
▫ Hiérarchie des Types d’Unités
▫ Hiérarchie des symboles de circonstants
▫ Graphes d’Unités
▫ Concepts avancés
Maxime Lefrançois, Représentation des connaissances du DEC
27
Graphes Conceptuels
Maxime Lefrançois, Représentation des connaissances du DEC
1893 54 59
1932
65
88 96
04
L. Tesnière
I.A. Mel’cuk 91
1940
84
J.F. Sowa
• Graphes étiquetés orientés
• Sowa s’est inspiré de Tesnière
• Règles, raisonnement, (Sowa, Leclère, ...)
• Définitions de concepts et de relations, (Baget, Mugnier, Chein, ...)
28
Graphes Conceptuels
Maxime Lefrançois, Représentation des connaissances du DEC
1893 54 59
1932
65
88 96
04
L. Tesnière
I.A. Mel’cuk 91
1940
84
J.F. Sowa
• Alternance concepts-relations
Problèmes en mot mot.
29
Graphes Conceptuels
Maxime Lefrançois, Représentation des connaissances du DEC
1893 54 59
1932
65
88 96
04
L. Tesnière
I.A. Mel’cuk 91
1940
84
J.F. Sowa
• Alternance concepts-relations
• réifier ? -> pas de sémantique
Problèmes en mot mot.
30
Graphes Conceptuels
Maxime Lefrançois, Représentation des connaissances du DEC
1893 54 59
1932
65
88 96
04
L. Tesnière
I.A. Mel’cuk 91
1940
84
J.F. Sowa
• Alternance concepts-relations
• réifier ? -> pas de sémantique
• hiérarchies:
les relations d’arité différentes sont incomparables !
Problèmes en mot mot.
1. Choix d’un formalisme
31
• Besoins, problèmes
• Web Sémantique ?
▫ fausse bonne idée
• Graphes Conceptuels ?
▫ non
• Le formalisme des Graphes d’Unités
▫ Hiérarchie des Types d’Unités
▫ Hiérarchie des symboles de circonstants
▫ Graphes d’Unités
▫ Concepts avancés
Maxime Lefrançois, Représentation des connaissances du DEC
32Maxime Lefrançois, Représentation des connaissances du DEC
t
Choisir...
Le formalisme des Graphes d’Unités
• un formalisme à base de graphes,
• pour représenter des unités linguistiques
33Maxime Lefrançois, Représentation des connaissances du DEC
t
Choisir...
S’inspirer des GC
et
Proposer une syntaxe RDF
pour l’échange des connaissances
Le formalisme des Graphes d’Unités
34Maxime Lefrançois, Représentation des connaissances du DEC
t
Choisir...
S’inspirer des GC
et
Proposer une syntaxe RDF
pour l’échange des connaissances
Le formalisme des Graphes d’Unités
35
Unités – Représentations
(c.f., Mel’čuk, 2004)
Types d’Unités – Lexique
Maxime Lefrançois, Représentation des connaissances du DEC
1. Choix d’un formalisme
36
• Besoins, problèmes
• Web Sémantique ?
▫ fausse bonne idée
• Graphes Conceptuels ?
▫ non
• Le formalisme des Graphes d’Unités
▫ Hiérarchie des Types d’Unités
▫ Hiérarchie des symboles de circonstants
▫ Graphes d’Unités
▫ Concepts avancés
Maxime Lefrançois, Représentation des connaissances du DEC
37
Types d’Unités
Maxime Lefrançois, Représentation des connaissances du DEC
▫ à la fois un concept et une relation
▫ avec une structure actancielle
 PosA optionnelles, obligatoires
 Signatures
38Maxime Lefrançois, Représentation des connaissances du DEC
critères linguistiques ?
obligatoires ou optionnels ?
« scindés » ?
hiérarchisation des TU
=
hiérarchisation des sens
?
Hiérarchie des Types d’unités
39Maxime Lefrançois, Représentation des connaissances du DEC
Hiérarchie des Types d’unités
critères linguistiques ?
obligatoires ou optionnels ?
« scindés » ?
Les participants de situation linguistique dénotée par L
Sont hérités/spécialisés lorsqu’on spécialise le sens de L
hiérarchisation des TU
=
hiérarchisation des sens
?
• Structure actancielle des Types d’Unités
▫ PosA optionnelles, obligatoires, interdites
▫ Signatures
• Héritage et spécialisation
▫ Les PosA optionnelles peuvent devenir obligatoires
▫ Les PosA optionnelles peuvent devenir interdites
▫ Les signatures des PosA peuvent être spécialisées
▫ De nouvelles PosA
40
graze < to eat
peigne < outil
Maxime Lefrançois, Représentation des connaissances du DEC
Hiérarchie des Types d’unités
41
≃
radix
obligat
prohibet
absurde
Maxime Lefrançois, Représentation des connaissances du DEC
Hiérarchie des Types d’unités
1. Choix d’un formalisme
42
• Besoins, problèmes
• Web Sémantique ?
▫ fausse bonne idée
• Graphes Conceptuels ?
▫ non
• Le formalisme des Graphes d’Unités
▫ Hiérarchie des Types d’Unités
▫ Hiérarchie des symboles de circonstants
▫ Graphes d’Unités
▫ Concepts avancés
Maxime Lefrançois, Représentation des connaissances du DEC
• ATTR – APPEND – COORD
• Tout ce qui n’est pas fonctionnel
43
Hiérarchie des Symboles de circonstants
1. Choix d’un formalisme
44
• Besoins, problèmes
• Web Sémantique ?
▫ fausse bonne idée
• Graphes Conceptuels ?
▫ non
• Le formalisme des Graphes d’Unités
▫ Hiérarchie des Types d’Unités
▫ Hiérarchie des symboles de circonstants
▫ Graphes d’Unités
▫ Concepts avancés
Maxime Lefrançois, Représentation des connaissances du DEC
Graphes d’Unités
• Support
• Graphe d’unité
▫ Nœuds unités
▫ Étiquettes
▫ Triplets actanciels
▫ Triplets circonstanciels
▫ Equivalences déclarées de nœuds unités
45Maxime Lefrançois, Représentation des connaissances du DEC
46Maxime Lefrançois, Représentation des connaissances du DEC
Graphes d’Unités
• Support
• Graphe d’unité
47Maxime Lefrançois, Représentation des connaissances du DEC
Graphes d’Unités
• Support
• Graphe d’unité
Conclusions
48
• Représentation des connaissances linguistique
• 1. Choix du formalisme
• Identifier les limitations des formalismes existants
• Lever ces limitations avec les Graphes d’Unités
▫ Hiérarchie des Types d’Unités et Graphes d’Unités
▫ Besoin 2: Théorie des actants sémantiques
▫ Besoin 1: Définitions Lexicographiques dans le RLF
Conclusions
49
?
• Représentation des connaissances linguistique
• 1. Choix du formalisme
• Identifier les limitations des formalismes existants
• Lever ces limitations avec les Graphes d’Unités
▫ Hiérarchie des Types d’Unités et Graphes d’Unités
▫ Besoin 2: Théorie des actants sémantiques
▫ Besoin 1: Définitions Lexicographiques dans le RLF
Conclusions
• Représentation des connaissances linguistique
• 1. Choix du formalisme
• Identifier les limitations des formalismes existants
• Lever ces limitations avec les Graphes d’Unités
▫ Hiérarchie des Types d’Unités et Graphes d’Unités
▫ Besoin 2: Théorie des actants sémantiques
▫ Besoin 1: Définitions Lexicographiques dans le RLF
50
Perspectives... annoncées dans l’article
?
1. Choix d’un formalisme
51
• Besoins, problèmes
• Web Sémantique ?
▫ fausse bonne idée
• Graphes Conceptuels ?
▫ non
• Le formalisme des Graphes d’Unités
▫ Hiérarchie des Types d’Unités
▫ Hiérarchie des symboles de circonstants
▫ Graphes d’Unités
▫ Concepts avancés
Maxime Lefrançois, Représentation des connaissances du DEC
CA1. Implications pour la TST
• Distinction
Sémantique de Surface et Sémantique Profonde
• + définition des structures actancielles
des TUSemS et TUSemP
▫ symboles d’Actants SemP: rôles sémantiques lexicalisés
52Maxime Lefrançois, Représentation des connaissances du DEC
hiérarchisation des TU
=
hiérarchisation des sens
?
(Lefrançois & Gandon, MTT’2013)
CA1. Implications pour la TST
53
(Lefrançois & Gandon, MTT’2013)
Maxime Lefrançois, Représentation des connaissances du DEC
hiérarchisation des TU
=
hiérarchisation des sens
?
CA2. Application au projet RELIEF
• Scénario: Edition de la définition
lexicographique de la lexie PEIGNE2a
54Maxime Lefrançois, Représentation des connaissances du DEC
(Lefrançois, Gugert, Giboin, Gandon, MTT’2013)
CA1. Application au projet RELIEF
• Scénario: Edition de la définition
lexicographique de la lexie PEIGNE2a
• Maquettage d’un éditeur pour représenter les
définitions formelles par des GUs
55Maxime Lefrançois, Représentation des connaissances du DEC
(Lefrançois, Gugert, Giboin, Gandon, MTT’2013)
• Avec des règles d’inférence + homomorphismes
56Maxime Lefrançois, Représentation des connaissances du DEC
CA3. Sémantique (logique) des UGs
(Lefrançois & Gandon, Depling’2013)
CA3. Sémantique (logique) des UGs
• Avec des règles d’inférence + homomorphismes
• Avec sémantique des modèles
et algèbre relationnelle
• Equivalence entre les sémantiques ?
complexité des raisonnements classiques ?
57Maxime Lefrançois, Représentation des connaissances du DEC
(Lefrançois & Gandon, Depling’2013)
• Correspondance entre niveaux
▫ Exemple: niveau SemP - SemS
58
(Lefrançois & Gandon, Depling’2013)
Maxime Lefrançois, Représentation des connaissances du DEC
CA4. Règles
59Maxime Lefrançois, Représentation des connaissances du DEC
• Correspondance entre niveaux
• Transformation ?
• Grammaticalité ?
(Lefrançois & Gandon, Depling’2013)
CA4. Règles
Représentation
des connaissances du DEC:
Concepts fondamentaux
du formalisme des Graphes d’Unités
Merci
TALN-RECITAL’13, 20 juin 2013, Sables d’Olonne
61
Allô ? non mais allô quoi !
tu danses la gavotte
et tu viens pas te baigner ?
1. Choix d’un formalisme
62
• Besoins, problèmes
• Web Sémantique ?
▫ fausse bonne idée
• Graphes Conceptuels ?
▫ non
• Le formalisme des Graphes d’Unités
▫ Hiérarchie des Types d’Unités
▫ Hiérarchie des symboles de circonstants
▫ Graphes d’Unités
▫ Concepts avancés
Maxime Lefrançois, Représentation des connaissances du DEC
maxime.lefrancois@inria.fr

More Related Content

More from Maxime Lefrançois

SPARQL-Generate, présentation SemWeb.Pro 2019
SPARQL-Generate, présentation SemWeb.Pro 2019SPARQL-Generate, présentation SemWeb.Pro 2019
SPARQL-Generate, présentation SemWeb.Pro 2019Maxime Lefrançois
 
Reference Knowledge Models for Smart Application
Reference Knowledge Models for Smart ApplicationReference Knowledge Models for Smart Application
Reference Knowledge Models for Smart ApplicationMaxime Lefrançois
 
Overview of the SPARQL-Generate language and latest developments
Overview of the SPARQL-Generate language and latest developmentsOverview of the SPARQL-Generate language and latest developments
Overview of the SPARQL-Generate language and latest developmentsMaxime Lefrançois
 
ITEA2 SEAS Knowledge Model Online Course
ITEA2 SEAS Knowledge Model Online CourseITEA2 SEAS Knowledge Model Online Course
ITEA2 SEAS Knowledge Model Online CourseMaxime Lefrançois
 
LefrancoisGandon@MTT11: ILexicOn
LefrancoisGandon@MTT11: ILexicOnLefrancoisGandon@MTT11: ILexicOn
LefrancoisGandon@MTT11: ILexicOnMaxime Lefrançois
 

More from Maxime Lefrançois (7)

SPARQL-Generate, présentation SemWeb.Pro 2019
SPARQL-Generate, présentation SemWeb.Pro 2019SPARQL-Generate, présentation SemWeb.Pro 2019
SPARQL-Generate, présentation SemWeb.Pro 2019
 
Reference Knowledge Models for Smart Application
Reference Knowledge Models for Smart ApplicationReference Knowledge Models for Smart Application
Reference Knowledge Models for Smart Application
 
Overview of the SPARQL-Generate language and latest developments
Overview of the SPARQL-Generate language and latest developmentsOverview of the SPARQL-Generate language and latest developments
Overview of the SPARQL-Generate language and latest developments
 
ITEA2 SEAS Knowledge Model Online Course
ITEA2 SEAS Knowledge Model Online CourseITEA2 SEAS Knowledge Model Online Course
ITEA2 SEAS Knowledge Model Online Course
 
MTT-2013
MTT-2013MTT-2013
MTT-2013
 
LefrancoisGandon@MSW11: ULiS
LefrancoisGandon@MSW11: ULiSLefrancoisGandon@MSW11: ULiS
LefrancoisGandon@MSW11: ULiS
 
LefrancoisGandon@MTT11: ILexicOn
LefrancoisGandon@MTT11: ILexicOnLefrancoisGandon@MTT11: ILexicOn
LefrancoisGandon@MTT11: ILexicOn
 

Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités

  • 1. Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d’Unités Maxime Lefrançois maxime.lefrancois@inria.fr TALN-RECITAL’13, 20 juin 2013, Sables d’Olonne INRIA Wimmics – Fabien Gandon LIG GETALP – Christian Boitet
  • 2. Représentation des connaissances • répond à des besoins récurrents ▫ représenter ▫ manipuler ▫ interroger ▫ raisonner ▫ partager ▫ ... • ici: appliqué au domaine de la linguistique ▫ Théorie Sens-Texte 2Maxime Lefrançois, Représentation des connaissances du DEC Mel’čuk et al
  • 3. 3Maxime Lefrançois, Représentation des connaissances du DEC Choisir le formalisme Peupler Applications t
  • 4. 4Maxime Lefrançois, Représentation des connaissances du DEC t Choisir...
  • 5. 1. Choisir le formalisme 5Maxime Lefrançois, Représentation des connaissances du DEC t Choisir...
  • 6. 1. Choix d’un formalisme 6 • Besoins, problèmes • Web Sémantique ? ▫ fausse bonne idée • Graphes Conceptuels ? ▫ non • Le formalisme des Graphes d’Unités ▫ Hiérarchie des Types d’Unités ▫ Hiérarchie des symboles de circonstants ▫ Graphes d’Unités ▫ Concepts avancés Maxime Lefrançois, Représentation des connaissances du DEC
  • 7. 7 Théorie Sens-Texte 1893 54 59 1932 65 88 96 04 L. Tesnière I.A. Mel’cuk - Différents niveaux de représentation - Des règles de transformation - Importance du Lexique: Le Dictionnaire Explicatif et Combinatoire Maxime Lefrançois, Représentation des connaissances du DEC 91
  • 8. 8 Théorie Sens-Texte 1893 54 59 1932 65 88 96 04 L. Tesnière I.A. Mel’cuk Maxime Lefrançois, Représentation des connaissances du DEC 91 65 – Début 88 – Dependency Grammar 91 – Introduction à la Lexicologie Explicative et Combinatoire 96 – Lexical Functions 04 – Actants in Semantics and Syntax
  • 9. 9 Théorie Sens-Texte 1893 54 59 1932 65 88 96 04 L. Tesnière I.A. Mel’cuk Maxime Lefrançois, Représentation des connaissances du DEC 91 65 – Début 88 – Dependency Grammar 91 – Introduction à la Lexicologie Explicative et Combinatoire 96 – Lexical Functions 04 – Actants in Semantics and Syntax
  • 10. PEIGNE2a : (Outil de tissage qu’une personne X utilise pour peigner#2 un objet Y) 10 <CC label="outil">outil de tissage</CC> <PC role="utilisation">que X utilise pour peigner#2 Y</PC> ~ de personne X pour objet Y Maxime Lefrançois, Représentation des connaissances du DEC Besoin 1: Définitions Lexicographiques dans le RLF (Barque et Polguère, 2008) (Polguère, 2009; Lux-Pogodalla et Polguère, 2011)
  • 11. PEIGNE2a : (Outil de tissage qu’une personne X utilise pour peigner#2 un objet Y) 11 <CC label="outil">outil de tissage</CC> <PC role="utilisation">que X utilise pour peigner#2 Y</PC> ~ de personne X pour objet Y Maxime Lefrançois, Représentation des connaissances du DEC Besoin 1: Définitions Lexicographiques dans le RLF (Barque et Polguère, 2008) (Polguère, 2009; Lux-Pogodalla et Polguère, 2011) PEIGNER2 : personne X ~ fibres Y OUTIL ~ de personne X pour activité Y
  • 12. PEIGNE2a : (Outil de tissage qu’une personne X utilise pour peigner#2 un objet Y) 12 <CC label="outil">outil de tissage</CC> <PC role="utilisation">que X utilise pour peigner#2 Y</PC> ~ de personne X pour objet Y Maxime Lefrançois, Représentation des connaissances du DEC Besoin 1: Définitions Lexicographiques dans le RLF (Barque et Polguère, 2008) (Polguère, 2009; Lux-Pogodalla et Polguère, 2011) PEIGNER2 : personne X ~ fibres Y OUTIL ~ de personne X pour activité Y
  • 13. PEIGNE2a : (Outil de tissage qu’une personne X utilise pour peigner#2 un objet Y) 13 <CC label="outil">outil de tissage</CC> <PC role="utilisation">que X utilise pour peigner#2 Y</PC> ~ de personne X pour objet Y Maxime Lefrançois, Représentation des connaissances du DEC Besoin 1: Définitions Lexicographiques dans le RLF (Barque et Polguère, 2008) (Polguère, 2009; Lux-Pogodalla et Polguère, 2011) PEIGNER2 : personne X ~ fibres Y OUTIL ~ de personne X pour activité YDegré de formalisation non atteint aujourd’hui
  • 14. 14 Théorie Sens-Texte 1893 54 59 1932 65 88 96 04 L. Tesnière I.A. Mel’cuk Maxime Lefrançois, Représentation des connaissances du DEC 91 65 – Début 88 – Dependency Grammar 91 – Introduction à la Lexicologie Explicative et Combinatoire 96 – Lexical Functions 04 – Actants in Semantics and Syntax
  • 15. 15 Positions actancielles sémantiques (PosASem) = Les participants de la situation linguistique dénotée par L qui ont une position privilégiées dans les phrases construites avec L Prédicats linguistiques Maxime Lefrançois, Représentation des connaissances du DEC Besoin 2: Théorie des actants sémantiques (Mel’cuk, 2004)
  • 16. 16 Positions actancielles sémantiques (PosASem) = Les participants de la situation linguistique dénotée par L qui ont une position privilégiées dans les phrases construites avec L Prédicats linguistiques Maxime Lefrançois, Représentation des connaissances du DEC Besoin 2: Théorie des actants sémantiques (Mel’cuk, 2004)
  • 17. 17 Prédicats linguistiques Maxime Lefrançois, Représentation des connaissances du DEC Besoin 2: Théorie des actants sémantiques (Mel’cuk, 2004) (to eat)(Paul ; omelette ; plate) optionnel prédicat logique≠
  • 18. 18 Prédicats linguistiques Maxime Lefrançois, Représentation des connaissances du DEC Besoin 2: Théorie des actants sémantiques (Mel’cuk, 2004) (outil)(Paul ; Mesurer) (outil)(Paul ; Menuisier) (to eat)(Paul ; omelette ; plate) « scindé » optionnel prédicat logique≠
  • 19. 19 Prédicats linguistiques Maxime Lefrançois, Représentation des connaissances du DEC Besoin 2: Théorie des actants sémantiques (Mel’cuk, 2004) un actant peut être un prédicat (outil)(Paul ; Mesurer) (outil)(Paul ; Menuisier) (to eat)(Paul ; omelette ; plate) « scindé » optionnel prédicat logique≠
  • 20. 1. Choix d’un formalisme 20 • Besoins, problèmes • Web Sémantique ? ▫ fausse bonne idée • Graphes Conceptuels ? ▫ non • Le formalisme des Graphes d’Unités ▫ Hiérarchie des Types d’Unités ▫ Hiérarchie des symboles de circonstants ▫ Graphes d’Unités ▫ Concepts avancés Maxime Lefrançois, Représentation des connaissances du DEC
  • 21. 21 Web Sémantique 1893 54 59 1932 65 88 96 04 L. Tesnière I.A. Mel’cuk Maxime Lefrançois, Représentation des connaissances du DEC 91 RDF: des graphes étiquetés et orientés. standard pour la représentation et l’échange de connaissances structurées OWL: Logiques de description SPARQL: Interroger, ...
  • 22. 22 Web Sémantique 1893 54 59 1932 65 88 96 04 L. Tesnière I.A. Mel’cuk Maxime Lefrançois, Représentation des connaissances du DEC 91 • RDF: trop peu de sémantique OK comme syntaxe d’échange Problèmes en mot mot.
  • 23. 23 Web Sémantique 1893 54 59 1932 65 88 96 04 L. Tesnière I.A. Mel’cuk Maxime Lefrançois, Représentation des connaissances du DEC 91 • OLW: que des relations binaires réifier ? -> pas de sémantique Problèmes en mot mot.
  • 24. 24 Web Sémantique Maxime Lefrançois, Représentation des connaissances du DEC Projet pour représenter les définitions lexicographiquesULiS (Lefrançois & Gandon, MTT’2011, TIA’2011, MSW’2011)
  • 25. 25 Web Sémantique Maxime Lefrançois, Représentation des connaissances du DEC ULiS 1893 54 59 1932 65 88 96 04 L. Tesnière I.A. Mel’cuk 91 besoin de OWL full + règles Problèmes en mot mot.
  • 26. 1. Choix d’un formalisme 26 • Besoins, problèmes • Web Sémantique ? ▫ fausse bonne idée • Graphes Conceptuels ? ▫ non • Le formalisme des Graphes d’Unités ▫ Hiérarchie des Types d’Unités ▫ Hiérarchie des symboles de circonstants ▫ Graphes d’Unités ▫ Concepts avancés Maxime Lefrançois, Représentation des connaissances du DEC
  • 27. 27 Graphes Conceptuels Maxime Lefrançois, Représentation des connaissances du DEC 1893 54 59 1932 65 88 96 04 L. Tesnière I.A. Mel’cuk 91 1940 84 J.F. Sowa • Graphes étiquetés orientés • Sowa s’est inspiré de Tesnière • Règles, raisonnement, (Sowa, Leclère, ...) • Définitions de concepts et de relations, (Baget, Mugnier, Chein, ...)
  • 28. 28 Graphes Conceptuels Maxime Lefrançois, Représentation des connaissances du DEC 1893 54 59 1932 65 88 96 04 L. Tesnière I.A. Mel’cuk 91 1940 84 J.F. Sowa • Alternance concepts-relations Problèmes en mot mot.
  • 29. 29 Graphes Conceptuels Maxime Lefrançois, Représentation des connaissances du DEC 1893 54 59 1932 65 88 96 04 L. Tesnière I.A. Mel’cuk 91 1940 84 J.F. Sowa • Alternance concepts-relations • réifier ? -> pas de sémantique Problèmes en mot mot.
  • 30. 30 Graphes Conceptuels Maxime Lefrançois, Représentation des connaissances du DEC 1893 54 59 1932 65 88 96 04 L. Tesnière I.A. Mel’cuk 91 1940 84 J.F. Sowa • Alternance concepts-relations • réifier ? -> pas de sémantique • hiérarchies: les relations d’arité différentes sont incomparables ! Problèmes en mot mot.
  • 31. 1. Choix d’un formalisme 31 • Besoins, problèmes • Web Sémantique ? ▫ fausse bonne idée • Graphes Conceptuels ? ▫ non • Le formalisme des Graphes d’Unités ▫ Hiérarchie des Types d’Unités ▫ Hiérarchie des symboles de circonstants ▫ Graphes d’Unités ▫ Concepts avancés Maxime Lefrançois, Représentation des connaissances du DEC
  • 32. 32Maxime Lefrançois, Représentation des connaissances du DEC t Choisir... Le formalisme des Graphes d’Unités • un formalisme à base de graphes, • pour représenter des unités linguistiques
  • 33. 33Maxime Lefrançois, Représentation des connaissances du DEC t Choisir... S’inspirer des GC et Proposer une syntaxe RDF pour l’échange des connaissances Le formalisme des Graphes d’Unités
  • 34. 34Maxime Lefrançois, Représentation des connaissances du DEC t Choisir... S’inspirer des GC et Proposer une syntaxe RDF pour l’échange des connaissances Le formalisme des Graphes d’Unités
  • 35. 35 Unités – Représentations (c.f., Mel’čuk, 2004) Types d’Unités – Lexique Maxime Lefrançois, Représentation des connaissances du DEC
  • 36. 1. Choix d’un formalisme 36 • Besoins, problèmes • Web Sémantique ? ▫ fausse bonne idée • Graphes Conceptuels ? ▫ non • Le formalisme des Graphes d’Unités ▫ Hiérarchie des Types d’Unités ▫ Hiérarchie des symboles de circonstants ▫ Graphes d’Unités ▫ Concepts avancés Maxime Lefrançois, Représentation des connaissances du DEC
  • 37. 37 Types d’Unités Maxime Lefrançois, Représentation des connaissances du DEC ▫ à la fois un concept et une relation ▫ avec une structure actancielle  PosA optionnelles, obligatoires  Signatures
  • 38. 38Maxime Lefrançois, Représentation des connaissances du DEC critères linguistiques ? obligatoires ou optionnels ? « scindés » ? hiérarchisation des TU = hiérarchisation des sens ? Hiérarchie des Types d’unités
  • 39. 39Maxime Lefrançois, Représentation des connaissances du DEC Hiérarchie des Types d’unités critères linguistiques ? obligatoires ou optionnels ? « scindés » ? Les participants de situation linguistique dénotée par L Sont hérités/spécialisés lorsqu’on spécialise le sens de L hiérarchisation des TU = hiérarchisation des sens ?
  • 40. • Structure actancielle des Types d’Unités ▫ PosA optionnelles, obligatoires, interdites ▫ Signatures • Héritage et spécialisation ▫ Les PosA optionnelles peuvent devenir obligatoires ▫ Les PosA optionnelles peuvent devenir interdites ▫ Les signatures des PosA peuvent être spécialisées ▫ De nouvelles PosA 40 graze < to eat peigne < outil Maxime Lefrançois, Représentation des connaissances du DEC Hiérarchie des Types d’unités
  • 41. 41 ≃ radix obligat prohibet absurde Maxime Lefrançois, Représentation des connaissances du DEC Hiérarchie des Types d’unités
  • 42. 1. Choix d’un formalisme 42 • Besoins, problèmes • Web Sémantique ? ▫ fausse bonne idée • Graphes Conceptuels ? ▫ non • Le formalisme des Graphes d’Unités ▫ Hiérarchie des Types d’Unités ▫ Hiérarchie des symboles de circonstants ▫ Graphes d’Unités ▫ Concepts avancés Maxime Lefrançois, Représentation des connaissances du DEC
  • 43. • ATTR – APPEND – COORD • Tout ce qui n’est pas fonctionnel 43 Hiérarchie des Symboles de circonstants
  • 44. 1. Choix d’un formalisme 44 • Besoins, problèmes • Web Sémantique ? ▫ fausse bonne idée • Graphes Conceptuels ? ▫ non • Le formalisme des Graphes d’Unités ▫ Hiérarchie des Types d’Unités ▫ Hiérarchie des symboles de circonstants ▫ Graphes d’Unités ▫ Concepts avancés Maxime Lefrançois, Représentation des connaissances du DEC
  • 45. Graphes d’Unités • Support • Graphe d’unité ▫ Nœuds unités ▫ Étiquettes ▫ Triplets actanciels ▫ Triplets circonstanciels ▫ Equivalences déclarées de nœuds unités 45Maxime Lefrançois, Représentation des connaissances du DEC
  • 46. 46Maxime Lefrançois, Représentation des connaissances du DEC Graphes d’Unités • Support • Graphe d’unité
  • 47. 47Maxime Lefrançois, Représentation des connaissances du DEC Graphes d’Unités • Support • Graphe d’unité
  • 48. Conclusions 48 • Représentation des connaissances linguistique • 1. Choix du formalisme • Identifier les limitations des formalismes existants • Lever ces limitations avec les Graphes d’Unités ▫ Hiérarchie des Types d’Unités et Graphes d’Unités ▫ Besoin 2: Théorie des actants sémantiques ▫ Besoin 1: Définitions Lexicographiques dans le RLF
  • 49. Conclusions 49 ? • Représentation des connaissances linguistique • 1. Choix du formalisme • Identifier les limitations des formalismes existants • Lever ces limitations avec les Graphes d’Unités ▫ Hiérarchie des Types d’Unités et Graphes d’Unités ▫ Besoin 2: Théorie des actants sémantiques ▫ Besoin 1: Définitions Lexicographiques dans le RLF
  • 50. Conclusions • Représentation des connaissances linguistique • 1. Choix du formalisme • Identifier les limitations des formalismes existants • Lever ces limitations avec les Graphes d’Unités ▫ Hiérarchie des Types d’Unités et Graphes d’Unités ▫ Besoin 2: Théorie des actants sémantiques ▫ Besoin 1: Définitions Lexicographiques dans le RLF 50 Perspectives... annoncées dans l’article ?
  • 51. 1. Choix d’un formalisme 51 • Besoins, problèmes • Web Sémantique ? ▫ fausse bonne idée • Graphes Conceptuels ? ▫ non • Le formalisme des Graphes d’Unités ▫ Hiérarchie des Types d’Unités ▫ Hiérarchie des symboles de circonstants ▫ Graphes d’Unités ▫ Concepts avancés Maxime Lefrançois, Représentation des connaissances du DEC
  • 52. CA1. Implications pour la TST • Distinction Sémantique de Surface et Sémantique Profonde • + définition des structures actancielles des TUSemS et TUSemP ▫ symboles d’Actants SemP: rôles sémantiques lexicalisés 52Maxime Lefrançois, Représentation des connaissances du DEC hiérarchisation des TU = hiérarchisation des sens ? (Lefrançois & Gandon, MTT’2013)
  • 53. CA1. Implications pour la TST 53 (Lefrançois & Gandon, MTT’2013) Maxime Lefrançois, Représentation des connaissances du DEC hiérarchisation des TU = hiérarchisation des sens ?
  • 54. CA2. Application au projet RELIEF • Scénario: Edition de la définition lexicographique de la lexie PEIGNE2a 54Maxime Lefrançois, Représentation des connaissances du DEC (Lefrançois, Gugert, Giboin, Gandon, MTT’2013)
  • 55. CA1. Application au projet RELIEF • Scénario: Edition de la définition lexicographique de la lexie PEIGNE2a • Maquettage d’un éditeur pour représenter les définitions formelles par des GUs 55Maxime Lefrançois, Représentation des connaissances du DEC (Lefrançois, Gugert, Giboin, Gandon, MTT’2013)
  • 56. • Avec des règles d’inférence + homomorphismes 56Maxime Lefrançois, Représentation des connaissances du DEC CA3. Sémantique (logique) des UGs (Lefrançois & Gandon, Depling’2013)
  • 57. CA3. Sémantique (logique) des UGs • Avec des règles d’inférence + homomorphismes • Avec sémantique des modèles et algèbre relationnelle • Equivalence entre les sémantiques ? complexité des raisonnements classiques ? 57Maxime Lefrançois, Représentation des connaissances du DEC (Lefrançois & Gandon, Depling’2013)
  • 58. • Correspondance entre niveaux ▫ Exemple: niveau SemP - SemS 58 (Lefrançois & Gandon, Depling’2013) Maxime Lefrançois, Représentation des connaissances du DEC CA4. Règles
  • 59. 59Maxime Lefrançois, Représentation des connaissances du DEC • Correspondance entre niveaux • Transformation ? • Grammaticalité ? (Lefrançois & Gandon, Depling’2013) CA4. Règles
  • 60. Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d’Unités Merci TALN-RECITAL’13, 20 juin 2013, Sables d’Olonne
  • 61. 61 Allô ? non mais allô quoi ! tu danses la gavotte et tu viens pas te baigner ?
  • 62. 1. Choix d’un formalisme 62 • Besoins, problèmes • Web Sémantique ? ▫ fausse bonne idée • Graphes Conceptuels ? ▫ non • Le formalisme des Graphes d’Unités ▫ Hiérarchie des Types d’Unités ▫ Hiérarchie des symboles de circonstants ▫ Graphes d’Unités ▫ Concepts avancés Maxime Lefrançois, Représentation des connaissances du DEC maxime.lefrancois@inria.fr