@InProceedings{BaGhiLu-DL08,
  author =       {Franz Baader and Silvio Ghilardi and Carsten Lutz},
  title =        {LTL over Description Logic Axioms},
  booktitle = {Proceedings of the 21st International Workshop on Description Lo\
\
gics ({DL2008})},
  year = {2008},
  series = {CEUR-WS},
  volume = {353}
 }