Grigoris Antoniou Antonis Bikakis Nikos Dimaresis Manolis Genetzakis Giannis Georgalis Guido Governatori Efie Karouzaki Nikolas Kazepis Dimitris Kosmadakis Manolis Kritsotakis Giannis Lilis Antonis Papadogiannakis Panagiotis Pediaditis Constantinos Terzakis Rena Theodosaki Dimitris Zeginis Proof Explanation for the Semantic Web Using Defeasible Logic. 186-197 2007 conf/ksem/2007 KSEM http://dx.doi.org/10.1007/978-3-540-76719-0_21 db/conf/ksem/ksem2007.html#AntoniouBDGGGKKKKLPPTTZ07