{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,4]],"date-time":"2025-09-04T13:48:05Z","timestamp":1756993685054},"publisher-location":"Berlin, Heidelberg","reference-count":48,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540244226"},{"type":"electronic","value":"9783540309604"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30960-4_7","type":"book-chapter","created":{"date-parts":[[2010,2,25]],"date-time":"2010-02-25T19:19:26Z","timestamp":1267125566000},"page":"92-110","source":"Crossref","is-referenced-by-count":4,"title":["Using Ontologies to Formalize Services Specifications in Multi-agent Systems"],"prefix":"10.1007","author":[{"given":"Karin Koogan","family":"Breitman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alu\u00edzio Haendchen","family":"Filho","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edward Hermann","family":"Haeusler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arndt","family":"von Staa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Azarmi, N., Thompson, S.: ZEUS: A Toolkit for Building Multi-Agent Systems. In: Proceedings of Fifth Annual Embracing Complexity Conference, Paris (April 2000)"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1007\/3-540-45422-5_28","volume-title":"KI 2001: Advances in Artificial Intelligence","author":"S. Bechhofer","year":"2001","unstructured":"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.\u00a02174, pp. 396\u2013408. Springer, Heidelberg (2001)"},{"key":"7_CR3","unstructured":"Berners-Lee, T., Lassila, O., Hendler, J.: The Semantic Web Scientific American, http:\/\/www.scientificamerican.com\/2001\/0501issue\/0501berners-lee.html"},{"key":"7_CR4","first-page":"55","volume-title":"Building Application Frameworks","author":"J. Bosch","year":"1999","unstructured":"Bosch, J., Molin, P., Mattsson, M., Bengtsson, P., Fayad, M.: Framework problem and experiences. In: Fayad, M. (ed.) Building Application Frameworks, pp. 55\u201382. John Willey and Sons, West Sussex (1999)"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"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\u2013143 (October 2003)","DOI":"10.1007\/978-3-540-39718-2_9"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-540-24625-1_2","volume-title":"Software Engineering for Multi-Agent Systems II","author":"K.K. Breitman","year":"2004","unstructured":"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.\u00a02940, pp. 19\u201334. Springer, Heidelberg (2004)"},{"key":"7_CR7","unstructured":"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)"},{"key":"7_CR8","first-page":"309","volume-title":"Proceedings of the International Conference on Requirements Engineering","author":"K.K. Breitman","year":"2003","unstructured":"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\u2013319. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"7_CR9","unstructured":"Evans, R.: MESSAGE: Methodology for Engineering Systems of Software Agents. Deliverable 1 (July 2000) [FaCT04], http:\/\/www.cs.man.ac.uk\/~horrocks\/FaCT\/"},{"key":"7_CR10","volume-title":"Building Application Frameworks","author":"M.E. Fayad","year":"1999","unstructured":"Fayad, M.E., et al.: Building Application Frameworks. John Wiley & Sons, Inc., New York (1999)"},{"key":"7_CR11","unstructured":"Felic\u00edssimo, C.H., Leite, J.C.S.P., Breitman, K.K., Silva, L.F.S.: - C&L: Um Ambiente para Edi\u00e7\u00e3o e Visualiza\u00e7\u00e3o de Cen\u00e1rios e L\u00e9xicos - XVIIII Simp\u00f3sio Brasileiro de Engenharia de Software (SBES) - Bras\u00edlia, Outubro de 18\u201322 (2004) (to appear)"},{"volume-title":"Spinning the Semantic Web","year":"2003","key":"7_CR12","unstructured":"Fensel, D., Wahlster, W., Berners-Lee, T. (eds.): Spinning the Semantic Web. MIT Press, Cambridge (2003)"},{"key":"7_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04396-7","volume-title":"Ontologies: a silver bullet for knowledge management and electronic commerce","author":"D. Fensel","year":"2001","unstructured":"Fensel, D.: Ontologies: a silver bullet for knowledge management and electronic commerce. Springer, Heidelberg (2001)"},{"key":"7_CR14","unstructured":"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\u201340 (March 1997)"},{"key":"7_CR15","volume-title":"Design patterns \u2013 elements of reusable object-oriented software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., et al.: Design patterns \u2013 elements of reusable object-oriented software. Addison-Wesley Longman, Inc., Amsterdam (1995)"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Gelfond, M.: Representing Action and Change by Logic Programs. The Journal of Logic Programming (1993)","DOI":"10.1016\/0743-1066(93)90035-F"},{"key":"7_CR17","volume-title":"Ontological Engineering","author":"A. Gom\u00e9z-Per\u00e9z","year":"2004","unstructured":"Gom\u00e9z-Per\u00e9z, A., Fernad\u00e9z-Per\u00e9z, M., Corcho, O.: Ontological Engineering. Springer, Heidelberg (2004)"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Gruber, T.R.: A translation approach to portable ontology specifications. Knowledge Acquisition\u00a05, 199\u2013220 (1993)","DOI":"10.1006\/knac.1993.1008"},{"issue":"2","key":"7_CR19","first-page":"21","volume":"5","author":"T. Gruber","year":"1998","unstructured":"Gruber, T.: A translation approach to portable ontology specifications. Knowledge Acquisition\u00a05(2), 21\u201366 (1998)","journal-title":"Knowledge Acquisition"},{"key":"7_CR20","unstructured":"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)"},{"key":"7_CR21","first-page":"41","volume-title":"Proceedings of 28th SEW - NASA\/IEEE Software Engineering Workshop, Greenbelt, MD","author":"A. Haendchen Filho","year":"2004","unstructured":"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\u201350. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"7_CR22","unstructured":"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)"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Heflin, J., Hendler, J.: A Portrait of the Semantic Web in Action. IEEE Intelligent Systems, 54\u201359 (March\/April 2001)","DOI":"10.1109\/5254.920600"},{"key":"7_CR24","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1016\/0004-3702(94)90071-X","volume":"68","author":"J. Heinsohn","year":"1994","unstructured":"Heinsohn, J., Kudenko, D., Nebel, B., Profitlich, H.-J.: An empirical analysis of terminological representation systems. Artificial Intelligence\u00a068, 367\u2013397 (1994)","journal-title":"Artificial Intelligence"},{"issue":"6","key":"7_CR25","first-page":"67","volume":"16","author":"J. Hendler","year":"2000","unstructured":"Hendler, J., McGuiness, D.: The DARPA agent Markup Language. IEEE Intelligent Systems\u00a016(6), 67\u201373 (2000)","journal-title":"IEEE Intelligent Systems"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"Hendler, J.: Agents and the Semantic Web. IEEE Intelligent Systems, 30\u201337 (March\/April 2001)","DOI":"10.1109\/5254.920597"},{"key":"7_CR27","volume-title":"Creating the Semantic Web with RDF","author":"J. Hejem","year":"2001","unstructured":"Hejem, J.: Creating the Semantic Web with RDF. Wiley, Chichester (2001)"},{"key":"7_CR28","first-page":"199","volume-title":"Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001)","author":"I. Horrocks","year":"2001","unstructured":"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\u2013204. Morgan Kaufmann, San Francisco (2001)"},{"key":"7_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45620-1_1","volume-title":"Automated Deduction - CADE-18","author":"I. Horrocks","year":"2002","unstructured":"Horrocks, I.: Reasoning with expressive description logics: Theory and practice. In: Voronkov, A. (ed.) CADE 2002. LNCS, vol.\u00a02392, p. 1. Springer, Heidelberg (2002)"},{"key":"7_CR30","unstructured":"Kaplan, G., Hadad, G., Doorn, J., Leite, J.C.S.P.: Inspecci\u00f3n del Lexico Extedido del Lenguaje. In: Proceedings of the Workshop de Engenharia de Requisitos, WER 2000, Rio de Janeiro, Brazil (2000)"},{"key":"7_CR31","volume-title":"Applying UML and Patterns","author":"C. Larman","year":"1998","unstructured":"Larman, C.: Applying UML and Patterns. Prentice Hall PTR, Upper Saddle River (1998)"},{"key":"7_CR32","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-0925-7","volume-title":"Ontology Learning for the Sematic Web","author":"A. Maedche","year":"2002","unstructured":"Maedche, A.: Ontology Learning for the Sematic Web. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"7_CR33","first-page":"483","volume-title":"Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2000)","author":"D. McGuiness","year":"2002","unstructured":"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\u2013493. Morgan Kaufmann, San Francisco (2002)"},{"key":"7_CR34","unstructured":"McGuiness, D., Harmelen, F.: OWL Web Ontology Overview. W3C Working Draft, March 31 (2003)"},{"key":"7_CR35","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0004-3702(82)90012-1","volume":"18","author":"A. Newell","year":"1982","unstructured":"Newell, A.: The Knowledge Level. Artificial Intelligence\u00a018, 87\u2013127 (1982)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"7_CR36","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1109\/5254.920601","volume":"16","author":"N. Noy","year":"2001","unstructured":"Noy, N., Sintek, M., Decker, S., Crubezy, R., Fergerson, R., Musen, A.: Creating Semantic Web Contents with Prot\u00e9g\u00e9 2000. IEEE Intelligent Systems\u00a016(2), 60\u201371 (2001)","journal-title":"IEEE Intelligent Systems"},{"key":"7_CR37","unstructured":"Noy, N., McGuiness, D.: Ontology Development 101. A guide to creating your first ontology. KSL Technical Report, Standford University (2001)"},{"key":"7_CR38","unstructured":"http:\/\/oiled.man.ac.uk\/"},{"key":"7_CR39","unstructured":"http:\/\/www.w3.org\/TR\/owl-ref\/"},{"key":"7_CR40","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1016\/0950-5849(96)81746-0"},{"key":"7_CR41","first-page":"379","volume-title":"Building Application Frameworks: Object-Oriented Foundations of Framework Design","author":"W. Pree","year":"1999","unstructured":"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\u2013393. John Willey and Sons, West Sussex (1999)"},{"key":"7_CR42","unstructured":"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)"},{"key":"7_CR43","doi-asserted-by":"crossref","unstructured":"Silva, L.F., Say\u00e3o, M., Leite, J.C.S.P., Breitman, K.K.: Enriquecendo o C\u00f3digo com Cen\u00e1rios 17 Simp\u00f3sio de Engenharia de Software (SBES) - Manaus, AM 2003, pp.161- 176 (2003) ISBN 85-7401-126-6","DOI":"10.5753\/sbes.2003.23859"},{"key":"7_CR44","unstructured":"Sowa, J.F.: Knowledge Representation: Logical, Philosophical and Computational Foundations. Brooks\/Cole Books, Pacific Grove, CA (2000)"},{"key":"7_CR45","first-page":"33","volume-title":"Towards the Semantic Web: Ontology Driven Knowledge management","author":"Y. Sure","year":"2003","unstructured":"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\u201346. Wiley and Sons, Chichester (2003)"},{"issue":"2","key":"7_CR46","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1017\/S0269888900007797","volume":"11","author":"M. Ushold","year":"1996","unstructured":"Ushold, M., Gruninger, M.: Ontologies: Principles, Methods and Applications. Knowledge Engineering Review\u00a011(2), 93\u2013136 (1996)","journal-title":"Knowledge Engineering Review"},{"key":"7_CR47","unstructured":"Vitaglione G., Quarta F., Cortese E. Scalability and Performance of JADE Message Transport System. Proceedings of AAMAS Workshop on AgentCities, Bologna, July 16 (2002)"},{"key":"7_CR48","unstructured":"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)"}],"container-title":["Lecture Notes in Computer Science","Formal Approaches to Agent-Based Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30960-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,30]],"date-time":"2023-05-30T16:52:35Z","timestamp":1685465555000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30960-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540244226","9783540309604"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30960-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}