Semantic matching for mathematical services

Authors:
William Naylor;Julian Padget
Affiliations:
Department of Computer Science, University of Bath, UK;Department of Computer Science, University of Bath, UK
Venue:
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
Year:
2005

Citing 8
Cited 3

Automatic text processing

Automatic text processing
KQML as an agent communication language

CIKM '94 Proceedings of the third international conference on Information and knowledge management
Integrating information via matchmaking

Journal of Intelligent Information Systems - Special issue on intelligent integration of information
A small OpenMath type system

ACM SIGSAM Bulletin - Special issue of OpenMath
Semantic Brokering over Dynamic Heterogeneous Data Sources in InfoSleuth(tm)

ICDE '99 Proceedings of the 15th International Conference on Data Engineering
Matchmaking in Electronic Markets: An Agent-Based Approach Towards Matchmaking in Electronic Negotiations (Lecture Notes in Computer Science, 2882.)

Matchmaking in Electronic Markets: An Agent-Based Approach Towards Matchmaking in Electronic Negotiations (Lecture Notes in Computer Science, 2882.)
A Web Registry for Publishing and Discovering Mathematical Services

EEE '05 Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'05) on e-Technology, e-Commerce and e-Service
Agent-based matchmaking of mathematical web services

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems

Extended Formula Normalization for ε-Retrieval and Sharing of Mathematical Knowledge

Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
From untyped to polymorphically typed objects in mathematical web services

MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
Semantic querying of mathematical web service descriptions

WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

The amount of machine oriented data on the web as well as the deployment of agent/Web Services are simultaneously increasing. This poses a service-discovery problem for client agents wishing to discover Web Services to perform tasks. We discuss a prototype mathematical service broker and look at an approach to circumventing the ambiguities arising from alternative but equivalent mathematical representations occurring in mathematical descriptions of tasks and capabilities.