Static Analysis and Optimization of Semantic Web Queries