MIN-Fakultät Fachbereich Informatik Bibliothek
Isli, Amar
Bridging the gap between modal temporal logics and constraint-based QSR as an ALC(D) spatio-temporalisation with weakly cyclic TBoxes