Reasoning in Expressive Description Logics

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Daniele Nardi

Handbook of Automated Reasoning. Volume II 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",
ps.gz pdf