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]
@inproceedings{ArtaleFMWZ01, title = {The DLRUS Temporal Description Logic}, author = {Alessandro Artale and Enrico Franconi and Milenko Mosurovic and Frank Wolter and Michael Zakharyaschev}, year = {2001}, url = {http://CEUR-WS.org/Vol-49/ArtaleFranconiMosurovicWolterZakharyaschev-96start.ps}, tags = {logic}, researchr = {https://researchr.org/publication/ArtaleFMWZ01}, cites = {0}, citedby = {0}, booktitle = {Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001}, editor = {Carole A. Goble and Deborah L. McGuinness and Ralf Möller and Peter F. Patel-Schneider}, volume = {49}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, }