Sciweavers

Share
RR
2007
Springer

Proof Explanation in the DR-DEVICE System

9 years 2 months ago
Proof Explanation in the DR-DEVICE System
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.
Nick Bassiliades, Grigoris Antoniou, Guido Governa
Added 09 Jun 2010
Updated 09 Jun 2010
Type Conference
Year 2007
Where RR
Authors Nick Bassiliades, Grigoris Antoniou, Guido Governatori
Comments (0)
books