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

François Goasdoué 1, 2 Marie-Christine Rousset 3
2 LEO - Distributed and heterogeneous data and knowledge
UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
Résumé : 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.
Type de document :
Communication dans un congrès
Bases de données avancées, Oct 2010, Toulouse, France. 2010
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00533086
Contributeur : François Goasdoué <>
Soumis le : vendredi 5 novembre 2010 - 10:48:40
Dernière modification le : jeudi 11 janvier 2018 - 06:23:16
Document(s) archivé(s) le : vendredi 26 octobre 2012 - 15:00:52

Fichier

article.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00533086, version 1

Collections

Citation

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. 2010. 〈inria-00533086〉

Partager

Métriques

Consultations de la notice

315

Téléchargements de fichiers

91