A Multi-agent Environment for Serving Proof Explanations in the Semantic Web

Grigoris Antoniou, Antonis Bikakis, Polyvios Damianakis, Mixalhs Foukarakis, Giorgos Iacovidis, Marianna Karmazi, Haridimos Kondylakis, Antreas Makridakis, Giorgos Nikiforos, Grigoris Papadourakis, Manolis Papoutsakis, Aggeliki Psyharaki, Giorgos Stratakis, Panagiotis Tourlakis, Petros Tsialiamanis, Giorgos Vasileiadis, Gerd Wagner, Dimitris Velegrakis

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


In this work we present the design and implementation of a multi-agent environment for serving proof explanations in the Semantic Web. The system allows users or agents to issue queries, on a given RDF& rules knowledge base and automatically produces proof explanations for answers produced by a popular programming system (JENA), by interpreting the output from the proof's trace and converting it into a meaningful representation. It also supports an XML representation (a R2ML language extension) for agent communication, which is a common scenario in the Semantic Web. The system in essence implements a proof layer for rules on the Semantic Web empowering trust between agents and users.

Original languageEnglish
Title of host publicationArtificial Intelligence
Subtitle of host publicationTheories, Models and Applications - 5th Hellenic Conference on AI, SETN 2008, Proceedings
EditorsJohn Darzentas, George A. Vouros, Spyros Vosinakis, Argyris Arnellos
Place of PublicationBerlin
PublisherSpringer-Verlag Berlin Heidelberg
Number of pages12
Volume5138 LNCS/LNAI
ISBN (Electronic)9783540878810
ISBN (Print)3540878807, 9783540878803
Publication statusPublished - 19 Sep 2008
Externally publishedYes
Event5th Hellenic Conference on Artificial Intelligence - Syros, Greece
Duration: 2 Oct 20084 Oct 2008
Conference number: 5

Publication series

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


Conference5th Hellenic Conference on Artificial Intelligence
Abbreviated titleSETN 2008


Dive into the research topics of 'A Multi-agent Environment for Serving Proof Explanations in the Semantic Web'. Together they form a unique fingerprint.

Cite this