Skip to main content
SpringerLink
Log in

From Untyped to Polymorphically Typed Objects in Mathematical Web Services

  • Conference paper
Mathematical Knowledge Management (MKM 2006)

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

Included in the following conference series:

Abstract

OpenMath is a widely recognised approach to the semantic markup of mathematics that is often used for communication between OpenMath compliant systems. The Aldor language has a sophisticated category-based type system that was specifically developed for the purpose of modelling mathematical structures, while the system itself supports the creation of small-footprint applications suitable for deployment as web services. In this paper we present our first results of how one may perform translations from generic OpenMath objects into values in specific Aldor domains, describing how the Aldor interface domain ExpressionTree is used to achieve this. We outline our Aldor implementation of an OpenMath translator, and describe an efficient extension of this to the Parser category. In addition, the Aldor service creation and invocation mechanism are explained. Thus we are in a position to develop and deploy mathematical web services whose descriptions may be directly derived from Aldor’s rich type language.

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. Web Services - Axis, Apache Project (March 2006), Available via: http://ws.apache.org/axis/

  2. The Axiom Computer Algebra System (March 2006), Available via Wiki at: http://wiki.axiom-developer.org/FrontPage

  3. Baraka, R., Caprotti, O., Schreiner, W.: A Web Registry for Publishing and Discovering Mathematical Services. In: EEE, pp. 190–193. IEEE Computer Society, Los Alamitos (2005)

    Google Scholar 

  4. Bronstein, M., Maza, M.M.: The Standard Aldor Library, Version 1.0.2. Available via: http://www-sop.inria.fr/cafe/Manuel.Bronstein/libaldor/html

  5. Buswell, S., Caprotti, O., Dewar, M.: Mathematical Service Description Language. Technical report (2003), Available from the MONET website: http://monet.nag.co.uk/cocoon/monet/publicdocs/monet-msdl-final.pdf

  6. Caprotti, O., Dewar, M., Davenport, J., 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)

    Chapter  Google Scholar 

  7. Dewar, M., Smirnova, E., Watt, S.: XML in Mathematical Web Services. In: XML Conference proceedings (2005)

    Google Scholar 

  8. GENSS Home Page (March 2006), Available from: http://genss.cs.bath.ac.uk

  9. MONET Home Page (March 2006, 2002), Available from: http://monet.nag.co.uk

  10. Naylor, W.: The XML-DOM domain for the Aldor computer algebra system (March 2006), Available via: http://www.cs.bath.ac.uk/~wn/Papers/usersGuide.ps

  11. Naylor, W., Padget, J.: Semantic Matching for Mathematical Services. In: Kohlhase, M. (ed.) MKM 2005. LNCS (LNAI), vol. 3863, pp. 174–189. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  12. OpenMath website (February 2002), http://www.openmath.org

  13. So, C., Wang, Z., Huerter, S., Watt, S.: An Extensible OpenMath-Maple Translator. In: East Coast Computer Algebra Day (ECCAD) 2004, Wilfred Laurier University, Waterloo, Ontario (2004)

    Google Scholar 

  14. SOAP – Simple Object Access Protocol (March 2006), Available via: http://www.w3.org/TR/soap/

  15. The Unicode Standard (March 2006), Available via: http://www.unicode.org/standard/standard.html

  16. Extensible Markup Language (XML), W3C (March 2006), Available via: http://www.w3.org/XML/

  17. Document Object Model (DOM) Level 2 Core Specification, W3C (March 2006), Available via: http://www.w3.org/TR/2000/REC-DOM-Level-2-Core-20001113/

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. Faculty of Computer Science, Dalhousie University, 6050 University Avenue, Halifax, B3H 1W5, Nova Scotia, Canada

    Jonathan M. Borwein

  2. Department of Computing and Software, McMaster University, Hamilton, Ontario, Canada

    William M. Farmer

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Naylor, W., Padget, J. (2006). From Untyped to Polymorphically Typed Objects in Mathematical Web Services. In: Borwein, J.M., Farmer, W.M. (eds) Mathematical Knowledge Management. MKM 2006. Lecture Notes in Computer Science(), vol 4108. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11812289_18

Download citation

  • DOI: https://doi.org/10.1007/11812289_18

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-37104-5

  • Online ISBN: 978-3-540-37106-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation