TY  - RPRT
TI  - Bridging the gap between modal temporal logics and constraint-based QSR as an ALC(D) spatio-temporalisation with weakly cyclic TBoxes
AU  - Amar Isli
PY  - 2003
UR  - https://arxiv.org/abs/cs/0307040
ID  - cs/0307040
ER  -