Temporal Description Logics: A Survey
A propositional modal logic of time intervals