Formalisation en OWL pour vérifier les spécifications d'un environnement intelligent

Driss Sadoun (1) , Catherine Dubois (2, 3) , Yacine Ghamri-Doudane (4, 3) , Brigitte Grau (1, 3)

1 LIMSI - Laboratoire d'Informatique pour la Mécanique et les Sciences de l'Ingénieur
2 CEDRIC - Centre d'études et de recherche en informatique et communications
3 ENSIIE - Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise
4 LIGM - Laboratoire d'Informatique Gaspard-Monge

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.

Mots clés: Conception d'ontologie; Spécifications; Vérifications formelles; Environnement intelligent

Domaines: Intelligence artificielle [cs.AI]; Vision par ordinateur et reconnaissance de formes [cs.CV]

Driss Sadoun, Catherine Dubois, Yacine Ghamri-Doudane, Brigitte Grau. Formalisation en OWL pour vérifier les spécifications d'un environnement intelligent. RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France. pp.978-2-9539515-2-3. ⟨hal-00656526⟩