These: Maxime Lefrancois, Representation des connaissances semantiques lexicales de la Theorie Sens-Texte

[Thierry Hamon]

Date: Mon, 16 Jun 2014 13:47:23 +0200 (CEST)
From: Maxime Lefrançois <maxime.lefrancois at inria.fr>
Message-ID: <1513674925.1986849.1402919243313.JavaMail.zimbra at inria.fr>
X-url: http://maxime-lefrancois.info


ENGLISH VERSION BELOW 

====================== 

Bonjour à tous, 

J'ai le plaisir de vous inviter à ma soutenance de thèse, "
Représentation des connaissances sémantiques lexicales de la Théorie
Sens-Texte: Conceptualisation, représentation, et opérationnalisation
des définitions lexicographiques ", ainsi qu'au pot qui suivra.

La soutenance aura lieu mardi 24 juin à 14:00 , en salle Euler Violet ,
à l’Inria Sophia Antipolis.



Bien cordialement, 

Maxime Lefrançois 

Attaché de l'Enseignement et de la Recherche, IUT Nice côte d'azur 

Doctorant équipe Wimmics, Inria/I3S 
http://maxime-lefrancois.info 



--- 

Jury : 

DR. Nathalie Aussenac-Gilles, Université de Toulouse, IRIT, CNRS,
Toulouse , relectrice extérieure

Pr. Igor Boguslavsky, Universidad Politécnica de Madrid & Russian
Academy of Sciences, Moscow , relecteur extérieur

Pr. Marie-Laure Mugnier, Université Montpellier 2, LIRMM/Inria ,
relectrice extérieure

Pr. Andrea Tettamanzi, Université de Nice-Sophia Antipolis , examinateur


Directeur : 

DR. Fabien Gandon, Inria Sophia Antipolis-Méditerranée 

Co-directeur : 

Pr. Christian Boitet, Université Joseph Fourier, LIG, Grenoble 



Résumé: 

Nous présentons notre recherche en ingénierie des connaissances
appliquée à la linguistique. Plus particulièrement, aux prédicats
linguistiques, aux représentations linguistiques, et aux définitions
lexicographiques de la théorie linguistique Sens-Texte (TST). Nous
adoptons une méthodologie en trois étapes. 
Nous étudions dans un premier temps la conceptualisation de la TST, et
montrons en quoi elle devrait être étendue pour faciliter une
formalisation ultérieure. Nous justifions en particulier la nécessité de
définir un nouveau niveau de représentation sémantique profond, basé sur
des graphes. Nous y définissons la notion de type d'unité sémantique
profonde et sa structure actancielle: un ensemble de positions
actancielles signées, qui peuvent être obligatoires, optionnelles, ou
interdites, et étiquetées par des rôles sémantiques lexicalisés. Nous
montrons que l'organisation hiérarchique des types d'unités sémantiques
profondes peut correspondre à une hiérarchie de sens au sein de laquelle
les structures actancielles sont héritées et spécialisées. Nous
reconceptualisons les définitions lexicographiques au niveau sémantique
profond, et au niveau du dictionnaire. Finalement, nous présentons un
prototype d'éditeur de définitions basé sur la manipulation directe de
graphes, qui permettera une intégration future de nos travaux dans des
projets de lexicographie explicative et combinatoire. 

Ensuite, nous proposons un formalisme de représentation des
connaissances adapté à cette conceptualisation. Nous démontrons que les
logiques de description et le formalisme des Graphes Conceptuels ne sont
pas adaptés pour représenter les connaissances de la TST. Nous
construisons alors un nouveau formalisme de représentation des
connaissances adapté, dit des Graphes d'Unités. 

Enfin nous étudions l'opérationnalisation du formalisme des Graphes
d'Unités. Nous lui associons une sémantique formelle basée sur la
théorie des modèles et l'algèbre relationnelle, et montrons que les
conditions de décidabilité du raisonnement logique correspondent aux
intuitions des lexicographes. Nous proposons également une
implémentation du formalisme avec les standards du web sémantique, ce
qui permet de profiter des architectures existantes pour le partage,
l'interopérationnalisation, et l'interrogation des connaissances sur le
web des données lexicales liées. 


