Proof explanation for a nonmonotonic Semantic Web rules language

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.1016/j.datak.2007.10.006

Proof explanation for a nonmonotonic Semantic Web rules language

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: Contribution to journal › Article › peer-review

17 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 for agent communication, which is a common scenario in the Semantic Web. In this paper, we present the design and implementation of the system, a RuleML language extension for the representation of a proof explanation, and we give some examples of the system. The system in essence implements a proof layer for nonmonotonic rules on the Semantic Web.

Original language	English
Pages (from-to)	662-687
Number of pages	26
Journal	Data and Knowledge Engineering
Volume	64
Issue number	3
Early online date	1 Nov 2007
DOIs	https://doi.org/10.1016/j.datak.2007.10.006
Publication status	Published - 1 Mar 2008
Externally published	Yes

Access to Document

10.1016/j.datak.2007.10.006Licence: 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. (2008). Proof explanation for a nonmonotonic Semantic Web rules language. Data and Knowledge Engineering, 64(3), 662-687. https://doi.org/10.1016/j.datak.2007.10.006

@article{c582b610917f4b549426915f2b9a911c,

title = "Proof explanation for a nonmonotonic Semantic Web rules language",

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 for agent communication, which is a common scenario in the Semantic Web. In this paper, we present the design and implementation of the system, a RuleML language extension for the representation of a proof explanation, and we give some examples of the system. The system in essence implements a proof layer for nonmonotonic rules on the Semantic Web.",

keywords = "Defeasible reasoning, Nonmonotonic rule systems, Proof explanation, RuleML, Semantic Web proof layer",

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 = "2008",

month = mar,

day = "1",

doi = "10.1016/j.datak.2007.10.006",

language = "English",

volume = "64",

pages = "662--687",

journal = "Data and Knowledge Engineering",

issn = "0169-023X",

publisher = "Elsevier BV",

number = "3",

}

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 2008, 'Proof explanation for a nonmonotonic Semantic Web rules language', Data and Knowledge Engineering, vol. 64, no. 3, pp. 662-687. https://doi.org/10.1016/j.datak.2007.10.006

TY - JOUR

T1 - Proof explanation for a nonmonotonic Semantic Web rules language

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

PY - 2008/3/1

Y1 - 2008/3/1

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 for agent communication, which is a common scenario in the Semantic Web. In this paper, we present the design and implementation of the system, a RuleML language extension for the representation of a proof explanation, and we give some examples of the system. 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 for agent communication, which is a common scenario in the Semantic Web. In this paper, we present the design and implementation of the system, a RuleML language extension for the representation of a proof explanation, and we give some examples of the system. The system in essence implements a proof layer for nonmonotonic rules on the Semantic Web.

KW - Defeasible reasoning

KW - Nonmonotonic rule systems

KW - Proof explanation

KW - RuleML

KW - Semantic Web proof layer

UR - https://www.scopus.com/pages/publications/38749152878

U2 - 10.1016/j.datak.2007.10.006

DO - 10.1016/j.datak.2007.10.006

M3 - Article

AN - SCOPUS:38749152878

SN - 0169-023X

VL - 64

SP - 662

EP - 687

JO - Data and Knowledge Engineering

JF - Data and Knowledge Engineering

IS - 3

ER -

Proof explanation for a nonmonotonic Semantic Web rules language

Abstract

Access to Document

Other files and links

Fingerprint

Cite this