Dl-lite with temporalised concepts, rigid axioms and roles (2009)

by A Artale, R Kontchakov, V Ryzhikov, M Zakharyaschev
Venue:In FroCoS