{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T03:54:12Z","timestamp":1648958052333},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2006,3,1]],"date-time":"2006-03-01T00:00:00Z","timestamp":1141171200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Grid Computing"],"published-print":{"date-parts":[[2006,3]]},"DOI":"10.1007\/s10723-005-9019-z","type":"journal-article","created":{"date-parts":[[2006,3,6]],"date-time":"2006-03-06T15:14:18Z","timestamp":1141658058000},"page":"33-48","source":"Crossref","is-referenced-by-count":11,"title":["Matchmaking Framework for Mathematical Web Services"],"prefix":"10.1007","volume":"4","author":[{"given":"Simone A.","family":"Ludwig","sequence":"first","affiliation":[]},{"given":"Omer F.","family":"Rana","sequence":"additional","affiliation":[]},{"given":"Julian","family":"Padget","sequence":"additional","affiliation":[]},{"given":"William","family":"Naylor","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,3,7]]},"reference":[{"key":"9019_CR1","unstructured":"\u201cGanglia Monitoring System\u201d, http:\/\/ganglia. sourceforge.net\/ ."},{"key":"9019_CR2","unstructured":"A. Ankolekar, M. Burstein, J. Hobbs, O. Lassila, D. Martin, S. McIlraithe, S. Narayanan, M. Paolucci, T. Payne, K. Sycara and H. Zeng, \u201cDAML-S: Semantic markup for web services\u201d, in Proc. 1st Int'l Semantic Web Conf. (ISWC 02), 2002."},{"key":"9019_CR3","unstructured":"V.R. Benjamins, E. Plaza, E. Motta, D. Fensel, R. Studer, B. Wielinga, G. Schreiber, Z. Zdrahal and S. Decker, \u201cAn intelligent brokering service for knowledge-component reuse on the world-wideweb\u201d, in Proceedings of the 11th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW'98), Banff, Canada, pp. 18\u201323, April 1998."},{"key":"9019_CR4","first-page":"33","volume-title":"Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling and Management (EKAW-99), Vol. 1621 of LNAI","author":"V.R. Benjamins","year":"1999","unstructured":"V.R. Benjamins, B. Wielinga, J. Wielemaker and D. Fensel, \u201cTowards brokering problem-solving knowledge on the internet\u201d, in D. Fensel and R. Studer (eds.), Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling and Management (EKAW-99), Vol. 1621 of LNAI, Springer, Berlin Heidelberg New York pp. 33\u201348, 1999."},{"key":"9019_CR5","doi-asserted-by":"crossref","unstructured":"R. Brachman and J. Schmolze, \u201cAn overview of the KL-ONE knowledge representation system\u201d, 1985.","DOI":"10.1016\/S0364-0213(85)80014-8"},{"key":"9019_CR6","unstructured":"S. Buswell, O. Caprotti and M. Dewar, \u201cMathematical Service Description Language\u201d, Technical Report, 2003. Available from the MONET website: http:\/\/monet.nag.co.uk\/cocoon\/monet\/publicdocs\/monet-msdl-final.pdf ."},{"key":"9019_CR7","unstructured":"O. Caprotti, M. Dewar, J. Davenport and J. Padget, \u201cMathematics on the (Semantic) Net\u201d, in C. Bussler, J. Davies, D. Fensel, and R. Studer (eds.), Proceedings of the European Symposium on the Semantic Web, Vol. 3053 of LNCS, Springer, pp. 213\u2013224, 2004."},{"key":"9019_CR8","unstructured":"Coalition, \u201cOWL-S: Semantic markup for web services\u201d, 2003."},{"key":"9019_CR9","doi-asserted-by":"crossref","unstructured":"T. Finin, R. Fritzson, D. McKay and R. McEntire, \u201cKQML as an agent communication language\u201d, in Proceedings of 3rd International Conference on Information and Knowledge Management, pp. 456\u2013463, 1994.","DOI":"10.1145\/191246.191322"},{"key":"9019_CR10","unstructured":"M. Genesereth and R. Fikes, \u201cKnowledge interchange format, version 3.0 reference manual\u201d, Technical report, Computer Science Department, Stanford University, 1992. Available from http:\/\/www-ksl.stanford.edu\/knowledge- sharing\/papers\/kif.ps ."},{"key":"9019_CR11","unstructured":"M. Gomez and E. Plaza, \u201cExtended matchmaking to maximize capability reuse\u201d, in N. R. Jennings, C. Sierra, L. Sonnenberg and M. Tambe (eds.), Proceedings of The Third International Joint Conference on Autonomous Agents and Multi Agent Systems, Vol. 1., ACM, pp. 144\u2013151, 2004."},{"key":"9019_CR12","unstructured":"L. Huang, D. Walker, Y. Huang and O. Rana, \u201cDynamic web service selection for workflow optimisation\u201d, Proceedings of UK eScience All-Hands Meeting, Nottingham, 2005."},{"key":"9019_CR13","unstructured":"J. Kopena, \u201cOWLJessKB\u201d, 2004. http:\/\/edge.cs.drexel. edu\/assemblies\/software\/ owljesskb\/ ."},{"issue":"2-3","key":"9019_CR14","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/BF00122130","volume":"6","author":"D. Kuokka","year":"1996","unstructured":"D. Kuokka and L. Harada, \u201cIntegrating information via matchmaking\u201d, Intelligent Information Systems, Vol. 6, No. 2\u20133, pp. 261\u2013279, 1996.","journal-title":"Intelligent Information Systems"},{"key":"9019_CR15","unstructured":"MONET Consortium, \u201cMONET Home Page\u201d, 2002, Available from http:\/\/monet.nag.co.uk ."},{"key":"9019_CR16","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1007\/11618027_12","volume":"3863","author":"W. Naylor","year":"2006","unstructured":"W. Naylor and J. Padget, \u201cSemantic matching for mathematical services\u201d, Lecture Notes in Computer Science, Vol. 3863, pp. 174\u2013189, 2006.","journal-title":"Lecture Notes in Computer Science"},{"issue":"1\u20133","key":"9019_CR17","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1023\/A:1022955412266","volume":"38","author":"W. Naylor","year":"2003","unstructured":"W. Naylor and S. Watt, \u201cMeta-stylesheets for the conversion of mathematical documents into multiple forms\u201d, Annals of Mathematics and Artificial Intelligence, Vol. 38, No. 1\u20133, pp. 3\u201325, 2003.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"9019_CR18","doi-asserted-by":"crossref","unstructured":"M. Nodine, W. Bohrer, and A. Ngu, \u201cSemantic brokering over dynamic heterogenous data sources in InfoSleuth\u201d, in Proceedings of the 15th International Conference on Data Engineering, pp. 358\u2013365, 1999.","DOI":"10.1109\/ICDE.1999.754951"},{"key":"9019_CR19","first-page":"514","volume":"33","author":"D. Richardson","year":"1968","unstructured":"D. Richardson, \u201cSome unsolvable problems involving elementary functions of a real variable\u201d, Journal of Computational Logic, Vol. 33, pp. 514\u2013520, 1968.","journal-title":"Journal of Computational Logic"},{"key":"9019_CR20","unstructured":"G. Salton, Automatic Text Processing, Addison-Wesley, 1989."},{"key":"9019_CR21","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/10722280_5","volume-title":"Ontology, Metadata, and Semiotics, Conceptual Structures: Logical, Linguistic, and Computational Issues\u201d, Lecture Notes in AI #1867","author":"J. Sowa","year":"2000","unstructured":"J. Sowa, \u201cOntology, Metadata, and Semiotics, Conceptual Structures: Logical, Linguistic, and Computational Issues\u201d, Lecture Notes in AI #1867, Springer, Berlin Heidelberg New York pp. 55\u201381, 2000."},{"issue":"2","key":"9019_CR22","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1023\/A:1014897210525","volume":"5","author":"K. Sycara","year":"2002","unstructured":"K. Sycara, S. Widoff, M. Klusch and J. Lu, \u201cLarks: Dynamic matchmaking among heterogeneous software agents in cyberspace\u201d, Journal of Autonomous Agents and Multi Agent Systems, Vol. 5, No. 2, pp. 173\u2013203, 2002.","journal-title":"Journal of Autonomous Agents and Multi Agent Systems"},{"key":"9019_CR23","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1023\/B:GRID.0000024074.63139.ce","volume":"1","author":"I. Taylor","year":"2003","unstructured":"I. Taylor, M. Shields, I. Wang and O. Rana, \u201cTriana applications within Grid computing and peer to peer environments\u201d, Journal of Grid Computing, Vol. 1, pp. 199\u2013217, 2003.","journal-title":"Journal of Grid Computing"},{"key":"9019_CR24","unstructured":"The GENSS Project, \u201cGENSS Home Page\u201d, 2004. Available from http:\/\/genss.cs.bath.ac.uk ."},{"key":"9019_CR25","unstructured":"The OpenMath Society, \u201cThe OpenMath Standard\u201d, 2002. Available from http:\/\/www.openmath.org\/standard\/om11\/omstd11.xml ."},{"key":"9019_CR26","unstructured":"The OpenMath Society, \u201cThe OpenMath Standard\u201d, 2004. Available from http:\/\/www.openmath.org\/cocoon\/openmath\/standard\/om20\/index.html ."},{"key":"9019_CR27","unstructured":"UDDI, \u201cUDDI Technical White Paper\u201d, 2003, Available from http:\/\/www.uddi.org\/pubs\/Iru_UDDI_Technical_ White_Paper.pdf ."},{"key":"9019_CR28","unstructured":"D. Veit, Matchmaking in Electronic Markets, Vol. 2882 of LNCS. Springer. Hot Topics, 2003."},{"key":"9019_CR29","unstructured":"W3C MathML, \u201cMathematical Markup Language (MathML) Version 2.0\u201d, 2003. Available from http:\/\/www.w3.org\/TR\/MathML2\/ ."},{"key":"9019_CR30","unstructured":"W3C WSDL, \u201cWeb Services Description Language (WSDL) 1.1\u201d, 2004. Available from http:\/\/www.w3.org\/TR\/wsdl ."},{"issue":"4","key":"9019_CR31","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1145\/261640.261641","volume":"6","author":"A.M. Zaremski","year":"1997","unstructured":"A.M. Zaremski and J.M. Wing, \u201cSpecification matching of software components\u201d, ACM Transactions on Software Engineering and Methodology, Vol. 6, No. 4, pp. 333\u2013369, 1997.","journal-title":"ACM Transactions on Software Engineering and Methodology"}],"container-title":["Journal of Grid Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10723-005-9019-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10723-005-9019-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10723-005-9019-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T22:47:12Z","timestamp":1559256432000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10723-005-9019-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,3]]},"references-count":31,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2006,3]]}},"alternative-id":["9019"],"URL":"https:\/\/doi.org\/10.1007\/s10723-005-9019-z","relation":{},"ISSN":["1570-7873","1572-9184"],"issn-type":[{"value":"1570-7873","type":"print"},{"value":"1572-9184","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,3]]}}}