Skip to main content
SpringerLink
Log in

Semantic Matching for Mathematical Services

  • Conference paper
Mathematical Knowledge Management (MKM 2005)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3863))

Included in the following conference series:

Abstract

The amount of machine oriented data on the web as well as the deployment of agent/Web Services are simultaneously increasing. This poses a service-discovery problem for client agents wishing to discover Web Services to perform tasks. We discuss a prototype mathematical service broker and look at an approach to circumventing the ambiguities arising from alternative but equivalent mathematical representations occurring in mathematical descriptions of tasks and capabilities.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aird, M.-L., Barbera Medina, W., Padget, J.: Brokerage for Mathematical Services in MONET. In: Cavedon, L., Maamar, Z., Martin, D., Benatallah, B. (eds.) Extending Web Services Technologies. Multiagent Systems, Artificial Societies, and Simulated Organizations, vol. 13. Springer, Heidelberg (2005), ISBN: 0-387-23343-1

    Google Scholar 

  2. Baraka, R., Caprotti, O., Schreiner, W.: A web registry for publishing and discovering mathematical services. In: 2005 IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEE 2005), Hong Kong, China, March 29 –April 1 2005, pp. 190–193. IEEE Computer Society, Los Alamitos (2005)

    Chapter  Google Scholar 

  3. Buswell, S., Caprotti, O., Dewar, M.: Mathematical service description language. Technical report, The MONET Project (2004)

    Google Scholar 

  4. Caprotti, O., Carlisle, D., Cohen, A.M., Dewar, M.: Mathematical problem ontology. Technical report, The MONET Project (2004)

    Google Scholar 

  5. Caprotti, O., Dewar, M., Davenport, J.H., Padget, J.: Mathematics on the (Semantic) Net. In: Bussler, C.J., Davies, J., Fensel, D., Studer, R. (eds.) ESWS 2004. LNCS, vol. 3053, pp. 213–224. Springer, Heidelberg (2004), ISBN 3-540-21999-4

    Google Scholar 

  6. Caprotti, O., Dewar, M., Turi, D.: Mathematical service matching using description logic and owl. In: Asperti, A., Bancerek, G., Trybulec, A. (eds.) MKM 2004. LNCS, vol. 3119, pp. 73–87. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  7. Chicha, Y., Davenport, J.H., Roberts, D.: Mathematical explanation ontology. Technical report, The MONET Project (2004)

    Google Scholar 

  8. Davenport, J.H.: A Small OpenMath Type System. SIGSAM Bulletin 34(2), 16–21 (2000)

    Article  MathSciNet  Google Scholar 

  9. Finin, T., Fritzson, R., McKay, D., McEntire, R.: KQML as an agent communication language. In: Proceedings of 3rd International Conference on Information and Knowledge Management, pp. 456–463 (1994)

    Google Scholar 

  10. Freed, N., Borenstein, N.: Base64 Encoding, http://www.mhonarc.org/~ehood/MIME/2045/rfc2045.html#6.8

  11. Genesereth, M., Fikes, R.: Knowledge interchange format, version 3.0 reference manual. Technical report, Computer Science Department, Stanford University (1992), Available from http://www-ksl.stanford.edu/knowledge-sharing/papers/kif.ps

  12. Kuokka, D., Harada, L.: Integrating information via matchmaking. Intelligent Information Systems 6(2-3), 261–279 (1996)

    Article  Google Scholar 

  13. Ludwig, S., Rana, O., Naylor, W., Padget, J.: Agent-based matchmaking of mathematical web services. In: AAMAS (2005) (to appear)

    Google Scholar 

  14. Mathbroker project, http://poseidon.risc.uni-linz.ac.at:8080

  15. MONET Consortium. Monet Home Page, www. last accessed (May 2005), Available from http://monet.nag.co.uk

  16. Nodine, M., Bohrer, W., Ngu, A.H.: Semantic brokering over dynamic heterogenous data sources in infosleuth. In: Proceedings of the 15th International Conference on Data Engineering, pp. 358–365 (1999)

    Google Scholar 

  17. Richardson, D.: Some unsolvable problems involving elementary functions of a real variable. Journal of Computational Logic 33, 514–520 (1968)

    MATH  Google Scholar 

  18. Salton, G.: Automatic Text Processing. Addison-Wesley, Reading (1989)

    Google Scholar 

  19. Sutner, K.: Disjunctive normal form, http://www-2.cs.cmu.edu/afs/andrew.cmu.edu/course/15/354/www/Lectures/PLogic.pdf

  20. Sycara, K., Widoff, S., Klusch, M., Lu, J.: Larks: Dynamic matchmaking among heterogeneous software agents in cyberspace. Kluwer, Dordrecht (2002)

    Google Scholar 

  21. The GENSS Project. GENSS Home Page, www. Available from, http://genss.cs.bath.ac.uk , last accessed (May 2005)

  22. The OpenMath Society. The OpenMath Standard (October 2002), Available from, http://www.openmath.org/standard/om11/omstd11.xml

  23. Veit, D.J.: Matchmaking in Electronic Markets. LNCS (LNAI), vol. 2882. Springer, Heidelberg (2003) (Hot Topics)

    Google Scholar 

  24. W3C Recommendation. Mathematical Markup Language (MathML) Version 2.0 (October 2003), Available from http://www.w3.org/TR/MathML2/

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Bath, UK

    William Naylor & Julian Padget

Authors
  1. William Naylor
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Julian Padget
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computer Science, Jacobs University Bremen,  

    Michael Kohlhase

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Naylor, W., Padget, J. (2006). Semantic Matching for Mathematical Services. In: Kohlhase, M. (eds) Mathematical Knowledge Management. MKM 2005. Lecture Notes in Computer Science(), vol 3863. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11618027_12

Download citation

  • DOI: https://doi.org/10.1007/11618027_12

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-31430-1

  • Online ISBN: 978-3-540-31431-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation