On the Static Analysis for SPARQL Queries Using Modal Logic