Bridging the gap between modal temporal logics and constraint-based QSR as an ALC(D) spatio-temporalisation with weakly cyclic TBoxes

Amar Isli Bridging the gap between modal temporal logics and constraint-based QSR as an ALC(D) spatio-temporalisation with weakly cyclic TBoxes http://arxiv.org/abs/cs.AI/0307040 2003 CoRR cs.AI/0307040 db/journals/corr/corr0307.html#cs-AI-0307040 informal publication