DL-liteR in the Light of Propositional Logic for Decentralized Data Management - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2009

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

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.
No file

Dates and versions

inria-00429710 , version 1 (04-11-2009)

Identifiers

  • HAL Id : inria-00429710 , version 1

Cite

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. ⟨inria-00429710⟩
175 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More