Y.  Ma and Hitzler, P., ?Paraconsistent Reasoning for OWL 2?, in Web Reasoning and Rule Systems, Third International Conference, RR 2009, Chantilly, VA, USA, 2009, vol. 5837, pp. 197?211.

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.