From untyped to polymorphically typed objects in mathematical web services

W Naylor, J Padget

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

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 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
Pages222-236
Number of pages15
Volume4108
Publication statusPublished - 2006

Publication series

NameLecture Notes in Artificial Intelligence

Fingerprint

Web services
Semantics
Communication

Cite this

Naylor, W., & 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).

From untyped to polymorphically typed objects in mathematical web services. / Naylor, W; Padget, J.

Mathematical Knowledge Management, Proceedings. Vol. 4108 2006. p. 222-236 (Lecture Notes in Artificial Intelligence).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Naylor, W & Padget, J 2006, From untyped to polymorphically typed objects in mathematical web services. in Mathematical Knowledge Management, Proceedings. vol. 4108, Lecture Notes in Artificial Intelligence, pp. 222-236.
Naylor W, Padget J. From untyped to polymorphically typed objects in mathematical web services. In Mathematical Knowledge Management, Proceedings. Vol. 4108. 2006. p. 222-236. (Lecture Notes in Artificial Intelligence).
Naylor, W ; Padget, J. / From untyped to polymorphically typed objects in mathematical web services. Mathematical Knowledge Management, Proceedings. Vol. 4108 2006. pp. 222-236 (Lecture Notes in Artificial Intelligence).
@inproceedings{cae6f17a1bea4fec8caf7cbae33a857e,
title = "From untyped to polymorphically typed objects in mathematical web services",
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 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.",
author = "W Naylor and J Padget",
note = "ID number: ISI:000239954600017",
year = "2006",
language = "English",
isbn = "0302-9743",
volume = "4108",
series = "Lecture Notes in Artificial Intelligence",
pages = "222--236",
booktitle = "Mathematical Knowledge Management, Proceedings",

}

TY - GEN

T1 - From untyped to polymorphically typed objects in mathematical web services

AU - Naylor, W

AU - Padget, J

N1 - ID number: ISI:000239954600017

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

M3 - Conference contribution

SN - 0302-9743

VL - 4108

T3 - Lecture Notes in Artificial Intelligence

SP - 222

EP - 236

BT - Mathematical Knowledge Management, Proceedings

ER -