Modules sémantiques robustes pour une réutilisation saine en DL-lite

National audienceL'extraction de modules à partir d'ontologies a été récemment étudié dans le cadre des logiques de description, qui sont au coeur des langages modernes d'ontologies. Dans cet article, nous définissons une nouvelle notion de modules sémantiques capturant à la fois les modules obtenus par extraction d'un sous-ensemble d'une Tbox ou par "forgetting" de concepts et de roles d'une Tbox. Nous définissons et étudions ensuite la réutilisation saine d'un module sémantique d'une Tbox globale afin de construire des Aboxes locales et de les interroger soit indépendamment, soit de facon conjointe avec la Abox globale. Afin que la Abox locale (associée au module) et que la Abox globale (associée à la Tbox initiale) puissent évoluer indépendamment, mais de manière cohérente, nous généralisons la notion d'extension conservative de requete et nous l'étendons au test de consistance. Enfin, nous fournissons des algorithmes et des résultats de complexité pour le calcul de modules sémantiques minimaux et robustes dans DL-liteF et DL-liteR. Ces dialectes sont membres de la famille DL-lite qui a été spécialement définie pour l'interrogation efficace de grandes masses de données