Qualitative semantic spatio-temporal reasoning based on description logics for modeling dynamics of spatio-temporal objects in satellite images | IEEE Conference Publication | IEEE Xplore