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

Open in new window