M. Dao-Tran: "Default Reasoning on Top of Ontologies with dl-Programs"; Supervisor: T. Eiter, T. Krennwallner; Institut für Informationssysteme, 2008.