{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:13:33Z","timestamp":1725570813091},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642173578"},{"type":"electronic","value":"9783642173585"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-45005-1_51","type":"book-chapter","created":{"date-parts":[[2013,11,27]],"date-time":"2013-11-27T09:53:14Z","timestamp":1385545994000},"page":"600-607","source":"Crossref","is-referenced-by-count":7,"title":["Verification of Semantically-Enhanced Artifact Systems"],"prefix":"10.1007","author":[{"given":"Babak","family":"Bagheri Hariri","sequence":"first","affiliation":[]},{"given":"Diego","family":"Calvanese","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Montali","sequence":"additional","affiliation":[]},{"given":"Ario","family":"Santoso","sequence":"additional","affiliation":[]},{"given":"Dmitry","family":"Solomakhin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"51_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press (2003)"},{"key":"51_CR2","doi-asserted-by":"crossref","unstructured":"Bagheri Hariri, B., Calvanese, D., Montali, M., De Giacomo, G., De Masellis, R., Felli, P.: Description logic Knowledge and Action Bases. J. of Artificial Intelligence Research (2013)","DOI":"10.1613\/jair.3826"},{"key":"51_CR3","doi-asserted-by":"crossref","unstructured":"Bagheri Hariri, B., Calvanese, D., Montali, M., Santoso, A., Solomakhin, D.: Verification of semantically-enhanced artifact systems (extended version). CoRR (2013)","DOI":"10.1007\/978-3-642-45005-1_51"},{"key":"51_CR4","unstructured":"Bao, J., et al.: OWL\u00a02 Web Ontology Language document overview, 2nd edn. W3C Recommendation. World Wide Web Consortium (2012)"},{"key":"51_CR5","doi-asserted-by":"crossref","unstructured":"Belardinelli, F., Lomuscio, A., Patrizi, F.: Verification of GSM-based artifact-centric systems through finite abstraction. In: Liu, C., Ludwig, H., Toumani, F., Yu, Q. (eds.) ICSOC 2012. LNCS, vol.\u00a07636, pp. 17\u201331. Springer, Heidelberg (2012)","DOI":"10.1007\/978-3-642-34321-6_2"},{"key":"51_CR6","doi-asserted-by":"crossref","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Poggi, A., Rodriguez-Muro, M., Rosati, R.: Ontologies and databases: The DL-Lite approach. In: Tessaris, S., Franconi, E., Eiter, T., Gutierrez, C., Handschuh, S., Rousset, M.-C., Schmidt, R.A. (eds.) Reasoning Web 2009. LNCS, vol.\u00a05689, pp. 255\u2013356. Springer, Heidelberg (2009)","DOI":"10.1007\/978-3-642-03754-2_7"},{"key":"51_CR7","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: EQL-Lite: Effective first-order query processing in description logics. In: Proc. of IJCAI\u00a02007, pp. 274\u2013279 (2007)"},{"issue":"3","key":"51_CR8","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","volume":"39","author":"D. Calvanese","year":"2007","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. of Automated Reasoning\u00a039(3), 385\u2013429 (2007)","journal-title":"J. of Automated Reasoning"},{"key":"51_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-642-33203-6_4","volume-title":"Web Reasoning and Rule Systems","author":"D. Calvanese","year":"2012","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Montali, M., Santoso, A.: Ontology-based governance of data-aware processes. In: Kr\u00f6tzsch, M., Straccia, U. (eds.) RR 2012. LNCS, vol.\u00a07497, pp. 25\u201341. Springer, Heidelberg (2012)"},{"key":"51_CR10","doi-asserted-by":"crossref","unstructured":"Calvanese, D., De Giacomo, G., Montali, M.: Foundations of data aware process analysis: A database theory perspective. In: Proc. of PODS 2013 (2013)","DOI":"10.1145\/2463664.2467796"},{"key":"51_CR11","doi-asserted-by":"crossref","unstructured":"Calvanese, D., Kharlamov, E., Montali, M., Santoso, A., Zheleznyakov, D.: Verification of inconsistency-tolerant knowledge and action bases. In: Proc. of IJCAI 2013 (2013)","DOI":"10.1007\/978-3-319-11558-0_36"},{"key":"51_CR12","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model checking. The MIT Press (1999)"},{"key":"51_CR13","doi-asserted-by":"crossref","unstructured":"Damaggio, E., Hull, R., Vacul\u00edn, R.: On the equivalence of incremental and fixpoint semantics for business artifacts with Guard-Stage-Milestone lifecycles. Information Systems (2013)","DOI":"10.1016\/j.is.2012.09.002"},{"key":"51_CR14","doi-asserted-by":"crossref","unstructured":"Deutsch, A., Hull, R., Patrizi, F., Vianu, V.: Automatic verification of data-centric business processes. In: Proc. of ICDT\u00a02009, pp. 252\u2013267 (2009)","DOI":"10.1145\/1514894.1514924"},{"key":"51_CR15","doi-asserted-by":"crossref","unstructured":"Emerson, E.A.: Model checking and the Mu-calculus. In: Immerman, N., Kolaitis, P. (eds.) Proceedings of the DIMACS Symposium on Descriptive Complexity and Finite Models. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pp. 185\u2013214. American Mathematical Society Press (1996) ISBN\u00a00-8218-0517-7","DOI":"10.1090\/dimacs\/031\/06"},{"key":"51_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1152","DOI":"10.1007\/978-3-540-88873-4_17","volume-title":"On the Move to Meaningful Internet Systems: OTM 2008","author":"R. Hull","year":"2008","unstructured":"Hull, R.: Artifact-centric business process models: Brief survey of research results and challenges. In: Meersman, R., Tari, Z. (eds.) OTM 2008, Part II. LNCS, vol.\u00a05332, pp. 1152\u20131163. Springer, Heidelberg (2008)"},{"key":"51_CR17","doi-asserted-by":"crossref","unstructured":"Hull, R., Damaggio, E., De Masellis, R., Fournier, F., Gupta, M., Heath III, F.T., Hobson, S., Linehan, M., Maradugu, S., Nigam, A., Sukaviriya, P.N., Vaculin, R.: Business artifacts with Guard-Stage-Milestone lifecycles: Managing artifact interactions with conditions and events. In: Proc. of the 5th ACM Int. Conf. on Distributed Event-Based Systems, DEBS\u00a02011 (2011)","DOI":"10.1145\/2002259.2002270"},{"key":"51_CR18","unstructured":"Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C.: OWL\u00a02 Web Ontology Language profiles, 2nd edn. Tech. rep., W3C Recommendation (2012)"},{"issue":"3","key":"51_CR19","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1147\/sj.423.0428","volume":"42","author":"A. Nigam","year":"2003","unstructured":"Nigam, A., Caswell, N.S.: Business artifacts: An approach to operational specification. IBM Systems J.\u00a042(3), 428\u2013445 (2003)","journal-title":"IBM Systems J."},{"key":"51_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-540-77688-8_5","volume-title":"Journal on Data Semantics X","author":"A. Poggi","year":"2008","unstructured":"Poggi, A., Lembo, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Linking data to ontologies. In: Spaccapietra, S. (ed.) Journal on Data Semantics X. LNCS, vol.\u00a04900, pp. 133\u2013173. Springer, Heidelberg (2008)"},{"key":"51_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-642-33606-5_2","volume-title":"On the Move to Meaningful Internet Systems: OTM 2012","author":"M. Reichert","year":"2012","unstructured":"Reichert, M.: Process and data: Two sides of the same coin? In: Meersman, R., et al. (eds.) OTM 2012, Part I. LNCS, vol.\u00a07565, pp. 2\u201319. Springer, Heidelberg (2012)"},{"key":"51_CR22","doi-asserted-by":"crossref","unstructured":"Stirling, C.: Modal and Temporal Properties of Processes. Springer (2001)","DOI":"10.1007\/978-1-4757-3550-5"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45005-1_51","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,17]],"date-time":"2022-03-17T19:53:13Z","timestamp":1647546793000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-45005-1_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642173578","9783642173585"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45005-1_51","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}