{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:08:49Z","timestamp":1725469729838},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540383291"},{"type":"electronic","value":"9783540383314"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11836025_46","type":"book-chapter","created":{"date-parts":[[2006,8,31]],"date-time":"2006-08-31T15:44:22Z","timestamp":1157039062000},"page":"481-487","source":"Crossref","is-referenced-by-count":5,"title":["Automatic Composition of Semantic Web Services \u2013 A Theorem Proof Approach"],"prefix":"10.1007","author":[{"given":"Li","family":"Ye","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Junliang","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"46_CR1","volume-title":"A Semantic Web Primer","author":"G. Antoniou","year":"2004","unstructured":"Antoniou, G., Harmelen, F.v.: A Semantic Web Primer. The MIT Press, Cambridge (2004)"},{"key":"46_CR2","unstructured":"Lassila, O., Swick, R.R.: Resource Description Framework(RDF) model and syntax specification, W3C recommendation (February 1999), On-line: \n                    \n                      http:\/\/www.w3.org\/TR\/1999\/REC_rdf-syntax-19990222\/"},{"key":"46_CR3","unstructured":"Dean, M., et al.: OWL Web Ontology Language 1.0 reference, W3C recommendation (July 2002),On-line, \n                    \n                      http:\/\/www.w3.org\/TR\/owl-ref\/"},{"key":"46_CR4","unstructured":"Box, D., et al.: Simple Object Access Protocol (SOAP) 1.1, W3C recommendation (2001),On-line, \n                    \n                      http:\/\/www.w3.org\/TR\/SOAP\/"},{"key":"46_CR5","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1109\/5254.920599","volume":"16","author":"S.A. McIlraith","year":"2001","unstructured":"McIlraith, S.A., Son, T.C., Zeng, H.: Semantic Web Services. IEEE Intelligent Systems\u00a016, 46\u201353 (2001)","journal-title":"IEEE Intelligent Systems"},{"key":"46_CR6","unstructured":"Rao, J.: Semantic Web Service Composition via Logic-based Program Synthesis. PhD thesis, Norwegian University of Science and Technology (2004)"},{"key":"46_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard, J.-Y.: Linear Logic. Theoretical Computer Science\u00a050, 1\u2013102 (1987)","journal-title":"Theoretical Computer Science"},{"key":"46_CR8","unstructured":"Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes. Computer Science Department, University of Edinburgh (June 1989)"},{"key":"46_CR9","unstructured":"McIlraith, S., Son, T.C.: Adapting Golog for composition of Semantic Web services. In: Proceedings of the 8th International Conference on Knowledge Representation and Reasoning(KR 2002) (April 2002)"},{"key":"46_CR10","doi-asserted-by":"publisher","first-page":"674","DOI":"10.1109\/32.153379","volume":"18","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Waldinger, R.: Fundamentals of deductive program synthesis. IEEE Transactions on Software Engineering\u00a018, 674\u2013704 (1992)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"46_CR11","unstructured":"Otter: An Automated Deduction System. On-line, \n                    \n                      http:\/\/www-unix.mcs.anl.gov\/AR\/otter\/"},{"volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","year":"2002","key":"46_CR12","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2002)"},{"key":"46_CR13","unstructured":"Bibel, W., Schmitt, P.: Automated Deduction: a Basis for Applications, vol.\u00a0810. Kluwer, Dordrecht"},{"key":"46_CR14","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"647","DOI":"10.1007\/3-540-52885-7_123","volume-title":"10th International Conference on Automated Deduction","author":"A. Bundy","year":"1990","unstructured":"Bundy, A., Harmelen, F.V., Horn, C., Smaill, A.: The Oyster-Clam System. In: Stickel, M.E. (ed.) CADE 1990. LNCS (LNAI), vol.\u00a0449, pp. 647\u2013648. Springer, Heidelberg (1990)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web \u2013 ASWC 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11836025_46.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:14:33Z","timestamp":1619493273000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11836025_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540383291","9783540383314"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11836025_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}