---
title: "DL-LITER in the Light of Propositional Logic for Decentralized Data Management"
authors:
  - "Nada Abdallah"
  - "François Goasdoué"
  - "Marie-Christine Rousset"
doi: ""
url: "https://ijcai.org/proceedings/2009/331"
pdf: "https://ijcai.org/proceedings/2009/0331.pdf"
venue: "Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence"
year: 2009
pages: "2010-2014"
track: ""
keywords:
---

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

Nada Abdallah, François Goasdoué, Marie-Christine Rousset

*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