=============== 

ENGLISH VERSION 

=============== 


Hello, 


I am pleased to invite you to the defence of my PhD thesis, “
Meaning-Text Theory Lexical Semantic Knowledge Representation:
Conceptualization, Representation, and Operationalization of
Lexicographic Definitions ”, and the drinks afterwards. The defence will
take place on Tuesday June 24th, at 2pm in room Euler Violet at Inria
Sophia Antipolis.



Best regards, 

Maxime Lefrançois 

Attaché de l'Enseignement et de la Recherche, IUT Nice côte d'azur

PhD Student Wimmics Team, Inria/I3S http://maxime-lefrancois.info



--- 

Jury : 

DR. Nathalie Aussenac-Gilles, Université de Toulouse, IRIT, CNRS,
Toulouse , reviewer

Pr. Igor Boguslavsky, Universidad Politécnica de Madrid & Russian
Academy of Sciences, Moscow , reviewer

Pr. Marie-Laure Mugnier, Université Montpellier 2, LIRMM/Inria ,
reviewer

Pr. Andrea Tettamanzi, Université de Nice-Sophia Antipolis , examiner



Advisor : 

DR. Fabien Gandon, Inria Sophia Antipolis-Méditerranée 

Co-Advisor : 

Pr. Christian Boitet, Université Joseph Fourier, LIG, Grenoble 



Abstract: 

We present our research in applying knowledge engineering to
linguistics. In particular, to linguistic predicates, linguistic
representations, and lexicographic definitions of the Meaning-Text
Theory (MTT). We adopt a three-step methodology.

We first study the MTT conceptualization, and show how it should be
extended to ease its formalization. We therefore justify the need of
defining a new deep semantic, graph-based, representation level for the
Meaning-Text model. We define the notion of deep semantic unit types and
its actantial structure: a set of signed obligatory, optional or
forbidden actant slots with lexicalized semantic roles as labels. We
show that their hierarchical organization may correspond to a hierarchy
of meanings, inside which actantial structures are inherited and
specialized. We re-conceptualize lexicographic definitions at the deep
semantic level, and at the level of dictionaries. Finally, we present a
definition editor prototype based on graph direct manipulation, which
will allow us, in future work, to integrate our formal model into
explanatory combinatorial lexicographic projects.

We then propose a knowledge representation formalism adapted for this
conceptualization. We demonstrate that Description Logics and the
Conceptual Graphs formalism do not fit our needs. This leads us to
construct a new knowledge representation formalism: the Unit Graphs
formalism.

Finally, we operationalize the Unit Graphs formalism. We assign it a
formal semantic model, which we create based on model theory and
relational algebra. We then show that the reasoning decidability
conditions match the intuitions that lexicographers have. We also
provide an implementation using semantic web standards, which enable us
to use existing architectures for sharing, interoperability, and
knowledge querying over the web of lexical linked data.

Maxime Lefrançois 
ATER IUT Info Nice Fabron 
Doctorant équipe Wimmics, UNS/I3S/CNRS/INRIA 
http://maxime-lefrancois.info 
@Max_Lefrancois 

-------------------------------------------------------------------------
Message diffuse par la liste Langage Naturel <LN at cines.fr>
Informations, abonnement : http://www.atala.org/article.php3?id_article=48
English version       : 
Archives                 : http://listserv.linguistlist.org/archives/ln.html
                                http://liste.cines.fr/info/ln

La liste LN est parrainee par l'ATALA (Association pour le Traitement
Automatique des Langues)
Information et adhesion  : http://www.atala.org/

ATALA décline toute responsabilité concernant le contenu des
messages diffusés sur la liste LN
-------------------------------------------------------------------------