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 proceedingConference contributionpeer-review

3 Citations (Scopus)


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 languageEnglish
Title of host publicationKnowledge Science, Engineering and Management
Subtitle of host publicationSecond International Conference, KSEM 2007, Proceedings
EditorsZili Zhang, Jörg Siekmann
Place of PublicationBerlin
PublisherSpringer-Verlag Berlin Heidelberg
Number of pages12
Volume4798 LNCS/LNAI
ISBN (Electronic)9783540767190
ISBN (Print)9783540767183
Publication statusPublished - 14 Dec 2007
Externally publishedYes
Event2nd International Conference on Knowledge Science, Engineering and Management - Melbourne, Australia
Duration: 28 Nov 200730 Nov 2007
Conference number: 2

Publication series

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


Conference2nd International Conference on Knowledge Science, Engineering and Management
Abbreviated titleKSEM 2007


Dive into the research topics of 'Proof Explanation for the Semantic Web Using Defeasible Logic'. Together they form a unique fingerprint.

Cite this