{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T14:55:32Z","timestamp":1743000932604,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642177453"},{"type":"electronic","value":"9783642177460"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-17746-0_25","type":"book-chapter","created":{"date-parts":[[2010,12,8]],"date-time":"2010-12-08T04:05:44Z","timestamp":1291781144000},"page":"386-401","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["An Expressive and Efficient Solution to the Service Selection Problem"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Izquierdo","sequence":"first","affiliation":[]},{"given":"Mar\u00eda-Esther","family":"Vidal","sequence":"additional","affiliation":[]},{"given":"Blai","family":"Bonet","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"5","key":"25_CR1","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1016\/j.jcss.2006.10.019","volume":"73","author":"F.N. Afrati","year":"2007","unstructured":"Afrati, F.N., Li, C., Ullman, J.D.: Using views to generate efficient evaluation plans for queries. J. Comput. Syst. Sci.\u00a073(5), 703\u2013724 (2007)","journal-title":"J. Comput. Syst. Sci."},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"Alrifai, M., Risse, T.: Combining global optimization with local selection for efficient qos-aware service composition. In: WWW, pp. 881\u2013890 (2009)","DOI":"10.1145\/1526709.1526828"},{"key":"25_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-642-04930-9_2","volume-title":"The Semantic Web - ISWC 2009","author":"J.L. Ambite","year":"2009","unstructured":"Ambite, J.L., Darbha, S., Goel, A., Knoblock, C.A., Lerman, K., Parundekar, R., Russ, T.A.: Automatically constructing semantic web services from online sources. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol.\u00a05823, pp. 17\u201332. Springer, Heidelberg (2009)"},{"key":"25_CR4","unstructured":"Arvelo, Y., Bonet, B., Vidal, M.-E.: Compilation of query-rewriting problems into tractable fragments of propositional logic. In: AAAI (2006)"},{"key":"25_CR5","unstructured":"Bayardo, R.: Relsat: A Propositional Satisfiability Solver and Model Counter, \n                      http:\/\/code.google.com\/p\/relsat\/"},{"issue":"2","key":"25_CR6","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1142\/S0129054108005759","volume":"19","author":"D. Berardi","year":"2008","unstructured":"Berardi, D., Cheikh, F., Giacomo, G.D., Patrizi, F.: Automatic Service Composition via Simulation. Int. J. Found. Comput. Sci.\u00a019(2), 429\u2013451 (2008)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"Berardi, D., Giacomo, G.D., Mecella, M., Calvanese, D.: Composing Web Services with Nondeterministic Behavior. In: ICWS, pp. 909\u2013912 (2006)","DOI":"10.1109\/ICWS.2006.45"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Chen, H., Wu, Z., Mao, Y.: Rewriting queries using views for rdf-based relational integration. In: ICTAI, pp. 260\u2013264 (2005)","DOI":"10.1007\/11604655_29"},{"key":"25_CR9","unstructured":"Darwiche, A.: The c2d compiler, \n                      http:\/\/reasoning.cs.ucla.edu\/c2d\/"},{"key":"25_CR10","unstructured":"Darwiche, A.: New advances in compiling cnf into decomposable negation normal form. In: ECAI, pp. 328\u2013332 (2004)"},{"issue":"1-2","key":"25_CR11","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/j.artint.2004.04.005","volume":"157","author":"A. Darwiche","year":"2004","unstructured":"Darwiche, A., Marquis, P.: Compiling propositional weighted bases. Artif. Intell.\u00a0157(1-2), 81\u2013113 (2004)","journal-title":"Artif. Intell."},{"key":"25_CR12","doi-asserted-by":"crossref","unstructured":"Duschka, O.M., Genesereth, M.R.: Answering recursive queries using views. In: PODS, pp. 109\u2013116 (1997)","DOI":"10.1145\/263661.263674"},{"key":"25_CR13","doi-asserted-by":"crossref","unstructured":"Duschka, O.M., Genesereth, M.R.: Query planning in infomaster. In: SAC, pp. 109\u2013111 (1997)","DOI":"10.1145\/331697.331719"},{"key":"25_CR14","unstructured":"Een, N., Sorensson, N.: Minisat, \n                      http:\/\/minisat.se\/"},{"key":"25_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1613\/jair.2347","volume":"31","author":"F. Heras","year":"2008","unstructured":"Heras, F., Larrosa, J., Oliveras, A.: MiniMaxSAT: An efficient Weighted Max-SAT Solver. Journal of Artificial Intelligence Research\u00a031, 1\u201332 (2008)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"25_CR16","unstructured":"Jaudoin, H., Petit, J.-M., Rey, C., Schneider, M., Toumani, F.: Query rewriting using views in presence of value constraints. In: Description Logics (2005)"},{"key":"25_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-642-13489-0_2","volume-title":"The Semantic Web: Research and Applications","author":"M. Junghans","year":"2010","unstructured":"Junghans, M., Agarwal, S., Studer, R.: Towards practical semantic web service discovery. In: Aroyo, L., Antoniou, G., Hyv\u00f6nen, E., ten Teije, A., Stuckenschmidt, H., Cabral, L., Tudorache, T. (eds.) ESWC 2010, Part II. LNCS, vol.\u00a06089, pp. 15\u201329. Springer, Heidelberg (2010)"},{"issue":"11","key":"25_CR18","doi-asserted-by":"publisher","first-page":"2079","DOI":"10.1016\/j.jss.2008.04.044","volume":"81","author":"J.M. Ko","year":"2008","unstructured":"Ko, J.M., Kim, C.O., Kwon, I.-H.: Quality-of-Service Oriented Web Service Composition Algorithm and Planning Architecture. Journal of Systems and Software\u00a081(11), 2079\u20132090 (2008)","journal-title":"Journal of Systems and Software"},{"key":"25_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1007\/978-3-642-04930-9_22","volume-title":"The Semantic Web - ISWC 2009","author":"U. Kuter","year":"2009","unstructured":"Kuter, U., Golbeck, J.: Semantic web service composition in social environments. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol.\u00a05823, pp. 344\u2013358. Springer, Heidelberg (2009)"},{"key":"25_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/978-3-642-04930-9_24","volume-title":"The Semantic Web - ISWC 2009","author":"F. L\u00e9cu\u00e9","year":"2009","unstructured":"L\u00e9cu\u00e9, F.: Optimizing qos-aware semantic web service composition. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol.\u00a05823, pp. 375\u2013391. Springer, Heidelberg (2009)"},{"key":"25_CR21","unstructured":"Levy, A.Y., Rajaraman, A., Ordille, J.J.: Querying heterogeneous information sources using source descriptions. In: VLDB, pp. 251\u2013262 (1996)"},{"key":"25_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/978-3-540-72788-0_28","volume-title":"Theory and Applications of Satisfiability Testing \u2013 SAT 2007","author":"K. Pipatsrisawat","year":"2007","unstructured":"Pipatsrisawat, K., Darwiche, A.: A lightweight component caching scheme for satisfiability solvers. In: Marques-Silva, J., Sakallah, K.A. (eds.) SAT 2007. LNCS, vol.\u00a04501, pp. 294\u2013299. Springer, Heidelberg (2007)"},{"issue":"2-3","key":"25_CR23","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/s007780100048","volume":"10","author":"R. Pottinger","year":"2001","unstructured":"Pottinger, R., Halevy, A.Y.: Minicon: A scalable algorithm for answering queries using views. VLDB J\u00a010(2-3), 182\u2013198 (2001)","journal-title":"VLDB J"},{"key":"25_CR24","first-page":"33","volume":"0","author":"H. Rahmani","year":"2008","unstructured":"Rahmani, H., GhasemSani, G., Abolhassani, H.: Automatic Web Service Composition Considering User Non-functional Preferences. Next Generation Web Services Practices\u00a00, 33\u201338 (2008)","journal-title":"Next Generation Web Services Practices"},{"key":"25_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1007\/978-3-642-04930-9_38","volume-title":"The Semantic Web - ISWC 2009","author":"S. Sohrabi","year":"2009","unstructured":"Sohrabi, S., McIlraith, S.A.: Optimizing web service composition while enforcing regulations. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol.\u00a05823, pp. 601\u2013617. Springer, Heidelberg (2009)"},{"issue":"2","key":"25_CR26","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/S0304-3975(99)00219-4","volume":"239","author":"J.D. Ullman","year":"2000","unstructured":"Ullman, J.D.: Information integration using logical views. Theor. Comput. Sci.\u00a0239(2), 189\u2013210 (2000)","journal-title":"Theor. Comput. Sci."},{"key":"25_CR27","doi-asserted-by":"crossref","unstructured":"Wada, H., Champrasert, P., Suzuki, J., Oba, K.: Multiobjective Optimization of SLA-aware Service Composition. In: IEEE Congress on Services, Workshop on Methodologies for Non-functional Properties in Services Computing (2008)","DOI":"10.1109\/SERVICES-1.2008.77"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web \u2013 ISWC 2010"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17746-0_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,10]],"date-time":"2022-09-10T01:05:13Z","timestamp":1662771913000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-17746-0_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642177453","9783642177460"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17746-0_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}