Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: 2ATAs make DLs easy. Description Logics 2002