%0 Journal Article %1 Bassiliades2007 %A Bassiliades, Nick %A Antoniou, Grigoris %A Governatori, Guido %D 2007 %J Web Reasoning and Rule Systems. LNCS %K kiwi %P 10 %T Proof Explanation in the DR-DEVICE System %V 4524 %X 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.

@article{Bassiliades2007, abstract = {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.}, added-at = {2008-11-14T13:33:38.000+0100}, author = {Bassiliades, Nick and Antoniou, Grigoris and Governatori, Guido}, biburl = {https://www.bibsonomy.org/bibtex/2ae1db0708e5b583b0e824cfb8c30a4eb/fraktalek}, citeulike-article-id = {3508726}, interhash = {1f657521f919964bd0b2934ed01c7923}, intrahash = {ae1db0708e5b583b0e824cfb8c30a4eb}, journal = {Web Reasoning and Rule Systems. LNCS}, keywords = {kiwi}, pages = 10, posted-at = {2008-11-13 14:13:53}, priority = {2}, timestamp = {2008-11-14T13:33:40.000+0100}, title = {Proof Explanation in the DR-DEVICE System}, volume = 4524, year = 2007 }