“…En outre, de nombreux travaux insistent sur la pertinence de l'usage d'ontologies en ingénierie des exigences (Castañeda et al, 2010), pour codifier les connaissances pertinentes et faciliter la compréhension du domaine (Omoronyia et al, 2010 ;Al Balushi et al, 2013), minimiser l'ambiguïté linguistique (Castañeda et al, 2012), identifier des règles métier redondantes, jamais applicables ou qui violent le domaine de leur définition (Chniti et al, 2012), ou s'appuyer sur les connaissances d'ontologies pour aider l'analyse dans ses décisions pour améliorer des spécifications (Körner, Brumm, 2009). Enfin, l'usage d'ontologies pour la modélisation d'environnements intelligents est recommandé par divers auteurs (Xu et al, 2009 ;Wei et al, 2012 ;Bae, 2014 ;Li et al, 2014). Nous proposons donc d'étudier et d'exploiter l'apport d'une ontologie comme représentation pivot dans un processus de validation de spécifications en LN décrivant le comportement d'un environnement intelligent.…”