A spatio-temporalisation of ALC(D) and its translation into alternating automata augmented with spatial constraints
2020·Arxiv