{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T04:38:15Z","timestamp":1778215095708,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642387081","type":"print"},{"value":"9783642387098","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41335-3_19","type":"book-chapter","created":{"date-parts":[[2013,10,15]],"date-time":"2013-10-15T16:14:14Z","timestamp":1381853654000},"page":"298-313","source":"Crossref","is-referenced-by-count":1,"title":["Towards Constructive Evidence of Data Flow-Oriented Web Service Composition"],"prefix":"10.1007","author":[{"given":"Freddy","family":"L\u00e9cu\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"19_CR1","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1038\/scientificamerican0501-34","volume":"284","author":"T. Berners-Lee","year":"2001","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American\u00a0284(5), 34\u201343 (2001)","journal-title":"Scientific American"},{"issue":"1","key":"19_CR2","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.websem.2003.07.002","volume":"1","author":"K.P. Sycara","year":"2003","unstructured":"Sycara, K.P., Paolucci, M., Ankolekar, A., Srinivasan, N.: Automated discovery, interaction and composition of semantic web services. J. Web Sem.\u00a01(1), 27\u201346 (2003)","journal-title":"J. Web Sem."},{"key":"19_CR3","unstructured":"Smith, M.K., Welty, C., McGuinness, D.L.: Owl web ontology language guide. W3c recommendation, W3C (2004)"},{"key":"19_CR4","unstructured":"Baader, F., Nutt, W.: In: The Description Logic Handbook: Theory, Implementation, and Applications (2003)"},{"key":"19_CR5","unstructured":"Pistore, M., Marconi, A., Bertoli, P., Traverso, P.: Automated composition of web services by planning at the knowledge level. In: IJCAI, pp. 1252\u20131259 (2005)"},{"key":"19_CR6","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1613\/jair.2716","volume":"35","author":"J. Hoffmann","year":"2009","unstructured":"Hoffmann, J., Bertoli, P., Helmert, M., Pistore, M.: Message-based web service composition, integrity constraints, and planning under uncertainty: A new connection. J. Artif. Intell. Res. (JAIR)\u00a035, 49\u2013117 (2009)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"19_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1007\/11948148_40","volume-title":"Service-Oriented Computing \u2013 ICSOC 2006","author":"A. Marconi","year":"2006","unstructured":"Marconi, A., Pistore, M., Traverso, P.: Implicit vs. explicit data-flow requirements in web service composition goals. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol.\u00a04294, pp. 459\u2013464. Springer, Heidelberg (2006)"},{"key":"19_CR8","unstructured":"Papazoglou, M.P., Traverso, P., Dustdar, S., Leymann, F., Kr\u00e4mer, B.J.: 05462 service-oriented computing: A research roadmap. In: Service Oriented Computing (2005)"},{"issue":"6","key":"19_CR9","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1109\/MIC.2007.134","volume":"11","author":"J. Kopeck\u00fd","year":"2007","unstructured":"Kopeck\u00fd, J., Vitvar, T., Bournez, C., Farrell, J.: Sawsdl: Semantic annotations for wsdl and xml schema. IEEE Internet Computing\u00a011(6), 60\u201367 (2007)","journal-title":"IEEE Internet Computing"},{"key":"19_CR10","unstructured":"Ankolenkar, A., Paolucci, M., Srinivasan, N., Sycara, K.: The owl-s coalition, owl-s 1.1. Technical report (2004)"},{"key":"19_CR11","unstructured":"Fensel, D., Kifer, M., de Bruijn, J., Domingue, J.: Web service modeling ontology submission, w3c submission (2005)"},{"issue":"3","key":"19_CR12","doi-asserted-by":"publisher","first-page":"85","DOI":"10.4018\/jwsr.2007070105","volume":"4","author":"A. Ragone","year":"2007","unstructured":"Ragone, A., Noia, T.D., Sciascio, E.D., Donini, F.M., Colucci, S., Colasuonno, F.: Fully automated web services discovery and composition through concept covering and concept abduction. Int. J. Web Service Res.\u00a04(3), 85\u2013112 (2007)","journal-title":"Int. J. Web Service Res."},{"issue":"4","key":"19_CR13","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1145\/1361348.1361355","volume":"36","author":"R. Ennals","year":"2007","unstructured":"Ennals, R., Brewer, E.A., Garofalakis, M.N., Shadle, M., Gandhi, P.: Intel mash maker: join the web. SIGMOD Record\u00a036(4), 27\u201333 (2007)","journal-title":"SIGMOD Record"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Phuoc, D.L., Polleres, A., Hauswirth, M., Tummarello, G., Morbidoni, C.: Rapid prototyping of semantic mash-ups through semantic web pipes. In: WWW, pp. 581\u2013590 (2009)","DOI":"10.1145\/1526709.1526788"},{"key":"19_CR15","unstructured":"Hull, D., Zolin, E., Bovykin, A., Horrocks, I., Sattler, U., Stevens, R.: Deciding semantic matching of stateless services. In: AAAI (2006)"},{"key":"19_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-540-76298-0_2","volume-title":"The Semantic Web","author":"J.L. Ambite","year":"2007","unstructured":"Ambite, J.L., Kapoor, D.: Automatically composing data workflows with relational descriptions and shim services. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L.J.B., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudr\u00e9-Mauroux, P. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol.\u00a04825, pp. 15\u201329. Springer, Heidelberg (2007)"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the el envelope. In: IJCAI, pp. 364\u2013369 (2005)","DOI":"10.25368\/2022.144"},{"key":"19_CR18","unstructured":"Benatallah, B., Hacid, M., Leger, A., Rey, C., Toumani, F.: On automating web services discovery. VLDB Journal, 1\u201326 (December 2002)"},{"key":"19_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/11926078_28","volume-title":"The Semantic Web - ISWC 2006","author":"F. L\u00e9cu\u00e9","year":"2006","unstructured":"L\u00e9cu\u00e9, F., L\u00e9ger, A.: A formal model for semantic web service composition. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol.\u00a04273, pp. 385\u2013398. Springer, Heidelberg (2006)"},{"key":"19_CR20","unstructured":"Euzenat, J.: Semantic precision and recall for ontology alignment evaluation. In: IJCAI, pp. 348\u2013353 (2007)"},{"key":"19_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/3-540-48005-6_26","volume-title":"The Semantic Web - ISWC 2002","author":"M. Paolucci","year":"2002","unstructured":"Paolucci, M., Kawamura, T., Payne, T., Sycara, K.: Semantic matching of web services capabilities. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol.\u00a02342, pp. 333\u2013347. Springer, Heidelberg (2002)"},{"key":"19_CR22","doi-asserted-by":"crossref","unstructured":"Li, L., Horrocks, I.: A software framework for matchmaking based on semantic web technology. In: WWW, pp. 331\u2013339 (2003)","DOI":"10.1145\/775152.775199"},{"key":"19_CR23","unstructured":"Colucci, S., Noia, T.D., Sciascio, E.D., Donini, F.M., Mongiello, M.: Concept abduction and contraction in description logics. In: DL (2003)"},{"key":"19_CR24","unstructured":"Colucci, S., Noia, T.D., Sciascio, E.D., Donini, F.M., Mongiello, M.: A uniform tableaux-based method for concept abduction and contraction in description logics. In: ECAI, pp. 975\u2013976 (2004)"},{"key":"19_CR25","doi-asserted-by":"crossref","unstructured":"L\u00e9cu\u00e9, F., Delteil, A.: Making the difference in semantic web service composition. In: AAAI, pp. 1383\u20131388 (2007)","DOI":"10.1109\/ICWS.2007.42"},{"key":"19_CR26","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1613\/jair.2153","volume":"29","author":"T.D. Noia","year":"2007","unstructured":"Noia, T.D., Sciascio, E.D., Donini, F.M.: Semantic matchmaking as non-monotonic reasoning: A description logic approach. J. Artif. Intell. Res. (JAIR)\u00a029, 269\u2013307 (2007)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"19_CR27","doi-asserted-by":"crossref","unstructured":"Baader, F.: Terminological cycles in a description logic with existential restrictions. In: IJCAI, pp. 325\u2013330 (2003)","DOI":"10.25368\/2022.120"},{"key":"19_CR28","unstructured":"Noia, T.D., Sciascio, E.D., Donini, F.M., Mongiello, M.: Abductive matchmaking using description logics. In: IJCAI, pp. 337\u2013342 (2003)"},{"key":"19_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-540-39718-2_13","volume-title":"The Semantic Web - ISWC 2003","author":"D. Wu","year":"2003","unstructured":"Wu, D., Parsia, B., Sirin, E., Hendler, J.A., Nau, D.S.: Automating DAML-S web services composition using SHOP2. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, pp. 195\u2013210. Springer, Heidelberg (2003)"},{"key":"19_CR30","doi-asserted-by":"crossref","unstructured":"Oh, S.C., Kil, H., Lee, D., Kumara, S.R.T.: Wsben: A web services discovery and composition benchmark. In: ICWS, pp. 239\u2013248 (2006)","DOI":"10.1109\/ICWS.2006.148"},{"key":"19_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1007\/978-3-642-04840-1_32","volume-title":"Conceptual Modeling - ER 2009","author":"F. Daniel","year":"2009","unstructured":"Daniel, F., Casati, F., Benatallah, B., Shan, M.-C.: Hosted universal composition: Models, languages and infrastructure in mashArt. In: Laender, A.H.F., Castano, S., Dayal, U., Casati, F., de Oliveira, J.P.M. (eds.) ER 2009. LNCS, vol.\u00a05829, pp. 428\u2013443. Springer, Heidelberg (2009)"},{"key":"19_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-642-15877-3_8","volume-title":"Future Internet - FIS 2010","author":"R. Krummenacher","year":"2010","unstructured":"Krummenacher, R., Norton, B., Marte, A.: Towards linked open services and processes. In: Berre, A.J., G\u00f3mez-P\u00e9rez, A., Tutschku, K., Fensel, D. (eds.) FIS 2010. LNCS, vol.\u00a06369, pp. 68\u201377. Springer, Heidelberg (2010)"},{"key":"19_CR33","unstructured":"McIlraith, S.A., Son, T.C.: Adapting golog for composition of semantic web services. In: KR, pp. 482\u2013496 (2002)"},{"key":"19_CR34","unstructured":"Stuckenschmidt, H.: Partial matchmaking using approximate subsumption. In: AAAI, pp. 1459\u20131464 (2007)"},{"key":"19_CR35","unstructured":"McGuinness, D.L., Borgida, A.: Explaining subsumption in description logics. In: IJCAI (1), pp. 816\u2013821 (1995)"}],"container-title":["Lecture Notes in Computer Science","Advanced Information Systems Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41335-3_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T17:12:22Z","timestamp":1746033142000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41335-3_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642387081","9783642387098"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41335-3_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}