Skip to main content
Springer Nature Link
Log in

Protocol Conformance of Collaborative SPARQL Using Multiparty Session Types

  • Conference paper
  • First Online:
Theoretical Aspects of Software Engineering (TASE 2024)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 14777))

Included in the following conference series:

  • 477 Accesses

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    https://www.w3.org/TR/sparql11-overview/.

  2. 2.

    https://www.dbpedia.org/resources/latest-core/.

  3. 3.

    https://www.w3.org/2002/ws/chor/.

  4. 4.

    https://sparql.uniprot.org/.well-known/sparql-examples/?offset=40.

  5. 5.

    https://sparql.rhea-db.org/sparql.

  6. 6.

    https://sparql.uniprot.org/sparql.

  7. 7.

    https://query.wikidata.org/sparql.

References

  1. Mendes, P.N., Jakob, M., García-Silva, A., Bizer, C.: DBpedia spotlight: shedding light on the web of documents. In: Proceedings of the 7th International Conference on Semantic Systems, I-Semantics 2011, pp. 1–8. Association for Computing Machinery, New York (2011). https://doi.org/10.1145/2063518.2063519

  2. Bateman, A., et al.: UniProt: the universal protein knowledgebase in 2023. Nucleic Acids Res. 51(D1), D523–D531 (2023)

    Google Scholar 

  3. Bansal, P., et al.: Rhea, the reaction knowledgebase in 2022. Nucleic Acids Res. 50(D1), D693–D700 (2022). https://academic.oup.com/nar/article/50/D1/D693/6424769

  4. Aleksander, S.A., et al.: The Gene Ontology knowledgebase in 2023. GENETICS 224(1) (2023). https://academic.oup.com/genetics/article/doi/10.1093/genetics/iyad031/7068118

  5. Bauer-Mehren, A., Bundschus, M., Rautschka, M., Mayer, M.A., Sanz, F., Furlong, L.I.: Gene-disease network analysis reveals functional modules in mendelian, complex and environmental diseases. PLoS ONE 6(6), e20284 (2011). https://dx.plos.org/10.1371/journal.pone.0020284

  6. Mendez, D., et al.: ChEMBL: towards direct deposition of bioassay data. Nucleic Acids Res. 47(D1), D930–D940 (2019). https://academic.oup.com/nar/article/47/D1/D930/5162468

  7. Potter, A., Motik, B., Nenov, Y., Horrocks, I.: Distributed RDF query answering with dynamic data exchange. In: Groth, P., et al. (eds.) ISWC 2016. LNCS, vol. 9981, pp. 480–497. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-46523-4_29

    Chapter  MATH  Google Scholar 

  8. Sidirourgos, L., Goncalves, R., Kersten, M., Nes, N., Manegold, S.: Column-store support for RDF data management. Proc. VLDB Endow. 1(2), 1553–1563 (2008). https://dl.acm.org/doi/10.14778/1454159.1454227

  9. Abadi, D.J., Marcus, A., Madden, S.R., Hollenbach, K.: SW-Store: a vertically partitioned DBMS for Semantic Web data management. VLDB J. 18(2), 385–406 (2009). https://doi.org/10.1007/s00778-008-0125-y

    Article  Google Scholar 

  10. Atre, M., Chaoji, V., Zaki, M.J., Hendler, J.A.: Matrix “Bit” loaded. In: Proceedings of the 19th International Conference on World Wide Web, pp. 41–50. ACM, New York (2010). https://dl.acm.org/doi/10.1145/1772690.1772696

  11. Neumann, T., Weikum, G.: The RDF-3X engine for scalable management of RDF data. VLDB J. 19(1), 91–113 (2010). https://doi.org/10.1007/s00778-009-0165-y

    Article  MATH  Google Scholar 

  12. Rohloff, K., Schantz, R.E.: Clause-iteration with MapReduce to scalably query data graphs in the SHARD graph-store. In: Proceedings of the 4th International Workshop on Data-Intensive Distributed Computing, DIDC 2011, pp. 35–44. ACM (2011)

    Google Scholar 

  13. Zhang, X., Chen, L., Tong, Y., Wang, M.: EAGRE: towards scalable I/O efficient SPARQL query evaluation on the cloud. In: Proceedings of the International Conference on Data Engineering, pp. 565–576. IEEE (2013)

    Google Scholar 

  14. Hassan, M., Bansal, S.: S3QLRDF: Distributed SPARQL Query Processing Using Apache Spark–A Comparative Performance Study, vol. 41. Springer, Cham (2023). https://doi.org/10.1007/s10619-023-07422-4

    Book  Google Scholar 

  15. Zeng, K., Yang, J., Wang, H., Shao, B., Wang, Z.: A distributed graph engine for web scale RDF data. Proc. VLDB Endow. 6(4), 265–276 (2013)

    Article  MATH  Google Scholar 

  16. Gurajada, S., Seufert, S., Miliaraki, I., Theobald, M.: TriAD: a distributed shared-nothing RDF engine based on asynchronous message passing. In: Proceedings of the ACM SIGMOD International Conference on Management of Data, pp. 289–300 (2014)

    Google Scholar 

  17. Daga, E., Asprino, L., Mulholland, P., Gangemi, A.: Facade-X: an opinionated approach to SPARQL anything. In: Alam, M., Groth, P., de Boer, V., Pellegrini, T., Pandit, H.J. (eds.) Further with Knowledge Graphs, vol. 53, pp. 58–73. IOS Press (2021). http://oro.open.ac.uk/78973/

  18. Hernawan, A., Sunarwidhi, A., Prasedya, E., Widyastuti, S.: A generalization SPARQL federated query: an initial step towards machine-readable web of data for halal food products. In: IOP Conference Series: Earth and Environmental Science, vol. 913, no. 1, p. 012040 (2021). https://iopscience.iop.org/article/10.1088/1755-1315/913/1/012040

  19. Quilitz, B., Leser, U.: Querying distributed RDF data sources with SPARQL. In: Bechhofer, S., Hauswirth, M., Hoffmann, J., Koubarakis, M. (eds.) ESWC 2008. LNCS, vol. 5021, pp. 524–538. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-68234-9_39

    Chapter  MATH  Google Scholar 

  20. Schwarte, A., Haase, P., Hose, K., Schenkel, R., Schmidt, M.: FedX: a federation layer for distributed query processing on linked open data. In: Antoniou, G., et al. (eds.) ESWC 2011. LNCS, vol. 6644, pp. 481–486. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-21064-8_39

    Chapter  Google Scholar 

  21. Khan, Y., et al.: SAFE: SPARQL federation over RDF data cubes with access control. J. Biomed. Semant. 8(1), 5 (2017). http://jbiomedsem.biomedcentral.com/articles/10.1186/s13326-017-0112-6

  22. Görlitz, O., Staab, S.: SPLENDID: SPARQL endpoint federation exploiting VOID descriptions. In: Proceedings of the Second International Conference on Consuming Linked Data, COLD 2011, vol. 782, pp. 13–24. CEUR-WS.org, Aachen (2011)

    Google Scholar 

  23. Troumpoukis, A., et al.: Developing a benchmark suite for semantic web data from existing workflows. In: Fundulaki, I., Krithara, A., Ngomo, A.N., Rentoumi, V. (eds.) Proceedings of the Workshop on Benchmarking Linked Data (BLINK 2016) co-located with the 15th International Semantic Web Conference (ISWC), Kobe, Japan, 18 October 2016. CEUR Workshop Proceedings, vol. 1700. CEUR-WS.org (2016). https://ceur-ws.org/Vol-1700/paper-04.pdf

  24. Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. J. ACM 63(1), 1–67 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  25. Yoshida, N.: Programming language implementations with multiparty session types. In: de Boer, F.S., Damiani, F., Hähnle, R., Johnsen, E.B., Kamburjan, E. (eds.) Active Object Languages: Current Research Trends. Lecture Notes in Computer Science, vol. 14360, pp. 147–165. Springer, Cham (2024). https://doi.org/10.1007/978-3-031-51060-1_6

    Chapter  MATH  Google Scholar 

  26. Coppo, M., Dezani-Ciancaglini, M., Padovani, L., Yoshida, N.: A gentle introduction to multiparty asynchronous session types. In: Bernardo, M., Johnsen, E. (eds.) SFM 2015. LNCS, vol. 9104, pp. 146–178. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-18941-3_4

    Chapter  MATH  Google Scholar 

  27. Yoshida, N., Gheri, L.: A very gentle introduction to multiparty session types. In: Hung, D.V., D’Souza, M. (eds.) ICDCIT 2020. LNCS, vol. 11969, pp. 73–93. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-36987-3_5

    Chapter  MATH  Google Scholar 

  28. Cyganiak, R.: A relational algebra for SPARQL. HP (2005). http://www.hpl.hp.com/techreports/2005/HPL-2005-170.pdf

  29. Salas, J., Hogan, A.: Semantics and canonicalisation of SPARQL 1.1. Semant. Web 13(5), 829–893 (2022)

    Google Scholar 

