The Unit Graphs Mathematical Framework
Résumé
In this paper we are interested in the choice of a knowledge representation formalism that enables the representation, manipulation, query, and reasoning over linguistic knowledge of the Explanatory and Combinatorial Dictionary (ECD) of the Meaning-Text Theory. We show that neither the semantic web formalisms nor the Conceptual Graphs (CGs) Formalism suit our needs, and justify the introduction of a new formalism denoted Unit Graphs (UGs). We thus introduce the fundamental concepts of the UGs mathematical framework: the Unit Types hierarchy and the Unit Graphs. We then show how one one may use them to represent specific aspects of the ECD.
Dans cet article nous nous intéressons au choix d'un formalisme de représentation des connaissances qui nous 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: 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 certains aspects du DEC.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|