Riccardo Rosati Autoepistemic Description Logics. 219-221 1998 11 AI Commun. 3-4 db/journals/aicom/aicom11.html#Rosati98