{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:51:32Z","timestamp":1725889892755},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540388623"},{"type":"electronic","value":"9783540388654"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11841197_5","type":"book-chapter","created":{"date-parts":[[2006,9,11]],"date-time":"2006-09-11T07:59:47Z","timestamp":1157961587000},"page":"73-87","source":"Crossref","is-referenced-by-count":4,"title":["Semantic Querying of Mathematical Web Service Descriptions"],"prefix":"10.1007","author":[{"given":"Rebhi","family":"Baraka","sequence":"first","affiliation":[]},{"given":"Wolfgang","family":"Schreiner","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Baraka, R.: Mathematical Services Query Language: Design, Formalization, and Implementation. Technical report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria (September 2005), See: \n                    \n                      ftp:\/\/ftp.risc.uni-linz.ac.at\/pub\/techreports\/"},{"key":"5_CR2","unstructured":"Baraka, R.: Mathematical Services Query Language (MSQL) API. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria (September 2005), See: \n                    \n                      http:\/\/poseidon.risc.uni-linz.ac.at:8080\/results\/msql\/doc\/index.html"},{"key":"5_CR3","volume-title":"Proc. of IEEE Conf. on e-Technology, e-Commerce, and e-Service","author":"R. Baraka","year":"2005","unstructured":"Baraka, R., Caprotti, O., Schreiner, W.: 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 (2005)"},{"key":"5_CR4","volume-title":"Proc. of the IEEE 20th Int. Conf. on Advanced Information Networking and Applications (AINA 2006)","author":"R. Baraka","year":"2006","unstructured":"Baraka, R., Schreiner, W.: 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, Los Alamitos (2006)"},{"key":"5_CR5","volume-title":"Proc. of 16th Int. Conf. on Computer Aided Verification","author":"C.W. Barrett","year":"2004","unstructured":"Barrett, C.W., Berezin, S.: 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, Heidelberg (2004)"},{"key":"5_CR6","unstructured":"Buswell, S., Caprotti, O., Carlisle, D., Dewar, M., Ga\u00ebtano, M., Kohlhase, M.: The OpenMath Standard (v 2.0). The OpenMath Society (June 2004), See: \n                    \n                      http:\/\/www.openmath.org\/cocoon\/openmath\/index.html"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-540-27818-4_6","volume-title":"Mathematical Knowledge Management","author":"O. Caprotti","year":"2004","unstructured":"Caprotti, O., Dewar, M., Turi, D.: Mathematical Service Matching Using Description Logic and OWL. In: Asperti, A., Bancerek, G., Trybulec, A. (eds.) MKM 2004. LNCS, vol.\u00a03119, pp. 73\u201387. Springer, Heidelberg (2004)"},{"key":"5_CR8","volume-title":"International Congress of Mathematical Software ICMS 2002","author":"O. Caprotti","year":"2002","unstructured":"Caprotti, O., Schreiner, W.: Towards a Mathematical Service Description Language. In: International Congress of Mathematical Software ICMS 2002, Bejing, China, August 17-19, 2002. World Scientific Publishing, Singapore (2002)"},{"key":"5_CR9","series-title":"Lecture Notes in Artificial Intelligence","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":"5_CR10","unstructured":"Instance Store - Database Support for Reasoning over Individuals. The University of Manchester (2002), See: \n                    \n                      http:\/\/instancestore.man.ac.uk\/instancestore.pdf"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/978-3-540-30581-1_4","volume-title":"Semantic Web Services and Web Process Composition","author":"D.L. Martin","year":"2005","unstructured":"Martin, D.L., Paolucci, M., McIlraith, S.A., Burstein, M.H., McDermott, D.V., McGuinness, D.L., Parsia, B., Payne, T.R., Sabou, M., Solanki, M., Srinivasan, N., Sycara, K.P.: Bringing Semantics to Web Services: The OWL-S Approach. In: Cardoso, J., Sheth, A.P. (eds.) SWSWPC 2004. LNCS, vol.\u00a03387, pp. 26\u201342. Springer, Heidelberg (2005)"},{"key":"5_CR12","unstructured":"MathBroker II: Brokering Distributed Mathematical Services. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria (April 2006), \n                    \n                      http:\/\/www.risc.uni-linz.ac.at\/research\/parallel\/projects\/mathbroker2\/"},{"key":"5_CR13","unstructured":"McGuinness, D.L., van Harmelen, F.: OWL Web Ontology Language Overview. In: W3C Recommendation (February 2004), See: \n                    \n                      http:\/\/www.w3.org\/TR\/owl-features\/"},{"key":"5_CR14","unstructured":"MONET \u2014 Mathematics on the Web. The MONET Consortium (April 2004), \n                    \n                      http:\/\/monet.nag.co.uk"},{"key":"5_CR15","volume-title":"Proc. of the 4th Int. conf. on Mathematical Knowledge Management","author":"W. Naylor","year":"2005","unstructured":"Naylor, W., Padget, J.: Semantic Matching for Mathematical Services. In: Proc. of the 4th Int. conf. on Mathematical Knowledge Management, Bremen, Germany, July 15 - 17, 2005. Springer, Heidelberg (2005)"},{"key":"5_CR16","unstructured":"OMDoc: A Standard for Open Mathematical Documents. MathWeb.org (September 2005), See: \n                    \n                      http:\/\/www.mathweb.org\/omdoc\/"},{"key":"5_CR17","unstructured":"OWL-S: Semantic Markup for Web Services. W3C Member Submission (November 2004), See: \n                    \n                      http:\/\/www.w3.org\/Submission\/OWL-S\/"},{"key":"5_CR18","unstructured":"Schmidt, D.A.: Denotational Semantics \u2013 A Methodology for Language Development. Allyn and Bacon, Boston (1986)"},{"key":"5_CR19","unstructured":"Schreiner, W.: The RISC ProofNavigator. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria (March 2006), See: \n                    \n                      http:\/\/www.risc.uni-linz.ac.at\/research\/formal\/software\/ProofNavigator\/"},{"issue":"1","key":"5_CR20","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/s10799-004-7773-4","volume":"6","author":"K. Verma","year":"2005","unstructured":"Verma, K., Sivashanmugam, K., Sheth, A., Patil, A., Oundhakar, S., Miller, J.: METEOR-S WSDI: A Scalable P2P Infrastructure of Registries for Semantic Publication and Discovery of Web Services. Journal of Information Technology and Management\u00a06(1), 17\u201339 (2005)","journal-title":"Journal of Information Technology and Management"},{"key":"5_CR21","unstructured":"Web Service Modeling Ontology (WSMO). W3C Member Submission (June 2005), See: \n                    \n                      http:\/\/www.w3.org\/Submission\/WSMO\/"}],"container-title":["Lecture Notes in Computer Science","Web Services and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11841197_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:17:03Z","timestamp":1619507823000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11841197_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540388623","9783540388654"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11841197_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}