An Algebraic Language for Semantic Data Integration on the Hidden Web