Introducing Temporal Description Logics. - Artale, Alessandro; Franconi, Enrico (1999)