{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:38:29Z","timestamp":1742913509149,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540230298"},{"type":"electronic","value":"9783540278184"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27818-4_6","type":"book-chapter","created":{"date-parts":[[2010,2,25]],"date-time":"2010-02-25T14:26:47Z","timestamp":1267108007000},"page":"73-87","source":"Crossref","is-referenced-by-count":17,"title":["Mathematical Service Matching Using Description Logic and OWL"],"prefix":"10.1007","author":[{"given":"Olga","family":"Caprotti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mike","family":"Dewar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele","family":"Turi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"volume-title":"The Description Logic Handbook \u2013 Theory, Implementation and Applications","year":"2003","key":"6_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook \u2013 Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"6_CR2","unstructured":"Baraka, R., Caprotti, O., Schreiner, W.: Publishing and Discovering Mathematical Service Descriptions: A Web Registry Approach, Technical report, RISC-Linz Technical Report (2004)"},{"key":"6_CR3","unstructured":"Bechhofer, S.: OWL API Project, \n                  \n                    http:\/\/sourceforge.net\/projects\/owlapi"},{"key":"6_CR4","unstructured":"Bechhofer, S.: The DIG description logic interface: DIG\/1.1. In: Proceedings of the 2003 Description Logic Workshop (DL 2003) (2003)"},{"key":"6_CR5","unstructured":"Bechhofer, S., Horrocks, I., Turi, D.: Instance store \u2013 database support for reasoning over individuals (2002), \n                  \n                    http:\/\/instancestore.man.ac.uk\/instancestore.pdf"},{"key":"6_CR6","unstructured":"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: \n                  \n                    http:\/\/owl.man.ac.uk\/2003\/concrete\/latest\/"},{"key":"6_CR7","unstructured":"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: \n                  \n                    http:\/\/www.w3.org\/TR\/2004\/REC-owl-ref-20040210\/"},{"issue":"4","key":"6_CR8","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1145\/6187.6188","volume":"11","author":"R.F. Boisvert","year":"1985","unstructured":"Boisvert, R.F., Howe, S.E., Kahaner, D.K.: Gams: A framework for the management of scientific software. ACM Transactions on Mathematical Software\u00a011(4), 313\u2013355 (1985)","journal-title":"ACM Transactions on Mathematical Software"},{"key":"6_CR9","unstructured":"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: \n                  \n                    http:\/\/monet.nag.co.uk"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/978-3-540-25956-5_15","volume-title":"The Semantic Web: Research and Applications","author":"O. Caprotti","year":"2004","unstructured":"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.\u00a03053, pp. 213\u2013224. Springer, Heidelberg (2004)"},{"key":"6_CR11","unstructured":"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), \n                  \n                    http:\/\/www.w3.org\/TR\/wsdl20\/"},{"key":"6_CR12","series-title":"LNAI","volume-title":"Automated Reasoning","author":"V. Haarslev","year":"2001","unstructured":"Haarslev, V., Moller, R.: Description of the RACER system and its applications. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol.\u00a02083. Springer, Heidelberg (2001)"},{"key":"6_CR13","unstructured":"Horrocks, I., et al.: DAML+OIL, Technical Report REC-xslt-19991116, Joint US\/EU ad hoc Agent Markup Language Committee (March 2001), available from: \n                  \n                    http:\/\/www.daml.org\/2001\/03\/daml+oil-index.html"},{"key":"6_CR14","unstructured":"Manola, F., Miller, E.: RDF Primer, Technical Report REC-rdf-primer-20040210, The World Wide Web Consortium (February 2004), available from: \n                  \n                    http:\/\/www.w3.org\/TR\/2004\/REC-rdf-primer-20040210\/"},{"key":"6_CR15","unstructured":"MathSciNet, \n                  \n                    http:\/\/www.ams.org\/mathscinet"},{"key":"6_CR16","unstructured":"Kohlhase, M.: OMDoc: An Open Markup Format for Mathematical Documents (Version 1.2), available from: \n                  \n                    http:\/\/www.mathweb.org\/omdoc\/omdoc1.2.ps"},{"key":"6_CR17","first-page":"211","volume-title":"The Psychology of Computer Vision","author":"M. Minsky","year":"1975","unstructured":"Minsky, M.: A framework for representing knowledge. In: Winston, P. (ed.) The Psychology of Computer Vision, pp. 211\u2013277. McGraw-Hill, New York (1975)"},{"key":"6_CR18","unstructured":"The\u00a0MONET Consortium, Mathematical Service Description Language: Final version, Technical Report Deliverable D14, The MONET Consortium (March 2003), available from: \n                  \n                    http:\/\/monet.nag.co.uk"},{"key":"6_CR19","volume-title":"Semantic Information Processing","author":"M. Ross Quillian","year":"1968","unstructured":"Ross Quillian, M.: Semantic memory. In: Minsky, M. (ed.) Semantic Information Processing. MIT Press, Cambridge (1968)"},{"key":"6_CR20","unstructured":"OASIS\/ebXML Registry\u00a0Technical Committee, OASIS\/ebXML Registry Services Specification v2.0 (2002), \n                  \n                    http:\/\/www.oasis-open.org\/committees\/regrep\/documents\/2.0\/specs\/ebrs.pdf"},{"key":"6_CR21","unstructured":"The OpenMath Society, The OpenMath Standard (October 2002), available from: \n                  \n                    http:\/\/www.openmath.org\/standard\/om11\/omstd11.xml"},{"key":"6_CR22","first-page":"514","volume":"33","author":"D. Richardson","year":"1968","unstructured":"Richardson, D.: Some unsolvable problems involving elementary functions of a real variable. Journal of Computational Logic\u00a033, 514\u2013520 (1968)","journal-title":"Journal of Computational Logic"},{"key":"6_CR23","unstructured":"Turi, D.: Instance Store Project, \n                  \n                    http:\/\/instancestore.man.ac.uk"},{"key":"6_CR24","unstructured":"Zentralblatt Math. \n                  \n                    http:\/\/www.emis.de\/ZMATH\/"}],"container-title":["Lecture Notes in Computer Science","Mathematical Knowledge Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27818-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T10:16:04Z","timestamp":1552385764000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27818-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540230298","9783540278184"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27818-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}