Proof Explanation for the Semantic Web Using Defeasible Logic

Grigoris Antoniou; Antonis Bikakis; Nikos Dimaresis; Manolis Genetzakis; Giannis Georgalis; Guido Governatori; Efie Karouzaki; Nikolas Kazepis; Dimitris Kosmadakis; Manolis Kritsotakis; Giannis Lilis; Antonis Papadogiannakis; Panagiotis Pediaditis; Constantinos Terzakis; Rena Theodosaki; Dimitris Zeginis

doi:10.1007/978-3-540-76719-0_21

Proof Explanation for the Semantic Web Using Defeasible Logic

Grigoris Antoniou, Antonis Bikakis, Nikos Dimaresis, Manolis Genetzakis, Giannis Georgalis, Guido Governatori, Efie Karouzaki, Nikolas Kazepis, Dimitris Kosmadakis, Manolis Kritsotakis, Giannis Lilis, Antonis Papadogiannakis, Panagiotis Pediaditis, Constantinos Terzakis, Rena Theodosaki, Dimitris Zeginis

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

3 Citations (Scopus)

Abstract

In this work we present the design and implementation of a system for proof explanation in the Semantic Web, based on defeasible reasoning. Trust is a vital feature for 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. Our system produces automatically proof explanations using a popular logic programming system (XSB), by interpreting the output from the proof's trace and converting it into a meaningful representation. It also supports an XML representation (a RuleML language extension) for agent communication, which is a common scenario in the Semantic Web. The system in essence implements a proof layer for nonmonotonic rules on the Semantic Web.

Original language	English
Title of host publication	Knowledge Science, Engineering and Management
Subtitle of host publication	Second International Conference, KSEM 2007, Proceedings
Editors	Zili Zhang, Jörg Siekmann
Place of Publication	Berlin
Publisher	Springer-Verlag Berlin Heidelberg
Pages	186-197
Number of pages	12
Volume	4798 LNCS/LNAI
ISBN (Electronic)	9783540767190
ISBN (Print)	9783540767183
DOIs	https://doi.org/10.1007/978-3-540-76719-0_21
Publication status	Published - 14 Dec 2007
Externally published	Yes
Event	2nd International Conference on Knowledge Science, Engineering and Management - Melbourne, Australia Duration: 28 Nov 2007 → 30 Nov 2007 Conference number: 2

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	4798 LNCS/LNAI
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	2nd International Conference on Knowledge Science, Engineering and Management
Abbreviated title	KSEM 2007
Country/Territory	Australia
City	Melbourne
Period	28/11/07 → 30/11/07

Access to Document

10.1007/978-3-540-76719-0_21Licence: Unspecified

Cite this

Antoniou, G., Bikakis, A., Dimaresis, N., Genetzakis, M., Georgalis, G., Governatori, G., Karouzaki, E., Kazepis, N., Kosmadakis, D., Kritsotakis, M., Lilis, G., Papadogiannakis, A., Pediaditis, P., Terzakis, C., Theodosaki, R., & Zeginis, D. (2007). Proof Explanation for the Semantic Web Using Defeasible Logic. In Z. Zhang, & J. Siekmann (Eds.), Knowledge Science, Engineering and Management: Second International Conference, KSEM 2007, Proceedings (Vol. 4798 LNCS/LNAI, pp. 186-197). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4798 LNCS/LNAI). Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/978-3-540-76719-0_21

Antoniou, Grigoris ; Bikakis, Antonis ; Dimaresis, Nikos et al. / Proof Explanation for the Semantic Web Using Defeasible Logic. Knowledge Science, Engineering and Management: Second International Conference, KSEM 2007, Proceedings. editor / Zili Zhang ; Jörg Siekmann. Vol. 4798 LNCS/LNAI Berlin : Springer-Verlag Berlin Heidelberg, 2007. pp. 186-197 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{8b8269b8bc7c442ca0b92371b9b51b0d,

title = "Proof Explanation for the Semantic Web Using Defeasible Logic",

abstract = "In this work we present the design and implementation of a system for proof explanation in the Semantic Web, based on defeasible reasoning. Trust is a vital feature for 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. Our system produces automatically proof explanations using a popular logic programming system (XSB), by interpreting the output from the proof's trace and converting it into a meaningful representation. It also supports an XML representation (a RuleML language extension) for agent communication, which is a common scenario in the Semantic Web. The system in essence implements a proof layer for nonmonotonic rules on the Semantic Web.",

keywords = "Formal logic, Logic programming, Theorem proving, XML, Semantic Web",

author = "Grigoris Antoniou and Antonis Bikakis and Nikos Dimaresis and Manolis Genetzakis and Giannis Georgalis and Guido Governatori and Efie Karouzaki and Nikolas Kazepis and Dimitris Kosmadakis and Manolis Kritsotakis and Giannis Lilis and Antonis Papadogiannakis and Panagiotis Pediaditis and Constantinos Terzakis and Rena Theodosaki and Dimitris Zeginis",

year = "2007",

month = dec,

day = "14",

doi = "10.1007/978-3-540-76719-0_21",

language = "English",

isbn = "9783540767183",

volume = "4798 LNCS/LNAI",

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

publisher = "Springer-Verlag Berlin Heidelberg",

pages = "186--197",

editor = "Zili Zhang and J{\"o}rg Siekmann",

booktitle = "Knowledge Science, Engineering and Management",

address = "Germany",

note = "2nd International Conference on Knowledge Science, Engineering and Management, KSEM 2007 ; Conference date: 28-11-2007 Through 30-11-2007",

}

