De nos jours capteurs et effecteurs peuvent être utilisés de multiples façons et dans différents espaces, créant ainsi des environnements intelligents. Cet article décrit une conceptualisation d'un environnement intelligent et de son fonctionnement, qui permet de vérifier la consistance logique et la conformité de l'environnement. Cette conceptualisation est faite à travers une ontologie représentant le domaine de connaissance et dont les éléments seront instanciés à partir de textes en langue naturelle. Ces textes décrivent la configuration physique de l'environnement et le fonctionnement désiré par l'utilisateur de l'environnement. Nous avons choisi OWL pour représenter formellement notre environnement, augmenté de règles SWRL pour représenter l'aspect dynamique du fonctionnement du système et SQWRL pour interroger notre modèle conceptuel. Nous montrons comment la consistance et la conformité sont vérifiées grâce à ce formalisme.