Mathematics on the (semantic) NET

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

Volumn 3053, Issue , 2004, Pages 213-224

  Caprotti, Olga ^a   Davenport, James H ^b   Dewar, Mike ^c   Padget, Julian ^b  

^a JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

^b University of Bath   (United Kingdom)

^c Numerical Algorithms Group   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; SEMANTIC WEB; WEBSITES;

DEPLOYED SERVICES; MATHEMATICAL OBJECTS; MATHEMATICAL WEB SERVICES; SEMANTIC WEB TECHNOLOGY; SERVICE COMPOSITIONS; SERVICE DESCRIPTION LANGUAGE; USER REQUIREMENTS; WEB SERVICE TECHNOLOGY;

WEB SERVICES;

EID: 35048862808     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-25956-5_15     Document Type: Article

References (19)

1. Marc-Laurent Aird, Walter Barbera Medina, and Julian Padget Monet: service discovery and composition for mathematical problems. In Omer Rana and Sven Graupner, editors, Proceedings of IEEE workshop on Agent-based Cluster and Grid Computing (at CCGrid 2003), pages 678-687. IEEE Computer Society, IEEE Computer Society Press, May 2003. ISBN 0-7695-1919-9. Invited paper. Also available from the MONET project website: http://monet.nag.co.uk.
2. Marc-Laurent Aird, Walter Barbera Medina, and Julian Padget. Brokerage for Mathematical Services in MONET. In Laurence Cavedon, editor, Collected papers from Web Services and Agent Based Systems workshop (AAMAS'03). Kluwer, 2004. revised, extended version of[?]; in press.
3. Tony Andrews, Francisco Curbera, Hitesh Dholakia, Yaron Goland, Johannes Klein, Frank Leymann, Kevin Liu, Dieter Roller, Doug Smith, Satish Thatte, Ivana Trickovic, and Sanjiva Weerawarana. Specification: Business Process Execution Language for Web Services Version 1.1. Report, IBM, May 2003.
4. S. Buswell, O. Caprotti, and M. Dewar. Mathematical Service Description Language: Initial Draft Technical report, Technical Report Deliverable, The MONET Consortium, March 2003. Available from http://monet.nag.co.uk.
5. O. Caprotti, D. Carlisle, A.M. Cohen, and M. Dewar. Mathematical Problem Ontology. Technical report, Technical Report Deliverable, The MONET Consortium, March 2003. Available from http://monetnag.co.uk.
6. J.H Davenport. Mathematical Explanation Ontology: Draft. Technical report, Technical Report Deliverable, The MONET Consortium, March 2003. Available from http://monetnag.co.uk.
7. B.J. Dupée. Measuring the Likely Effectiveness of Strategies. In J. Calmet, J.A. Campbell, and J. Pfalzgraf, editors, Proceedings Artificial Intelligence and Symbolic Computation 3, pages 191-196, 1996.
8. BJ. Dupée and J.H. Davenport. An Intelligent Interface to Numerical Routines. In J. Calmet and J. Limoncelli, editors, Proceedings DISCO '96, pages 252-262, 1996.
9. I. Horrocks, F. van Harmelen, T. Berners-Lee, and D. Brickley. DAML Joint Committee, March 2001. Available from http://www.daml.org/2001/03/daml+oil-index.html.
10. Luc Moreau, Simon Miles, Carole Goble, Mark Greenwood, Vijay Dialani, Matthew Addis, Nedim Alpdemir, Rich Cawley, David De Roure, Justin Ferris, Rob Gaizauskas, Kevin Glover, Chris Greenhalgh, Peter Li, Xiaojian Liu, Phillip Lord, Michael Luck, Darren Marvin, Tom Oinn, Norman Paton, Stephen Pettifer, Milena V Radenkovic, Angus Roberts, Alan Robinson, Tom Rodden, Martin Senger, Nick Sharman, Robert Stevens, Brian Warboys, Anil Wipat, and Chris Wroe. On the Use of Agents in a Biolnformatics Grid. In Sangsan Lee, Satoshi Sekguchi, Satoshi Matsuoka, and Mitsuhisa Sato, editors, Proceedings of the Third IEEE/ACM CCGRID'2003 Workshop on Agent Based Cluster and Grid Computing, pages 653-661, Tokyo, Japan, May 2003.
11. National Institute for Standards. GAMS Guide to Available Mathematical Software. http://gams.nist.gov/, February 2003.
12. The Apache Project. Jakarta Home Page, http://jakarta.apache.org. Last accessed January 2004.
13. The MONET Project An XSD scheme for Mathematical Services Decsription. http://monet.nag.co.uk/cocoon/monet/publicdocs/index.html.
14. The OpenMath Society. OpenMath website. http://www.openmath.org, February 2003.
15. UDDI consortium. UDDI Technical White Paper. http://www.uddi.org/pubs/ Iru_UDDI_Technical_White_Paper.pdf, September 2000. Last accessed January 2004.
16. W3C. Web Services Description Language (WSDL) Version 1.2 W3C Working Draft. W3C, 2002-2003. Available from http://www.w3.org/TR/wsdl12.
17. W3C OWL Working Group. OWL-Web Ontology Language. W3C Working Draft 21 February 2003, April 2003. Available from http://www.w3.org/TR/owl-ref.
18. World Wide Web Consortium (W3C). Mathematical Markup Language (MathML) Version 2.0 (Second Edition). http://www.w3.org/TR/MathML2/.
19. Y.Chicha and M.Gaetano. Tbd. Technical report, Implementation Report, The MONET Consortium, February 2003. Available from http://monet.nag.co.uk.