{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T19:49:52Z","timestamp":1770752992004,"version":"3.50.0"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319115573","type":"print"},{"value":"9783319115580","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11558-0_36","type":"book-chapter","created":{"date-parts":[[2014,9,16]],"date-time":"2014-09-16T02:22:39Z","timestamp":1410834159000},"page":"514-528","source":"Crossref","is-referenced-by-count":6,"title":["Verification of Context-Sensitive Knowledge and Action Bases"],"prefix":"10.1007","author":[{"given":"Diego","family":"Calvanese","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u0130smail \u0130lkan","family":"Ceylan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Montali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ario","family":"Santoso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"36_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":"36_CR2","doi-asserted-by":"crossref","unstructured":"Baader, F., Knechtel, M., Pe\u00f1aloza, R.: Context-dependent views to axioms and consequences of semantic web ontologies. John Wiley & Sons 12\u201313, 22\u201340 (2012)","DOI":"10.1016\/j.websem.2011.11.006"},{"key":"36_CR3","doi-asserted-by":"crossref","unstructured":"Bagheri Hariri, B., Calvanese, D., De Giacomo, G., Deutsch, A., Montali, M.: Verification of relational data-centric dynamic systems with external services. In: Proc. of the 32nd ACM SIGACT SIGMOD SIGAI Symp. on Principles of Database Systems (PODS), pp. 163\u2013174 (2013)","DOI":"10.1145\/2463664.2465221"},{"key":"36_CR4","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1613\/jair.3826","volume":"46","author":"B. Bagheri Hariri","year":"2013","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\u00a046, 651\u2013686 (2013)","journal-title":"J. of Artificial Intelligence Research"},{"key":"36_CR5","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/978-3-540-39733-5_7","volume":"1","author":"A. Borgida","year":"2003","unstructured":"Borgida, A., Serafini, L.: Distributed description logics: Assimilating information from peer sources. J. on Data Semantics\u00a01, 153\u2013184 (2003)","journal-title":"J. on Data Semantics"},{"key":"36_CR6","doi-asserted-by":"crossref","unstructured":"Bozzato, L., Ghidini, C., Serafini, L.: Comparing contextual and flat representations of knowledge: A concrete case about football data. In: Proc. of the 7th Int. Conf. on Knowledge Capture (K-CAP), pp. 9\u201316. ACM Press (2013)","DOI":"10.1145\/2479832.2479842"},{"key":"36_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/978-3-642-03754-2_7","volume-title":"Reasoning Web. Semantic Technologies for Information Systems","author":"D. Calvanese","year":"2009","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Poggi, A., Rodr\u00edguez-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. LNCS, vol.\u00a05689, pp. 255\u2013356. Springer, Heidelberg (2009)"},{"key":"36_CR8","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 the 20th Int. Joint Conf. on Artificial Intelligence (IJCAI), pp. 274\u2013279 (2007)"},{"issue":"3","key":"36_CR9","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":"36_CR10","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":"36_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-642-39666-3_5","volume-title":"Web Reasoning and Rule Systems","author":"D. Calvanese","year":"2013","unstructured":"Calvanese, D., De Giacomo, G., Montali, M., Patrizi, F.: Verification and synthesis in description logic based dynamic systems. In: Faber, W., Lembo, D. (eds.) RR 2013. LNCS, vol.\u00a07994, pp. 50\u201364. Springer, Heidelberg (2013)"},{"key":"36_CR12","doi-asserted-by":"crossref","unstructured":"Calvanese, D., Kharlamov, E., Montali, M., Santoso, A., Zheleznyakov, D.: Verification of inconsistency-aware knowledge and action bases. In: Proc. of the 23rd Int. Joint Conf. on Artificial Intelligence, IJCAI (2013)","DOI":"10.1007\/978-3-319-11558-0_36"},{"key":"36_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1007\/978-3-319-08587-6_37","volume-title":"Automated Reasoning","author":"\u0130.\u0130. Ceylan","year":"2014","unstructured":"Ceylan, \u0130.\u0130., Pe\u00f1aloza, R.: The Bayesian description logic $\\mathcal{BEL}$. In: Demri, S., Kapur, D., Weidenbach, C. (eds.) IJCAR 2014. LNCS, vol.\u00a08562, pp. 480\u2013494. Springer, Heidelberg (2014)"},{"key":"36_CR14","volume-title":"Model checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model checking. The MIT Press, Cambridge (1999)"},{"key":"36_CR15","doi-asserted-by":"crossref","unstructured":"Deutsch, A., Hull, R., Patrizi, F., Vianu, V.: Automatic verification of data-centric business processes. In: Proc. of the 12th Int. Conf. on Database Theory (ICDT), pp. 252\u2013267 (2009)","DOI":"10.1145\/1514894.1514924"},{"issue":"1","key":"36_CR16","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.tcs.2004.10.033","volume":"336","author":"R. Fagin","year":"2005","unstructured":"Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data exchange: Semantics and query answering. Theoretical Computer Science\u00a0336(1), 89\u2013124 (2005)","journal-title":"Theoretical Computer Science"},{"key":"36_CR17","unstructured":"Giunchiglia, F., Bouquet, P.: Introduction to contextual reasoning. an artificial intelligence perspective. In: Perspectives on Cognitive Science, pp. 138\u2013159. NBU Press (1997)"},{"key":"36_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-642-15675-5_19","volume-title":"Logics in Artificial Intelligence","author":"S. Klarman","year":"2010","unstructured":"Klarman, S., Guti\u00e9rrez-Basulto, V.: $\\mathcal{ALC}_\\mathcal{ALC}$: A context description logic. In: Janhunen, T., Niemel\u00e4, I. (eds.) JELIA 2010. LNCS, vol.\u00a06341, pp. 208\u2013220. Springer, Heidelberg (2010)"},{"key":"36_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/978-3-642-34002-4_27","volume-title":"Conceptual Modeling","author":"L. Limonad","year":"2012","unstructured":"Limonad, L., De Leenheer, P., Linehan, M., Hull, R., Vacul\u00edn, R.: Ontology of dynamic entities. In: Atzeni, P., Cheung, D., Ram, S. (eds.) ER 2012. LNCS, vol.\u00a07532, pp. 345\u2013358. Springer, Heidelberg (2012)"},{"issue":"12","key":"36_CR20","doi-asserted-by":"publisher","first-page":"1030","DOI":"10.1145\/33447.33448","volume":"30","author":"J. McCarthy","year":"1987","unstructured":"McCarthy, J.: Generality in artificial intelligence. Commun. ACM\u00a030(12), 1030\u20131035 (1987)","journal-title":"Commun. ACM"},{"key":"36_CR21","unstructured":"McCarthy, J.: Notes on formalizing context. In: Proc. of the 13th Int. Joint Conf. on Artificial Intelligence (IJCAI), pp. 555\u2013560 (1993)"},{"key":"36_CR22","unstructured":"Montali, M., Calvanese, D., De Giacomo, G.: Verification of data-aware commitment-based multiagent systems. In: Proc. of the 13th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS\u00a02014), pp. 157\u2013164 (2014)"},{"issue":"2","key":"36_CR23","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/0304-3975(76)90022-0","volume":"3","author":"D.M.R. Park","year":"1976","unstructured":"Park, D.M.R.: Finiteness is Muineffable. Theoretical Computer Science\u00a03(2), 173\u2013181 (1976)","journal-title":"Theoretical Computer Science"},{"key":"36_CR24","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1016\/j.websem.2011.12.003","volume":"12","author":"L. Serafini","year":"2012","unstructured":"Serafini, L., Homola, M.: Contextualized knowledge repositories for the semantic web. J. of Web Semantics\u00a012, 64\u201387 (2012)","journal-title":"J. of Web Semantics"},{"key":"36_CR25","doi-asserted-by":"crossref","unstructured":"Stirling, C.: Modal and Temporal Properties of Processes. Springer (2001)","DOI":"10.1007\/978-1-4757-3550-5"},{"key":"36_CR26","doi-asserted-by":"crossref","unstructured":"Vianu, V.: Automatic verification of database-driven systems: A new frontier. In: Proc. of the 12th Int. Conf. on Database Theory (ICDT), pp. 1\u201313 (2009)","DOI":"10.1145\/1514894.1514896"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11558-0_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,17]],"date-time":"2023-02-17T19:01:33Z","timestamp":1676660493000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-11558-0_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319115573","9783319115580"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11558-0_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}