Modules sémantiques robustes pour une réutilisation saine en DL-lite - Archive ouverte HAL Access content directly
Conference Papers Year : 2010

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

(1, 2) , (3)
1
2
3

Abstract

L'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.
Fichier principal
Vignette du fichier
article.pdf (178.9 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00533086 , version 1 (05-11-2010)

Identifiers

  • HAL Id : inria-00533086 , version 1

Cite

François Goasdoué, Marie-Christine Rousset. Modules sémantiques robustes pour une réutilisation saine en DL-lite. Bases de données avancées, Oct 2010, Toulouse, France. ⟨inria-00533086⟩
171 View
55 Download

Share

Gmail Facebook Twitter LinkedIn More