{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T20:09:43Z","timestamp":1744056583358},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540236627"},{"type":"electronic","value":"9783540304692"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30469-2_15","type":"book-chapter","created":{"date-parts":[[2011,1,14]],"date-time":"2011-01-14T22:02:17Z","timestamp":1295042537000},"page":"1062-1079","source":"Crossref","is-referenced-by-count":5,"title":["Comparing Approaches for Semantic Service Description and Matchmaking"],"prefix":"10.1007","author":[{"given":"Sven","family":"Schade","sequence":"first","affiliation":[]},{"given":"Arnd","family":"Sahlmann","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Lutz","sequence":"additional","affiliation":[]},{"given":"Florian","family":"Probst","sequence":"additional","affiliation":[]},{"given":"Werner","family":"Kuhn","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"UDDI: UDDI Technical White Paper (2004), Available from: http:\/\/www.uddi.org\/pubs\/Iru_UDDI_Technical_White_Paper.pdf"},{"key":"15_CR2","unstructured":"W3C: Web Services Description Language (WSDL) 1.1 (2001), Available from: http:\/\/www.w3.org\/TR\/wsdl"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Sycara, K.: Interoperability among Heterogeneous Software Agents on the Internet. The Robotics Institute, CMU, CMU-RI-TR-98-22 Pittsburgh, USA (1998)","DOI":"10.21236\/ADA599015"},{"key":"15_CR4","unstructured":"W3C: OWL Web Ontology Language Overview. Web Ontology Working Group (2004), Available from: http:\/\/www.w3.org\/TR\/owl-features\/"},{"key":"15_CR5","unstructured":"Boley, H., Tabet, S., Wagner, G.: Design Rational of RuleML: A Markup Language for Semantic Web Rules. In: Proc. First Semantic Web Working Symposium, SWWS 2001, pp. 381\u2013401 (2001)"},{"key":"15_CR6","volume-title":"Abstraction and Specification in Program Development","author":"B. Liskov","year":"1986","unstructured":"Liskov, B., Guttag, J.: Abstraction and Specification in Program Development. MIT Press, Cambridge (1986)"},{"key":"15_CR7","volume-title":"Introduction to functional programming","author":"R. Bird","year":"1998","unstructured":"Bird, R., Wadler, P.: Introduction to functional programming. Prentice Hall, Englewood Cliffs (1998)"},{"key":"15_CR8","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511818073","volume-title":"The Haskell School of Expression: Learning Functional Programming through Multimedia","author":"P. Hudak","year":"2000","unstructured":"Hudak, P.: The Haskell School of Expression: Learning Functional Programming through Multimedia. Cambridge University Press, Cambridge (2000)"},{"key":"15_CR9","volume-title":"Haskell 98 Language and Libraries - The Revised Report","author":"S. Peyton Jones","year":"2003","unstructured":"Peyton Jones, S.: Haskell 98 Language and Libraries - The Revised Report. Cambridge University Press, Cambridge (2003)"},{"key":"15_CR10","unstructured":"OGC: Observation and Measurement. Open GIS Consortium Inc., OpenGIS Interoperability Program Report 03-022r3 (2003)"},{"key":"15_CR11","unstructured":"Horrocks, I., Patel-Schneider, P., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web Rule Language Combining OWL and RuleML (2003)"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Martin, D., Paolucci, M., McIlraith, S., Burstein, M., McDermott, D., McGuinness, D., Parsia, B., Payne, T., Sabou, M., Solanki, M., Srinivasan, N., Sycara, K.: Bringing Semantics to Web Services: The OWL-S Approach. In: Proc. First International Workshop on Semantic Web Services and Web Process Composition (2004)","DOI":"10.1007\/978-3-540-30581-1_4"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Li, L., Horrocks, I.: A Software Framework For Matchmaking Based on Semantic Web Technology. In: Proc. Twelfth International World Wide Web Conference (WWW 2003), pp. 331\u2013339 (2003)","DOI":"10.1145\/775152.775199"},{"key":"15_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-540-24593-3_15","volume-title":"Service-Oriented Computing - ICSOC 2003","author":"T. Kawamura","year":"2003","unstructured":"Kawamura, T., Blasio, D.J., Hasegawa, T., Paolucci, M., Sycara, K.: Preliminary Report of Public Experiment of Semantic Service Matchmaker with UDDI Business Registry. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol.\u00a02910, pp. 208\u2013224. Springer, Heidelberg (2003)"},{"key":"15_CR15","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1023\/A:1014897210525","volume":"5","author":"K. Sycara","year":"2002","unstructured":"Sycara, K., Widoff, S., Klusch, M., Lu, J.: LARKS: Dynamic Matchmaking Among Heterogeneous Software Agents in Cyberspace. Autonomous Agents and Multi-Agent Systems\u00a05, 173\u2013203 (2002)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"15_CR16","volume-title":"Fundamentals of Algebraic Specification 1: Equation and Initial Semantics","author":"H.-D. Ehrich","year":"1985","unstructured":"Ehrich, H.-D., Mahr, B.: Fundamentals of Algebraic Specification 1: Equation and Initial Semantics. Springer, Heidelberg (1985)"},{"key":"15_CR17","unstructured":"Frank, A., Medak, D.: Executable Axiomatic Specification Using Functional Language - Case Study: Baseontology for a spatio-temporal Database (1997)"},{"key":"15_CR18","volume-title":"Interoperating Geographic Information Systems","author":"A. Frank","year":"1998","unstructured":"Frank, A., Kuhn, W.: A Specification Language for Interoperable GIS. In: Goodchild, M., Egenhofer, M., Fegeas, R., Cottmann, C. (eds.) Interoperating Geographic Information Systems, Kluwer, Dordrecht (1998)"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"Kuhn, W.: Modelling the Semantics of Geographic Categories through Conceptual Integration. In: Proc. Second International Conference on Geographic Information Science, pp. 108\u2013118 (2002)","DOI":"10.1007\/3-540-45799-2_8"},{"key":"15_CR20","volume-title":"Algebraische Spezifikation algebraischer Datantypen","author":"H.-D. Ehrich","year":"1989","unstructured":"Ehrich, H.-D., Gogolla, M., Lipeck, U.: Algebraische Spezifikation algebraischer Datantypen. B.G. Teubner, Stuttgart (1989)"},{"key":"15_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/3-540-60159-7_12","volume-title":"Advances in Spatial Databases","author":"A. Frank","year":"1995","unstructured":"Frank, A., Kuhn, W.: Specifying Open GIS with functional languages. In: Egenhofer, M.J., Herring, J.R. (eds.) SSD 1995. LNCS, vol.\u00a0951, pp. 184\u2013195. Springer, Heidelberg (1995)"},{"key":"15_CR22","unstructured":"Kuhn, W., Raubal, M.: Implementing Semantic Reference Systems. In: Proc. 6th AGILE Conference on Geographic Information Science, pp. 63\u201372 (2003)"},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"Simons, A.J.H.: Perspectives on type compatibility. Journal of Object Technology 1 (2002)","DOI":"10.5381\/jot.2002.1.1.c5"},{"key":"15_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/3-540-48005-6_26","volume-title":"The Semantic Web - ISWC 2002","author":"M. Paolucci","year":"2002","unstructured":"Paolucci, M., Kawamura, T., Payne, T., Sycara, K.: Semantic Matching of Web Service Capabilities. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol.\u00a02342, pp. 333\u2013347. Springer, Heidelberg (2002)"},{"key":"15_CR25","unstructured":"Haarslev, V., M\u00f6ller, R.: RACER User\u2019s Guide and Reference Manual Version 1.7.7. Manual (2003)"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30469-2_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:53:01Z","timestamp":1605761581000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30469-2_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540236627","9783540304692"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30469-2_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}