{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T10:08:34Z","timestamp":1725703714802},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642328909"},{"type":"electronic","value":"9783642328916"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32891-6_36","type":"book-chapter","created":{"date-parts":[[2012,10,6]],"date-time":"2012-10-06T08:54:11Z","timestamp":1349513651000},"page":"286-294","source":"Crossref","is-referenced-by-count":0,"title":["Reasoning about Semantic Web Services with an Approach Based on Temporal Description Logic"],"prefix":"10.1007","author":[{"given":"Juan","family":"Wang","sequence":"first","affiliation":[]},{"given":"Liang","family":"Chang","sequence":"additional","affiliation":[]},{"given":"Chuangying","family":"Zhu","sequence":"additional","affiliation":[]},{"given":"Rongsheng","family":"Dong","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"36_CR1","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/5254.920599","volume":"16","author":"S.A. MeIlraith","year":"2001","unstructured":"MeIlraith, S.A., Son, T.C., Zeng, H.: Semantic web services. IEEE Intelligent Systems\u00a016(2), 46\u201353 (2001)","journal-title":"IEEE Intelligent Systems"},{"key":"36_CR2","first-page":"684","volume-title":"Proceeding of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR 2008)","author":"F. Baader","year":"2008","unstructured":"Baader, F., Ghilardi, S., Lutz, C.: LTL over description logic axioms. In: Brewka, G., Lang, J. (eds.) Proceeding of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), pp. 684\u2013694. AAAI Press, Cambridge (2008)"},{"key":"36_CR3","first-page":"636","volume-title":"Proceeding 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.) Proceeding of the WWW 2005 Workshop on Web Service Semantics: Towards Dynamic Business Integration, pp. 636\u2013647. ACM Press, Chiba (2005)"},{"key":"36_CR4","first-page":"463","volume":"4","author":"J. McCarthy","year":"1969","unstructured":"McCarthy, J., Hayes, P.: Some philosophical problems form the standpoint of artificial intelligence. Machine Intelligence\u00a04, 463\u2013502 (1969)","journal-title":"Machine Intelligence"},{"key":"36_CR5","first-page":"593","volume-title":"Proceeding of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR 2002)","author":"D. Calvanese","year":"2002","unstructured":"Calvanese, D., De Giacomo, G., Vardi, M.: Reasoning about actions and planning in LTL action theories. In: Fensel, D., Giunchiglia, F., McGuinness, D., Willians, M. (eds.) Proceeding of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR 2002), pp. 593\u2013602. Morgan Kaufmann, San Francisco (2002)"},{"key":"36_CR6","first-page":"572","volume-title":"Proceeding of the 12th National Conference on Artificial Intelligence (AAAI 2005)","author":"F. Baader","year":"2005","unstructured":"Baader, F., Lutz, C., Milicic, M., Sattler, U., Wolter, F.: Integrating description logics and action formalisms: first results. In: Veloso, M., Kambhampati, S. (eds.) Proceeding of the 12th National Conference on Artificial Intelligence (AAAI 2005), pp. 572\u2013577. AAAI Press, Menlo Park (2005)"},{"issue":"1","key":"36_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10817-010-9210-1","volume":"49","author":"L. Chang","year":"2012","unstructured":"Chang, L., Shi, Z., Gu, T., Zhao, L.: A family of dynamic description logics for representing and reasoning about actions. Journal of Automatic Reasoning\u00a049(1), 1\u201352 (2012)","journal-title":"Journal of Automatic Reasoning"},{"key":"36_CR8","unstructured":"The OWL Services Coalition. OWL-S: Semantic Markup for Web Services. Technical report (2002), \n                    \n                      http:\/\/www.daml.org\/services"}],"container-title":["IFIP Advances in Information and Communication Technology","Intelligent Information Processing VI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32891-6_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:19:39Z","timestamp":1620130779000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32891-6_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642328909","9783642328916"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32891-6_36","relation":{},"ISSN":["1868-4238","1861-2288"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1861-2288"}],"subject":[],"published":{"date-parts":[[2012]]}}}