From untyped to polymorphically typed objects in mathematical web services


Naylor, W. and Padget, J., 2006. From untyped to polymorphically typed objects in mathematical web services. In: Mathematical Knowledge Management, Proceedings. Vol. 4108. , pp. 222-236. (Lecture Notes in Artificial Intelligence)

Related documents:

This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.


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.


Item Type Book Sections
CreatorsNaylor, W.and Padget, J.
DepartmentsFaculty of Science > Computer Science
ID Code5333
Additional InformationID number: ISI:000239954600017


Actions (login required)

View Item