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

  • Authors:

  • 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

  • Affiliations:

  • Institute of Computer Science, FORTH-ICS, Computer Science Department, University of Crete,;Institute of Computer Science, FORTH-ICS, Computer Science Department, University of Crete,;Institute of Computer Science, FORTH-ICS, Computer Science Department, University of Crete,;Institute of Computer Science, FORTH-ICS, Computer Science Department, University of Crete,;Institute of Computer Science, FORTH-ICS, Computer Science Department, University of Crete,;Institute of Computer Science, FORTH-ICS, Computer Science Department, University of Crete,;Institute of Computer Science, FORTH-ICS, Computer Science Department, University of Crete,;Institute of Computer Science, FORTH-ICS, Computer Science Department, University of Crete,;Institute of Computer Science, FORTH-ICS, Computer Science Department, University of Crete,;Institute of Computer Science, FORTH-ICS, Computer Science Department, University of Crete,;Institute of Computer Science, FORTH-ICS, Computer Science Department, University of Crete,;Institute of Computer Science, FORTH-ICS, Computer Science Department, University of Crete,;Institute of Computer Science, FORTH-ICS, Computer Science Department, University of Crete,;Institute of Computer Science, FORTH-ICS, Computer Science Department, University of Crete,;Institute of Computer Science, FORTH-ICS, Computer Science Department, University of Crete,;Institute of Computer Science, FORTH-ICS, Computer Science Department, University of Crete,;Cottbus University of Technology,;Institute of Computer Science, FORTH-ICS, Computer Science Department, University of Crete,

  • Venue:
  • SETN '08 Proceedings of the 5th Hellenic conference on Artificial Intelligence: Theories, Models and Applications
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

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.