{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T00:34:04Z","timestamp":1743035644717,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642242724"},{"type":"electronic","value":"9783642242731"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24273-1_42","type":"book-chapter","created":{"date-parts":[[2011,9,27]],"date-time":"2011-09-27T18:27:24Z","timestamp":1317148044000},"page":"303-311","source":"Crossref","is-referenced-by-count":0,"title":["The Formal Definitions of Semantic Web Services and Reasoning"],"prefix":"10.1007","author":[{"given":"Duan","family":"Yuexing","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"42_CR1","first-page":"46","volume":"16","author":"A. McIlraith Sheila","year":"2001","unstructured":"McIlraith Sheila, A., Cao, S.T., Honglei, Z.: Semantic Web Services. IEEE Intelligent Systems. Special Issue on the Semantic Web\u00a016(2), 46\u201353 (2001)","journal-title":"IEEE Intelligent Systems. Special Issue on the Semantic Web"},{"key":"42_CR2","doi-asserted-by":"crossref","unstructured":"\u738b\u6770\u751f, \u674e\u821f\u519b, \u674e\u68a6\u541b. \u7528\u63cf\u8ff0\u903b\u8f91\u8fdb\u884c\u8bed\u4e49 Web \u670d\u52a1\u7ec4\u5408. 19(4), 967\u2013980 (2008)","DOI":"10.3724\/SP.J.1001.2008.00967"},{"key":"42_CR3","first-page":"636","volume-title":"Proc. of the WWW 2005 Workshop on Web Service Semantics: Towards Dynamic Business Integration","author":"F. Baader","year":"2005","unstructured":"Baader, F., Lutz, C., Milicic, M., Sattler, U., Wolter, F.: A description logic based approach to reasoning about Web services. In: Vasiliu, L. (ed.) Proc. of the WWW 2005 Workshop on Web Service Semantics: Towards Dynamic Business Integration, pp. 636\u2013647. ACM Press, Chiba (2005)"},{"issue":"4","key":"42_CR4","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1016\/j.websem.2004.06.005","volume":"1","author":"E. Sirin","year":"2004","unstructured":"Sirin, E., Parsia, B., Wu, D., Hendler, J.A.: HTN Planning for Web Service Composition Using SHOP2. Journal of Web Semantics\u00a01(4), 377\u2013396 (2004)","journal-title":"Journal of Web Semantics"},{"key":"42_CR5","unstructured":"The, OWL Services Coalition. OWL-S: Semantic Markup for Web Services, OWL-S 1.0 Release (2003)"},{"key":"42_CR6","unstructured":"Akkiraju, R., Farell, J., Miller, J., Nagarajan, M., Sheth, A., Verma, K.: Web Service Semantics-WSDL-S Version1.0 (2005), http:\/\/www.w3.org\/Submission\/WSDL-S\/"},{"key":"42_CR7","unstructured":"Fensel, D., Kifer, M., de Bruijn., J., et al.: D16.1 v1.0 WSML Language Reference, http:\/\/www.wsmo.org\/TR\/d16\/d16.1\/v1.0"},{"key":"42_CR8","unstructured":"Battle, S., Bernstein, A., Boley, H., Grosof, B., Gruninger, M., Hull, R., et al.: Semantic Web Service LanguageVersion1.0, http:\/\/www.w3.org\/Submission\/SWSF-SWSL\/"},{"key":"42_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M. Schmidt-Schau\u03b2","year":"1991","unstructured":"Schmidt-Schau\u03b2, M., Smolka, G.: Attributive concept descriptions with complements. Artificial Intelligence\u00a048, 1\u201326 (1991)","journal-title":"Artificial Intelligence"},{"key":"42_CR10","volume-title":"Handbook of Description logic","author":"F. Baader","year":"2003","unstructured":"Baader, F., Nutt, W.: Handbook of Description logic, ch.2. Cambridge University Press, Cambridge (2003)"}],"container-title":["Communications in Computer and Information Science","Emerging Research in Web Information Systems and Mining"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24273-1_42","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,16]],"date-time":"2019-06-16T11:57:42Z","timestamp":1560686262000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24273-1_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642242724","9783642242731"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24273-1_42","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2011]]}}}