 In Artificial Intelligence, space-time reasoning has been actively evolving over the past decades, particularly in the context of spatio-temporal databases, ontologies, and constraint networks. The main focus here is on the logical characterization of spatio-temporal models, expressiveness, and computational complexity (Gabelaia et al. 2005; Kontchakov et al. 2007).