Abstract
Web Service technology is increasingly being used to develop distributed applications, however the convention is to describe individual services in terms of the interfaces that they expose, rather in terms of the function that they perform. In this paper we describe a mechanism for encoding information about mathematical web services which is rich enough to allow a potential client to identify automatically all those services which may be capable of performing a particular task. This mechanism makes use of the Web Ontology Language (OWL) and a novel approach to Description Logic reasoning exploiting enterprise database technologies.
This work was funded by the European Union under the aegis of the MONET Project (IST-2001-34145). The authors gratefully acknowledge the work of the other partners in the project: Stilo International PLC, the Universities of Bath, Eindhoven, Nice and Western Ontario, and CNRS.
This is a preview of subscription content, log in via an institution to check access.
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
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook – Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)
Baraka, R., Caprotti, O., Schreiner, W.: Publishing and Discovering Mathematical Service Descriptions: A Web Registry Approach, Technical report, RISC-Linz Technical Report (2004)
Bechhofer, S.: OWL API Project, http://sourceforge.net/projects/owlapi
Bechhofer, S.: The DIG description logic interface: DIG/1.1. In: Proceedings of the 2003 Description Logic Workshop (DL 2003) (2003)
Bechhofer, S., Horrocks, I., Turi, D.: Instance store – database support for reasoning over individuals (2002), http://instancestore.man.ac.uk/instancestore.pdf
Bechhofer, S., Patel-Schneider, P.F., Turi, D.: OWL Web Ontology Language Concrete Abstract Syntax, Technical report, The University of Manchester (December 2003), available from: http://owl.man.ac.uk/2003/concrete/latest/
Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: OWL Web Ontology Language Reference, Technical Report REC-owl-ref-20040210, The World Wide Web Consortium (February 2004), available from: http://www.w3.org/TR/2004/REC-owl-ref-20040210/
Boisvert, R.F., Howe, S.E., Kahaner, D.K.: Gams: A framework for the management of scientific software. ACM Transactions on Mathematical Software 11(4), 313–355 (1985)
Caprotti, O., Carlisle, D., Cohen, A., Dewar, M.: The Mathematical Problem Ontology: final version, Technical Report Deliverable D11, The MONET Consortium (March 2003), available from: http://monet.nag.co.uk
Caprotti, O., Davenport, J.H., Dewar, M., 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)
Chinnici, R., Gudgin, M., Moreau, J.-J., Schlimmer, J., Weerawarana, S.: Web Services Description Language (WSDL) version 2.0 part 1: Core language. W3c working draft, The World Wide Web Consortium (March 26, 2004), http://www.w3.org/TR/wsdl20/
Haarslev, V., Moller, R.: Description of the RACER system and its applications. In: Goré, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol. 2083. Springer, Heidelberg (2001)
Horrocks, I., et al.: DAML+OIL, Technical Report REC-xslt-19991116, Joint US/EU ad hoc Agent Markup Language Committee (March 2001), available from: http://www.daml.org/2001/03/daml+oil-index.html
Manola, F., Miller, E.: RDF Primer, Technical Report REC-rdf-primer-20040210, The World Wide Web Consortium (February 2004), available from: http://www.w3.org/TR/2004/REC-rdf-primer-20040210/
MathSciNet, http://www.ams.org/mathscinet
Kohlhase, M.: OMDoc: An Open Markup Format for Mathematical Documents (Version 1.2), available from: http://www.mathweb.org/omdoc/omdoc1.2.ps
Minsky, M.: A framework for representing knowledge. In: Winston, P. (ed.) The Psychology of Computer Vision, pp. 211–277. McGraw-Hill, New York (1975)
The MONET Consortium, Mathematical Service Description Language: Final version, Technical Report Deliverable D14, The MONET Consortium (March 2003), available from: http://monet.nag.co.uk
Ross Quillian, M.: Semantic memory. In: Minsky, M. (ed.) Semantic Information Processing. MIT Press, Cambridge (1968)
OASIS/ebXML Registry Technical Committee, OASIS/ebXML Registry Services Specification v2.0 (2002), http://www.oasis-open.org/committees/regrep/documents/2.0/specs/ebrs.pdf
The OpenMath Society, The OpenMath Standard (October 2002), available from: http://www.openmath.org/standard/om11/omstd11.xml
Richardson, D.: Some unsolvable problems involving elementary functions of a real variable. Journal of Computational Logic 33, 514–520 (1968)
Turi, D.: Instance Store Project, http://instancestore.man.ac.uk
Zentralblatt Math. http://www.emis.de/ZMATH/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Caprotti, O., Dewar, M., Turi, D. (2004). Mathematical Service Matching Using Description Logic and OWL . In: Asperti, A., Bancerek, G., Trybulec, A. (eds) Mathematical Knowledge Management. MKM 2004. Lecture Notes in Computer Science, vol 3119. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27818-4_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-27818-4_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23029-8
Online ISBN: 978-3-540-27818-4
eBook Packages: Springer Book Archive