Semantic Matching for Mathematical Services

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.

• Type: Conference
• Year: 2005
• Where: MKM
• Authors: William Naylor, Julian A. Padget
• Keywords: Equivalent Mathematical Representations, Machine Oriented Data, MKM 2005, Prototype Mathematical Service