Querying Linked Data and Büchi Automata

Linked Data is a field with ongoing development showing not only practical applications but also elegant theoretical results. Parts of these works concern the query process of Linked Data using SPARQL. Our work examines the querying of such data sources which are characterized by eventual computability, rather than finite. This infinite character of the data and the query process stimulated the use of Büchi automata in order to properly verify this computation model. In brief, our work contributes by presenting a novel approach to describe the infinite computation of SPARQL queries on a Web of Linked Data using Büchi automata.