SPARQL swMATH ID: 7429 Software Authors: w3.org; Arenas, Marcelo; Pérez, Jorge Description: Federation and navigation in SPARQL 1.1. SPARQL is now widely used as the standard query language for RDF. Since the release of its first version in 2008, the W3C group in charge of the standard has been working on extensions of the language to be included in the new version, SPARQL 1.1. These extensions include several interesting and very useful features for querying RDF.par In this paper, we survey two key features of SPARQL 1.1: Federation and navigation capabilities. We first introduce the SPARQL standard presenting its syntax and formal semantics. We then focus on the formalization of federation and navigation in SPARQL 1.1. We analyze some classical theoretical problems such as expressiveness and complexity, and discuss algorithmic properties. Moreover, we present some important recently discovered issues regarding the normative semantics of federation and navigation in SPARQL 1.1, specifically, on the impossibility of answering some unbounded federated queries and the high computational complexity of the evaluation problem for queries including navigation functionalities. Finally, we discuss on possible alternatives to overcome these issues and their implications on the adoption of the standard. Homepage: http://www.w3.org/TR/rdf-sparql-query/ Related Software: Jena; XPath; LUBM; DBpedia; Pellet; nSPARQL; WordNet; YAGO; C-SPARQL; FaCT++; XQuery; swrl; Oracle; TRIPLE; Datalog; GraphLog; Ontop; openCypher; LARS; Turtle Cited in: 88 Publications Standard Articles 2 Publications describing the Software, including 1 Publication in zbMATH Year An introduction to SPARQL and queries over linked data Hartig, Olaf 2012 Federation and navigation in SPARQL 1.1. Zbl 1251.68085Arenas, Marcelo; Pérez, Jorge 2012 all top 5 Cited by 237 Authors 4 Horrocks, Ian 4 Kohlhase, Michael 3 Analyti, Anastasia 3 Antoniou, Grigoris 3 Cuenca Grau, Bernardo 3 Eiter, Thomas 3 Ferré, Sébastien 3 Gutiérrez, Claudio 3 Horne, Ross 3 Kaminski, Mark 3 Lange, Christoph 3 Manna, Marco 3 Paredaens, Jan 3 Sassone, Vladimiro 3 Zangari, Jessica 2 Arenas, Marcelo 2 Calimeri, Francesco 2 Ciobanu, Gabriel 2 Fiorentino, Alessio 2 Glimm, Birte 2 Gottlob, Georg 2 Gupta, Anubha 2 Khan, Latifur 2 Kostylev, Egor V. 2 Linse, Benedikt 2 Michaliszyn, Jakub 2 Motik, Boris 2 Ortiz, Magdalena 2 Otop, Jan 2 Pachoulakis, Ioannis 2 Perri, Simona 2 Rabe, Florian 2 Ramanujam, Sunitha 2 Reutter, Juan L. 2 Seida, Steven 2 Stoilos, Giorgos 2 Thuraisingham, Bhavani M. 2 Viegas Damásio, Carlos 2 Vrgoč, Domagoj 2 Wieczorek, Piotr Zbigniew 1 Abbass, Mona 1 Akhtar, Waseem 1 Alam, Mehwish 1 Allocca, Carlo 1 Alvarez-Garcia, Sandra 1 Alviano, Mario 1 Antoniou, Ioannis E. 1 Atzori, Maurizio 1 Auer, Sören 1 Augsten, Nikolaus 1 Barbieri, Davide Francesco 1 Beck, Harald 1 Behrends, Erik 1 Bienvenu, Meghyn 1 Bilder, Robert 1 Braga, Daniele 1 Bratsas, Charalampos 1 Brewka, Gerhard 1 Brisaboa, Nieves R. 1 Bry, François 1 Buzmakov, Aleksey 1 Calude, Cristian S. 1 Calvanese, Diego 1 Cellier, Peggy 1 Ceri, Stefano 1 Chbeir, Richard 1 Chekol, Melisachew Wudage 1 Chen, Furong 1 Chen, Muhao 1 Cheng, Hong 1 Cheng, Jingwei 1 Chu, Wesley W. 1 Civili, Cristina 1 Condoluci, Andrea 1 Corneli, Joseph 1 Cortés-Calabuig, Alvaro 1 Costabile, Roberta 1 Cuteri, Bernardo 1 Damásio, Carlos V. 1 d’Amato, Claudia 1 Dao-Tran, Minh 1 Das, Souripriya 1 de Bernardo, Guillermo 1 Debarbieux, Denis 1 Della Valle, Emanuele 1 Dezani-Ciancaglini, Mariangiola 1 Dimou, Anastasia 1 Duval, Dominique 1 Echahed, Rachid 1 Eickler, André 1 Eisinger, Norbert 1 ElLatif, Mahmoud Abd 1 Ellmauthaler, Stefan 1 Euzenat, Jérôme 1 Fan, Wenfei 1 Fang, Hong 1 Fanizzi, Nicola 1 Fazzinga, Bettina 1 Fionda, Valeria 1 Flouris, Giorgos ...and 137 more Authors all top 5 Cited in 35 Serials 5 Artificial Intelligence 4 Journal of Computer and System Sciences 4 Annals of Mathematics and Artificial Intelligence 3 The Journal of Artificial Intelligence Research (JAIR) 2 Discrete Applied Mathematics 2 Information Sciences 2 Theoretical Computer Science 2 Information and Computation 2 Journal of Automated Reasoning 2 Complexity 2 Theory of Computing Systems 2 Theory and Practice of Logic Programming 2 International Journal of Semantic Computing 2 Journal of Logical and Algebraic Methods in Programming 1 Information Processing Letters 1 Fuzzy Sets and Systems 1 Programming and Computer Software 1 Mathematics in Practice and Theory 1 Journal of Symbolic Computation 1 International Journal of Approximate Reasoning 1 Formal Aspects of Computing 1 Journal of Logic and Computation 1 MSCS. Mathematical Structures in Computer Science 1 Cybernetics and Systems Analysis 1 Journal of Applied Non-Classical Logics 1 Filomat 1 Fundamenta Informaticae 1 Electronic Commerce Research 1 Computational Intelligence 1 Journal of Discrete Algorithms 1 International Journal of Mathematics and Computer Science 1 Logical Methods in Computer Science 1 Studies on the Semantic Web 1 Frontiers of Computer Science 1 MIT Lincoln Laboratory Series Cited in 4 Fields 88 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) 3 Combinatorics (05-XX) 1 Biology and other natural sciences (92-XX) Citations by Year