DL-liteR in the Light of Propositional Logic for Decentralized Data Management

Nada Abdallah 1, 2 François Goasdoué 2, 1 Marie-Christine Rousset 3
1 LRI - Laboratoire de Recherche en Informatique
2 GEMO - Integration of data and knowledge distributed over the web
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
3 LIG Laboratoire d'Informatique de Grenoble - HADAS
LIG - Laboratoire d'Informatique de Grenoble
Abstract : This paper provides a decentralized data model and associated algorithms for peer data management systems (PDMS) based on the DL-liteR description logic. Our approach relies on reducing query reformulation and consistency checking for DL-liteR into reasoning in propositional logic. This enables a straightforward deployment of DL-liteR PDMSs on top of SomeWhere, a scalable propositional peer-to-peer inference system. We also show how to use the state-of-the-art Minicon algorithm for rewriting queries using views in DL-liteR in the centralized and decentralized cases.
Type de document :
Communication dans un congrès
International Joint Conference on Artificial Intelligence, Jul 2009, Passadena, United States. 2009
Liste complète des métadonnées
https://hal.inria.fr/inria-00429710
Contributeur : François Goasdoué <>
Soumis le : mercredi 4 novembre 2009 - 09:49:43
Dernière modification le : jeudi 5 avril 2018 - 12:30:12

Identifiants

  • HAL Id : inria-00429710, version 1

Collections

INRIA | UGA | UMR8623 | LIG_SRCPR | LIG | LIG_TDCGE_HADAS

Citation

Nada Abdallah, François Goasdoué, Marie-Christine Rousset. DL-liteR in the Light of Propositional Logic for Decentralized Data Management. International Joint Conference on Artificial Intelligence, Jul 2009, Passadena, United States. 2009. 〈inria-00429710〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

350

Contact


archive-ouverte@inria.fr