Francesco M. Donini, Daniele Nardi, Riccardo Rosati.
Technical report 21.99, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", 1999.
@String{DIS = "Dipartimento di Informatica e Sistemistica, Universit{\`a} di Roma ``La Sapienza''"} @Techrep{DoNR99, author = {Donini, Francesco M. and Nardi, Daniele and Rosati, Riccardo}, title = {Autoepistemic Description Logics}, institution = DIS, number = {21.99}, year = {1999} , }