DL-LITER in the Light of Propositional Logic for Decentralized Data Management
Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence. Pages 2010-2014.
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
@inproceedings{ijcai2009p331,
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 = {Proceedings of the Twenty-First International Joint Conference on
Artificial Intelligence, {IJCAI-09}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Hiroaki Kitano},
pages = {2010--2014},
year = {2009},
url = {https://ijcai.org/proceedings/2009/331},
}
TY - CPAPER TI - DL-LITER in the Light of Propositional Logic for Decentralized Data Management AU - Abdallah, Nada AU - Goasdoué, François AU - Rousset, Marie-Christine T2 - Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence, IJCAI-09 PB - International Joint Conferences on Artificial Intelligence PY - 2009 SP - 2010 EP - 2014 UR - https://ijcai.org/proceedings/2009/331 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
