Querying Linked Data and Büchi Automata | IEEE Conference Publication | IEEE Xplore