资源分类
》 资源 》论文》DL- LITER in the Light of Propositional Logic for Decentralized Data Management

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

2019-11-15 | |  79 |   37 |   0

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 DLLITER 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 DLLITER in the centralized and decentralized cases

上一篇：A General Approach to Environment Design with One Agent

下一篇：Sketching Techniques for Collaborative Filtering

用户评价
全部评价

热门资源

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to learn...

    The move from hand-designed features to learned...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...

  • Learning to Predi...

    Much of model-based reinforcement learning invo...