VeriDKG: A Verifiable SPARQL Query Engine for Decentralized Knowledge Graphs-Reference-Cited by-同舟云学术

VeriDKG: A Verifiable SPARQL Query Engine for Decentralized Knowledge Graphs

Published:2023-12 Issue:4 Volume:17 Page:912-925
ISSN:2150-8097
Container-title:Proceedings of the VLDB Endowment
language:en
Short-container-title:Proc. VLDB Endow.

Author:

Zhou Enyuan¹,Guo Song²,Hong Zicong¹,Jensen Christian S.³,Xiao Yang⁴,Zhang Dalin³,Liang Jinwen¹,Pei Qingqi⁵

Affiliation:

1. Hong Kong Polytechnic University

2. Hong Kong University of Science and Technology

3. Aalborg University

4. Xidian University

5. Xidian University and Guangzhou Lianrong Information Technology Co. Ltd.

Abstract

The ability to decentralize knowledge graphs (KG) is important to exploit the full potential of the Semantic Web and realize the Web 3.0 vision. However, decentralization also renders KGs more prone to attacks with adverse effects on data integrity and query verifiability. While existing studies focus on ensuring data integrity, how to ensure query verifiability - thus guarding against incorrect, incomplete, or outdated query results - remains unsolved. We propose VeriDKG, the first SPARQL query engine for decentralized knowledge graphs (DKG) that offers both data integrity and query verifiability guarantees. The core of VeriDKG is the RGB-Trie, a new blockchain-maintained authenticated data structure (ADS) facilitating correctness proofs for SPARQL query results. VeriDKG enables verifiability of subqueries by gathering global index information on subgraphs using the RGB-Trie, which is implemented as a new variant of the Merkle prefix tree with an RGB color model. To enable verifiability of the final query result, the RGB-Trie is integrated with a cryptographic accumulator to support verifiable aggregation operations. A rigorous analysis of query verifiability in VeriDKG is presented, along with evidence from an extensive experimental study demonstrating its state-of-the-art query performance on the largeRDFbench benchmark.

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.14778/3636218.3636242

Reference75 articles.

1. Ibrahim Abdelaziz, Essam Mansour, Mourad Ouzzani, Ashraf Aboulnaga, and Panos Kalnis. 2017. Query optimizations over decentralized RDF graphs. In Proc. of 2017 IEEE 33rd International Conference on Data Engineering (ICDE). 139--142.

2. Christian Aebeloe, Gabriela Montoya, and Katja Hose. 2019. A Decentralized Architecture for Sharing and Querying Semantic Data. In Proc. of the European Semantic Web Conference (ESWC). 3--18.

3. Christian Aebeloe, Gabriela Montoya, and Katja Hose. 2019. Decentralized Indexing over a Network of RDF Peers. In Proc. of the International Semantic Web Conference (ISWC). 3--20.

4. Christian Aebeloe, Gabriela Montoya, and Katja Hose. 2021. ColChain: Collaborative Linked Data Networks. In Proc. of the Web Conference (WWW). 1385--1396.

5. Elli Androulaki, Artem Barger, Vita Bortnikov, Christian Cachin, Konstantinos Christidis, Angelo De Caro, David Enyeart, Christopher Ferris, Gennady Laventman, Yacov Manevich, Srinivasan Muralidharan, Chet Murthy, Binh Nguyen, Manish Sethi, Gari Singh, Keith Smith, Alessandro Sorniotti, Chrysoula Stathakopoulou, Marko Vukolić, Sharon Weed Cocco, and Jason Yellick. 2018. Hyperledger Fabric: A Distributed Operating System for Permissioned Blockchains. In Proc. of the EuroSys Conference (EuroSys). Article 30, 15 pages.