Cette thèse a lieu dans le cadre du projet ANR CoSWoT. CoSWoT étudie les technologies du Web Sémantique pour le Web des Objets (WoT). Les objectifs du projet sont de proposer une architecture logicielle embarquée sur objets contraints pour le WoT avec deux caractéristiques principales : 1) utiliser les ontologies pour spécifier déclarativement la logique applicatives et des objets, ainsi que la sémantique des messages échangés ; 2) ajouter des fonctionnalités de raisonnement aux objets, dans l'objectif de distribuer les tâches de raisonnement parmi eux. Ainsi, le développement d'applications includant des objets du WoT sera grandement simplifiée : notre plateforme permettra le développement d'applications malgré l'hétérogénéité des objets.

Les objectifs principaux de cette thèse sont de proposer des contributions au raisonnement embarqué sur le WoT.