Mathematics on the (semantic) NET

O Caprotti, J H Davenport, M Dewar, J Padget

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

12 Citations (Scopus)

Abstract

Although web service technology is becoming more prevalent the mechanisms for advertising and discovering web services are still at a rudimentary stage. WSDL provides information about service name and parameters for the purpose of invocation. UDDI provides a set of WSDL documents matching keywords in a query. The aim of the Mathematics On the NET (MONET) project is to deliver a proof-of-concept demonstration of a framework for mathematical web services which uses semantic web technologies to broker between user requirements and deployed services. This requires mechanisms for describing mathematical objects and properties so that a piece of software can evaluate the applicability of a particular service to a given problem. Thus we describe our Mathematical Service Description Language (MSDL), with its ontological grounding in OpenMath and outline its role in service brokerage and service composition within MONET. We believe similar issues arise in many other (scientific) domains, and the leverage obtained here, through the formal background of mathematics, suggests a road-map for the development of similar domain-specific service description languages.
Original languageEnglish
Title of host publicationSemantic Web: Research and Applications
Pages213-224
Number of pages12
Volume3053
Publication statusPublished - 2004

Publication series

NameLecture Notes in Computer Science

Fingerprint

Web services
WSDL
Semantics
Information services
Electric grounding
Semantic Web
Marketing
Demonstrations
Chemical analysis

Cite this

Caprotti, O., Davenport, J. H., Dewar, M., & Padget, J. (2004). Mathematics on the (semantic) NET. In Semantic Web: Research and Applications (Vol. 3053, pp. 213-224). (Lecture Notes in Computer Science).

Mathematics on the (semantic) NET. / Caprotti, O; Davenport, J H; Dewar, M; Padget, J.

Semantic Web: Research and Applications. Vol. 3053 2004. p. 213-224 (Lecture Notes in Computer Science).

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

Caprotti, O, Davenport, JH, Dewar, M & Padget, J 2004, Mathematics on the (semantic) NET. in Semantic Web: Research and Applications. vol. 3053, Lecture Notes in Computer Science, pp. 213-224.
Caprotti O, Davenport JH, Dewar M, Padget J. Mathematics on the (semantic) NET. In Semantic Web: Research and Applications. Vol. 3053. 2004. p. 213-224. (Lecture Notes in Computer Science).
Caprotti, O ; Davenport, J H ; Dewar, M ; Padget, J. / Mathematics on the (semantic) NET. Semantic Web: Research and Applications. Vol. 3053 2004. pp. 213-224 (Lecture Notes in Computer Science).
@inproceedings{111feb04f1534ec09fbdc6c5a4260d37,
title = "Mathematics on the (semantic) NET",
abstract = "Although web service technology is becoming more prevalent the mechanisms for advertising and discovering web services are still at a rudimentary stage. WSDL provides information about service name and parameters for the purpose of invocation. UDDI provides a set of WSDL documents matching keywords in a query. The aim of the Mathematics On the NET (MONET) project is to deliver a proof-of-concept demonstration of a framework for mathematical web services which uses semantic web technologies to broker between user requirements and deployed services. This requires mechanisms for describing mathematical objects and properties so that a piece of software can evaluate the applicability of a particular service to a given problem. Thus we describe our Mathematical Service Description Language (MSDL), with its ontological grounding in OpenMath and outline its role in service brokerage and service composition within MONET. We believe similar issues arise in many other (scientific) domains, and the leverage obtained here, through the formal background of mathematics, suggests a road-map for the development of similar domain-specific service description languages.",
author = "O Caprotti and Davenport, {J H} and M Dewar and J Padget",
note = "ID number: ISI:000221526400015",
year = "2004",
language = "English",
isbn = "0302-9743",
volume = "3053",
series = "Lecture Notes in Computer Science",
pages = "213--224",
booktitle = "Semantic Web: Research and Applications",

}

TY - GEN

T1 - Mathematics on the (semantic) NET

AU - Caprotti, O

AU - Davenport, J H

AU - Dewar, M

AU - Padget, J

N1 - ID number: ISI:000221526400015

PY - 2004

Y1 - 2004

N2 - Although web service technology is becoming more prevalent the mechanisms for advertising and discovering web services are still at a rudimentary stage. WSDL provides information about service name and parameters for the purpose of invocation. UDDI provides a set of WSDL documents matching keywords in a query. The aim of the Mathematics On the NET (MONET) project is to deliver a proof-of-concept demonstration of a framework for mathematical web services which uses semantic web technologies to broker between user requirements and deployed services. This requires mechanisms for describing mathematical objects and properties so that a piece of software can evaluate the applicability of a particular service to a given problem. Thus we describe our Mathematical Service Description Language (MSDL), with its ontological grounding in OpenMath and outline its role in service brokerage and service composition within MONET. We believe similar issues arise in many other (scientific) domains, and the leverage obtained here, through the formal background of mathematics, suggests a road-map for the development of similar domain-specific service description languages.

AB - Although web service technology is becoming more prevalent the mechanisms for advertising and discovering web services are still at a rudimentary stage. WSDL provides information about service name and parameters for the purpose of invocation. UDDI provides a set of WSDL documents matching keywords in a query. The aim of the Mathematics On the NET (MONET) project is to deliver a proof-of-concept demonstration of a framework for mathematical web services which uses semantic web technologies to broker between user requirements and deployed services. This requires mechanisms for describing mathematical objects and properties so that a piece of software can evaluate the applicability of a particular service to a given problem. Thus we describe our Mathematical Service Description Language (MSDL), with its ontological grounding in OpenMath and outline its role in service brokerage and service composition within MONET. We believe similar issues arise in many other (scientific) domains, and the leverage obtained here, through the formal background of mathematics, suggests a road-map for the development of similar domain-specific service description languages.

M3 - Conference contribution

SN - 0302-9743

VL - 3053

T3 - Lecture Notes in Computer Science

SP - 213

EP - 224

BT - Semantic Web: Research and Applications

ER -