New definition of the SPARQL — query language for the Semantic Web

1Kurgaev, AF
1V.M. Glushkov Institute of Cybernetics of the NAS of Ukraine, Kyiv
Dopov. Nac. akad. nauk Ukr. 2018, 11:19-31
Section: Information Science and Cybernetics
Language: Russian

The text and the part of a graphic description of the syntax of the SPARQL structured Query Language for the Semantic Web are described in the metalanguage of normal forms of knowledge. These descriptions guarantee that the SPARQL language can be implemented, when the interpreter of the metalanguage of normal forms of knowledge is implemented. It is demonstrated that the expressive possibilities of the metalanguage of normal forms of knowledge for the formal description of the SPARQL language are quite comparable with those of the Extended BackusNaur Form Metalanguage.

Keywords: formal description, metalanguage of normal forms of knowledge, semantic Web, SPARQL language
  1. DuCharme, B. (2013). Learning SPARQL, 2nd Edition. USA: O'Reilly Media, Inc.
  2. Kurgaev, A., Grygoryev, S. (November 2015). The normal forms of knowledge. Dopov. Nac. akad. nauk. Ukr., No. 11, pp. 36-43 (in Russian).
  3. Kurgaev, A., Grygoryev, S. (November 2016). Metalanguage of Normal Forms of Knowledge. Cybernetics and Systems Analysis. 52, No. 6, pp. 839-848. doi:
  4. Kurgaev, A. & Grygoryev, S. (October 2016). The universal turing machine interpreter. Dopov. Nac. akad. nauk. Ukr., No. 10, pp. 30-36 (in Russian). doi:
  5. Kurgaev, A. & Grygoryev, S. (2017). The definition of formal languages in the meta language of normal forms of knowledge. Programming problems. No. 4, pp. 37-50 (in Russian).
  6. SPARQL 1.1: Query Language. W3C Recommendation 21 March 2013. Retrieved from:
  7. Lee Feigenbaum. SPARQL By Example: A Tutorial. VP Technology & Standards, Cambridge Semantics. Retrieved from:
  8. Introduction aux RDF & SPARQL: Training Module 1.3. Open Data Support: 2014 European Commission. Retrieved from:
  9. Berners-Lee, T., Hall, W., Hendler, J. A., O'Hara, K., Shadbolt, N. & Weitzner, D. J. (2006) A Framework for Web Science. Foundations and Trends in Web Science, 1, No. 1, pp. 1-130. doi: