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 a Nonmonotonic Semantic Web Rules Language.

Data & Knowledge Engineering 64 (3), 662-687, March 2008
© Elsevier

In this work, we present the design and implementation of a system for proof explanation in the Semantic Web, based on defeasible reasoning. Trust is a vital feature for Semantic Web. If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain their actions, sources, and beliefs. Our system produces automatically proof explanations using a popular logic programming system (XSB), by interpreting the output from the proof’s trace and converting it into a meaningful representation. It also supports an XML representation for agent communication, which is a common scenario in the Semantic Web. In this paper, we present the design and implementation of the system, a RuleML language extension for the representation of a proof explanation, and we give some examples of the system. The system in essence implements a proof layer for nonmonotonic rules on the Semantic Web.



	author = {Grigoris Antoniou and Antonis Bikakis and Nikos Dimaresis and Manolis Genetzakis and Giannis Georgalis and Guido Governatori and Efie Karouzaki and Nikolas Kazepis and Dimitris Kosmadakis and Manolis Kritsotakis and Giannis Lilis and Antonis Papadogiannakis and Panagiotis Pediaditis and Constantinos Terzakis and Rena Theodosaki and Dimitris Zeginis},
	title = {Proof Explanation for a Nonmonotonic Semantic Web Rules Language},
	journal = {Data & Knowledge Engineering},
	year = {2008},
	volume = {64},
	number = {3},
	pages = {662--687},
	url = {}