Uso della Subsumption per l'Ottimizzazione Semantica delle Queries