I have come to meet their scholar Andreas Hall, at CARTOCON 2014, who is about to defend his thesis soon.
The subject is **Reasoning in Spatio-Temporal Analysis - Theory, Provenance, and Applications**.
We also see overlaps to the work of Tomi Kauppinen 
, e.g. KNOWeSCAPE .