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
Conference paper

DOI: 10.1007/978-3-540-87881-0_4

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5138)
Cite this paper as:
Antoniou G. et al. (2008) A Multi-agent Environment for Serving Proof Explanations in the Semantic Web. In: Darzentas J., Vouros G.A., Vosinakis S., Arnellos A. (eds) Artificial Intelligence: Theories, Models and Applications. SETN 2008. Lecture Notes in Computer Science, vol 5138. Springer, Berlin, Heidelberg

Abstract

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.

Keywords

Multi-agent Systems Semantic Web Proof Explanation 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Grigoris Antoniou
    • 1
  • Antonis Bikakis
    • 1
  • Polyvios Damianakis
    • 1
  • Mixalhs Foukarakis
    • 1
  • Giorgos Iacovidis
    • 1
  • Marianna Karmazi
    • 1
  • Haridimos Kondylakis
    • 1
  • Antreas Makridakis
    • 1
  • Giorgos Nikiforos
    • 1
  • Grigoris Papadourakis
    • 1
  • Manolis Papoutsakis
    • 1
  • Aggeliki Psyharaki
    • 1
  • Giorgos Stratakis
    • 1
  • Panagiotis Tourlakis
    • 1
  • Petros Tsialiamanis
    • 1
  • Giorgos Vasileiadis
    • 1
  • Gerd Wagner
    • 2
  • Dimitris Velegrakis
    • 1
  1. 1.Institute of Computer Science, FORTH-ICSComputer Science Department, University of Crete 
  2. 2.Cottbus University of Technology 

Personalised recommendations