Grigoris Antoniou Antonis Bikakis Nikos Dimaresis Manolis Genetzakis Giannis Georgalis Guido Governatori Efie Karouzaki Nikolaos Kazepis Dimitris Kosmadakis Manolis Kritsotakis Giannis Lilis Antonis Papadogiannakis Panagiotis Pediaditis Constantinos Terzakis Rena Theodosaki Dimitris Zeginis Proof explanation for a nonmonotonic Semantic Web rules language. 662-687 2008 64 Data Knowl. Eng. 3 http://dx.doi.org/10.1016/j.datak.2007.10.006 db/journals/dke/dke64.html#AntoniouBDGGGKKKKLPPTTZ08