Publications
“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. Paracons-owl2-RR2009.pdf (188.59 KB)
, “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. CircALCO-tableau-RR2009.pdf (244.34 KB)
,