Cette thèse traite de l’enrichissement sémantique de la modélisation d’entreprise. L’étude de l’existant a révélé que les langages de modélisation d’entreprise existant depuis plus de vingt ans sont conçus sur une base essentiellement syntaxique. Les modèles d’entreprise basés sur ces langages accusent un déficit sémantique conséquent entravant fortement la compréhension et l’exploitation de ces modèles. L’étude approfondie du processus de création des modèles d’entreprise et la comparaison faite avec le processus de conversion des connaissances a permis de distinguer différents conflits sémantiques en modélisation d’entreprise et d’affirmer que ces conflits peuvent être diminués avec l’apport d’une sémantique d’avantage explicite. Les ontologies sont caractérisées par leurs capacités à définir des concepts de façon formelle et d’expliciter leur sémantique. Une méthodologie a été proposée en se basant sur les ontologies et les techniques qui lui sont associées. / Abstract

Cette thèse étudie la construction automatique de représentations sémantiques comme lambda-termes simplement typés. Nous introduisons la sémantique formelle et computationnelle et présentons une tentative de construction sémantique à l'aide d'outils d'inférence. Nous expliquons les limites de cette approche et en proposons une autre, basée sur un outil appelé Nessie. Cet outil construit des représentations sémantiques grâce à un lexique spécifiant le sens des mots et à un arbre guidant la construction. L'implantation de l'outil est présentée et ses résultats sont comparés à ceux du système évoqué plus haut. Nous appliquons ensuite Nessie à deux tâches différentes. D'abord, nous montrons comment il peut être utilisé (avec des outils d'inférence) pour étudier la sémantique du temps et de l'aspect des verbes polonais. Ensuite, nous présentons deux approches de la construction compositionnelle du sens de discours basées sur la théorie des types. Nous montrons que Nessie peut être utilisé pour calculer des représentations de discours dans ces deux formalismes; cette double implantation permet de souligner les points forts et les points faibles de chacune et de les comparer. Enfin, nous prouvons que notre approche de la construction sémantique est compatible avec une large gamme de formalismes syntaxiques: ceux reconnus par une grammaire catégorielle abstraite d'ordre 2. Une conséquence de cette caractérisation est que Nessie peut gérer une large gamme de grammaires inversibles et peut donc, théoriquement, être utilisé aussi bien en génération qu'en analyse. Nous concluons en discutant de la pertinence du lambda calcul simplement typé pour la sémantique des langues naturelles. / This thesis discusses the automatic construction of semantic representations as simply typed lambda termes. We introduce non-formal and formal semantics and present one attempt to build semantic representations with the help of reasonning tools. We explain why we find this approach limited and propose our own, at the heart of which is a tool called Nessie. This tool builds semantic representations using a lexicon specifying representations for words and a tree to guide semantic consruction. We present the implementation of this tool in detail, and compare its results with an earlier systme. We then apply Nessie to two different tasks. First we show how it can be used (in conjunction with inference tools) to study the semantics of tense and apsect of Polish verbs. Second, we present two different type-theoretic approaches to the compositional computation of discourse semantics. We show that Nessie can be used to compute discourse representations in both formalisms; this dual implementation enables us to evaluate the strong points and weak points of both approaches, and to make a comparison. Finally, we prove that our approach to semantic construction is compatible with a wide range of grammatical formalisms, namely those which can be expressed in terms of an abstract categorial grammar of order 2. One consequence of this characterisation is that Nessie can handle a large range of invertible grammars and hence is compatible with generation as well as analysis. We conclude by discussing the adequacy of simply typed lambda calculus for natural language semantics.

Dans le contexte aussi ouvert et évolutif que celui du Web, les ressources à décrire se sont diversifiées créant ainsi de nouveaux besoins de description auxquels un schéma générique tel que le Dublin Core ne pouvait répondre. De nombreux schémas de métadonnées ont été ainsi développés, le plus souvent sans aucune concertation; les concepteurs étant généralement guidés par la nécessité de répondre à des objectifs spécifiques de leurs communautés respectives. Cette prolifération des schémas est à l'origine de plusieurs problèmes, notamment celui de l'interopérabilité des éléments de métadonnées. L'interopérabilité des métadonnées peut être considérée selon deux niveaux: syntaxique et sémantique. Le niveau syntaxique porte sur la structure des messages échangés et vise à garantir la cohérence dans la manière dont les informations échangées sont représentées. C'est ici qu'entre en jeu le langage XML qui fournit un format de données standard pour permettre l'échange de données entres systèmes hétérogènes. Le niveau sémantique porte sur la signification des messages. Son rôle est de s'assurer que les échanges qui s'effectuent conservent leur sens afin que les parties communicantes aient une compréhension commune de la signification des données qu'elles s'échangent. L'interopérabilité sémantique est actuellement considérée comme le problème le plus important qui affecte la qualité de la recherche et de l'échange d'information. La solution à ce problème d'interopérabilité des métadonnées repose sur une approche centrée sur les communautés d'intérêt. En effet, les niveaux de difficulté et les défis à relever sont d'autant plus grands que l'on s'éloigne d'une communauté spécifique donnée et les coûts pour atteindre l'interopérabilité augmentent sans que la qualité des résultats soit garantie. Par contre, au sein d'un même domaine de connaissances ou d'une même communauté, l'homogénéité si relative soit-elle, réduit le taille des obstacles à surmonter et rend l'interopérabilité sémantique tout à fait réalisable. Plusieurs techniques ont été proposées afin d'assurer l'interopérabilité des métadonnées. Le mapping est la technique la plus utilisée. Néanmoins, ce processus est extrêmement coûteux surtout lorsque le nombre de schémas devient important et il est peu efficace pour résoudre des problèmes de sémantique puisque, dans la plupart des cas, une intervention humaine est requise. La véritable solution au problème d'interopérabilité des métadonnées s'appuie sur les technologies du Web sémantique et plus particulièrement sur RDF et les ontologies. Malheureusement, le déploiement de ces technologies s'est avéré fort limité du fait de leur complexité et il faut recourir à des solutions transitoires telles que les microformats ou les annotations RDF incorporées (RDFa). Comme les microformats n'offrent pas l'extensibilité et le niveau d'expressivité essentielle à l'interopérabilité, RDFa a été privilégié et est devenu une recommandation du W3C. Cette approche a été testée en prenant comme exemple la future norme ISO/IEC 19788, le Metadata for Learning Resources (MLR). L'utilisation de RDFa permet de distribuer dans le Web sémantique des notices MLR centralisés dans un référentiel de ressources d'enseignement et d'apprentissage. RDFa permet également de répondre aux attentes du Web 2.0 pour la contribution distribuée à l'indexation des ressources en utilisant les étiquettes MLR. Cette approche permet d'ores et déjà de contribuer à la mise en oeuvre du Web sémantique mais la simplicité de cette solution n'élimine pas, en définitive, la nécessité de passer un jour aux ontologies et au langage OWL lesquels offrent une solution générique d'interopérabilité des métadonnées. Le besoin d'outils faciles à utiliser reste un défi de taille pour la recherche sur le Web sémantique d'autant plus que l'indexation des ressources sera de plus en plus un processus distribué.

Les effets d'une action linguistique dépendent du contexte. Cela pose plusieurs questions, auxquelles il est essentiel qu'un modèle linguistique réponde: comment représenter le contexte conversationnel, la façon dont celui-ci influe sur le "sens" de chaque contribution et sur le choix rationnel fait par un agent de ce qu'il va dire ensuite? Il existe plusieurs théories de la structure du discours, mais celles-ci ne s'accordent pas sur un ensemble précis de contraintes structurelles régissant le contexte conversationnel. Nous proposons un formalisme unifié pour traduire et comparer entre théories et représentations distinctes et nous étudions les fondations axiomatiques d'une mesure de déviation 'sémantique' entre deux contextes conversationnels, et de l'impact de l'entrée de nouveaux éléments dans le contexte sur cette deviation. Un second travail porte sur l'interaction entre forme logique et rationnalité dans les conversations, plus spécifiquement, lorsque les intérêts des participants divergent. Nous proposons un modèle en théorie des jeux, dans lequel une conversation est une séquence infinie de coups linguistiques. Dans ce cadre nous formalisons certaines contraintes linguistiques génériques comme des conditions nécessaires au succès d'un agent (rester consistant, cohérent, crédible). Les préférences des agents sont décrites par des contenus auxquels ceux-ci souhaitent, ou ne souhaitent pas s'engager. Crucialement, on peut justifier et expliquer via des considérations sémantiques le choix des objectifs conversationnels des agents, et montrer quand et comment certaines inferences (implicatures) survivent ou disparaissent. Cela nécessite une sémantique adéquate, pour l'obtenir nous définissons une logique modale dynamique des engagements publics. Celle-ci permet de représenter les déclaration des participants vis-à-vis de leur propre engagements et de ceux de leurs interlocuteurs. Cela permet enfin un modèle de "grounding" a granularité plus fine que les approches existantes, qui demeurent cependant axiomatisable comme des cas particulier. / The effects of a linguistic action depend on its context of use. This raises a certain number of issues for a model of language use: how to represent the conversational context, its relation to the meanings that agents convey, and how to model agents' rational choice of the next thing to say, in context? There is, between existing theories of discourse structure, no general agreement on a precise set of structural constraints governing the conversational context. To remedy this, we propose a unified framewok to translate and compare between distinct theories and representations. We then lay the axiomatic foundations of metrics measuring the semantic deviation between two conversational contexts, and the changes brought into such a deviation, as new moves enter the context. A second body of work focuses on the modeling of conversational meaning and its interaction with that of rationnality in conversations, more specifically strategic dialogs, where the interest of the participants diverge. We propose a game theoretic account of such conversations, as infinite sequences of linguistic moves. We formalize linguistic constraints that are generic necessary conditions on successful plays (staying coherent, consistent, credible), and describe agents' preferences in terms of the contents that agents commit to. Crucially, we can describe a player's objective and explain why it is adopted on semantic grounds. We show on this basis how and when inferences to non-litteral meaning survives or are cancelled. As this requires a semantics expressive enough, we define a dynamic logic of public commitments to represent participants' commitments about the content of theirs, or their opponent's moves, and keep those representations subject to a sound notion of logical consequence (and hence, of consistency). This yields an account of acknowledgment and grounding more formal and fine-grained than traditional approaches, recoverable as particular cases.

Cette thèse étudie quelques préverbes et prépositions en bulgare (v/v-, iz/iz-) et en français (dans, hors de, en-/in-, ex-/é-) dans le cadre de la sémantique cognitive et formelle et plus particulièrement dans celui de la Grammaire Applicative et Cognitive (GAC). La formalisation à l’aide d’un schème quasi-topologique utilisant des lieux abstraits permet de construire des représentations adéquates et de dégager un invariant abstrait pour chaque unité étudiée. L’analyse aboutit à la construction d’une carte sémantique des significations d’intériorité et d’extériorité étudiées qui met en évidence les similarités, les différences et les oppositions entre les significations des différents préverbes et prépositions au sein d’une même langue ainsi qu’entre les deux langues, bulgare et français. Les résultats obtenus montrent que chaque langue construit ses propres représentations à partir de primitives invariantes et que, bien que les emplois des unités étudiées soient souvent très proches, il n’est pas possible d’établir des équivalences absolues entre significations. Cette étude contribue à argumenter en faveur de l’hypothèse anti-anti-relativiste de la GAC. / This thesis analyses some preverbs and prepositions in Bulgarian (v/v-, iz/iz-) and in French (dans, hors de, en-/in-, é-/ex-) within the framework of the cognitive and formal semantics, the Cognitive and Applicative Grammar (CAG) in particular. The formalisation using quasi-topological scheme and abstract loci allows the construction of appropriate representations and the formulation of an abstract invariant meaning for each item. The analysis leads to the construction of a semantic map of the interior and exterior meanings of the studied items which underlines the similarities, the differences and the oppositions between the meanings of different preverbs and prepositions within a single language as well as between the two languages, Bulgarian and French. The results of the analysis show that each language builds its own representations using invariant primitives and that, even if some of the studied meanings are very similar, it is impossible to establish absolute equivalencies between them. This study contributes to argue for the anti-anti-relativist hypothesis of the CAG.

L'étude a pour objet une analyse sémantico-référentielle du mot français part. Souvent délaissé par les analyses linguistiques au profit de partie, l'objet de cette thèse est de déterminer et d'expliquer les spécificités de part afin de préciser sa place dans le paradigme des substantifs partitifs. Part est en effet un acteur de premier plan, dans l'expression de la partition, mais pas seulement. Part trouve également son originalité dans les liens qu'il entretient avec, par exemple, la question de la quantification. L'examen de quelques formes figées (de part et d'autre, de toutes parts, de part en part, autre part) montre par ailleurs de fortes affinités avec la notion d'espace, héritage d'une ancienne acception spatiale. La richesse de part s'exprime également au travers de l'organisateur textuel d'une part … d'autre part que nous examinons sous l'angle de la relation sémantique partie-tout. / The study has for object a semantic analysis of the French word part. Often abandoned by the linguistic analyses for the benefit of partie, this thesis aims to determine and to explain the specificities of part to clarify its place in the paradigm of the partitifs nouns. Part is indeed a key figure, in the expression of the partition, but not only. Part also finds its originality in the links that it maintains with, for example, the question of the quantification. The examination of some set expressions (de part et d'autre, de toutes parts, de part en part, autre part) shows besides strong affinities with the notion of space, inheritance of a former spatial meaning. The richness of part also expresses himself through the textual organizer d'une part … d'autre part that we examine under the angle of the semantic part-whole relation.

"Thèse en cotutelle pour le doctorat en médecine expérimentale de l'Université Laval Québec et l'Université de Neuchâtel, Suisse" / Introduction : Plusieurs modèles accordent un rôle à la mémoire sémantique dans les opérations qui sous-tendent la morphologie flexionnelle et la morphologie dérivationnelle. Toutefois, plus d’études sont nécessaire pour comprendre la nature et la portée du rôle joué par cette mémoire dans la morphologie. Objectifs : Cette thèse a pour but de spécifier l’implication de la mémoire sémantique dans les aspects structurels (combinaison des morphèmes, formation de mots morphologiquement complexes), et conceptuels (traitement du sens contenu dans les morphèmes) de la morphologie flexionnelle et dérivationnelle. Méthode : L’implication de la mémoire sémantique a été examinée dans trois études menées auprès de personnes atteintes de démence sémantique (DS) et de participants ne présentant pas d’atteintes cognitives. Résultats : Contrairement au groupe contrôle, les personnes atteintes de DS ont de la difficulté à produire et à comprendre les informations sémantiques transmises par les morphèmes flexionnels. Elles ont également tendance à préférer une alternative régularisée à un verbe pseudo-régulier correctement fléchi. En morphologie dérivationnelle, les personnes atteintes de DS ont plus de difficultés à produire des mots dérivés quand la relation entre le mot de départ et le mot cible est moins transparente. Ces difficultés donnent lieu à la production de pseudo-mots morphologiquement complexes. Les personnes atteintes de DS ont une sensibilité normale à la compatibilité grammaticale des morphèmes, mais ont des difficultés à comprendre le contenu sémantique transmis par les affixes dérivationnels, ainsi qu’à traiter le changement de sens entraîné par ces affixes sur un mot de base. Enfin, les capacités de mémoire sémantique, telles qu’évaluées par un ensemble de tests standardisés, sont un prédicteur significatif de la performance dans les deux domaines de la morphologie. Conclusion : Le rôle de la mémoire sémantique dans la morphologie prend plusieurs formes. Elle sous-tend la représentation du contenu sémantique transmis par les morphèmes, ainsi que la représentation des mots présentant plus de propriétés idiosyncratiques. Par conséquent, l’atteinte de la mémoire sémantique entraîne des difficultés de morphologie variées. Ces résultats ont plusieurs implications pour les modèles de la morphologie, et la prise en charge des troubles de mémoire sémantique. / Introduction: Several models claim that semantic memory plays a role in the operations that underlie inflectional and derivational morphology. However, more studies are needed to understand how and to what extent semantic memory is involved in morphology. Aims: This thesis dissertation has the aim to specify the involvement of semantic memory in structural (morpheme combinations, morphologically complex word formation) and conceptual (processing of the morphemes’ meaning) aspects of inflectional and derivational morphology. Method: Semantic memory’s involvement in morphology was examined in three studies conducted with individuals presenting semantic dementia (SD) and people without cognitive impairment. Results: Contrary to the control group, individuals with SD show difficulties in the production and comprehension of semantic information conveyed by inflectional morphemes. They also tend to prefer a regularised alternative over a correctly inflected pseudo-regular verb. In derivational morphology, individuals with SD have more difficulties to produce derived words when the relation between the word given as starting point and the goal word is less transparent. These difficulties result in the production of morphologically complex pseudo-words. Individuals with SD present normal sensitivity to morphemes’ grammatical compatibility, but they have difficulties to understand the semantic content of derivational affixes and to process the change in meaning that they induce on a base word. Semantic memory capacities, as assessed with an array of standardised tests, are a significant predictor of performance in both domains of morphology. Conclusion: Semantic memory’s role in morphology takes many forms. Semantic memory underlies the representation of morphemes’ semantic content and of words that present idiosyncratic properties. Hence, semantic impairment causes a variety of morphological difficulties. These results have several implications for models of morphology and for the care of semantic memory impairments.

Thèse diffusée initialement dans le cadre d'un projet pilote des Presses de l'Université de Montréal/Centre d'édition numérique UdeM (1997-2008) avec l'autorisation de l'auteur.

Thèse diffusée initialement dans le cadre d'un projet pilote des Presses de l'Université de Montréal/Centre d'édition numérique UdeM (1997-2008) avec l'autorisation de l'auteur.

Le travail effectué au cours de ma thèse s’inscrit dans le cadre du Web Sémantique pour rendre l’annotation sémantique. La vision du Web Sémantique a pour son objectif d’avoir les informations disponibles pour que les utilisateurs puissent les exploiter selon leurs besoins. En effet, dans les systèmes d’information actuels, dont la complexité se traduit par un volume important de données, le défi n’est plus de réunir des données, mais d’en extraire des informations pertinentes. Pour cela, les données doivent être étiquetées sémantiquement. En plus, comparé aux langues flexionnelles comme le Français, la technologie dans le traitement de langue agglutinative comme le Coréen a toujours des manques à cause de la complexité des morphologies et syntaxe. / We present an automatic semantic annotation system for Korean on the EXCOM (EXploration COntextual for Multilingual) platform. The purpose of natural language processing is enabling computers to understand human language, so that they can perform more sophisticated tasks. Accordingly, current research concentrates more and more on extracting semantic information. The realization of semantic processing requires the widespread annotation of documents. However, compared to that of inflectional languages, the technology in agglutinative language processing such as Korean still has shortcomings. EXCOM identifies semantic information in Korean text using our new method, the Contextual Exploration Method. Our system properly annotates approximately 90% of standard Korean sentences, and this annotation rate holds across text domains.