From untyped to polymorphically typed objects in mathematical web services

W Naylor, J Padget

Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

1 Citation (SciVal)


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 inter ace 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.
Original languageEnglish
Title of host publicationMathematical Knowledge Management, Proceedings
Number of pages15
Publication statusPublished - 2006

Publication series

NameLecture Notes in Artificial Intelligence


Dive into the research topics of 'From untyped to polymorphically typed objects in mathematical web services'. Together they form a unique fingerprint.

Cite this