Advertisement

Using Ontologies to Formalize Services Specifications in Multi-agent Systems

  • Karin Koogan Breitman
  • Aluízio Haendchen Filho
  • Edward Hermann Haeusler
  • Arndt von Staa
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3228)

Abstract

One key issue in multi-agent systems (MAS) is their ability to interact and exchange information autonomously across applications. To secure agent interoperability, designers must rely on a communication protocol that allows software agents to exchange meaningful information. In this paper we propose using ontologies as such communication protocol. Ontologies capture the semantics of the operations and services provided by agents, allowing interoperability and information exchange in a MAS. Ontologies are a formal, machine processable, representation that allows to capture the semantics of a domain and, to derive meaningful information by way of logical inference. In our proposal we use a formal knowledge representation language (OWL) that translates into Description Logics (a subset of first order logic), thus eliminating ambiguities and providing a solid base for machine based inference.The main contribution of this approach is to make the requirements explicit, centralize the specification in a single document (the ontology itself), at the same that it provides a formal, unambigous representation that can be processed by automated inference machines.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Azarmi00]
    Azarmi, N., Thompson, S.: ZEUS: A Toolkit for Building Multi-Agent Systems. In: Proceedings of Fifth Annual Embracing Complexity Conference, Paris (April 2000)Google Scholar
  2. [Bechhofer01]
    Bechhofer, S., Horrocks, I., Goble, C.A., Stevens, R.: OilEd: A Reason-able Ontology Editor for the Semantic Web. In: Baader, F., Brewka, G., Eiter, T. (eds.) KI 2001. LNCS, vol. 2174, pp. 396–408. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  3. [Berners-Lee01]
    Berners-Lee, T., Lassila, O., Hendler, J.: The Semantic Web Scientific American, http://www.scientificamerican.com/2001/0501issue/0501berners-lee.html
  4. [Bosh99]
    Bosch, J., Molin, P., Mattsson, M., Bengtsson, P., Fayad, M.: Framework problem and experiences. In: Fayad, M. (ed.) Building Application Frameworks, pp. 55–82. John Willey and Sons, West Sussex (1999)Google Scholar
  5. [Bouquet03]
    Bouquet, P., Serafini, L., Zanobini, S.: Semantic Coordination A new approach and an application. In: Proceedings of the 2nd. International Semantic Web Conference, Florida, pp. 130–143 (October 2003)Google Scholar
  6. [Breitman03]
    Breitman, K.K., Leite, J.C.S.P.: Lexicon based ontology construction. In: Lucena, C., Garcia, A., Romanovsky, A., Castro, J., Alencar, P.S.C. (eds.) SELMAS 2003. LNCS, vol. 2940, pp. 19–34. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  7. [Breitman03b]
    Breitman, K.K., Leite, J.C.S.P.: Semantic Interoperability by Aligning Ontologies. In: Proceedings of the Requirements Engineering and Open Systems (REOS) Workshop at RE 2003, USA, Monterey (September 2003)Google Scholar
  8. [Breitman03c]
    Breitman, K.K., Leite, J.C.S.P.: Ontology as a Requirements Engineering Product. In: Breitman, K.K., Leite, J.C.S.P. (eds.) Proceedings of the International Conference on Requirements Engineering, pp. 309–319. IEEE Computer Society Press, Los Alamitos (2003)Google Scholar
  9. [Evans00]
    Evans, R.: MESSAGE: Methodology for Engineering Systems of Software Agents. Deliverable 1 (July 2000) [FaCT04], http://www.cs.man.ac.uk/~horrocks/FaCT/
  10. [Fayad99]
    Fayad, M.E., et al.: Building Application Frameworks. John Wiley & Sons, Inc., New York (1999)Google Scholar
  11. [Felicíssimo04]
    Felicíssimo, C.H., Leite, J.C.S.P., Breitman, K.K., Silva, L.F.S.: - C&L: Um Ambiente para Edição e Visualização de Cenários e Léxicos - XVIIII Simpósio Brasileiro de Engenharia de Software (SBES) - Brasília, Outubro de 18–22 (2004) (to appear)Google Scholar
  12. [Fensel03]
    Fensel, D., Wahlster, W., Berners-Lee, T. (eds.): Spinning the Semantic Web. MIT Press, Cambridge (2003)zbMATHGoogle Scholar
  13. [Fensel01]
    Fensel, D.: Ontologies: a silver bullet for knowledge management and electronic commerce. Springer, Heidelberg (2001)CrossRefzbMATHGoogle Scholar
  14. [Fernandez-Lopez97]
    Fernandez, M., Gomez-Perez, A., Juristo, N.: METHONTOLOGY: From Ontological Arts Towards Ontological Engineering. In: Proceedings of the AAAI 1997 Spring Symposium Series on Ontological Engineering, Stanford, USA, pp. 33–40 (March 1997)Google Scholar
  15. [Gamma95]
    Gamma, E., et al.: Design patterns – elements of reusable object-oriented software. Addison-Wesley Longman, Inc., Amsterdam (1995)Google Scholar
  16. [Gelfond93]
    Gelfond, M.: Representing Action and Change by Logic Programs. The Journal of Logic Programming (1993)Google Scholar
  17. [Goméz-Peréz04]
    Goméz-Peréz, A., Fernadéz-Peréz, M., Corcho, O.: Ontological Engineering. Springer, Heidelberg (2004)Google Scholar
  18. [Gruber93]
    Gruber, T.R.: A translation approach to portable ontology specifications. Knowledge Acquisition 5, 199–220 (1993)Google Scholar
  19. [Gruber98]
    Gruber, T.: A translation approach to portable ontology specifications. Knowledge Acquisition 5(2), 21–66 (1998)Google Scholar
  20. [Gruninger95]
    Gruninger, M., Fox, M.: Methodology for the Design and Evaluation of Ontologies. In: Proceedings of the Workshop on basic Ontological Issues in Knowledge Sharing, IJCAI 1995, Canada (1995)Google Scholar
  21. [Haendchen03]
    Haendchen Filho, A., van Staa, A., Lucena, C.J.P.: A Component-Based Model for Building Reliable Multi-Agent Systems. In: Greenbelt, M. (ed.) Proceedings of 28th SEW - NASA/IEEE Software Engineering Workshop, Greenbelt, MD, pp. 41–50. IEEE Computer Society Press, Los Alamitos (2004)Google Scholar
  22. [Haendchen04]
    Haendchen, A., Caminada, N., Haeusler, H., von Staa, A.: Facilitating the Specification Capture and Transformation Process During the Formal Development of Multi-Agent Systems. In: Proceedings Of Third NASA/ IEEE Workshop on Formal Approaches to Agent Based Systems, Los Alamitos, California USA. LNCS (to appear)Google Scholar
  23. [Heflin01]
    Heflin, J., Hendler, J.: A Portrait of the Semantic Web in Action. IEEE Intelligent Systems, 54–59 (March/April 2001)Google Scholar
  24. [Heinsohn94]
    Heinsohn, J., Kudenko, D., Nebel, B., Profitlich, H.-J.: An empirical analysis of terminological representation systems. Artificial Intelligence 68, 367–397 (1994)CrossRefzbMATHGoogle Scholar
  25. [Hendler00]
    Hendler, J., McGuiness, D.: The DARPA agent Markup Language. IEEE Intelligent Systems 16(6), 67–73 (2000)Google Scholar
  26. [Hendler01]
    Hendler, J.: Agents and the Semantic Web. IEEE Intelligent Systems, 30–37 (March/April 2001)Google Scholar
  27. [Hjem01]
    Hejem, J.: Creating the Semantic Web with RDF. Wiley, Chichester (2001)Google Scholar
  28. [Horrocks01]
    Horrocks, I., Sattler, U.: Ontology Reasoning for the Semantic Web. In: Nebel, B. (ed.) Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001), pp. 199–204. Morgan Kaufmann, San Francisco (2001)Google Scholar
  29. [Horrocks02]
    Horrocks, I.: Reasoning with expressive description logics: Theory and practice. In: Voronkov, A. (ed.) CADE 2002. LNCS, vol. 2392, p. 1. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  30. [Kaplan00]
    Kaplan, G., Hadad, G., Doorn, J., Leite, J.C.S.P.: Inspección del Lexico Extedido del Lenguaje. In: Proceedings of the Workshop de Engenharia de Requisitos, WER 2000, Rio de Janeiro, Brazil (2000)Google Scholar
  31. [Larman98]
    Larman, C.: Applying UML and Patterns. Prentice Hall PTR, Upper Saddle River (1998)Google Scholar
  32. [Maedche02]
    Maedche, A.: Ontology Learning for the Sematic Web. Kluwer Academic Publishers, Dordrecht (2002)CrossRefzbMATHGoogle Scholar
  33. [McGuiness02]
    McGuiness, D., Fikes, R., Rice, J., Wilder, S.: An Environment for Merging and Testing Large Ontologies. In: Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2000), Brekenridge, Colorado, pp. 483–493. Morgan Kaufmann, San Francisco (2002)Google Scholar
  34. [McGuiness03]
    McGuiness, D., Harmelen, F.: OWL Web Ontology Overview. W3C Working Draft, March 31 (2003)Google Scholar
  35. [Newell, 1982]
    Newell, A.: The Knowledge Level. Artificial Intelligence 18, 87–127 (1982)MathSciNetCrossRefGoogle Scholar
  36. [Noy01-b]
    Noy, N., Sintek, M., Decker, S., Crubezy, R., Fergerson, R., Musen, A.: Creating Semantic Web Contents with Protégé 2000. IEEE Intelligent Systems 16(2), 60–71 (2001)CrossRefGoogle Scholar
  37. [Noy01-b]
    Noy, N., McGuiness, D.: Ontology Development 101. A guide to creating your first ontology. KSL Technical Report, Standford University (2001)Google Scholar
  38. [OilEd]
  39. [OWL]
  40. [Paton95]
    Paton, N.W.: Supporting Production Rules Using ECA-Rules in an Object-Oriented Context. Department of Computer Science. Technical Report. University of Manchester, UK (1995)Google Scholar
  41. [Pree99]
    Pree, W.: Hot-spot-driven development. In: Fayad, M., Johnson, R., Schmidt, D. (eds.) Building Application Frameworks: Object-Oriented Foundations of Framework Design, pp. 379–393. John Willey and Sons, West Sussex (1999)Google Scholar
  42. [Roberts98]
    Roberts, D., Johnson, R.: Evolving frameworks: A pattern language for developing object-oriented frameworks. In: Martin, R.C., Riehle, D., Buschmann, F. (eds.): Addison-Wesley, Reading (1998)Google Scholar
  43. [Silva03]
    Silva, L.F., Sayão, M., Leite, J.C.S.P., Breitman, K.K.: Enriquecendo o Código com Cenários 17 Simpósio de Engenharia de Software (SBES) - Manaus, AM 2003, pp.161- 176 (2003) ISBN 85-7401-126-6Google Scholar
  44. [Sowa00]
    Sowa, J.F.: Knowledge Representation: Logical, Philosophical and Computational Foundations. Brooks/Cole Books, Pacific Grove, CA (2000)Google Scholar
  45. [Sure03]
    Sure, Y., Studer, R.: A methodology for Ontology based knowledge management. In: Davies, J., Fensel, D., Hamellen, F.V. (eds.) Towards the Semantic Web: Ontology Driven Knowledge management, pp. 33–46. Wiley and Sons, Chichester (2003)Google Scholar
  46. [Ushold96]
    Ushold, M., Gruninger, M.: Ontologies: Principles, Methods and Applications. Knowledge Engineering Review 11(2), 93–136 (1996)CrossRefGoogle Scholar
  47. [Vitaglione02]
    Vitaglione G., Quarta F., Cortese E. Scalability and Performance of JADE Message Transport System. Proceedings of AAMAS Workshop on AgentCities, Bologna, July 16 (2002)Google Scholar
  48. [Yu00]
    Yu, L., et al.: A Conceptual Framework for Agent Oriented and Role Based Workflow Modeling. Technical report, Institute for Media and Communications Management, University of St. Gallen, Switzerland (2000)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Karin Koogan Breitman
  • Aluízio Haendchen Filho
  • Edward Hermann Haeusler
  • Arndt von Staa

There are no affiliations available

Personalised recommendations