the unit graphs framework: a graph-based knowledge representation formalism designed for the...
TRANSCRIPT
![Page 1: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/1.jpg)
The Unit Graphs Framework: A graph-based
Knowledge Representation Formalism designed for the Meaning-Text Theory
& Application to Lexicographic Definitions in
the RELIEF project
Maxime Lefrançois, Fabien Gandon[ maxime.lefrancois | fabien.gandon ] @inria.fr
MTT’13 -1, August 30th 2013, Prague
![Page 2: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/2.jpg)
2
Knowledge Representation
•answers recurrent needs▫represent▫manipulate▫query▫reason▫share▫...
•here: applied to the linguistic domain▫Meaning-Text Theory
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 3: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/3.jpg)
3
Choose Formalism
Populate
Applications
t
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 4: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/4.jpg)
4
Choose Formalism
Populate
Applications
t
1. Choose Formalism
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 5: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/5.jpg)
5
1. Choose Formalism•Needs, problems•Semantic Web ?
▫false good idea•Conceptual Graphs ?
▫nop•The Unit Graphs formalism
▫Hierarchy of Unit Types•A deep representation level for meanings•Application to Lexicographic Definitions in RELIEF
▫Scenario: Actantial Structure▫Unit Graphs and PUT Definitions▫Scenario: DSemUT formal Definition▫Scenario: Deep-Surface Correspondence
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 6: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/6.jpg)
6
1893 54 59
1932 65
88 9604
L. Tesnière
I.A. Mel’cuk 91
65 – Begining88 – Dependency Grammar91 – Introduction à la Lexicologie Explicative et Combinatoire96 – Lexical Functions04 – Actants in Semantics and Syntax
Meaning-Text Theory
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 7: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/7.jpg)
7
1893 54 59
1932 65
88 9604
L. Tesnière
I.A. Mel’cuk 91
65 – Begining88 – Dependency Grammar91 – Introduction à la Lexicologie Explicative et Combinatoire96 – Lexical Functions04 – Actants in Semantics and Syntax
Meaning-Text Theory
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 8: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/8.jpg)
8
PEIGNE2a : (Weaving tool that a person X uses to untangle#2 fibres of an object Y)
<CC label="tool">weaving tool</CC><PC role="use">that X uses to untangle#2 fibres of Y</PC>
~ of a person X for object Y
Need 1: Lexicographic Definitions in RELIEF
(Barque & Polguère, 2008)
(Polguère, 2009; Lux-Pogodalla & Polguère, 2011)
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 9: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/9.jpg)
9
PEIGNER2 :
person X ~ fibres Y
TOOL
~ of person X for activity Y
PEIGNE2a : (Weaving tool that a person X uses to untangle#2 fibres of an object Y)
<CC label="tool">weaving tool</CC><PC role="use">that X uses to untangle#2 fibres of Y</PC>
~ of a person X for object Y
Need 1: Lexicographic Definitions in RELIEF (Polguère, 2009; Lux-Pogodalla & Polguère, 2011)
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
(Barque & Polguère, 2008)
![Page 10: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/10.jpg)
10
PEIGNER2 :
person X ~ fibres Y
TOOL
~ of person X for activity Y
PEIGNE2a : (Weaving tool that a person X uses to untangle#2 fibres of an object Y)
<CC label="tool">weaving tool</CC><PC role="use">that X uses to untangle#2 fibres of Y</PC>
~ of a person X for object Y
Need 1: Lexicographic Definitions in RELIEF
(Barque and Polguère, 2008)
(Polguère, 2009; Lux-Pogodalla & Polguère, 2011)
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 11: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/11.jpg)
11
PEIGNER2 :
person X ~ fibres Y
TOOL
~ of person X for activity Y
PEIGNE2a : (Weaving tool that a person X uses to untangle#2 fibres of an object Y)
<CC label="tool">weaving tool</CC><PC role="use">that X uses to untangle#2 fibres of Y</PC>
~ of a person X for object Y
Need 1: Lexicographic Definitions in RELIEF
(Barque and Polguère, 2008)
(Polguère, 2009; Lux-Pogodalla & Polguère, 2011)
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
Formalization level not reached today
![Page 12: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/12.jpg)
12
Meaning-Text Theory
1893 54 59
1932 65
88 9604
L. Tesnière
I.A. Mel’cuk 91
65 – Begining88 – Dependency Grammar91 – Introduction à la Lexicologie Explicative et Combinatoire96 – Lexical Functions04 – Actants in Semantics and Syntax
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 13: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/13.jpg)
13
Semantic Actant Slots (SemASlots)= Participants of the linguistic situation denoted by L
that have a favoured position in sentences constructed with L
Linguistic Predicates
Need 2: Theory of Semantic Actants(Mel’cuk, 2004)
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 14: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/14.jpg)
14
Semantic Actant Slots (SemASlots)= Participants of the linguistic situation denoted by L
that have a favoured position in sentences constructed with L
Linguistic Predicates
Need 2: Theory of Semantic Actants(Mel’cuk, 2004)
+ linguistic criterions
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 15: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/15.jpg)
15
Linguistic Predicates
Need 2: Theory of Semantic Actants(Mel’cuk, 2004)
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
(to eat)(Paul ; eggs ; plate)optional
logicalpredicate≠
![Page 16: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/16.jpg)
16
Linguistic Predicates
Need 2: Theory of Semantic Actants(Mel’cuk, 2004)
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
(outil)(Paul ; Untangle)(outil)(Paul ; Carpenter)
(to eat)(Paul ; eggs ; plate)split
optional
logicalpredicate≠
![Page 17: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/17.jpg)
17
Linguistic Predicates
Need 2: Theory of Semantic Actants(Mel’cuk, 2004)
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
an actant may be a predicate
(outil)(Paul ; Untangle)(outil)(Paul ; Carpenter)
(to eat)(Paul ; eggs ; plate)split
optional
logicalpredicate≠
![Page 18: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/18.jpg)
18
1. Choose Formalism•Needs, problems•Semantic Web ?
▫false good idea•Conceptual Graphs ?
▫nop•The Unit Graphs formalism
▫Hierarchy of Unit Types•A deep representation level for meanings•Application to Lexicographic Definitions in RELIEF
▫Scenario: Actantial Structure▫Unit Graphs and PUT Definitions▫Scenario: DSemUT formal Definition▫Scenario: Deep-Surface Correspondence
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 19: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/19.jpg)
19
Semantic Web
1893 54 59
1932 65
88 9604
L. Tesnière
I.A. Mel’cuk 91
RDF: oriented labelled graphs.standard for the representation and exchange
of structured knowledgeOWL: Description LogicsSPARQL: Query, ...
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 20: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/20.jpg)
20
1893 54 59
1932 65
88 9604
L. Tesnière
I.A. Mel’cuk 91
•RDF: not enough logical semantics OK as syntax for knowledge
exchange
Problems in word word
Semantic Web
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 21: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/21.jpg)
21
1893 54 59
1932 65
88 9604
L. Tesnière
I.A. Mel’cuk 91
•OWL: only binary relations reify ? -> no logical semantics
Semantic Web
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
Problems in word word
![Page 22: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/22.jpg)
22
project: represent lexicographic definitions with OWL
ULiS (Lefrançois & Gandon, MTT’2011, TIA’2011, MSW’2011)
Semantic Web
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 23: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/23.jpg)
23
ULiS
1893 54 59
1932 65
88 9604
L. Tesnière
I.A. Mel’cuk 91
need OWL full + rules (undecidable)
Semantic Web
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
Problems in word word
![Page 24: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/24.jpg)
24
1. Choose Formalism•Needs, problems•Semantic Web ?
▫false good idea•Conceptual Graphs ?
▫nop•The Unit Graphs formalism
▫Hierarchy of Unit Types•A deep representation level for meanings•Application to Lexicographic Definitions in RELIEF
▫Scenario: Actantial Structure▫Unit Graphs and PUT Definitions▫Scenario: DSemUT formal Definition▫Scenario: Deep-Surface Correspondence
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 25: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/25.jpg)
25
Conceptual Graphs
1893 54 59
1932 65
88 9604
L. Tesnière
I.A. Mel’cuk 91
1940
84
J.F. Sowa
•Oriented labelled Graphs•Sowa drew his inspiration from Tesnière•Rules, reasoning, (Baget, Mugnier, Chein, ...)
•Concepts and Relations definitions, (Sowa, Leclère, ...)
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 26: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/26.jpg)
26
1893 54 59
1932 65
88 9604
L. Tesnière
I.A. Mel’cuk 91
1940
84
J.F. Sowa
•Alternation concept-relation
Problems in word word
Conceptual Graphs
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 27: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/27.jpg)
27
1893 54 59
1932 65
88 9604
L. Tesnière
I.A. Mel’cuk 91
1940
84
J.F. Sowa
•Alternation concept-relation•reify ? -> no logical semantics
Problems in word word
Conceptual Graphs
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 28: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/28.jpg)
28
1. Choose Formalism•Needs, problems•Semantic Web ?
▫false good idea•Conceptual Graphs ?
▫nop•The Unit Graphs formalism
▫Hierarchy of Unit Types•A deep representation level for meanings•Application to Lexicographic Definitions in RELIEF
▫Scenario: Actantial Structure▫Unit Graphs and PUT Definitions▫Scenario: DSemUT formal Definition▫Scenario: Deep-Surface Correspondence
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 29: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/29.jpg)
29
t
The Unit Graphs Formalism•a graph-based formalism,•to represent linguistic units
Choose Formalism
Populate
Applications
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 30: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/30.jpg)
30
t
Draw inspiration from GC
andDevelop a RDF syntax
to exchange knowledge
The Unit Graphs Formalism
Choose Formalism
Populate
Applications
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 31: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/31.jpg)
31
t
The Unit Graphs Formalism
Choose Formalism
Populate
Applications
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
Draw inspiration from GC
andDevelop a RDF syntax
to exchange knowledge
![Page 32: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/32.jpg)
32
Units – Representations
(c.f., Mel’čuk, 2004)
Unit Types – Lexicon
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 33: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/33.jpg)
33
1. Choose Formalism•Needs, problems•Semantic Web ?
▫false good idea•Conceptual Graphs ?
▫nop•The Unit Graphs formalism
▫Hierarchy of Unit Types•A deep representation level for meanings•Application to Lexicographic Definitions in RELIEF
▫Scenario: Actantial Structure▫Unit Graphs and PUT Definitions▫Scenario: DSemUT formal Definition▫Scenario: Deep-Surface Correspondence
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 34: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/34.jpg)
34
Surface Semantic
s
Deep Syntax
Surface Syntax
Texts
Linguistic Unit Types
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 35: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/35.jpg)
35
Surface Semantic
s
Deep Syntax
Surface Syntax
Texts
Linguistic Unit Types•have an Actantial structure
▫Optional, obligatory, prohibited Actant Slots (ASlots)
▫have a signatureIt specifies how their instances shall be linked to other units in UGs
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 36: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/36.jpg)
36
Surface Semantic
s
Deep Syntax
Surface Syntax
Texts
Linguistic Unit Types•have an Actantial structure
▫Optional, obligatory, prohibited Actant Slots (ASlots)
▫have a signature
•are described in a hierarchy▫a Unit Type inherits and may specialize
the Actantial Structure of its parents
It specifies how their instances shall be linked to other units in UGs
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 37: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/37.jpg)
37
Hierarchy of Unit Types
Actant Symbols (ASymbols)
Surface Semantics: NumbersDeep Syntax: Roman numerals...
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 38: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/38.jpg)
38
Hierarchy of Unit Types
Primitive Unit Types (PUTs) is the disjoint union of:
the set of declared PUTsex: Lexical unit type ANIMAL Grammatical unit type Verb, Noun, plur Surface Semantic unit type (animal)
radices (the roots)
obligant (those that make obligatory)
prohibent (those that prohibit) The prime absurd PUTThe prime universal PUTs
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 39: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/39.jpg)
39
The Actantial Structure of Unit Types
is the set of its obligatory, prohibited,and optional ASlots, and their signature
Hierarchy of Unit TypesLefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 40: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/40.jpg)
40
Pre-order over PUTs is used to compute a pre-order over PUTs, and to assign a set of ASlots to each PUT.
t has an ASlot s iif t is a descendent of γ(s) s ϵ α(t)Aslot s is obligatory iif t is a descendent of γ1(s) s ϵ α1(t)ASlot s is prohibited iif t is a descendent of γ0(s) s ϵ α0(t)ASlot s is optional iif t is neither obligatory nor prohibited s ϵ α? (t)
ex: X eats Y (in Z) : (γ1(1), (eat)), (γ1(2), (eat)), (γ(3), (eat)) (γ(subject), Verb) (pluralizable, plur) ((animal) ,(dog)) ?
Hierarchy of Unit TypesLefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 41: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/41.jpg)
41
Signatures of ASlots
denotes the type of units that fill ASlot s of a unit of type t
ex:
Hierarchy of Unit TypesLefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 42: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/42.jpg)
42
A Unit may consist of several conjoint PUTs Conjunctive Unit Types (CUTs)
ex: { def, plur, ANIMAL } ((the animals))
the actantial structure of PUTs is naturally extended to CUTs
some CUTs are asserted to be absurd. the pre-order over PUTs
is extended to a pre-order over CUTsabsurd CUTs are those lower than
the prime absurd PUT
Hierarchy of Unit TypesLefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 43: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/43.jpg)
43
Organization of the Unit Types Hierarchy with respect to a unique ASymbol sThe complete Unit Types Hierarchy
is an intricated superposition of such figures
≃
radix
obligat
prohibet
absurd
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 44: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/44.jpg)
44
1. Choose Formalism•Needs, problems•Semantic Web ?
▫false good idea•Conceptual Graphs ?
▫nop•The Unit Graphs formalism
▫Hierarchy of Unit Types•A deep representation level for meanings•Application to Lexicographic Definitions in RELIEF
▫Scenario: Actantial Structure▫Unit Graphs and PUT Definitions▫Scenario: DSemUT formal Definition▫Scenario: Deep-Surface Correspondence
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 45: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/45.jpg)
45Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
Hierarchy of Meanings ?
hierarchy of UT
= hierarchy of
meanings
?
![Page 46: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/46.jpg)
46Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
Hierarchy of Meanings ?
hierarchy of UT
= hierarchy of
meanings
?
•(outil) (tool)• ASlot 1 – person that uses the tool• ASlot 2 – either activity or profession
•(ciseaux) (scissors)• ASlot 1 – person that uses the scissors• ASlot 2 – the object to be cut
![Page 47: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/47.jpg)
47Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
Hierarchy of Meanings ?
•(outil) (tool)• ASlot 1 – person that uses the tool• ASlot 2 – either activity or profession
•(ciseaux) (scissors)• ASlot 1 – person that uses the scissors• ASlot 2 – the object to be cut
Is an activity or a profession
a kind of object ?
- NO !
![Page 48: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/48.jpg)
48Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
Hierarchy of Meanings ?
•We introduce a deeper level of representation:
The Deep Semantic Level
•notation /outil\
•ASymbols are Lexicalized semantic roleshierarchy of
DSemUT=
hierarchy of meanings
![Page 49: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/49.jpg)
49Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
Deep Semantic Unit Types
•ASlots of /L\ correspond to:Obligatory or optional participants of SIT(L)that are:•SemASlots of L•or SemASlots of a L’ such that /L’\ < /L\
![Page 50: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/50.jpg)
50Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
Deep Semantic Unit Types
Example of inheritance and specializationin the hierarchy of Deep Semantic Unit Types
![Page 51: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/51.jpg)
51
1. Choose Formalism•Needs, problems•Semantic Web ?
▫false good idea•Conceptual Graphs ?
▫nop•The Unit Graphs formalism
▫Hierarchy of Unit Types•A deep representation level for meanings•Application to Lexicographic Definitions in RELIEF
▫Scenario: Actantial Structure▫Unit Graphs and PUT Definitions▫Scenario: DSemUT formal Definition▫Scenario: Deep-Surface Correspondence
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 52: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/52.jpg)
52
PEIGNER2 :
person X ~ fibres Y
TOOL
~ of person X for activity Y
PEIGNE2a : (Weaving tool that a person X uses to untangle#2 fibres of an object Y)
<CC label="tool">weaving tool</CC><PC role="use">that X uses to untangle#2 fibres of Y</PC>
~ of a person X for object Y
Need 1: Lexicographic Definitions in RELIEF (Polguère, 2009; Lux-Pogodalla & Polguère, 2011)
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
(Barque & Polguère, 2008)
![Page 53: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/53.jpg)
53
PEIGNER2 :
person X ~ fibres Y
TOOL
~ of person X for activity Y
PEIGNE2a : (Weaving tool that a person X uses to untangle#2 fibres of an object Y)
<CC label="tool">weaving tool</CC><PC role="use">that X uses to untangle#2 fibres of Y</PC>
~ of a person X for object Y
Need 1: Lexicographic Definitions in RELIEF
(Barque and Polguère, 2008)
(Polguère, 2009; Lux-Pogodalla & Polguère, 2011)
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 54: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/54.jpg)
54
1. Choose Formalism•Needs, problems•Semantic Web ?
▫false good idea•Conceptual Graphs ?
▫nop•The Unit Graphs formalism
▫Hierarchy of Unit Types•A deep representation level for meanings•Application to Lexicographic Definitions in RELIEF
▫Scenario: Actantial Structure▫Unit Graphs and PUT Definitions▫Scenario: DSemUT formal Definition▫Scenario: Deep-Surface Correspondence
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 55: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/55.jpg)
55
Definition 1: Actantial Structure
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 56: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/56.jpg)
56
1. Choose Formalism•Needs, problems•Semantic Web ?
▫false good idea•Conceptual Graphs ?
▫nop•The Unit Graphs formalism
▫Hierarchy of Unit Types•A deep representation level for meanings•Application to Lexicographic Definitions in RELIEF
▫Scenario: Actantial Structure▫Unit Graphs and PUT Definitions▫Scenario: DSemUT formal Definition▫Scenario: Deep-Surface Correspondence
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 57: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/57.jpg)
57
Unit Graphs
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
are defined over a Support
Unit Node MarkersArbitrary SymbolsEvery Element of M identifies a specific unit;Multiple elements of M may identify the same unit.
![Page 58: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/58.jpg)
58
Unit Graphs
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
are defined over a Support
Unit nodesUnit nodes labels : a type + a markerActantial triplesCircumstantial triplesDeclared equivalences of unit nodes
![Page 59: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/59.jpg)
59
PUT Definition
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
The Lexicographic definition of L corresponds to the definition of /L\
![Page 60: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/60.jpg)
60
PUT Definition
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
•An equivalence between two Unit Graphs
The Lexicographic definition of L corresponds to the definition of /L\
![Page 61: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/61.jpg)
61
1. Choose Formalism•Needs, problems•Semantic Web ?
▫false good idea•Conceptual Graphs ?
▫nop•The Unit Graphs formalism
▫Hierarchy of Unit Types•A deep representation level for meanings•Application to Lexicographic Definitions in RELIEF
▫Scenario: Actantial Structure▫Unit Graphs and PUT Definitions▫Scenario: DSemUT formal Definition▫Scenario: Deep-Surface Correspondence
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 62: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/62.jpg)
62Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
Definition 2: DSemUT Definition
![Page 63: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/63.jpg)
63Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
Definition 2: DSemUT Definition
![Page 64: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/64.jpg)
64Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
Definition 2: DSemUT Definition
![Page 65: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/65.jpg)
65Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
Definition 2: DSemUT Definition
![Page 66: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/66.jpg)
66Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
Definition 2: DSemUT Definition
![Page 67: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/67.jpg)
67Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
Definition 2: DSemUT Definition
![Page 68: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/68.jpg)
68
1. Choose Formalism•Needs, problems•Semantic Web ?
▫false good idea•Conceptual Graphs ?
▫nop•The Unit Graphs formalism
▫Hierarchy of Unit Types•A deep representation level for meanings•Application to Lexicographic Definitions in RELIEF
▫Scenario: Actantial Structure▫Unit Graphs and PUT Definitions▫Scenario: DSemUT formal Definition▫Scenario: Deep-Surface Correspondence
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 69: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/69.jpg)
69Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
Definition 3: Deep – Surface correspondence
![Page 70: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/70.jpg)
70
•Design of a prototype web application to represent formal lexicographic definitions using UGs
•Demonstration online (in French) Edition of the lexicographic definition of lexical unit PEIGNE2a ▫wimmics.inria.fr/doc/video/UnitGraphs/editor1.html
•Validation with the RELIEF lexicographers
Implementation / Validation
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 71: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/71.jpg)
71
Conclusions
•Linguistic Knowledge Representation•1. Choose Formalims•Identify limitations of existing formalisms•Suppress these limitations with the Unit
Graphs▫Hierarchy of Unit Types▫Need 2: Theory of semantic actants▫Need 1: Lexicographic Definitions in the RLF
Lefrançois, Gandon, The Unit Graphs Framework: Linguistic Knowledge Representation
![Page 72: The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Theory & Application to Lexicographic Definitions](https://reader035.vdocuments.net/reader035/viewer/2022062515/56649f3f5503460f94c60398/html5/thumbnails/72.jpg)
The Unit Graphs Framework: A graph-based
Knowledge Representation Formalism designed for the Meaning-Text Theory
& Application to Lexicographic Definitions in
the RELIEF project
MTT’13 , August 30th 2013, Prague
Thank you