Dresden © Franz Baader LTL over Description Logic Axioms TU Dresden Germany * Supported by NICTA, Canberra Research Lab Universita degli Studi di Milano.