Minh Dao-Tran Thomas Eiter Thomas Krennwallner Realizing Default Logic over Description Logic Knowledge Bases. 602-613 2009 ECSQARU http://dx.doi.org/10.1007/978-3-642-02906-6_52 conf/ecsqaru/2009 db/conf/ecsqaru/ecsqaru2009.html#Dao-TranEK09