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
Y1 - 2008/3
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 - http://www.scopus.com/inward/record.url?scp=38749152878&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=38749152878&partnerID=8YFLogxK
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 -