Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Résultat majeur
Production scientifique
Résultat majeur : ROBUST MODULE-BASED DATA MANAGEMENT
ROBUST MODULE-BASED DATA MANAGEMENT
01 décembre 2011

F. Goasdoue and M.-C. Rousset, IEEE Transactions on Knowledge and Data Engineering (TKDE), 2011.
The current trend for building an ontology-based data management system (DMS) is to capitalize on efforts made to design a preexisting well-established DMS (a reference system). The method amounts to extracting from the reference DMS a piece of schema relevant to the new application needs -- a module --, possibly personalizing it with extra-constraints wrt the application under construction, and then managing a dataset using the resulting schema.

In this paper, we extend the existing definitions of modules and
we introduce novel properties of robustness that provide means
for checking easily that a robust module-based DMS evolves safely wrt both the schema and the data of the reference DMS.
We carry out our investigations in the setting of description logics which underlie modern ontology languages, like RDFS, OWL, and OWL2 from W3C. Notably, we focus on the DL-lite_A dialect of the DL-lite family, which encompasses the foundations of the QL profile of OWL2 (ie DL-lite_R): the W3C recommendation for efficiently managing large datasets.



Activités de recherche
  ° Bases de données
  ° Représentation des connaissances
  ° Logique
  ° Raisonnement automatique

Equipe
  ° Intelligence Artificielle et Systèmes d'Inférence

Contact
  [aucun]
Résultats majeurs
COMPUTER‐AIDED BIOCHEMICAL PROGRAMMING OF SYNTHETIC MICROREACTORS AS DIAGNOSTIC DEVICES
27 avril 2018
Alexis Courbet, Patrick Amar, Francois Fages, Eric Renard, Franck Molina Mol Syst Biol. (2018) 14:

BEST PAPER AWARD: SELF-STABILIZING DISTRIBUTED STABLE MARRIAGE
05 novembre 2017
SSS 2017, M. Laveau, G. Manoussakis, J. Beauquier, T. Bernard, J. Burman, J. Cohen, and L. Pilard

BEST PAPER AWARD INTELLI 2017: A MODEL OF PULSATION FOR EVOLUTIVE FORMALIZING INCOMPLETE INTELLIGENT SYSTEMS
27 juillet 2017
authors: Marta Franova, Yves Kodratoff

INFORMATION-GEOMETRIC OPTIMIZATION ALGORITHMS: A UNIFYING PICTURE VIA INVARIANCE PRINCIPLES
02 mai 2017
Yann Ollivier, Ludovic Arnold, Anne Auger, Nikolaus Hansen - JMLR 18(18):1−65, 2017.

FORMAL MUTATION TESTING FOR CIRCUS
21 avril 2016
Alex Donizeti Betez Alberto, Ana Cavalcanti, Marie-Claude Gaudel, Adenilso Simao Journal of Infor