Protocol Conformance of Collaborative SPARQL Using Multiparty Session Types

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.