Antoniou, G, Bikakis, A, Dimaresis, N, Genetzakis, M, Georgalis, G, Governatori, G, Karouzaki, E, Kazepis, N, Kosmadakis, D, Kritsotakis, M, Lilis, G, Papadogiannakis, A, Pediaditis, P, Terzakis, C, Theodosaki, R & Zeginis, D 2007, Proof Explanation for the Semantic Web Using Defeasible Logic. in Z Zhang & J Siekmann (eds), Knowledge Science, Engineering and Management: Second International Conference, KSEM 2007, Proceedings. vol. 4798 LNCS/LNAI, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4798 LNCS/LNAI, Springer-Verlag Berlin Heidelberg, Berlin, pp. 186-197, 2nd International Conference on Knowledge Science, Engineering and Management, Melbourne, Victoria, Australia, 28/11/07. https://doi.org/10.1007/978-3-540-76719-0_21

Proof Explanation for the Semantic Web Using Defeasible Logic. / Antoniou, Grigoris; Bikakis, Antonis; Dimaresis, Nikos et al.

Knowledge Science, Engineering and Management: Second International Conference, KSEM 2007, Proceedings. ed. / Zili Zhang; Jörg Siekmann. Vol. 4798 LNCS/LNAI Berlin : Springer-Verlag Berlin Heidelberg, 2007. p. 186-197 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4798 LNCS/LNAI).

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

TY - GEN

T1 - Proof Explanation for the Semantic Web Using Defeasible Logic

AU - Antoniou, Grigoris

AU - Bikakis, Antonis

AU - Dimaresis, Nikos

AU - Genetzakis, Manolis

AU - Georgalis, Giannis

AU - Governatori, Guido

AU - Karouzaki, Efie

AU - Kazepis, Nikolas

AU - Kosmadakis, Dimitris

AU - Kritsotakis, Manolis

AU - Lilis, Giannis

AU - Papadogiannakis, Antonis

AU - Pediaditis, Panagiotis

AU - Terzakis, Constantinos

AU - Theodosaki, Rena

AU - Zeginis, Dimitris

N1 - Conference code: 2

PY - 2007/12/14

Y1 - 2007/12/14

N2 - In this work we present the design and implementation of a system for proof explanation in the Semantic Web, based on defeasible reasoning. Trust is a vital feature for 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. Our system produces automatically proof explanations using a popular logic programming system (XSB), by interpreting the output from the proof's trace and converting it into a meaningful representation. It also supports an XML representation (a RuleML language extension) for agent communication, which is a common scenario in the Semantic Web. The system in essence implements a proof layer for nonmonotonic rules on the Semantic Web.

AB - In this work we present the design and implementation of a system for proof explanation in the Semantic Web, based on defeasible reasoning. Trust is a vital feature for 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. Our system produces automatically proof explanations using a popular logic programming system (XSB), by interpreting the output from the proof's trace and converting it into a meaningful representation. It also supports an XML representation (a RuleML language extension) for agent communication, which is a common scenario in the Semantic Web. The system in essence implements a proof layer for nonmonotonic rules on the Semantic Web.

KW - Formal logic

KW - Logic programming

KW - Theorem proving

KW - XML

KW - Semantic Web

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

UR - https://www.springer.com/gp/book/9783540767183

U2 - 10.1007/978-3-540-76719-0_21

DO - 10.1007/978-3-540-76719-0_21

M3 - Conference contribution

AN - SCOPUS:38149106621

SN - 9783540767183

VL - 4798 LNCS/LNAI

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

SP - 186

EP - 197

BT - Knowledge Science, Engineering and Management

A2 - Zhang, Zili

A2 - Siekmann, Jörg

PB - Springer-Verlag Berlin Heidelberg

CY - Berlin

T2 - 2nd International Conference on Knowledge Science, Engineering and Management

Y2 - 28 November 2007 through 30 November 2007

ER -

Antoniou G, Bikakis A, Dimaresis N, Genetzakis M, Georgalis G, Governatori G et al. Proof Explanation for the Semantic Web Using Defeasible Logic. In Zhang Z, Siekmann J, editors, Knowledge Science, Engineering and Management: Second International Conference, KSEM 2007, Proceedings. Vol. 4798 LNCS/LNAI. Berlin: Springer-Verlag Berlin Heidelberg. 2007. p. 186-197. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-76719-0_21

Proof Explanation for the Semantic Web Using Defeasible Logic

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this