Abstract
Although web service technology is becoming more prevalent the mechanisms for advertising and discovering web services are still at a rudimentary stage. WSDL provides information about service name and parameters for the purpose of invocation. UDDI provides a set of WSDL documents matching keywords in a query. The aim of the Mathematics On the NET (MONET) project is to deliver a proof-of-concept demonstration of a framework for mathematical web services which uses semantic web technologies to broker between user requirements and deployed services. This requires mechanisms for describing mathematical objects and properties so that a piece of software can evaluate the applicability of a particular service to a given problem. Thus we describe our Mathematical Service Description Language (MSDL), with its ontological grounding in OpenMath and outline its role in service brokerage and service composition within MONET. We believe similar issues arise in many other (scientific) domains, and the leverage obtained here, through the formal background of mathematics, suggests a road-map for the development of similar domain-specific service description languages.
The MONET project (http://monet.nag.co.uk) is funded by the Commission of the European Communities Information Society program (project IST-2001-34145)
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.
Similar content being viewed by others
References
Aird, M.-L., Medina, W.B., Padget, J.: Monet: service discovery and composition for mathematical problems. In: Rana, O., Graupner, S. (eds.) Proceedings of IEEE workshop on Agent-based Cluster and Grid Computing (at CCGrid 2003), May 2003, pp. 678–687. IEEE Computer Society Press, Los Alamitos (2003) ISBN 0-7695-1919-9. (Invited paper), Also available from the MONET project website: http://monet.nag.co.uk
Aird, M.-L., Medina, W.B., Padget, J.: Brokerage for Mathematical Services in MONET. In: Cavedon, L. (ed.) Collected papers from Web Services and Agent Based Systems workshop (AAMAS 2003), Kluwer, Dordrecht (2004)
Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Specification: Business Process Execution Language for Web Services Version 1.1. Report, IBM (May 2003)
Buswell, S., Caprotti, O.: andM. Dewar. Mathematical Service Description Language: Initial Draft. Technical report, Technical Report Deliverable, The MONET Consortium (March 2003), Available from http://monet.nag.co.uk
Caprotti, O., Carlisle, D., Cohen, A.M., Dewar, M.: Mathematical Problem Ontology. Technical report, Technical Report Deliverable, The MONET Consortium (March 2003), Available from http://monet.nag.co.uk
J.: H Davenport. Mathematical Explanation Ontology: Draft. Technical report, Technical Report Deliverable, The MONET Consortium (March 2003), Available from http://monet.nag.co.uk
Dupée, B.J.: Measuring the Likely Effectiveness of Strategies. In: Calmet, J., Campbell, J.A., Pfalzgraf, J. (eds.) Proceedings Artificial Intelligence and Symbolic Computation 3, pp. 191–196 (1996)
Dupée, B.J., Davenport, J.H.: An Intelligent Interface to Numerical Routines. In: Calmet, J., Limoncelli, J. (eds.) DISCO 1996. LNCS, vol. 1128, pp. 252–262. Springer, Heidelberg (1996)
Horrocks, I., van Harmelen, F., Berners-Lee, T., Brickley, D.: DAML Joint Committee (March 2001), Available from http://www.daml.org/2001/03/daml+oil-index.html
Moreau, L., Miles, S., Goble, C., Greenwood, M., Dialani, V., Addis, M., Alpdemir, N., Cawley, R., De Roure, D., Ferris, J., Gaizauskas, R., Glover, K., Greenhalgh, C., Li, P., Liu, X., Lord, P., Luck, M., Marvin, D., Oinn, T., Paton, N., Pettifer, S., Radenkovic, M.V., Roberts, A., Robinson, A., Rodden, T., Senger, M., Sharman, N., Stevens, R., Warboys, B., Wipat, A., Wroe, C.: On the Use of Agents in a BioInformatics Grid. In: Lee, S., Sekguchi, S., Matsuoka, S., Sato, M. (eds.) Proceedings of the Third IEEE/ACM CCGRID 2003 Workshop on Agent Based Cluster and Grid Computing, Tokyo, Japan, May 2003, pp. 653–661 (2003)
National Institute for Standards. GAMS Guide to Available Mathematical Software (February 2003), http://gams.nist.gov/
The Apache Project. Jakarta Home Page, http://jakarta.apache.org (Last accessed January 2004)
The MONET Project. An XSD scheme for Mathematical Services Decsription, http://monet.nag.co.uk/cocoon/monet/publicdocs/index.html
The OpenMath Society. OpenMath website, http://www.openmath.org (February 2003)
UDDI consortium. UDDI Technical White Paper (September 2000), http://www.uddi.org/pubs/Iru_UDDI_Technical_White_Paper.pdf (Last accessed January 2004)
W3C. Web Services Description Language (WSDL) Version 1.2 W3C Working Draft. W3C (2002-2003), Available from http://www.w3.org/TR/wsdl12
W3C, O.W.L.: Working Group. OWL-Web Ontology Language. W3C Working Draft (February 21, 2003), Available from http://www.w3.org/TR/owl-ref (April 2003)
World Wide Web Consortium (W3C). Mathematical Markup Language (MathML) Version 2.0. 2nd edn., http://www.w3.org/TR/MathML2/
Chicha, Y., Gaetano, M.: Tbd. Technical report, Implementation Report, The MONET Consortium (February 2003), Available from http://monet.nag.co.uk
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
Caprotti, O., Davenport, J.H., Dewar, M., Padget, J. (2004). Mathematics on the (Semantic) NET. In: Bussler, C.J., Davies, J., Fensel, D., Studer, R. (eds) The Semantic Web: Research and Applications. ESWS 2004. Lecture Notes in Computer Science, vol 3053. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25956-5_15
Download citation
DOI: https://doi.org/10.1007/978-3-540-25956-5_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21999-6
Online ISBN: 978-3-540-25956-5
eBook Packages: Springer Book Archive