Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev. The DLRUS Temporal Description Logic. In Carole A. Goble, Deborah L. McGuinness, Ralf Möller, Peter F. Patel-Schneider, editors, Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001. Volume 49 of CEUR Workshop Proceedings, CEUR-WS.org, 2001. [doi]
Abstract is missing.