Mathematical service matching using description logic and OWL

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

Volumn 3119, Issue , 2004, Pages 73-87

  Caprotti, Olga ^a   Dewar, Mike ^b   Turi, Daniele ^c  

^a JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

^b Numerical Algorithms Group   (United Kingdom)

^c UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BIRDS; DATA DESCRIPTION; FORMAL LANGUAGES; KNOWLEDGE MANAGEMENT; WEBSITES;

DESCRIPTION LOGIC; DISTRIBUTED APPLICATIONS; ENCODING INFORMATIONS; ENTERPRISE DATABASE; INDIVIDUAL SERVICE; MATHEMATICAL WEB SERVICES; ONTOLOGY LANGUAGE; WEB SERVICE TECHNOLOGY;

WEB SERVICES;

EID: 33745666916     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27818-4_6     Document Type: Article

References (24)

1. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider (eds.), The Description Logic Handbook - Theory, Implementation and Applications, Cambridge University Press, 2003.
2. R. Baraka, O. Caprotti, and W. Schreiner, Publishing and Discovering Mathematical Service Descriptions: A Web Registry Approach, Technical report, RISC-Linz Technical Report, 2004.
3. S. Bechhofer, OWL API Project, http://sourceforge.net/projects/owlapi.
4. S. Bechhofer, The DIG description logic interface: DIG/1.1, in: Proceedings of the 2003 Description Logic Workshop (DL 2003), 2003.
5. S. Bechhofer, I. Horrocks, and D. Turi, Instance store - database support for reasoning over individuals, http://instancestore.man.ac.uk/instancestore. pdf, 2002.
6. S. Bechhofer, P.F. Patel-Schneider, and D. Turi, 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/.
7. S. Bechhofer, F. van Harmelen, J. Hendler, I. Horrocks, D.L. McGuinness, P.F. Patel-Schneider, and L.A. Stein, 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/.
8. R.F. Boisvert, S.E. Howe, and D.K. Kahaner, Gams: A framework for the management of scientific software, ACM Transactions on Mathematical Software, 11(4):313-355, December 1985.
9. O. Caprotti, D. Carlisle, A. Cohen, and M. Dewar, The Mathematical Problem Ontology: final version, Technical Report Deliverable D11, The MONET Consortium, March 2003, available from http://monet.nag.co.uk.
10. O. Caprotti, M. Dewar, J. Davenport, and J. Padget, Mathematics on the (Semantic) Net, in: Ch. Bussler, J. Davies, D. Fensel, and R. Studer (eds.), Proceedings of the European Symposium on the Semantic Web, volume 3053 of LNCS, pp. 213-224, Springer Verlag, 2004. May 2004.
11. R. Chinnici, M. Gudgin, J.-J. Moreau, J. Schlimmer, and S. Weerawarana, "Web Services Description Language (WSDL) version 2.0 part 1: Core language", W3c working draft, The World Wide Web Consortium, 26 March 2004, http://www. w3.org/TR/wsdl20/.
12. V. Haarslev and R. Moller, Description of the RACER system and its applications, in: R. Gore, A. Leitsch, and T. Nipkow (eds.), Automated reasoning: First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001: proceedings, volume 2083 of Lecture Notes in Artificial Intelligence, New York, NY, USA, 2001, Springer-Verlag Inc.
13. I. Horrocks et al., DAML+OIL, Technical Report REC-xslt-19991116, Joint US/EU ad hoc Agent Markup Language Committee, March 2001, available from http://vww.daml.org/2001/03/daml+oil-index.html.
14. F. Manola and E. Miller, 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/.
15. MathSciNet, http://www.ams.org/mathscinet.
16. M. Kohlhase. OMDoc: An Open Markup Format for Mathematical Documents (Version 1.2), available from http://www.mathweb.org/omdoc/omdoc1.2.ps.
17. M. Minsky, A framework for representing knowledge, in: P. Winston (ed.), The Psychology of Computer Vision, pp. 211-277, McGraw-Hill, New York, 1975.
18. 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.
19. M. Ross Quillian, Semantic memory, in: M. Minsky (ed.), Semantic Information Processing, MIT Press, Cambridge, MA, 1968.
20. OASIS/ebXML Registry Technical Committee, OASIS/ebXML Registry Services Specification v2.0, http://www.oasis-open.org/committees/regrep/ documents/2.0/specs/ebrs.pd%f, 2002.
21. The OpenMath Society, The OpenMath Standard, October 2002, available from http://www.openmath.org/standard/om11/omstd11.xml.
22. D. Richardson, Some unsolvable problems involving elementary functions of a real variable, Journal of Computational Logic, 33:514-520, 1968.
23. D. Turi, Instance Store Project, http://instancestore.man.ac.uk.
24. Zentralblatt Math., http://www.emis.de/ZMATH/.