A tense-logical extension of terminological logics - Schild, Klaus (1991)