Proof Explanation in the DR-DEVICE System

Nick Bassiliades; Grigoris Antoniou; Guido Governatori

doi:10.1007/978-3-540-72982-2_19

Proof Explanation in the DR-DEVICE System

Nick Bassiliades, Grigoris Antoniou, Guido Governatori

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

8 Citations (Scopus)

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.

Original language	English
Title of host publication	Web Reasoning and Rule Systems
Subtitle of host publication	First International Conference, RR 2007, Proceedings
Editors	Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie
Place of Publication	Berlin
Publisher	Springer-Verlag Berlin Heidelberg
Pages	249-258
Number of pages	10
Volume	4524 LNCS
ISBN (Electronic)	9783540729822
ISBN (Print)	354072981X, 9783540729815
DOIs	https://doi.org/10.1007/978-3-540-72982-2_19
Publication status	Published - 11 Jul 2007
Externally published	Yes
Event	1st International Conference on Web Reasoning and Rule Systems - Innsbruck, Austria Duration: 7 Jun 2007 → 8 Jun 2007 Conference number: 1

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher	Springer-Verlag Berlin Heidelberg
Volume	4524 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	1st International Conference on Web Reasoning and Rule Systems
Abbreviated title	RR 2007
Country/Territory	Austria
City	Innsbruck
Period	7/06/07 → 8/06/07

Access to Document

10.1007/978-3-540-72982-2_19Licence: Unspecified

Cite this

Bassiliades, N., Antoniou, G., & Governatori, G. (2007). Proof Explanation in the DR-DEVICE System. In M. Marchiori, J. Z. Pan, & C. de Sainte Marie (Eds.), Web Reasoning and Rule Systems: First International Conference, RR 2007, Proceedings (Vol. 4524 LNCS, pp. 249-258). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4524 LNCS). Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/978-3-540-72982-2_19

Bassiliades, Nick ; Antoniou, Grigoris ; Governatori, Guido. / Proof Explanation in the DR-DEVICE System. Web Reasoning and Rule Systems: First International Conference, RR 2007, Proceedings. editor / Massimo Marchiori ; Jeff Z. Pan ; Christian de Sainte Marie. Vol. 4524 LNCS Berlin : Springer-Verlag Berlin Heidelberg, 2007. pp. 249-258 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{fe31721af39645d098831feb90fed930,

title = "Proof Explanation in the DR-DEVICE System",

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.",

keywords = "Description Logic, Strict Rule, Proof Tree, Defeasible Reasoning, Rule Language",

author = "Nick Bassiliades and Grigoris Antoniou and Guido Governatori",

year = "2007",

month = jul,

day = "11",

doi = "10.1007/978-3-540-72982-2_19",

language = "English",

isbn = "354072981X",

volume = "4524 LNCS",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer-Verlag Berlin Heidelberg",

pages = "249--258",

editor = "Massimo Marchiori and Pan, {Jeff Z.} and {de Sainte Marie}, Christian",

booktitle = "Web Reasoning and Rule Systems",

address = "Germany",

note = "1st International Conference on Web Reasoning and Rule Systems, RR 2007 ; Conference date: 07-06-2007 Through 08-06-2007",

}

Bassiliades, N, Antoniou, G & Governatori, G 2007, Proof Explanation in the DR-DEVICE System. in M Marchiori, JZ Pan & C de Sainte Marie (eds), Web Reasoning and Rule Systems: First International Conference, RR 2007, Proceedings. vol. 4524 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4524 LNCS, Springer-Verlag Berlin Heidelberg, Berlin, pp. 249-258, 1st International Conference on Web Reasoning and Rule Systems, Innsbruck, Austria, 7/06/07. https://doi.org/10.1007/978-3-540-72982-2_19

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

Web Reasoning and Rule Systems: First International Conference, RR 2007, Proceedings. ed. / Massimo Marchiori; Jeff Z. Pan; Christian de Sainte Marie. Vol. 4524 LNCS Berlin : Springer-Verlag Berlin Heidelberg, 2007. p. 249-258 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4524 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Proof Explanation in the DR-DEVICE System

AU - Bassiliades, Nick

AU - Antoniou, Grigoris

AU - Governatori, Guido

N1 - Conference code: 1

PY - 2007/7/11

Y1 - 2007/7/11

N2 - 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.

AB - 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.

KW - Description Logic

KW - Strict Rule

KW - Proof Tree

KW - Defeasible Reasoning

KW - Rule Language

UR - http://www.scopus.com/inward/record.url?scp=38149134448&partnerID=8YFLogxK

UR - https://www.springer.com/gp/book/9783540729815?utm_campaign=bookpage_about_buyonpublisherssite&utm_medium=referral&utm_source=springerlink

U2 - 10.1007/978-3-540-72982-2_19

DO - 10.1007/978-3-540-72982-2_19

M3 - Conference contribution

AN - SCOPUS:38149134448

SN - 354072981X

SN - 9783540729815

VL - 4524 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 249

EP - 258

BT - Web Reasoning and Rule Systems

A2 - Marchiori, Massimo

A2 - Pan, Jeff Z.

A2 - de Sainte Marie, Christian

PB - Springer-Verlag Berlin Heidelberg

CY - Berlin

T2 - 1st International Conference on Web Reasoning and Rule Systems

Y2 - 7 June 2007 through 8 June 2007

ER -

Bassiliades N, Antoniou G, Governatori G. Proof Explanation in the DR-DEVICE System. In Marchiori M, Pan JZ, de Sainte Marie C, editors, Web Reasoning and Rule Systems: First International Conference, RR 2007, Proceedings. Vol. 4524 LNCS. Berlin: Springer-Verlag Berlin Heidelberg. 2007. p. 249-258. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-72982-2_19

Proof Explanation in the DR-DEVICE System

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this