Temporal Description Logics: A Survey | IEEE Conference Publication | IEEE Xplore