%0 Journal Article %T A formal model for lexical descriptions: Typed feature-structure in the formalism BD¨¦f Un mod¨¨le formel de descriptions lexicales: Formalisme BD¨¦f et structures de traits typ¨¦es %A Lucie Barque %A Alexis Nasr %J Traitement Automatique des Langues %D 2010 %I Association pour le Traitement Automatique des Langues (ATALA) %X We propose in this paper a formalization of the BD¨¦f lexicographic definitions proposed by (Altman et Polgu¨¨re, 2003), in order to carry calculus on them. The information richness of such definitions suggest many calculus that are useful for lexicographic practice as well as for a more general reflection on modelling lexical semantics. Such calculus cannot be realized without a thorough formalization of such definitions that we propose to represent as typed feature structures (Carpenter, 1992). The formalization proposed allow to automatically check for the lexicon consistency, which suggest a new methodology for lexical description based on successive enrichment of the lexical database and the meta data that describe it. %K formalized lexicographic definitions %K lexical rules %K typed featured structures %K computing lexical data %U http://www.atala.org/IMG/pdf/TAL-2009-50-1-01-Barque.pdf