A Formal Model of Queries on Interlinked RDF Graphs