Download references

Acknowledgements

The first author is funded by the LPDP Indonesian Endowment Fund for Education from the Ministry of Finance of the Republic of Indonesia. This research is funded in part by EPSRC EP/T006544/2, EP/K011715/1, EP/K034413/1, EP/L00058X/1, EP/N027833/2, EP/N028201/1, EP/T014709/2, EP/V000462/1, EP/X015955/1, NCSS/EPSRC VeTSS and Horizon EU TaRDIS 101093006.

Author information

Authors and Affiliations

  1. University of Oxford, Oxford, UK

    Ari Hernawan & Nobuko Yoshida

Authors
  1. Ari Hernawan
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Nobuko Yoshida
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Nobuko Yoshida .

Editor information

Editors and Affiliations

  1. National University of Singapore, Singapore, Singapore

    Wei-Ngan Chin

  2. Shenzhen University, Guangdong, China

    Zhiwu Xu

Rights and permissions

Reprints and permissions

Copyright information

© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Hernawan, A., Yoshida, N. (2024). Protocol Conformance of Collaborative SPARQL Using Multiparty Session Types. In: Chin, WN., Xu, Z. (eds) Theoretical Aspects of Software Engineering. TASE 2024. Lecture Notes in Computer Science, vol 14777. Springer, Cham. https://doi.org/10.1007/978-3-031-64626-3_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-64626-3_1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-64625-6

  • Online ISBN: 978-3-031-64626-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics