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
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5138)

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.

References

  1. 1.
    Antoniou, G., van Harmelen, F.: A Semantic Web Primer. MIT Press, CambridgeGoogle Scholar
  2. 2.
    Antoniou, G., Bikakis, A.: DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web. IEEE Transactions on Knowledge and Data Engineering (accepted for publication) Google Scholar
  3. 3.
    Barwise, J., Etchemendy, J.: The language of first-order logic. Center for the study of Language and Information (1993)Google Scholar
  4. 4.
    Bassiliades, N., Antoniou, G., Vlahavas, I.P.: Dr-device: A defeasible logic system for the semantic web. In: Ohlbach, H.J., Schaffert, S. (eds.) PPSWR 2004. LNCS, vol. 3208, pp. 134–148. Springer, Heidelberg (2004)Google Scholar
  5. 5.
    Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web, May 17, 2001. Scientific American Magazine (2001)Google Scholar
  6. 6.
    Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework. In: WLP, pp. 206–210 (2006)Google Scholar
  7. 7.
    Extensible Markup Language, http://www.w3.org/XML/
  8. 8.
    Foundation for Intelligent Physical Agents, http://www.fipa.org/index.html
  9. 9.
    Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. WWW 48, 57 (2003)Google Scholar
  10. 10.
    Grosof, B.N., Gandhe, M.D., Finin, T.W.: SweetJess: Translating DAMLRuleML to JESS. In: RuleML (2002)Google Scholar
  11. 11.
    Horrocks, I., Patel-Schneider, P.F.: A proposal for an OWL Rules Language. In: WWW 2004: Proceedings of the 13th international conference on World Wide Web, pp. 723–731. ACM Press, New York (2004)CrossRefGoogle Scholar
  12. 12.
    Java Agent DEvelopment Framework, http://jade.tilab.com/
  13. 13.
    Jena – A Semantic Web Framework for Java, http://jena.sourceforge.net/
  14. 14.
    Levy, A.Y., Rousset, M.C.: Combining Horn rules and description logics in CARIN. Artificial Intelligence 104(1-2) 165, 209 (1998)Google Scholar
  15. 15.
    McGuinness, D.L., Borgida, A.: Explaining subsumption in description logics. In: IJCAI, vol. (1), pp. 816–821 (1995)Google Scholar
  16. 16.
    McGuinness, D.L., da Silva, P.P.: Explaining answers from the semantic web: the inference web approach. J. Web Sem. 1(4), 397–413 (2004)Google Scholar
  17. 17.
    Rosati, R.: On the decidability and complexity of integrating ontologies and rules. WSJ 3(1), 41–60 (2005)Google Scholar
  18. 18.
    RuleML: The RuleML Initiative website (2006), http://www.ruleml.org/
  19. 19.
    Shortliffe, E.: Computer-based medical consultations: MYCIN. American Elsevier, New York (1976)Google Scholar
  20. 20.
    Sintek, M., Decker, S.: TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web. In: International Semantic Web Conference, pp. 364–378 (2002)Google Scholar
  21. 21.
    Sotiriou, C., Piccart, M.J.: Taking gene-expression profiling to the clinic: when will molecular signatures become relevant to patient care? Nature Reviews 7, 545–553 (2007)CrossRefGoogle Scholar
  22. 22.
    Swartout, W., Paris, C., Moore, J.: Explanations in knowledge systems: Design for explain able expert systems. IEEE Expert: Intelligent Systems and Their Applications 06(3), 58–64 (1991)Google Scholar
  23. 23.
    The REWERSE I1 Rule Markup Language, http://oxygen.informatik.tu-cottbus.de/rewerse-i1/?q=R2ML

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