Reasoning in Expressive Description Logics

Handbook of Automated Reasoning. Volume II 2001.

@incollection{handbook-AR-2001,
   title = "Reasoning in Expressive Description Logics",
   year = "2001",
   author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio
Lenzerini and Daniele Nardi",
   editor = "Alan Robinson and Andrei Voronkov",
   booktitle = "Handbook of Automated Reasoning",
   pages = "1581--1634",
   volume = "II",
   publisher = "Elsevier Science Publishers",
}