Advertisement

From Untyped to Polymorphically Typed Objects in Mathematical Web Services

  • William Naylor
  • Julian Padget
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4108)

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.

Keywords

Service Manager Hash Table Computer Algebra System Input Stream Simple Object Access Protocol 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Web Services - Axis, Apache Project (March 2006), Available via: http://ws.apache.org/axis/
  2. 2.
    The Axiom Computer Algebra System (March 2006), Available via Wiki at: http://wiki.axiom-developer.org/FrontPage
  3. 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. 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. 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. 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)CrossRefGoogle Scholar
  7. 7.
    Dewar, M., Smirnova, E., Watt, S.: XML in Mathematical Web Services. In: XML Conference proceedings (2005)Google Scholar
  8. 8.
    GENSS Home Page (March 2006), Available from: http://genss.cs.bath.ac.uk
  9. 9.
    MONET Home Page (March 2006, 2002), Available from: http://monet.nag.co.uk
  10. 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. 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)CrossRefGoogle Scholar
  12. 12.
    OpenMath website (February 2002), http://www.openmath.org
  13. 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. 14.
    SOAP – Simple Object Access Protocol (March 2006), Available via: http://www.w3.org/TR/soap/
  15. 15.
    The Unicode Standard (March 2006), Available via: http://www.unicode.org/standard/standard.html
  16. 16.
    Extensible Markup Language (XML), W3C (March 2006), Available via: http://www.w3.org/XML/
  17. 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/

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • William Naylor
    • 1
  • Julian Padget
    • 1
  1. 1.Department of Computer ScienceUniversity of BathUK

Personalised recommendations