Seminario Scientifico per gli Studenti - Ragionare su ontologie Web usando frammenti decidibili della teoria degli insiemi