Semantic querying of mathematical web service descriptions

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

Volumn 4184 LNCS, Issue , 2006, Pages 73-87

  Baraka, Rebhi ^a   Schreiner, Wolfgang ^a  

^a JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL MODELS; QUERY LANGUAGES; TELECOMMUNICATION SERVICES;

MATHEMATICAL SERVICES DESCRIPTION LANGUAGE (MSDL); MATHEMATICAL SERVICES QUERY LANGUAGE (MSQL); WEB SERVICES;

SEMANTICS;

EID: 33845200308     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11841197_5     Document Type: Conference Paper

References (21)

1. Rebhi Baraka. Mathematical Services Query Language: Design, Formalization, and Implementation. Technical report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, September 2005. See ftp://ftp.risc.uni-linz.ac.at/pub/techreports/.
2. Rebhi Baraka. Mathematical Services Query Language (MSQL) API. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, September 2005. See http://poseidon.risc.uni-linz.ac.at:8080/results/ msql/doc/index.html.
3. Rebhi Baraka, Olga Caprotti, and Wolfgang Schreiner. A Web Registry for Publishing and Discovering Mathematical Services. In Proc. of IEEE Conf. on e-Technology, e-Commerce, and e-Service, Hong Kong Baptist University, Hong Kong, March 29 - April 1, 2005. IEEE Computer Society, Los Alamitos, CA.
4. Rebhi Baraka and Wolfgang Schreiner. Querying Registry-Published Mathematical Web Services. In Proc. of the IEEE 20th Int. Conf. on Advanced Information Networking and Applications (AINA 2006), Vienna, Austria April 18 - April 20, 2006. IEEE Computer Society.
5. Clark W. Barrett and Sergey Berezin. CVC Lite: A New Implementation of the Cooperating Validity Checker Category B. In Proc. of 16th Int. Conf. on Computer Aided Verification, Boston, MA, USA, July 13-17, 2004. Springer.
6. Stephen Buswell, Olgo Caprotti, David Carlisle, Mike Dewar, Marc Gaëtano, and Michael Kohlhase. The OpenMath Standard (v 2.0). The OpenMath Society, June 2004. See http://www.openmath.org/cocoon/openmath/index.html.
7. Olga Caprotti, Mike Dewar, and Daniele Turi. Mathematical Service Matching Using Description Logic and OWL. In Proc. of the 3rd Int. Conf. on Mathematical Knowledge Management (MKM 2004), Bialowieza, Poland, September 19-21.
8. Olga Caprotti and Wolfgang Schreiner. Towards a Mathematical Service Description Language. In International Congress of Mathematical Software ICMS 2002, Bejing, China, August 17-19, 2002. World Scientific Publishing, Singapore.
9. Volker Haarslev and Ralf Moller. Description of the RACER system and its applications. In Automated reasoning: 1st Int. Joint Conf., IJCAR 2001, Siena, Itally, June 18-23, 2001. volume 2083 of Lecture Notes in Artificial Intelligence, New York, NY, USA, 2001. Springer Verlag Inc.
10. Instance Store - Database Support for Reasoning over Individuals. The University of Manchester, 2002. See http://instancestore.man.ac.uk/ instancestore.pdf.
11. David L. Martin, Massimo Paolucci, Sheila A. McIlraith, Mark H. Burstein, Drew V. McDermott, Deborah L. McGuinness, Bijan Parsia, Terry R. Payne, Marta Sabou, Monika Solanki, Naveen Srinivasan, and Katia P. Sycara. Bringing Semantics to Web Services: The OWL-S Approach. In Jorge Cardoso and Amit P. Sheth, editors, SWSWPC, volume 3387 of.Lecture Notes in Computer Science, pages 26-42. Springer, 2004.
12. MathBroker II: Brokering Distributed Mathematical Services. Research Institute for Symbolic Computation (RISC); Johannes Kepler University, Linz, Austria, April 2006. See http://www.risc.uni-linz.ac.at/research/parallel/ projects/mathbroker2/.
13. Deborah L. McGuinness and Frank van Harmelen. OWL Web Ontology Language Overview. W3C Recommendation, February 2004. See http://www.w3.org/TR/owl- features/.
14. MONET - Mathematics on the Web. The MONET Consortium, April 2004. http://monet.nag.co.uk.
15. William Naylor and Julian Padget. Semantic Matching for Mathematical Services. In Proc. of the 4th Int. conf. on Mathematical Knowledge Management, Bremen, Germany, 15-17 July, 2005. Springer.
16. OMDoc: A Standard for Open Mathematical Documents. MathWeb.org, September 2005. See http://www.mathweb.org/omdoc/.
17. OWL-S: Semantic Markup for Web Services. W3C Member Submission, November 2004. See http://www.w3.org/Submission/OWL-S/.
18. David A. Schmidt. Denotational Semantics - A Methodology for Language Development. Allyn and Bacon, Boston, 1986.
19. Wolfgang Schreiner. The RISC ProofNavigator. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, March 2006. See http://www.risc.uni-linz.ac.at/research/formal/software/ ProofNavigator/.
20. Kunal Verma, Kaarthik Sivashanmugam, Amit Sheth, Abhijit Patil, Swapna Oundhakar, and John Miller. METEOR-S WSDI: A Scalable P2P Infrastructure of Registries for Semantic Publication and Discovery of Web Services. Journal of Information Technology and Management, 6(1):17-39, 2005.
21. Web Service Modeling Ontology (WSMO). W3C Member Submission, June 2005. See http://www.w3.org/Submission/WSMO/.