L'automatisationetlasupervisiondessystèmespervasifsestà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 super- vision d'interactions basé sur l'analyse sémantique des logs domotiques (com- mandes é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 in- formations habituellement captées. Pour cela, une ontologie, automatiquement dérivée d'un processus dirigé par les modèles, définit les interactions utilisateur- système. L'utilisation d'un système de règles permet ensuite d'inférer des infor- mations 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.