{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:58:02Z","timestamp":1725490682826},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540749738"},{"type":"electronic","value":"9783540749745"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"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":[[2007]]},"DOI":"10.1007\/978-3-540-74974-5_6","type":"book-chapter","created":{"date-parts":[[2007,8,29]],"date-time":"2007-08-29T08:47:31Z","timestamp":1188377251000},"page":"69-80","source":"Crossref","is-referenced-by-count":17,"title":["An Hybrid, QoS-Aware Discovery of Semantic Web Services Using Constraint Programming"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 Mar\u00eda","family":"Garc\u00eda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Ruiz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Ruiz-Cort\u00e9s","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Octavio","family":"Mart\u00edn-D\u00edaz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Resinas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"8","key":"6_CR1","doi-asserted-by":"publisher","first-page":"979","DOI":"10.1016\/S0306-4379(03)00003-6","volume":"28","author":"F. Baader","year":"2003","unstructured":"Baader, F., Sattler, U.: Description logics with aggregates and concrete domains. Information Systems\u00a028(8), 979\u20131004 (2003)","journal-title":"Information Systems"},{"key":"6_CR2","unstructured":"Benatallah, B., Hacid, M., Rey, C., Toumani, F.: Semantic reasoning for web services discovery. In: WWW Workshop on E-Services and the Semantic Web (2003)"},{"issue":"1","key":"6_CR3","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/s10619-005-1074-8","volume":"18","author":"S. Benbernou","year":"2005","unstructured":"Benbernou, S., Hacid, M.: Resolution and constraint propagation for semantic web services discovery. Distributed and Parallel Databases\u00a018(1), 65\u201381 (2005)","journal-title":"Distributed and Parallel Databases"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Bonatti, P., Festa, P.: On optimal service selection. In: 14th international conference on World Wide Web, pp. 530\u2013538 (2005)","DOI":"10.1145\/1060745.1060823"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Cabral, L., Domingue, J., Galizia, S., Gugliotta, A., Tanasescu, V., Pedrinaci, C., Norton, B.: IRS-III: A broker for semantic web services based applications. In: International Semantic Web Conference, pp. 201\u2013214 (2006)","DOI":"10.1007\/11926078_15"},{"issue":"2","key":"6_CR6","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/S1567-4223(02)00015-7","volume":"1","author":"D. Fensel","year":"2002","unstructured":"Fensel, D., Bussler, C.: The web service modeling framework WSMF. Electronic Commerce Research and Applications\u00a01(2), 113\u2013137 (2002)","journal-title":"Electronic Commerce Research and Applications"},{"key":"6_CR7","unstructured":"Gonz\u00e1lez-Castillo, J., Trastour, D., Bartolini, C.: Description logics for matchmaking of services. Technical Report HPL-2001-265, Hewlett Packard Labs (2001)"},{"key":"6_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1007\/3-540-45744-5_59","volume-title":"Automated Reasoning","author":"V. Haarslev","year":"2001","unstructured":"Haarslev, V., M\u00f6ller, R.: RACER system description. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol.\u00a02083, pp. 701\u2013706. Springer, Heidelberg (2001)"},{"key":"6_CR9","unstructured":"Haarslev, V., M\u00f6ller, R.: Practical Reasoning in RACER with a Concrete Domain for Linear Inequations. In: Int. Workshop on Description Logics (2002)"},{"issue":"4","key":"6_CR10","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1287\/ijoc.14.4.345.2826","volume":"14","author":"P. Hentenryck Van","year":"2002","unstructured":"Van Hentenryck, P.: Constraint and integer programming in OPL. INFORMS Journal on Computing\u00a014(4), 345\u2013372 (2002)","journal-title":"INFORMS Journal on Computing"},{"key":"6_CR11","unstructured":"Horrocks, I.: FaCT and iFaCT. In: Int. Workshop on Description Logics (1999)"},{"key":"6_CR12","first-page":"265","volume-title":"ECOWS 2006","author":"K. Kritikos","year":"2006","unstructured":"Kritikos, K., Plexousakis, D.: Semantic QoS metric matching. In: ECOWS 2006, pp. 265\u2013274. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Li, L., Horrocks, I.: A software framework for matchmaking based on semantic web technology. In: Int. World Wide Web Conference, pp. 331\u2013339 (2003)","DOI":"10.1145\/775152.775199"},{"key":"6_CR14","unstructured":"Lutz, C.: Description logics with concrete domains \u2013 a survey. In: Advances in Modal Logic, pp. 265\u2013296 (2002)"},{"key":"6_CR15","unstructured":"Lutz, C., Sattler, U.: A proposal for describing services with DLs. In: Int. Workshop on Description Logics (2002)"},{"key":"6_CR16","unstructured":"Martin, D., Burstein, M., Hobbs, J., Lassila, O., McDermott, D., et\u00a0al.: OWL-S: Semantic Markup for Web Services. Technical Report 1.1, DAML (November 2004)"},{"issue":"5","key":"6_CR17","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1109\/MIC.2004.27","volume":"8","author":"E.M. Maximilien","year":"2004","unstructured":"Maximilien, E.M., Singh, M.P.: A framework and ontology for dynamic web services selection. IEEE Internet Computing\u00a08(5), 84\u201393 (2004)","journal-title":"IEEE Internet Computing"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1007\/978-3-540-39718-2_20","volume-title":"The Semantic Web - ISWC 2003","author":"E. Motta","year":"2003","unstructured":"Motta, E., Domingue, J., Cabral, L., Gaspari, M.: IRS-II: A framework and infrastructure for semantic web services. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, pp. 306\u2013318. Springer, Heidelberg (2003)"},{"key":"6_CR19","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)"},{"issue":"5","key":"6_CR20","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1145\/103167.103176","volume":"34","author":"R. Prieto-D\u00edaz","year":"1991","unstructured":"Prieto-D\u00edaz, R.: Implementing faceted classification for software reuse. Commun. ACM\u00a034(5), 88\u201397 (1991)","journal-title":"Commun. ACM"},{"key":"6_CR21","unstructured":"Prudh\u0301ommeaux, E., Seaborne, A.: SPARQL Query Language for RDF. Technical Report Working Draft, W3C (March 2007)"},{"key":"6_CR22","unstructured":"Roman, D., Lausen, H., Keller, U.: Web Service Modeling Ontology (WSMO). Technical Report D2 v1.3 Final Draft, WSMO (October 2006)"},{"issue":"4","key":"6_CR23","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1142\/S0218843005001225","volume":"14","author":"A. Ruiz-Cort\u00e9s","year":"2005","unstructured":"Ruiz-Cort\u00e9s, A., Mart\u00edn-D\u00edaz, O., Dur\u00e1n Toro, A., Toro, M.: Improving the automatic procurement of web services using constraint programming. Int. J. Cooperative Inf. Syst.\u00a014(4), 439\u2013468 (2005)","journal-title":"Int. J. Cooperative Inf. Syst."},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Schlosser, M., Sintek, M., Decker, S., Nejdl, W.: A scalable and ontology-based P2P infrastructure for semantic web services. In: Peer-to-Peer Computing, pp. 104\u2013111 (2002)","DOI":"10.1109\/PTP.2002.1046319"},{"key":"6_CR25","unstructured":"Sivashanmugam, K., Verma, K., Sheth, A., Miller, J.: Adding semantics to web services standards. In: Intl. Conference on Web Services, pp. 395\u2013401 (2003)"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Srinivasan, N., Paolucci, M., Sycara, K.: Semantic web service discovery in the OWL-S IDE. In: Hawaii International Conference on Systems Science (2006)","DOI":"10.1109\/HICSS.2006.431"},{"issue":"1","key":"6_CR27","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/j.websem.2003.07.002","volume":"1","author":"K. Sycara","year":"2003","unstructured":"Sycara, K., 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."},{"issue":"3","key":"6_CR28","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1109\/MIC.2004.1297276","volume":"8","author":"K. Sycara","year":"2004","unstructured":"Sycara, K., Paolucci, M., Soudry, J., Srinivasan, N.: Dynamic discovery and coordination of agent-based semantic web services. IEEE Internet Computing\u00a08(3), 66\u201373 (2004)","journal-title":"IEEE Internet Computing"},{"issue":"1","key":"6_CR29","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/s10799-004-7773-4","volume":"6","author":"K. Verma","year":"2005","unstructured":"Verma, K., Sivashanmugam, K., Sheth, A., Patil, A., et al.: METEOR-S WSDI: A scalable P2P infrastructure of registries for semantic publication and discovery of web services. Inf. Tech. Management\u00a06(1), 17\u201339 (2005)","journal-title":"Inf. Tech. Management"},{"key":"6_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/11948148_32","volume-title":"Service-Oriented Computing \u2013 ICSOC 2006","author":"X. Wang","year":"2006","unstructured":"Wang, X., Vitvar, T., Kerrigan, M., Toma, I.: A QoS-aware selection model for semantic web services. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol.\u00a04294, pp. 390\u2013401. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing \u2013 ICSOC 2007"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74974-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,24]],"date-time":"2019-01-24T22:12:59Z","timestamp":1548367979000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74974-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540749738","9783540749745"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74974-5_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}