Abstract
Matching descriptions of user requirements against descriptions of service capabilities is crucial for the discovery of appropriate services for a given task. To improve the precision of approaches that consider only syntactical aspects of matchmaking (e.g. UDDI) several approaches for semantic matchmaking have been proposed. We compare two approaches with respect to their potentials for matchmaking between semantic descriptions of geoinformation services. The State-based Approach uses the Web Ontology Language and the Rule Markup Language to describe inputs, outputs, preconditions and effects. In the Algebraic Approach, abstract data types are specified to capture domain knowledge. The specific data types used in a service model referred to these shared concepts. In order to make the specifications executable and to enable matchmaking a functional programming language (Haskell) is used in this approach. For a scenario from the domain of disaster management, both approaches are tested for one specific type of match.
The work presented in this paper has been supported by the European Commission through the ACE-GIS project (grant number IST-2002-37724) and the German Federal Ministry of Education and Research as part of the GEOTECHNOLOGIEN program (grant number 03F0369A). It can be referenced as publication no. GEOTECH-87.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
UDDI: UDDI Technical White Paper (2004), Available from: http://www.uddi.org/pubs/Iru_UDDI_Technical_White_Paper.pdf
W3C: Web Services Description Language (WSDL) 1.1 (2001), Available from: http://www.w3.org/TR/wsdl
Sycara, K.: Interoperability among Heterogeneous Software Agents on the Internet. The Robotics Institute, CMU, CMU-RI-TR-98-22 Pittsburgh, USA (1998)
W3C: OWL Web Ontology Language Overview. Web Ontology Working Group (2004), Available from: http://www.w3.org/TR/owl-features/
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–401 (2001)
Liskov, B., Guttag, J.: Abstraction and Specification in Program Development. MIT Press, Cambridge (1986)
Bird, R., Wadler, P.: Introduction to functional programming. Prentice Hall, Englewood Cliffs (1998)
Hudak, P.: The Haskell School of Expression: Learning Functional Programming through Multimedia. Cambridge University Press, Cambridge (2000)
Peyton Jones, S.: Haskell 98 Language and Libraries - The Revised Report. Cambridge University Press, Cambridge (2003)
OGC: Observation and Measurement. Open GIS Consortium Inc., OpenGIS Interoperability Program Report 03-022r3 (2003)
Horrocks, I., Patel-Schneider, P., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web Rule Language Combining OWL and RuleML (2003)
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)
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–339 (2003)
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. 2910, pp. 208–224. Springer, Heidelberg (2003)
Sycara, K., Widoff, S., Klusch, M., Lu, J.: LARKS: Dynamic Matchmaking Among Heterogeneous Software Agents in Cyberspace. Autonomous Agents and Multi-Agent Systems 5, 173–203 (2002)
Ehrich, H.-D., Mahr, B.: Fundamentals of Algebraic Specification 1: Equation and Initial Semantics. Springer, Heidelberg (1985)
Frank, A., Medak, D.: Executable Axiomatic Specification Using Functional Language - Case Study: Baseontology for a spatio-temporal Database (1997)
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)
Kuhn, W.: Modelling the Semantics of Geographic Categories through Conceptual Integration. In: Proc. Second International Conference on Geographic Information Science, pp. 108–118 (2002)
Ehrich, H.-D., Gogolla, M., Lipeck, U.: Algebraische Spezifikation algebraischer Datantypen. B.G. Teubner, Stuttgart (1989)
Frank, A., Kuhn, W.: Specifying Open GIS with functional languages. In: Egenhofer, M.J., Herring, J.R. (eds.) SSD 1995. LNCS, vol. 951, pp. 184–195. Springer, Heidelberg (1995)
Kuhn, W., Raubal, M.: Implementing Semantic Reference Systems. In: Proc. 6th AGILE Conference on Geographic Information Science, pp. 63–72 (2003)
Simons, A.J.H.: Perspectives on type compatibility. Journal of Object Technology 1 (2002)
Paolucci, M., Kawamura, T., Payne, T., Sycara, K.: Semantic Matching of Web Service Capabilities. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 333–347. Springer, Heidelberg (2002)
Haarslev, V., Möller, R.: RACER User’s Guide and Reference Manual Version 1.7.7. Manual (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schade, S., Sahlmann, A., Lutz, M., Probst, F., Kuhn, W. (2004). Comparing Approaches for Semantic Service Description and Matchmaking. In: Meersman, R., Tari, Z. (eds) On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE. OTM 2004. Lecture Notes in Computer Science, vol 3291. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30469-2_15
Download citation
DOI: https://doi.org/10.1007/978-3-540-30469-2_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23662-7
Online ISBN: 978-3-540-30469-2
eBook Packages: Springer Book Archive