Qualitative reasoning with a Spatio-Temporal language