The official definition is as follows:
Spatial and Temporal Reasoning deals with logic-based characterization of space, time, and spatio-temporal phenomena, as well as their computer realization using deduction systems and algorithms.
Some of the constituent subareas are:
For an overview of intended activities in this area, click here.