{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:54:55Z","timestamp":1725566095004},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642159176"},{"type":"electronic","value":"9783642159183"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15918-3_19","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T12:39:24Z","timestamp":1284554364000},"page":"223-226","source":"Crossref","is-referenced-by-count":1,"title":["Composition of Semantic Web Services in a Constructive Description Logic"],"prefix":"10.1007","author":[{"given":"Loris","family":"Bozzato","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mauro","family":"Ferrari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"19_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"19_CR2","unstructured":"Bozzato, L., Ferrari, M.: A Note on Semantic Web Services Specification and Composition in Constructive Description Logics. CoRR, abs\/1007.2364 [cs.AI] (2010)"},{"key":"19_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"JELIA 2010","author":"L. Bozzato","year":"2010","unstructured":"Bozzato, L., Ferrari, M., Fiorentini, C., Fiorino, G.: A decidable constructive description logic. In: JELIA 2010. LNCS. Springer, Heidelberg (to appear, 2010)"},{"issue":"4","key":"19_CR4","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/s10817-009-9160-7","volume":"44","author":"M. Ferrari","year":"2010","unstructured":"Ferrari, M., Fiorentini, C., Fiorino, G.: BCDL: Basic Constructive Description Logic. Journal of Automated Reasoning\u00a044(4), 371\u2013399 (2010)","journal-title":"Journal of Automated Reasoning"},{"issue":"3","key":"19_CR5","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/s11280-007-0033-x","volume":"10","author":"D. Martin","year":"2007","unstructured":"Martin, D., Burstein, M., McDermott, D., McIlraith, S., Paolucci, M., Sycara, K., McGuinness, D.L., Sirin, E., Srinivasan, N.: Bringing Semantics to Web Services with OWL-S. World Wide Web\u00a010(3), 243\u2013277 (2007)","journal-title":"World Wide Web"},{"key":"19_CR6","first-page":"13","volume-title":"LOPSTR 1991","author":"P. Miglioli","year":"1991","unstructured":"Miglioli, P., Moscato, U., Ornaghi, M.: Program specification and synthesis in constructive formal systems. In: LOPSTR 1991, pp. 13\u201326. Springer, Heidelberg (1991); Workshops in Computing"}],"container-title":["Lecture Notes in Computer Science","Web Reasoning and Rule Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15918-3_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:20:01Z","timestamp":1619785201000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15918-3_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642159176","9783642159183"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15918-3_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}