The DLRUS Temporal Description Logic

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},
}