Towards an Implementation of the Temporal Description Logic TLALC. - Christian Günsel; Marco Wittmann (Description Logics, 2001)