Using ontologies to formalize services specifications in multi-agent systems

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3228, Issue , 2004, Pages 92-110

  Breitman, Karin Koogan ^a   Filho, Aluízio Haendchen ^a   Haeusler, Edward Hermann ^a   Von Staa, Arndt ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION SYSTEMS; INFORMATION ANALYSIS; INTEROPERABILITY; NETWORK PROTOCOLS; SEMANTICS; SOFTWARE AGENTS;

COMMUNICATION PROTOCOL; MACHINE BASED INFERENCE; ONTOLOGIES;

MULTI AGENT SYSTEMS;

EID: 26444614808     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-30960-4_7     Document Type: Conference Paper

References (49)

1. [Azarmi00] Azarmi N., Thompson S. ZEUS: A Toolkit for Building Multi-Agent Systems. Proceedings of Fifth Annual Embracing Complexity Conference, Paris April 2000.
2. [Bechhofer01] Scan Bechhofer, Ian Horrocks, Carole Goble, Robert Stevens. OilEd: a Reasonable Ontology Editor for the Semantic Web. Proceedings of KI2001, Joint German/Austrian conference on Artificial Intelligence, September 19-21, Vienna. Springer-Verlag LNAI Vol. 2174, pp 396-408. 2001.
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 M. Fayad, Building Application Frameworks, John Willey and Sons, p. 55-82, 1999.
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, October 2003 - pp. 130-143.
6. [Breitman03] Breitman, K.K.; Leite, J.C.S.P - Lexicon Based Ontology Construction - Lecture Notes in Computer Science 2940- Springer-Verlag, 2003, pp.19-34.
7. [Breitman03b] Breitman, K.K.; Leite, J.C.S.P. - Semantic Interoperability by Aligning Ontologies - Proceedings of the Requirements Engineering and Open Systems (REOS)- Workshop at RE'03, Monterey, USA, September 2003.
8. [Breitman03c] Breitman, K.K., Leite, J.C.S.P.: Ontology as a Requirements Engineering Product, Proceedings of the International Conference on Requirements Engineering, IEEE Computer Society Press, 2003. pp. 309-319
9. [Evans00] Evans, R. "MESSAGE: Methodology for Engineering Systems of Software Agents". Deliverable 1, July 2000.
10. [FaCT04] - http://www.cs.man.ac.uk/~horrocks/FaCT/
11. [Fayad99] Fayad M.E. et al. "Building Application Frameworks". John Wiley & Sons, Inc. New York, 1999.
12. [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 -18 a 22 de Outubro de 2004 - to appear.
13. [Fensel01] Fensel, D. - Ontologies: a silver bullet for knowledge management and electronic commerce - Springer, 2001- Fensel, D. - Ontologies: a silver bullet for knowledge management and electronic commerce - Springer, 2001
14. [Fensel03] Fensel, D.; Wahlster, W.; Berners-Lee, T.; editors - Spinning the Semantic Web - MIT Press, Cambridge Massachusetts, 2003.
15. [Fernandez-Lopez97] M. Fernandez, A. Gomez-Perez, and N. Juristo. METHONTOLOGY: From Ontological Arts Towards Ontological Engineering. In Proceedings of the AAAI97 Spring Symposium Series on Ontological Engineering, Stanford, USA, pages 33-40, March 1997.
16. [Gamma95] Gamma E. et al. "Design patterns - elements of reusable object-oriented software." Addison-Wesley Longman, Inc., 1995.
17. [Gelfond93] Gelfond M. "Representing Action and Change by Logic Programs". The Journal of Logic Programming. Elsevier Science Publishing Co, New York 1993.
18. [Goméz-Peréz04] Goméz-Peréz, A.; Fernadéz-Peréz, M.; Corcho, O., Ontological Engineering, Springer-Verlag, 2004.
19. [Gruber93] Gruber, T.R. - A translation approach to portable ontology specifications - Knowledge Acquisition - 5: 199-220
20. [Gruber98] Gruber, T. - A translation approach to portable ontology specifications. Knowledge Acquisition, 5(2):21-66, 1998.
21. [Gruninger95] Gruninger, M.; Fox, M. - Methodology for the Design and Evaluation of Ontologies: Proceedings of the Workshop on basic Ontological Issues in Knowledge Sharing, IJCAI-95 Canada, 1995.
22. th SEW - NASA/IEEE Software Engineering Workshop, Greenbelt, MD. IEEE Computer Society Press, Los Alamitos, CA, 2004, pg 41-50.
23. [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 - Proceedings Of Third NASA/ IEEE Workshop on Formal Approaches to Agent Based Systems, Los Alamitos, California USA. To appear as LNCS, Springer-Verlag.
24. [Heflin01] Heflin, J.; Hendler, J. - A Portrait of the Semantic Web in Action - IEEE Intelligent Systems - March/April - 2001. pp.54-59.
25. [Heinsohn94] J. Heinsohn, D. Kudenko, B. Nebel, and H.-J. Profitlich. An empirical analysis of terminological representation systems. Artificial Intelligence, 68:367-397, 1994.
26. [Hendler00] Hendler, J.; McGuiness, D. - The DARPA agent Markup Language. IEEE Intelligent Systems. Vol 16 No 6, 2000. pp.67-73.
27. [Hendler01] Hendler, J. - Agents and the Semantic Web - IEEE Intelligent Systems March/April - 2001. pp.30-37
28. [Hjem01] Hejem, J. - Creating the Semantic Web with RDF - Wiley, 2001
29. [Horrocks01] Ian Horrocks and U. Sattler. Ontology Reasoning for the Semantic Web. In In B. Nebel, editor, Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI'01), Morgan Kaufmann, pages 199-204, 2001.
30. [Horrocks02] I. Horrocks- Reasoning with expressive description logics: Theory and practice-A. Voronkov, editor, Proceedings of the 18th International Conference on Automated Deduction (CADE 2002)
31. [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'00 - Rio de Janeiro, Brazil - 2000.
32. [Larman98] Larman C. "Applying UML and Patterns". Prentice Hall PTR. Upper Saddle River, NJ, USA, 1998.
33. [Maedche02] Maedche, A. - Ontology Learning for the Sematic Web - Kluwer Academic Publishers - 2002.
34. [McGuiness02] McGuiness, D.; Fikes, R.; Rice, J.; Wilder, S. - An Environment for Merging and Testing Large Ontologies - Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR-2000), Brekenridge, Colorado, April 12-15, San Francisco: Morgan Kaufmann. 2002. pp.483-493.
35. [McGuiness03] McGuiness, D.; Harmelen, F. - OWL Web Ontology Overview - W3C Working Draft 31 March 2003
36. [Newell, 1982] Newell, A. (1982). The Knowledge Level. Artificial Intelligence, 18:87-127.
37. [Noy01-b] Noy, N.; McGuiness, D. - Ontology Development 101 - A guide to creating your first ontology - KSL Technical Report, Standford University, 2001.
38. [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 Vol. 16 No. 2, 2001. pp. 60-71
39. [OilEd] http://oiled.man.ac.uk/
40. [OWL] http://www.w3.org/TR/owl-ref/
41. [Paton95] Paton N.W. "Supporting Production Rules Using EGA-Rules in an Object-Oriented Context". Department of Computer Science. Technical Report. University of Manchester, UK, 1995.
42. [Pree99] Pree, W. Hot-spot-driven development in M. Fayad, R. Johnson, D. Schmidt. Building Application Frameworks: Object-Oriented Foundations of Framework Design, John Willey and Sons, p. 379-393, 1999.
43. [Roberts98] Roberts D., Johnson R. Evolving frameworks: A pattern language for developing object-oriented frameworks in Martin R.C., Riehle D., Buschmann F. Addison-Wesley,1998.
44. [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 - ISBN 85-7401-126-6 - pp.161-176.
45. [Sowa00] Sowa, J. F. - Knowledge Representation: Logical, Philosophical and Computational Foundations - Brooks/Cole Books, Pacific Grove, CA - 2000.
46. [Sure03] Sure, Y.; Studer, R. - A methodology for Ontology based knowledge management in Davies, J., Fensel, D.; Hamellen, F.V., editors - Towards the Semantic Web: Ontology Driven Knowledge management - Wiley and Sons - 2003. pp. 33-46.
47. [Ushold96] Ushold, M.; Gruninger, M. - Ontologies: Principles, Methods and Applications. Knowledge Engineering Review, Vol. 11 No. 2 - 1996. pp. 93-136
48. [Vitaglione02] Vitaglione G., Quarta F., Cortese E. Scalability and Performance of JADE Message Transport System. Proceedings of AAMAS Workshop on AgentCities, Bologna, 16th July, 2002.
49. [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.