Protocol conformance of collaborative SPARQL using multiparty session types

Conference item

Decentralised linked data gives users rights over their data while being accessible to other domains. The RDF (Resource Description Framework) and SPARQL have been the standard specifications for managing linked data for several years. Recent research and development introduce scalable, centralised and distributed RDF store engines with the SPARQL. However, writing SPARQL federated queries may grow more complex as the number of domain participants increases, presenting challenges such as source discovery, completeness and performance. This paper presents a SPARQL Query Template (SQT) that applies Multiparty Session Types (MPST) to determine the order of federated queries. We also guarantee protocol conformance between MPST and SPARQL relational algebra.

Authors: Hernawan, A; Yoshida, N

• Publication status: Published
• Peer review status: Peer reviewed
• Publisher: Springer
• Host title: Proceedings of the 18th International Symposium on Theoretical Aspects of Software Engineering (TASE 2024)
• Series: Lecture Notes in Computer Science
• Series number: 14777
• Publication date: 2024-07-14
• Acceptance date: 2024-04-10
• Event title: 18th International Symposium on Theoretical Aspects of Software Engineering (TASE 2024)
• Event location: Guiyang, China
• Event website: https://tase2024.github.io/index.html
• Event start date: 2024-07-29
• Event end date: 2024-08-01
• DOI: 10.1007/978-3-031-64626-3_1
• EISBN: 978-3-031-64626-3
• ISBN: 978-3-031-64625-6
• Language: English
• Keywords: protocol conformance; multiparty session types; federated query; SPARQL