Description Logics and Guarded Fragments of First Order Logic

Erich Grädel. Description Logics and Guarded Fragments of First Order Logic. In Enrico Franconi, Giuseppe De Giacomo, Robert M. MacGregor, Werner Nutt, Christopher A. Welty, editors, Proceedings of the 1998 International Workshop on Description Logics (DL 98), IRST, Povo - Trento, Italy, June 6-8, 1998. Volume 11 of CEUR Workshop Proceedings, CEUR-WS.org, 1998. [doi]

Abstract

Abstract is missing.