title = {Temporalising Tractable Description Logics},
author = {A. Artale and R. Kontchakov and C. Lutz and F. Wolter and M. Zakharyaschev}, booktitle = {Proceedings of the Fourteenth International Symposium on Temporal Representation and Reasoning}, publisher = {IEEE Computer Society Press}, year = {2007}, description = {Temporalising Tractable Description Logics},
keywords = {imported }