{"type":"ScholarlyArticle","title":"DL-LITER in the Light of Propositional Logic for Decentralized Data Management","authors":[{"name":"Nada Abdallah","slug":"nada-abdallah","given":"Nada","family":"Abdallah","affiliation":""},{"name":"François Goasdoué","slug":"francois-goasdoue","given":"François","family":"Goasdoué","affiliation":""},{"name":"Marie-Christine Rousset","slug":"marie-christine-rousset","given":"Marie-Christine","family":"Rousset","affiliation":""}],"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","doi":null,"url":"https://ijcai.org/proceedings/2009/331","pdf":"https://ijcai.org/proceedings/2009/0331.pdf","markdown":"https://ijcai.org/proceedings/2009/331.md","bibtex":"https://ijcai.org/proceedings/2009/bibtex/331","volume":{"slug":"2009","title":"Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2009","url":"https://ijcai.org/proceedings/2009/","year":2009,"location":"Pasadena, California, USA","dates":"","editors":"Hiroaki Kitano","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":331,"pages":{"first":2010,"last":2014},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}