Antonis Bikakis Constantinos Papatheodorou Grigoris Antoniou The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic Web. 345-351 2008 SETN http://dx.doi.org/10.1007/978-3-540-87881-0_31 conf/setn/2008 db/conf/setn/setn2008.html#BikakisPA08