MobilityReadingGroup

Protocol Conformance of Collaborative SPARQL using Multiparty Session Types

Ari HERNAWAN , Nobuko YOSHIDA

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.

@inproceedings{HY2024,
  author = {Ari Hernawan and Nobuko Yoshida},
  title = {{Protocol Conformance of Collaborative SPARQL using Multiparty Session Types}},
  booktitle = {18th Theoretical Aspects of Software Engineering Conference},
  pages = {--},
  year = 2024
}

@inproceedings{HY2024,
  author = {Ari Hernawan and Nobuko Yoshida},
  title = {{Protocol Conformance of Collaborative SPARQL using Multiparty Session Types}},
  booktitle = {18th Theoretical Aspects of Software Engineering Conference},
  pages = {--},
  year = 2024
}