S.  Grimm and Hitzler, P., ?A Preferential Tableaux Calculus for Circumscriptive ALCO?, in Web Reasoning and Rule Systems, Third International Conference, RR 2009, Chantilly, VA, USA, 2009, vol. 5837, pp. 40?54.