Semantic matching for mathematical services

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3863 LNAI, Issue , 2006, Pages 174-189

  Naylor, William ^a   Padget, Julian ^a  

^a University of Bath   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; KNOWLEDGE ACQUISITION; MATHEMATICAL TECHNIQUES; WORLD WIDE WEB;

MATHEMATICAL SERVICES; PROTOTYPE MATHEMATICAL SERVICE BROKER; SEMANTIC MATCHING; SERVICE-DISCOVERY PROBLEM;

SEMANTICS;

EID: 33645757839     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11618027_12     Document Type: Conference Paper

References (24)

1. M-L. Aird, W. Barbera Medina, and J. Padget. Brokerage for Mathematical Services in MONET. In L. Cavedon, Z. Maamar, D. Martin, and B. Benatallah, editors, Extending Web Services Technologies, volume 13 of Multiagent Systems, Artificial Societies, and Simulated Organizations. Springer, May 2005. ISBN: 0-387-23343-1.
2. R. Baraka, O. Caprotti, and W. Schreiner. A web registry for publishing and discovering mathematical services. In 2005 IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEE 2005), 29 March-1 April 2005, Hong Kong, China, pages 190-193. IEEE Computer Society, 2005.
3. S. Buswell, O. Caprotti, and M. Dewar. Mathematical service description language. Technical report, The MONET Project, 2004.
4. O. Caprotti, D. Carlisle, A.M. Cohen. and M. Dewar. Mathematical problem ontology. Technical report, The MONET Project, 2004.
5. O. Caprotti, M. Dewar, J.H. Davenport, and J. Padget. Mathematics on the (Semantic) Net. In Christoph Bussler, John Davies, Dieter Fensel, and Rudi Studer, editors, Proceedings of the European Symposium on the Semantic Web, volume 3053 of LNCS, pages 213-224. Springer Verlag, 2004. ISBN 3-540-21999-4.
6. O. Caprotti, Mike Dewar, and Daniele Turi. Mathematical service matching using description logic and owl. In Mathematical Knowledge Management, pages 73 - 87, 2004.
7. Y. Chicha, J.H. Davenport, and D. Roberts. Mathematical explanation ontology. Technical report, The MONET Project, 2004.
8. J.H. Davenport. A Small OpenMath Type System. SIGSAM Bulletin, 34(2): 16-21, June 2000.
9. T. Finin, R. Fritzson, D. McKay, and R. McEntire. KQML as an agent communication language. In Proceedings of 3rd International Conference on Information and Knowledge Management, pp. 456-463, 1994.
10. N. Freed and N. Borenstein. Base64 Encoding, http://www.mhonarc.org/ ~ehood/MIME/2045/rfc2045.html#6.8.
11. M. Genesereth and R. Fikes, 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.
12. D. Kuokka and L. Harada. Integrating information via matchmaking. Intelligent Information Systems 6(2-3), pp. 261-279, 1996.
13. S. Ludwig, O. Rana, W. Naylor, and J. Padget. Agent-based matchmaking of mathematical web services. AAMAS, 2005. To appear.
14. Mathbroker project, http://poseidon.risc.uni-linz.ac.at: 8080.
15. MONET Consortium. MONET Home Page, www. Available from http://monet.nag.co.uk, last accessed May 2005.
16. M. Nodine, W. Bohrer, and A.H. Ngu. Semantic brokering over dynamic heterogenous data sources in infosleuth. In Proceedings of the 15th International Conference on Data Engineering, pp. 358-365, 1999.
17. D. Richardson. Some unsolvable problems involving elementary functions of a real variable. Journal of Computational Logic, 33:514-520, 1968.
18. O. Salton. Automatic Text Processing. Addison-Wesley, 1989.
19. K. Sutner, Disjunctive normal form, http://www-2.cs.cmu.edu/afs/andrew. cmu.edu/course/15/354/www/Lectures/PLogic.pdf.
20. K. Sycara, S. Widoff, M. Klusch, and J. Lu. Larks: Dynamic matchmaking among heterogeneous software agents in Cyberspace. Kluwer, 2002.
21. The GENSS Project, GENSS Home Page, www. Available from http://genss.cs.bath.ac.uk, last accessed May 2005.
22. The OpenMath Society. The OpenMath Standard, October 2002. Available from http://www.openmath.org/standard/om11/omstd11.xml.
23. D. Veit, Matchmaking in Electronic Markets, volume 2882 of LNCS. Springer, 2003. Hot Topics.
24. W3C Recommendation. Mathematical Markup Language (MathML) Version 2.0, October 2003. Available from http://www.w3.org/TR/MathML2/.