{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,14]],"date-time":"2023-11-14T21:22:16Z","timestamp":1699996936617},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2005,7,1]],"date-time":"2005-07-01T00:00:00Z","timestamp":1120176000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Distrib Parallel Databases"],"published-print":{"date-parts":[[2005,7]]},"DOI":"10.1007\/s10619-005-1074-8","type":"journal-article","created":{"date-parts":[[2005,6,27]],"date-time":"2005-06-27T16:01:36Z","timestamp":1119888096000},"page":"65-81","source":"Crossref","is-referenced-by-count":15,"title":["Resolution and Constraint Propagation for Semantic Web Services Discovery"],"prefix":"10.1007","volume":"18","author":[{"given":"Salima","family":"Benbernou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohand-Said","family":"Hacid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1074_CR1","doi-asserted-by":"crossref","unstructured":"S. Abiteboul, O. Benjelloun, and T. Milo. Positive active XML, PODS\u20192004, Paris, France, June 2004.","DOI":"10.1145\/1055558.1055564"},{"key":"1074_CR2","unstructured":"F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider, The Description Logic Handbook, Cambridge University Press, 2003."},{"key":"1074_CR3","unstructured":"B. Benatallah, M.-S. Hacid, C. Rey, and F. Toumani, \u201cTowards semantic reasoning for web services discovery,\u201d in Proceedings of the International Semantic Web Conference (ISWC\u201903), Springer Verlag: Sanibel Island, Florida, USA, Oct 2003."},{"key":"1074_CR4","unstructured":"B. Bentallah, M.-S. Hacid, C. Rey, and F. Toumani, \u201cSemantic reasoning for web services discovery,\u201d in WWW 2003 Workshop on E-Services and the Semantic Web (ESSW\u201903), Budapest, HUNGARY, 2003."},{"key":"1074_CR5","doi-asserted-by":"crossref","unstructured":"A. Bernstein and M. Klein, \u201cDiscovering services: Towards high precision service retrieval,\u201d in CaiSE Workshop on Web Services, e-Business, and the Semantic Web: Foundations, Models, Architecture, Engineering and Applications, Toronto, May 2002.","DOI":"10.1007\/3-540-36189-8_21"},{"key":"1074_CR6","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1613\/jair.21","volume":"1","author":"M. Buchheit","year":"1993","unstructured":"M. Buchheit, F.M. Donini, and A. Schaerf, \u201cDecidable reasoning in terminological knowledge representation systems,\u201d Journal of Artificial Intelligence Research, vol. 1, pp. 109\u2013138, 1993.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"1074_CR7","doi-asserted-by":"crossref","unstructured":"H.-J. Burckert, \u201cA resolution principle for clauses with constraints,\u201d in Proceedings of 10th International Conference on Automated Deduction, Springer LNAI 449, pp. 178\u2013192, 1990.","DOI":"10.1007\/3-540-52885-7_87"},{"issue":"3","key":"1074_CR8","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/S0306-4379(01)00014-X","volume":"26","author":"F. Casati","year":"2001","unstructured":"F. Casati and Shan Ming-Chien, \u201cDynamic and adaptative composition of e-services,\u201d Information Systems, vol. 26, no. 3, pp. 143\u2013163, 2001.","journal-title":"Information Systems"},{"key":"1074_CR9","unstructured":"D. Chakraborty, F. Perich, S. Avancha, and A. Joshi, \u201cDReggie: Semantic service discovery for m-commerce applications. in Workshop on Reliable and Secure Applications in Mobile Environment, 20th Symposium on Reliable Distributed Systems, June 2001, pp. 28\u201331."},{"key":"1074_CR10","unstructured":"DAML-S Home Page. http:\/\/www.daml.org\/services\/, 2003."},{"key":"1074_CR11","unstructured":"DAML-S : http:\/\/www.daml.org\/services."},{"issue":"3","key":"1074_CR12","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1023\/A:1008687430626","volume":"10","author":"F. Donini","year":"1998","unstructured":"F. Donini, M. Lenzerini, D. Nardi, and A. Schaerf, \u201cAL-log: Integrating datalog and description logics,\u201d Journal of Intelligent Information Systems, vol. 10, no. 3, pp. 227\u2013252, 1998.","journal-title":"Journal of Intelligent Information Systems"},{"key":"1074_CR13","unstructured":"ebXML Home Page. http:\/\/www.ebxml.org\/, 2003."},{"key":"1074_CR14","unstructured":"D. Fensel and C. Bussler, \u201cThe web service modeling Framework WSMF,\u201d http:\/\/www.cs.vu.nl\/~dieter\/wese\/publications.html."},{"key":"1074_CR15","doi-asserted-by":"crossref","unstructured":"D. Fensel, C. Bussler, and A. Maedche, \u201cSemantic web enabled web services,\u201d in Proceedings of the International Semantic Web Conference, Sardinia, Italy, June 2002, pp. 1\u20132.","DOI":"10.1007\/3-540-48005-6_1"},{"key":"1074_CR16","doi-asserted-by":"crossref","unstructured":"D. Florescu, A. Grnhagen, and D. Kossmann, \u201cXl: A platform for web services,\u201d in Conference on Innovative Data Systems Research (CIDR), Asilomar, CA, USA, January 2003.","DOI":"10.1145\/564691.564779"},{"key":"1074_CR17","unstructured":"I. Horrocks, P.F. Patel-Schneider, H. Boley, and S. Tabet, \u201cOWL rules language,\u201d Draft version, Technical Report, 29 October, 2003."},{"key":"1074_CR18","unstructured":"A. Levy and M.-C. Rousset, \u201cCARIN: A representation language combining horn rules and description logics,\u201d in 12th European Conference on Articial Intelligence, Budapest, Hungary, August, 1996."},{"key":"1074_CR19","doi-asserted-by":"crossref","unstructured":"L. Li and I. Horrocks, \u201cA software framework for matchmaking based on semantic web technology,\u201d in Proceedings of the Twelefth International Conference on World Wide Web, ACM Press, 2003.","DOI":"10.1145\/775152.775199"},{"key":"1074_CR20","doi-asserted-by":"crossref","unstructured":"F. Leymann, Web Service Flow Language (WSFL 1.0), May 2001.","DOI":"10.1007\/3-540-45752-6_1"},{"key":"1074_CR21","doi-asserted-by":"crossref","unstructured":"D. Martin, M. Paolucci, S. McIlraith, M. Burstein, D. McDermott, D. McGuinness, B. Parsia, T. Payne, M. Sabou, M. Solanki, N. Srinivasan, and K. Sycara, \u201cBringing Semantics to Web Services: The OWL-S approach,\u201d in First International Workshop on Semantic Web Services and Web Process Composition, San Diego, USA, July 6\u20139.","DOI":"10.1007\/978-3-540-30581-1_4"},{"issue":"2","key":"1074_CR22","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1109\/5254.920599","volume":"16","author":"S. McIlraith","year":"2001","unstructured":"S. McIlraith, T.C. Son, and H. Zeng, \u201cSemantic web services,\u201d IEEE Intelligent Systems. Special Issue on Semantic Web, vol. 16, no. 2, pp. 46\u201353, 2001.","journal-title":"IEEE Intelligent System s. Special Issue on Semantic Web"},{"key":"1074_CR23","doi-asserted-by":"crossref","unstructured":"S. Narayanan and S. McIlraith, \u201cSimulation, verification and automated composition of web services,\u201d in Eleventh International World Wide Web Conference, Honolulu, HAWAII, USA, May 2002.","DOI":"10.1145\/511446.511457"},{"key":"1074_CR24","doi-asserted-by":"crossref","unstructured":"T. Di Noia, E. Di Sciascio, F. Donini, and M. Mongiello, \u201cA system for Principled Matchmaking in an Electronic Marketplace,\u201d in Proceedings of the Twelefth International Conference on World Wide Web, ACM Press, 2003.","DOI":"10.1145\/775152.775198"},{"key":"1074_CR25","doi-asserted-by":"crossref","unstructured":"M. Paolucci, Kawamura Takahiro, and T.R. Payne, K. Sycara, \u201cSemantic matching of Web Services Capabilities,\u201d in Proceedings of the International Semantic Web Conference (ISWC\u201902), Springer Verlag: Sardegna, Italy, June 2002.","DOI":"10.1007\/3-540-48005-6_26"},{"key":"1074_CR26","unstructured":"RosettaNet Home Page. http:\/\/www.rosettanet.org, 2003."},{"issue":"1","key":"1074_CR27","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M. Schmidt-Schauss","year":"1991","unstructured":"M. Schmidt-Schauss and G. Smolka, \u201cAttributive Concept Descriptions with Complements,\u201d Artificial Intelligence, vol. 48, no. 1, pp. 1\u201326, 1991.","journal-title":"Artificial Intelligence"},{"key":"1074_CR28","unstructured":"M.K. Smith, C. Welty, D.L. and McGuinness, OWL Web Ontology Language Guide. W3C Recommendation, 10 February 2004. Available at http:\/\/www.w3c.org\/TR\/owl-guide\/."},{"key":"1074_CR29","unstructured":"SOAP Home Page. http:\/\/www.w3.org\/tr\/soap\/, 2003."},{"key":"1074_CR30","unstructured":"S. Thatte. XLANG: Web Services for Business Process Design, 2001."},{"key":"1074_CR31","doi-asserted-by":"crossref","unstructured":"The DAML Services Coalition, \u201cDAML-S: Web Service Description for the Semantic Web,\u201d in The First International Semantic Web Conference (ISWC), June 2002, pp. 348\u2013363.","DOI":"10.1007\/3-540-48005-6_27"},{"key":"1074_CR32","unstructured":"The VLDB Journal, \u201cSpecial Issue on E-services,\u201d The VLDB Journal, vol. 10, no. 1, 2001."},{"key":"1074_CR33","unstructured":"UDDI Home Page. http:\/\/www.uddi.org\/, 2003."},{"key":"1074_CR34","unstructured":"WS Architecture. http:\/\/www.W3c.org\/TR\/ws-arch\/, 2004."},{"key":"1074_CR35","unstructured":"WSDL Home Page. http:\/\/www.w3.org\/tr\/wsdl\/, 2003."},{"issue":"3","key":"1074_CR36","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1109\/5254.940027","volume":"16","author":"V. Wuwongse","year":"2001","unstructured":"V. Wuwongse, C. Anutariya, K. Akama, and E. Nantajeewarawat, \u201cXml declarative description (xdd): A language for the semantic web,\u201d IEEE Intelligent Systems, vol. 16, no. 3, pp. 54\u201365, 2001.","journal-title":"IEEE Intelligent Systems"},{"key":"1074_CR37","unstructured":"W3C Web Services Choreography Working Group. http:\/\/www.w3.org\/2002\/ws\/chor\/, 2003."},{"key":"1074_CR38","unstructured":"XL Home Page. http:\/\/xl.in.tum.de\/, 2003."}],"container-title":["Distributed and Parallel Databases"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10619-005-1074-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10619-005-1074-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10619-005-1074-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T23:12:14Z","timestamp":1586301134000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10619-005-1074-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,7]]},"references-count":38,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2005,7]]}},"alternative-id":["1074"],"URL":"https:\/\/doi.org\/10.1007\/s10619-005-1074-8","relation":{},"ISSN":["0926-8782","1573-7578"],"issn-type":[{"value":"0926-8782","type":"print"},{"value":"1573-7578","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,7]]}}}