Proof Explanation in the DR-DEVICE System

Nick Bassiliades, Grigoris Antoniou, Guido Governatori

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

8 Citations (Scopus)


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.

Original languageEnglish
Title of host publicationWeb Reasoning and Rule Systems
Subtitle of host publicationFirst International Conference, RR 2007, Proceedings
EditorsMassimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie
Place of PublicationBerlin
PublisherSpringer-Verlag Berlin Heidelberg
Number of pages10
Volume4524 LNCS
ISBN (Electronic)9783540729822
ISBN (Print)354072981X, 9783540729815
Publication statusPublished - 11 Jul 2007
Externally publishedYes
Event1st International Conference on Web Reasoning and Rule Systems - Innsbruck, Austria
Duration: 7 Jun 20078 Jun 2007
Conference number: 1

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer-Verlag Berlin Heidelberg
Volume4524 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference1st International Conference on Web Reasoning and Rule Systems
Abbreviated titleRR 2007


Dive into the research topics of 'Proof Explanation in the DR-DEVICE System'. Together they form a unique fingerprint.

Cite this