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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.