Querying The Web Of Data: A Formal Approach