The Complexity of Circumscription in DLs | Read Paper on Bytez