The Unit Graphs Mathematical Framework

Résumé En Fr

We are interested in the choice of a graph-based knowledge representation formalism that would allow for the representation, manipulation, query, and reasoning over linguistic knowledge of the Explanatory Combinatorial Dictionary (ECD) of the Meaning-Text Theory (MTT). We show that neither the semantic web formalisms nor the Conceptual Graphs Formalism are suitable for this task, and we justify the introduction of the new Unit Graphs (UGs) framework. We introduce the fundamental concepts of the UGs mathematical framework: the Unit Types hierarchy and the Unit Graphs. We then show how they may be used to represent lexicographic definitions in the ECD. Finally we provide the UGs with reasoning capabilities.

Nous nous intéressons au choix d'un formalisme de représentation des connaissances à base de graphes qui permette de représenter, manipuler, interroger et raisonner sur des connaissances linguistiques du Dictionnaire Explicatif et Combinatoire (DEC) de la Théorie Sens-Texte. Nous montrons que ni les formalismes du web sémantique ni le formalisme des Graphes conceptuels (GC) n'est adapté pour cela, et justifions l'introduction d'un nouveau formalisme dit des Graphes d'Unités. Nous introduisons donc les concepts fondamentaux du formalisme des Graphes d'Unités (GU): la hiérarchie des Types d'Unités et les Graphes d'Unités. Nous montrons ensuite comment on peut les utiliser pour représenter les définitions lexicographiques dans le DEC. Nous permettons finalement le raisonnement dans les GU.