An expressive and efficient solution to the service selection problem

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

Volumn 6496 LNCS, Issue PART 1, 2010, Pages 386-401

  Izquierdo, Daniel ^a   Vidal, María Esther ^a   Bonet, Blai ^a  

^a UNIVERSIDAD SIMÓN BOLÍVAR   (Venezuela)

Author keywords

[No Author keywords available]

Indexed keywords

ONTOLOGY; SEMANTIC WEB; WEBSITES;

ANNOTATION TOOL; CONJUNCTIVE QUERIES; LOGICAL THEORIES; QUERY REWRITINGS; REAL WORLD SITUATIONS; SCALABLE APPROACH; SCALABLE SOLUTION; SERVICE SELECTION;

WEB SERVICES;

EID: 78650915963     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-17746-0_25     Document Type: Conference Paper

References (27)

1. Afrati, F.N., Li, C., Ullman, J.D.: Using views to generate efficient evaluation plans for queries. J. Comput. Syst. Sci. 73(5), 703-724 (2007)
2. Alrifai, M., Risse, T.: Combining global optimization with local selection for efficient qos-aware service composition. In: WWW, pp. 881-890 (2009)
3. 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. 5823, pp. 17-32. Springer, Heidelberg (2009)
4. Arvelo, Y., Bonet, B., Vidal, M.-E.: Compilation of query-rewriting problems into tractable fragments of propositional logic. In: AAAI (2006)
5. Bayardo, R.: Relsat: A Propositional Satisfiability Solver and Model Counter, http://code.google.com/p/relsat/
6. Berardi, D., Cheikh, F., Giacomo, G.D., Patrizi, F.: Automatic Service Composition via Simulation. Int. J. Found. Comput. Sci. 19(2), 429-451 (2008)
7. Berardi, D., Giacomo, G.D., Mecella, M., Calvanese, D.: Composing Web Services with Nondeterministic Behavior. In: ICWS, pp. 909-912 (2006)
8. Chen, H., Wu, Z., Mao, Y.: Rewriting queries using views for rdf-based relational integration. In: ICTAI, pp. 260-264 (2005)
9. Darwiche, A.: The c2d compiler, http://reasoning.cs.ucla.edu/c2d/
10. Darwiche, A.: New advances in compiling cnf into decomposable negation normal form. In: ECAI, pp. 328-332 (2004)
11. Darwiche, A., Marquis, P.: Compiling propositional weighted bases. Artif. Intell. 157(1-2), 81-113 (2004)
12. Duschka, O.M., Genesereth, M.R.: Answering recursive queries using views. In: PODS, pp. 109-116 (1997)
13. Duschka, O.M., Genesereth, M.R.: Query planning in infomaster. In: SAC, pp. 109-111 (1997)
14. Een, N., Sorensson, N.: Minisat, http://minisat.se/
15. Heras, F., Larrosa, J., Oliveras, A.: MiniMaxSAT: An efficient Weighted Max-SAT Solver. Journal of Artificial Intelligence Research 31, 1-32 (2008) (Pubitemid 351761981)
16. Jaudoin, H., Petit, J.-M., Rey, C., Schneider, M., Toumani, F.: Query rewriting using views in presence of value constraints. In: Description Logics (2005)
17. Junghans, M., Agarwal, S., Studer, R.: Towards practical semantic web service discovery. In: Aroyo, L., Antoniou, G., Hyvönen, E., ten Teije, A., Stuckenschmidt, H., Cabral, L., Tudorache, T. (eds.) ESWC 2010, Part II. LNCS, vol. 6089, pp. 15-29. Springer, Heidelberg (2010)
18. 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 81(11), 2079-2090 (2008)
19. 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. 5823, pp. 344-358. Springer, Heidelberg (2009)
20. Lécué, 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. 5823, pp. 375-391. Springer, Heidelberg (2009)
21. Levy, A.Y., Rajaraman, A., Ordille, J.J.: Querying heterogeneous information sources using source descriptions. In: VLDB, pp. 251-262 (1996)
22. Pipatsrisawat, K., Darwiche, A.: A lightweight component caching scheme for satisfiability solvers. In: Marques-Silva, J., Sakallah, K.A. (eds.) SAT 2007. LNCS, vol. 4501, pp. 294-299. Springer, Heidelberg (2007)
23. Pottinger, R., Halevy, A.Y.: Minicon: A scalable algorithm for answering queries using views. VLDB J 10(2-3), 182-198 (2001)
24. Rahmani, H., GhasemSani, G., Abolhassani, H.: Automatic Web Service Composition Considering User Non-functional Preferences. Next Generation Web Services Practices 0, 33-38 (2008)
25. 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. 5823, pp. 601-617. Springer, Heidelberg (2009)
26. Ullman, J.D.: Information integration using logical views. Theor. Comput. Sci. 239(2), 189-210 (2000)
27. 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)