Nick Bassiliades, Grigoris Antoniou, Guido Governatori:
Proof Explanation in the DR-DEVICE System.

Complete Text [
.pdf, 410KB]
In: Proceedings of First International Conference on Web Reasoning and Rule Systems (RR2007), Innsbruck, Austria (7th - 8th June 2007), LNCS 4524, 249-258, June 2007
© Springer

Trust is a vital feature for the 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, and this issue is the topic of the proof layer in the design of the Semantic Web. This paper presents the design of a system for proof explanation on the Semantic Web, based on defeasible reasoning. The basis of this work is the DR-DEVICE system that is extended to handle proofs. A critical aspect is the representation of proofs in an XML language, which is achieved by a RuleML language extension.



	author = {Nick Bassiliades and Grigoris Antoniou and Guido Governatori},
	title = {Proof Explanation in the DR-DEVICE System},
	booktitle = {Proceedings of First International Conference on Web Reasoning and Rule Systems, Innsbruck, Austria (7th--8th June 2007)},
	year = {2007},
	volume = {4524},
	series = {LNCS},
	pages = {249--258},
	url = {}