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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Aird, M.-L., Barbera Medina, W., Padget, J.: Brokerage for Mathematical Services in MONET. In: Cavedon, L., Maamar, Z., Martin, D., Benatallah, B. (eds.) Extending Web Services Technologies. Multiagent Systems, Artificial Societies, and Simulated Organizations, vol. 13. Springer, Heidelberg (2005), ISBN: 0-387-23343-1
Baraka, R., Caprotti, O., Schreiner, W.: A web registry for publishing and discovering mathematical services. In: 2005 IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEE 2005), Hong Kong, China, March 29 –April 1 2005, pp. 190–193. IEEE Computer Society, Los Alamitos (2005)
Buswell, S., Caprotti, O., Dewar, M.: Mathematical service description language. Technical report, The MONET Project (2004)
Caprotti, O., Carlisle, D., Cohen, A.M., Dewar, M.: Mathematical problem ontology. Technical report, The MONET Project (2004)
Caprotti, O., Dewar, M., Davenport, J.H., Padget, J.: Mathematics on the (Semantic) Net. In: Bussler, C.J., Davies, J., Fensel, D., Studer, R. (eds.) ESWS 2004. LNCS, vol. 3053, pp. 213–224. Springer, Heidelberg (2004), ISBN 3-540-21999-4
Caprotti, O., Dewar, M., Turi, D.: Mathematical service matching using description logic and owl. In: Asperti, A., Bancerek, G., Trybulec, A. (eds.) MKM 2004. LNCS, vol. 3119, pp. 73–87. Springer, Heidelberg (2004)
Chicha, Y., Davenport, J.H., Roberts, D.: Mathematical explanation ontology. Technical report, The MONET Project (2004)
Davenport, J.H.: A Small OpenMath Type System. SIGSAM Bulletin 34(2), 16–21 (2000)
Finin, T., Fritzson, R., McKay, D., McEntire, R.: KQML as an agent communication language. In: Proceedings of 3rd International Conference on Information and Knowledge Management, pp. 456–463 (1994)
Freed, N., Borenstein, N.: Base64 Encoding, http://www.mhonarc.org/~ehood/MIME/2045/rfc2045.html#6.8
Genesereth, M., Fikes, R.: Knowledge interchange format, version 3.0 reference manual. Technical report, Computer Science Department, Stanford University (1992), Available from http://www-ksl.stanford.edu/knowledge-sharing/papers/kif.ps
Kuokka, D., Harada, L.: Integrating information via matchmaking. Intelligent Information Systems 6(2-3), 261–279 (1996)
Ludwig, S., Rana, O., Naylor, W., Padget, J.: Agent-based matchmaking of mathematical web services. In: AAMAS (2005) (to appear)
Mathbroker project, http://poseidon.risc.uni-linz.ac.at:8080
MONET Consortium. Monet Home Page, www. last accessed (May 2005), Available from http://monet.nag.co.uk
Nodine, M., Bohrer, W., Ngu, A.H.: Semantic brokering over dynamic heterogenous data sources in infosleuth. In: Proceedings of the 15th International Conference on Data Engineering, pp. 358–365 (1999)
Richardson, D.: Some unsolvable problems involving elementary functions of a real variable. Journal of Computational Logic 33, 514–520 (1968)
Salton, G.: Automatic Text Processing. Addison-Wesley, Reading (1989)
Sutner, K.: Disjunctive normal form, http://www-2.cs.cmu.edu/afs/andrew.cmu.edu/course/15/354/www/Lectures/PLogic.pdf
Sycara, K., Widoff, S., Klusch, M., Lu, J.: Larks: Dynamic matchmaking among heterogeneous software agents in cyberspace. Kluwer, Dordrecht (2002)
The GENSS Project. GENSS Home Page, www. Available from, http://genss.cs.bath.ac.uk , last accessed (May 2005)
The OpenMath Society. The OpenMath Standard (October 2002), Available from, http://www.openmath.org/standard/om11/omstd11.xml
Veit, D.J.: Matchmaking in Electronic Markets. LNCS (LNAI), vol. 2882. Springer, Heidelberg (2003) (Hot Topics)
W3C Recommendation. Mathematical Markup Language (MathML) Version 2.0 (October 2003), Available from http://www.w3.org/TR/MathML2/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Naylor, W., Padget, J. (2006). Semantic Matching for Mathematical Services. In: Kohlhase, M. (eds) Mathematical Knowledge Management. MKM 2005. Lecture Notes in Computer Science(), vol 3863. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11618027_12
Download citation
DOI: https://doi.org/10.1007/11618027_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-31430-1
Online ISBN: 978-3-540-31431-8
eBook Packages: Computer ScienceComputer Science (R0)