L'automatisation et la supervision des systèmes pervasifs est à l'heure actuelle principalement basée sur l'utilisation massive de capteurs distribués dans l'environnement. Dans cet article, nous proposons un modèle de supervision d'interactions basé sur l'analyse sémantique des logs domotiques (commandes émises par l'utilisateur), visant à limiter l'utilisation de ces capteurs : le principe est d'utiliser des outils d'inférences avancés, afin de déduire les informations habituellement captées. Pour cela, une ontologie, automatiquement dérivée d'un processus dirigé par les modèles, définit les interactions utilisateursystème. L'utilisation d'un système de règles permet ensuite d'inférer des informations sur la localisation et l'intention de l'utilisateur, dans le but de réaliser du monitoring et de proposer des services domotiques adaptés.