Research highlight : DL-LITER IN THE LIGHT OF PROPOSITIONAL LOGIC FOR DECENTRALIZED DATA MANAGEMENT
DL-LITER IN THE LIGHT OF PROPOSITIONAL LOGIC FOR DECENTRALIZED DATA MANAGEMENT 1 April 2009
N. Abdallah, F. Goasdoué, and M.-C. Rousset. Int Joint Conf. on Artificial Intelligence (IJCAI).
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.
