{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T13:59:11Z","timestamp":1760709551115,"version":"3.37.3"},"reference-count":54,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2018,3,14]],"date-time":"2018-03-14T00:00:00Z","timestamp":1520985600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100008394","name":"Natur og Univers, Det Frie Forskningsr\u00e5d","doi-asserted-by":"publisher","award":["DFF-1323-00247"],"award-info":[{"award-number":["DFF-1323-00247"]}],"id":[{"id":"10.13039\/100008394","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","award":["UID\/MULTI\/04046\/2013"],"award-info":[{"award-number":["UID\/MULTI\/04046\/2013"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100008394","name":"Natur og Univers, Det Frie Forskningsr&x00E5;d","doi-asserted-by":"publisher","award":["DFF-7014-00041"],"award-info":[{"award-number":["DFF-7014-00041"]}],"id":[{"id":"10.13039\/100008394","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2018,8]]},"DOI":"10.1007\/s10472-018-9577-y","type":"journal-article","created":{"date-parts":[[2018,3,14]],"date-time":"2018-03-14T02:30:29Z","timestamp":1520994629000},"page":"213-246","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Active integrity constraints for general-purpose knowledge bases"],"prefix":"10.1007","volume":"83","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7866-7484","authenticated-orcid":false,"given":"Lu\u00eds","family":"Cruz-Filipe","sequence":"first","affiliation":[]},{"given":"Gra\u00e7a","family":"Gaspar","sequence":"additional","affiliation":[]},{"given":"Isabel","family":"Nunes","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Schneider-Kamp","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,3,14]]},"reference":[{"key":"9577_CR1","unstructured":"Abiteboul, S.: Updates, a new frontier. In: Gyssens, M., Paredaens, J., van Gucht, D. (eds.) ICDT, volume 326 of LNCS, pp. 1\u201318. Springer (1988)"},{"key":"9577_CR2","volume-title":"Foundations of Databases","author":"S Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison Wesley, Boston (1995)"},{"key":"9577_CR3","doi-asserted-by":"crossref","unstructured":"Arenas, M., Bertossi, L.E., Chomicki, J.: Consistent query answers in inconsistent databases. In: Vianu, V., Papadimitriou, C.H. (eds.) PODS, pp. 68\u201379. ACM Press (1999)","DOI":"10.1145\/303976.303983"},{"issue":"3","key":"9577_CR4","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/0743-1066(85)90020-2","volume":"2","author":"P Asirelli","year":"1985","unstructured":"Asirelli, P., de Santis, M., Martelli, M.: Integrity constraints for logic databases. J. Log Program. 2(3), 221\u2013232 (1985)","journal-title":"J. Log Program."},{"key":"9577_CR5","doi-asserted-by":"crossref","unstructured":"Bogaerts, B., Cruz-Filipe, L.: Semantics for active integrity constraints using approximation fixpoint theory. In: Sierra, C. (ed.) IJCAI, pp. 866\u2013872 (2017). ijcai.org","DOI":"10.24963\/ijcai.2017\/120"},{"key":"9577_CR6","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.artint.2015.03.006","volume":"224","author":"B Bogaerts","year":"2015","unstructured":"Bogaerts, B., Vennekens, J., Denecker, M.: Grounded fixpoints and their applications in knowledge representation. Artif. Intell. 224, 51\u201371 (2015)","journal-title":"Artif. Intell."},{"key":"9577_CR7","unstructured":"Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: AAAI, pp. 385\u2013390. AAAI Press (2007)"},{"key":"9577_CR8","doi-asserted-by":"crossref","unstructured":"Brewka, G., Eiter, T., Fink, M.: Nonmonotonic multi-context systems: A flexible approach for integrating heterogeneous knowledge sources. In: Balduccini, M., Cao Son, T. (eds.) Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday, volume 6565 of LNCS, pp. 233\u2013258. Springer (2011)","DOI":"10.1007\/978-3-642-20832-4_16"},{"key":"9577_CR9","unstructured":"Brewka, G., Eiter, T., Fink, M., Weinzierl, A.: Managed multi-context systems. In: Walsh, T. (ed.) IJCAI, pp. 786\u2013791 (2011). IJCAI\/AAAI"},{"key":"9577_CR10","doi-asserted-by":"crossref","unstructured":"Caroprese, L., Greco, S., Sirangelo, C., Zumpano, E.: Declarative semantics of production rules for integrity maintenance. In: Etalle, S., Truszczynski, M. (eds.) ICLP, volume 4079 of LNCS, pp. 26\u201340. Springer (2006)","DOI":"10.1007\/11799573_5"},{"key":"9577_CR11","doi-asserted-by":"crossref","unstructured":"Caroprese, L., Trubitsyna, I., Truszczynski, M., Zumpano, E.: The view-update problem for indefinite databases. In: Fari\u00f1as del Cerro, L., Herzig, A., Mengin, J. (eds.) JELIA, volume 7519 of LNCS, pp. 134\u2013146. Springer (2012)","DOI":"10.1007\/978-3-642-33353-8_11"},{"key":"9577_CR12","doi-asserted-by":"crossref","unstructured":"Caroprese, L., Truszczynski, M.: Declarative semantics for active integrity constraints. In: de la Banda, M.G., Pontelli, E. (eds.) ICLP, volume 5366 of LNCS, pp. 269\u2013283. Springer (2008)","DOI":"10.1007\/978-3-540-89982-2_28"},{"issue":"6","key":"9577_CR13","doi-asserted-by":"publisher","first-page":"905","DOI":"10.1017\/S1471068410000475","volume":"11","author":"L Caroprese","year":"2011","unstructured":"Caroprese, L., Truszczy\u0144ski, M.: Active integrity constraints and revision programming. Theory Pract. Log. Program. 11(6), 905\u2013952 (2011)","journal-title":"Theory Pract. Log. Program."},{"key":"9577_CR14","doi-asserted-by":"crossref","unstructured":"Caroprese, L., Zumpano, E.: Consistent data integration in P2P deductive databases. In: Prade, H., Subrahmanian, V.S. (eds.) SUM, volume 4772 of LNCS, pp. 230\u2013243. Springer (2007)","DOI":"10.1007\/978-3-540-75410-7_17"},{"key":"9577_CR15","doi-asserted-by":"crossref","unstructured":"Cruz-Filipe, L., Beierle, C., Meghini, C.: Optimizing computation of repairs from active integrity constraints. In: FoIKS, volume 8367 of LNCS, pp. 361\u2013380. Springer (2014)","DOI":"10.1007\/978-3-319-04939-7_18"},{"key":"9577_CR16","unstructured":"Cruz-Filipe, L.: Grounded fixpoints and active integrity constraints. In: Carro, M., King, A., De Vos, M., Saeedloei, N. (eds.) ICLP\u201916, volume 52 of OASIcs, pp. 11.1\u201311.14. Schloss Dagstuhl (2016)"},{"key":"9577_CR17","doi-asserted-by":"crossref","unstructured":"Cruz-Filipe, L., Engr\u00e1cia, P., Gaspar, G., Nunes, I.: Computing repairs from active integrity constraints. In: Wang, H., Banach, R. (eds.) TASE, pp. 183\u2013190. IEEE (2013)","DOI":"10.1109\/TASE.2013.32"},{"key":"9577_CR18","doi-asserted-by":"crossref","unstructured":"Cruz-Filipe, L., Franz, M., Hakhverdyan, A., Ludovico, M., Nunes, I., Schneider-Kamp, P.: repAIrC: A tool for ensuring data consistency by means of active integrity constraints. In: Fred, A.L.N., Dietz, J.L.G., Aveiro, D., Liu, K., Filipe, J. (eds.) KMIS, pp. 17\u201326. SciTePress (2015)","DOI":"10.5220\/0005586400170026"},{"key":"9577_CR19","doi-asserted-by":"crossref","unstructured":"Cruz-Filipe, L., Gaspar, G., Nunes, I.: Information flow within relational multi-context systems. In: Janowicz, K., Schlobach, S., Lambrix, P., Hyv\u00f6nen, E. (eds.) EKAW, volume 8876 of LNAI, pp. 97\u2013108. Springer (2014)","DOI":"10.1007\/978-3-319-13704-9_8"},{"key":"9577_CR20","doi-asserted-by":"crossref","unstructured":"Cruz-Filipe, L., Gaspar, G., Nunes, I., Schneider-Kamp, P.: Active integrity constraints for multi-context systems. In: Blomqvist, E., Vitali, F., Ciancarini, P., Poggi, F. (eds.) EKAW 2016, volume 10024 of LNAI. Springer (2016). accepted for publication","DOI":"10.1007\/978-3-319-49004-5_7"},{"key":"9577_CR21","doi-asserted-by":"crossref","unstructured":"Cruz-Filipe, L., Nunes, I., Schneider-Kamp, P.: Integrity constraints for general-purpose knowledge bases. In: Gyssens, M., Simari, G. (eds.) FoIKS, volume 9616 of LNCS, pp. 235\u2013254. Springer (2016)","DOI":"10.1007\/978-3-319-30024-5_13"},{"key":"9577_CR22","unstructured":"Dao-Tran, M., Eiter, T., Fink, M., Krennwallner, T.: Distributed nonmonotonic multi-context systems. In: Lin, F., Sattler, U., Truszczynski, M. (eds.) KR. AAAI Press (2010)"},{"key":"9577_CR23","unstructured":"Dao-Tran, M., Eiter, T., Fink, M., Krennwallner, T.: Dynamic distributed nonmonotonic multi-context systems. In: Brewka, G., Marek, V., Truszczynski, M. (eds.) Nonmonotonic Reasoning, Essays Celebrating its 30th Anniversary, volume 31 of Studies in Logic. College Publications (2011)"},{"key":"9577_CR24","doi-asserted-by":"crossref","unstructured":"Eiter, T., Fink, M., Ianni, G., Sch\u00fcller, P.: The IMPL policy language for managing inconsistency in multi-context systems. In: Tompits, H., Abreu, S., Oetsch, J., P\u00fchrer, J., Seipel, D., Umeda, M., Wolf, A. (eds.) INAP\/WLP, volume 7773 of LNCS, pp. 3\u201326. Springer (2011)","DOI":"10.1007\/978-3-642-41524-1_1"},{"key":"9577_CR25","unstructured":"Eiter, T., Fink, M., Ianni, G., Sch\u00fcller, P.: Towards a policy language for managing inconsistency in multi-context systems. In: Mileo, A., Fink, M. (eds.) Workshop on Logic-based Interpretation of Context: Modelling and Applications, pp. 23\u201335 (2011)"},{"key":"9577_CR26","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1016\/j.artint.2014.07.008","volume":"216","author":"T Eiter","year":"2014","unstructured":"Eiter, T., Fink, M., Schu\u0307ller, P.: Finding explanations of inconsistency in multi-context systems. Artif Intell. 216, 233\u2013274 (2014)","journal-title":"Artif Intell."},{"issue":"2-3","key":"9577_CR27","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0004-3702(92)90018-S","volume":"57","author":"T Eiter","year":"1992","unstructured":"Eiter, T., Gottlob, G.: On the complexity of propositional knowledge base revision, updates, and counterfactuals. Artif. Intell. 57(2-3), 227\u2013270 (1992)","journal-title":"Artif. Intell."},{"key":"9577_CR28","unstructured":"Fang, M.: Maintaining integrity constraints in semantic web. Ph.D. thesis Georgia State University (2013)"},{"key":"9577_CR29","doi-asserted-by":"crossref","unstructured":"Fang, M., Li, W., Sunderraman, R.: Maintaining integrity constraints among distributed ontologies. In: CISIS, pp. 184\u2013191. IEEE (2011)","DOI":"10.1109\/CISIS.2011.35"},{"key":"9577_CR30","doi-asserted-by":"crossref","unstructured":"Fink, M., Ghionna, L., Weinzierl, A.: Relational information exchange and aggregation in multi-context systems. In: Delgrande, J.P., Faber, W. (eds.) LPNMR, volume 6645 of LNCS, pp. 120\u2013133. Springer (2011)","DOI":"10.1007\/978-3-642-20895-9_12"},{"key":"9577_CR31","doi-asserted-by":"crossref","unstructured":"Flesca, S., Greco, S., Zumpano, E.: Active integrity constraints. In: Moggi, E., Scott Warren, D. (eds.) PPDP, pp. 98\u2013107. ACM (2004)","DOI":"10.1145\/1013963.1013977"},{"issue":"2","key":"9577_CR32","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1145\/356924.356929","volume":"16","author":"H Gallaire","year":"1984","unstructured":"Gallaire, H., Minker, J., Nicolas, J.-M.: Logic and databases: A deductive approach. ACM Comput. Surv. 16(2), 153\u2013185 (1984)","journal-title":"ACM Comput. Surv."},{"issue":"2","key":"9577_CR33","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/S0004-3702(01)00064-9","volume":"127","author":"C Ghidini","year":"2001","unstructured":"Ghidini, C., Giunchiglia, F.: Local models semantics, or contextual reasoning=locality+compatibility. Artif. Intell. 127(2), 221\u2013259 (2001)","journal-title":"Artif. Intell."},{"issue":"1","key":"9577_CR34","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0004-3702(94)90037-X","volume":"65","author":"F Giunchiglia","year":"1994","unstructured":"Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logics or: How we can do without modal logics. Artif. Intell. 65(1), 29\u201370 (1994)","journal-title":"Artif. Intell."},{"key":"9577_CR35","unstructured":"Gon\u00e7alves, R., Knorr, M., Leite, J.: Evolving multi-context systems. In: Schaub, T., Friedrich, G., O\u2019Sullivan, B. (eds.) ECAI, volume 263 of Frontiers in Artificial Intelligence and Applications, pp. 375\u2013380. IOS Press (2014)"},{"key":"9577_CR36","unstructured":"Gon\u00e7alves, R., Knorr, M., Leite, J.: Evolving multi-context systems. In: Schaub, T., Friedrich, G., O\u2019Sullivan, B. (eds.) PAIS, volume 263 of Frontiers in Artificial Intelligence and Applications, pp. 375\u2013380. IOS Press (2014)"},{"issue":"1","key":"9577_CR37","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1023\/A:1008678826820","volume":"11","author":"A Guessoum","year":"1998","unstructured":"Guessoum, A.: Abductive knowledge base updates for contextual reasoning. J. Intell. Inf. Syst. 11(1), 41\u201367 (1998)","journal-title":"J. Intell. Inf. Syst."},{"issue":"2\u20133","key":"9577_CR38","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1016\/j.websem.2005.06.005","volume":"3","author":"Y Guo","year":"2005","unstructured":"Guo, Y., Pan, Z., Heflin, J.: LUBM: A benchmark for OWL knowledge base systems. J. Web Sem. 3(2\u20133), 158\u2013182 (2005)","journal-title":"J. Web Sem."},{"key":"9577_CR39","unstructured":"McCarthy, J.: Notes on formalizing context. In: Bajcsy, R. (ed.) IJCAI, pp. 555\u2013562. Morgan Kaufmann (1993)"},{"key":"9577_CR40","doi-asserted-by":"crossref","unstructured":"Motik, B., Horrocks, I., Sattler, U.: Bridging the gap between OWL and relational databases, vol. 7 (2011)","DOI":"10.1016\/j.websem.2009.02.001"},{"key":"9577_CR41","doi-asserted-by":"crossref","unstructured":"Motik, B., Rosati, R.: Reconciling description logics and rules. J. ACM, 57, Article Nr 30 (2010)","DOI":"10.1145\/1754399.1754403"},{"issue":"6","key":"9577_CR42","doi-asserted-by":"publisher","first-page":"812","DOI":"10.1007\/s11704-013-2284-2","volume":"7","author":"D Ouyang","year":"2013","unstructured":"Ouyang, D., Cui, X., Ye, Y.: Integrity constraints in OWL ontologies based on grounded circumscription. Front Comput Sci 7(6), 812\u2013821 (2013)","journal-title":"Front Comput Sci"},{"key":"9577_CR43","doi-asserted-by":"crossref","unstructured":"Patel-Schneider, P.F., Franconi, E.: Ontology constraints in incomplete and complete data. In: Cudr\u00e9-Mauroux, P., Heflin, J., Sirin, E., Tudorache, T., Euzenat, J., Hauswirth, M., Parreira, J.X., Hendler, J., Schreiber, G., Bernstein, A., Blomqvist, E. (eds.) ISWC, volume 7649 of LNCS, pp. 444\u2013459. Springer (2012)","DOI":"10.1007\/978-3-642-35176-1_28"},{"issue":"2","key":"9577_CR44","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0743-1066(96)00091-X","volume":"30","author":"TC Przymusinski","year":"1997","unstructured":"Przymusinski, T.C., Turner, H.: Update by means of inference rules. J Log. Program. 30(2), 125\u2013143 (1997)","journal-title":"J Log. Program."},{"key":"9577_CR45","doi-asserted-by":"crossref","unstructured":"P\u00fchrer, J., Heymans, S., Eiter, T.: Dealing with inconsistency when combining ontologies and rules using dl-programs. In: Aroyo, L., Antoniou, G., Hyv\u00f6nen, E., ten Teije, A., Stuckenschmidt, H., Cabral, L., Tudorache, T. (eds.) ESWC(1), volume 6088 of LNCS, pp. 183\u2013197. Springer (2010)","DOI":"10.1007\/978-3-642-13486-9_13"},{"issue":"3\u20134","key":"9577_CR46","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/BF01536398","volume":"15","author":"JS Schlipf","year":"1995","unstructured":"Schlipf, J.S.: Complexity and undecidability results for logic programming. Ann. Math. Artif. Intell. 15(3\u20134), 257\u2013288 (1995)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"1","key":"9577_CR47","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.is.2009.03.004","volume":"35","author":"S Staworko","year":"2010","unstructured":"Staworko, S., Chomicki, J.: Consistent query answers in the presence of universal constraints. Inf. Syst. 35(1), 1\u201322 (2010)","journal-title":"Inf. Syst."},{"key":"9577_CR48","unstructured":"Tao, J., Sirin, E., Bao, J., McGuinness, D.L. In: Fox, M., Poole, D. (eds.) AAAI. AAAI Press (2010)"},{"key":"9577_CR49","unstructured":"Tasharrofi, S., Ternovska, E.: Generalized multi-context systems. In: Baral, C., de Giacomo, G., Eiter, T. (eds.) KR. AAAI Press (2014)"},{"issue":"2","key":"9577_CR50","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/BF01237920","volume":"4","author":"E Teniente","year":"1995","unstructured":"Teniente, E., Oliv\u00e9, A.: Updating knowledge bases while maintaining their consistency. VLDB J. 4(2), 193\u2013241 (1995)","journal-title":"VLDB J."},{"key":"9577_CR51","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-663-12018-6","volume-title":"Dependencies in Relational Databases","author":"B Thalheim","year":"1991","unstructured":"Thalheim, B.: Dependencies in Relational Databases. Teubner-Texte zur Mathematik, B.G Teubner (1991)"},{"key":"9577_CR52","volume-title":"Principles of Database and Knowledge-Base Systems, vol. I","author":"JD Ullman","year":"1988","unstructured":"Ullman, J.D.: Principles of Database and Knowledge-Base Systems, vol. I. Computer Science Press, Rockville (1988)"},{"key":"9577_CR53","unstructured":"Weinzierl, A.: Advancing multi-context systems by inconsistency management. In: Bragaglia, S., Dam\u00e1sio, C., Montali, M., Preece, A.D., Petrie, C.J., Proctor, M., Straccia, U. (eds.) RuleML2011@BRF Challenge, volume 799 of CEUR Workshop Proceedings. CEUR-WS.org (2011)"},{"key":"9577_CR54","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511663109","volume-title":"Updating Logical Databases. Cambridge Tracts in Theoretical Computer Science","author":"M Winslett","year":"1990","unstructured":"Winslett, M.: Updating Logical Databases. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge (1990)"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-018-9577-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-018-9577-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-018-9577-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,15]],"date-time":"2022-08-15T23:56:06Z","timestamp":1660607766000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-018-9577-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3,14]]},"references-count":54,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2018,8]]}},"alternative-id":["9577"],"URL":"https:\/\/doi.org\/10.1007\/s10472-018-9577-y","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[2018,3,14]]},"assertion":[{"value":"14 March 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}