{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T10:08:18Z","timestamp":1725703698977},"publisher-location":"Berlin, Heidelberg","reference-count":10,"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_19","type":"book-chapter","created":{"date-parts":[[2012,10,6]],"date-time":"2012-10-06T08:54:11Z","timestamp":1349513651000},"page":"137-146","source":"Crossref","is-referenced-by-count":1,"title":["Dynamic Logic for the Semantic Web"],"prefix":"10.1007","author":[{"given":"Liang","family":"Chang","sequence":"first","affiliation":[]},{"given":"Qicheng","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Tianlong","family":"Gu","sequence":"additional","affiliation":[]},{"given":"Zhongzhi","family":"Shi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D. Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)"},{"issue":"1-2","key":"19_CR2","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1006\/inco.1999.2852","volume":"162","author":"G.D. Giacomo","year":"2000","unstructured":"Giacomo, G.D., Massacci, F.: Combining deduction and model checking into tableaux and algorithms for Converse-PDL. Information and Computation\u00a0162(1-2), 117\u2013137 (2000)","journal-title":"Information and Computation"},{"issue":"2","key":"19_CR3","doi-asserted-by":"publisher","first-page":"189","DOI":"10.3166\/jancl.15.189-213","volume":"15","author":"C. Lutz","year":"2005","unstructured":"Lutz, C., Walther, D.: PDL with negation of atomic programs. Journal of Applied Non-Classical Logic\u00a015(2), 189\u2013214 (2005)","journal-title":"Journal of Applied Non-Classical Logic"},{"key":"19_CR4","first-page":"198","volume-title":"Proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures","author":"S. G\u00f6ller","year":"2007","unstructured":"G\u00f6ller, S., Lohrey, M., Lutz, C.: PDL with intersection and converse is 2EXP-complete. In: Proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures, pp. 198\u2013212. Springer, Berlin (2007)"},{"key":"19_CR5","first-page":"684","volume-title":"Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning","author":"F. Baader","year":"2008","unstructured":"Baader, F., Ghilardi, S., Lutz, C.: LTL over description logic axioms. In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, pp. 684\u2013694. AAAI Press, Cambridge (2008)"},{"issue":"2","key":"19_CR6","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0022-0000(86)90026-7","volume":"32","author":"M.Y. Vardi","year":"1986","unstructured":"Vardi, M.Y., Wolper, P.: Automata-theoretic techniques for modal logics of programs. Journal of Computer and System Sciences\u00a032(2), 183\u2013221 (1986)","journal-title":"Journal of Computer and System Sciences"},{"key":"19_CR7","first-page":"55","volume-title":"Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science","author":"J. Hromkovic","year":"1997","unstructured":"Hromkovic, J., Seibert, S., Wilke, T.: Translating regular expressions into small \u03b5-free nondeterministic finite automata. In: Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, pp. 55\u201366. Springer, Belin (1997)"},{"issue":"2","key":"19_CR8","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1360\/03yf0506","volume":"48","author":"Z.Z. Shi","year":"2005","unstructured":"Shi, Z.Z., Dong, M.K., Jiang, Y.C., Zhang, H.J.: A logical foundation for the semantic Web. Science in China, Ser. F: Information Sciences\u00a048(2), 161\u2013178 (2005)","journal-title":"Science in China, Ser. F: Information Sciences"},{"issue":"1","key":"19_CR9","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/s10817-010-9210-1","volume":"49","author":"L. Chang","year":"2012","unstructured":"Chang, L., Shi, Z.Z., Gu, T.L., Zhao, L.Z.: A family of dynamic description logics for representing and reasoning about actions. Journal of Automated Reasoning\u00a049(1), 19\u201370 (2012)","journal-title":"Journal of Automated Reasoning"},{"key":"19_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-642-04222-5_9","volume-title":"Frontiers of Combining Systems","author":"F. Baader","year":"2009","unstructured":"Baader, F., Bauer, A., Lippmann, M.: Runtime Verification Using a Temporal Description Logic. In: Ghilardi, S., Sebastiani, R. (eds.) FroCoS 2009. LNCS, vol.\u00a05749, pp. 149\u2013164. Springer, Heidelberg (2009)"}],"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_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:19:32Z","timestamp":1620130772000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32891-6_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642328909","9783642328916"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32891-6_19","relation":{},"ISSN":["1868-4238","1861-2288"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1861-2288"}],"subject":[],"published":{"date-parts":[[2012]]}}}