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. Nada Abdallah, Francois Goasdoue, Marie-Christine Rousset
Cite
Text
Abdallah et al. "DL-LITER in the Light of Propositional Logic for Decentralized Data Management." International Joint Conference on Artificial Intelligence, 2009.Markdown
[Abdallah et al. "DL-LITER in the Light of Propositional Logic for Decentralized Data Management." International Joint Conference on Artificial Intelligence, 2009.](https://mlanthology.org/ijcai/2009/abdallah2009ijcai-dl/)BibTeX
@inproceedings{abdallah2009ijcai-dl,
title = {{DL-LITER in the Light of Propositional Logic for Decentralized Data Management}},
author = {Abdallah, Nada and Goasdoué, François and Rousset, Marie-Christine},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2009},
pages = {2010-2015},
url = {https://mlanthology.org/ijcai/2009/abdallah2009ijcai-dl/}
}