A Multi-agent Environment for Serving Proof Explanations in the Semantic Web
- 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
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.
KeywordsMulti-agent Systems Semantic Web Proof Explanation
Unable to display preview. Download preview PDF.