{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T02:54:44Z","timestamp":1725850484779},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319300238"},{"type":"electronic","value":"9783319300245"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-30024-5_13","type":"book-chapter","created":{"date-parts":[[2016,3,3]],"date-time":"2016-03-03T03:53:01Z","timestamp":1456977181000},"page":"235-254","source":"Crossref","is-referenced-by-count":3,"title":["Integrity Constraints for General-Purpose Knowledge Bases"],"prefix":"10.1007","author":[{"given":"Lu\u00eds","family":"Cruz-Filipe","sequence":"first","affiliation":[]},{"given":"Isabel","family":"Nunes","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Schneider-Kamp","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,3,4]]},"reference":[{"key":"13_CR1","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"ICDT\u201988","author":"S Abiteboul","year":"1988","unstructured":"Abiteboul, S.: Updates, a new frontier. In: Gyssens, M., Paredaens, J., van Gucht, D. (eds.) ICDT\u201988. LNCS, vol. 326, pp. 1\u201318. Springer, Heidelberg (1988)"},{"key":"13_CR2","volume-title":"Foundations of Databases","author":"S Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison Wesley, Reading (1995)"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Arenas, M., Bertossi, L., Chomicki, J.: Consistent query answers in inconsistent databases. In: Vianu, V., Papadimitriou, C. (eds.) PODS 1999, pp. 68\u201379. ACM Press (1999)","DOI":"10.1145\/303976.303983"},{"issue":"3","key":"13_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., Santis, M.D., Martelli, M.: Integrity constraints for logic databases. J. Log. Program. 2(3), 221\u2013232 (1985)","journal-title":"J. Log. Program."},{"key":"13_CR5","unstructured":"Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: AAAI 2007, pp. 385\u2013390. AAAI Press (2007)"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-642-20832-4_16","volume-title":"Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning","author":"G Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., Fink, M.: Nonmonotonic multi-context systems: a flexible approach for integrating heterogeneous knowledge sources. In: Balduccini, M., Son, T.C. (eds.) Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning. LNCS, vol. 6565, pp. 233\u2013258. Springer, Heidelberg (2011)"},{"key":"13_CR7","unstructured":"Brewka, G., Eiter, T., Fink, M., Weinzierl, A.: Managed multi-context systems. In: Walsh, T. (ed.) IJCAI 2011, IJCAI\/AAAI, pp. 786\u2013791 (2011)"},{"key":"13_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-642-33353-8_11","volume-title":"Logics in Artificial Intelligence","author":"L Caroprese","year":"2012","unstructured":"Caroprese, L., Trubitsyna, I., Truszczy\u0144ski, M., Zumpano, E.: The view-update problem for indefinite databases. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS, vol. 7519, pp. 134\u2013146. Springer, Heidelberg (2012)"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/978-3-540-75410-7_17","volume-title":"Scalable Uncertainty Management","author":"L Caroprese","year":"2007","unstructured":"Caroprese, L., Zumpano, E.: Consistent data integration in P2P deductive databases. In: Prade, H., Subrahmanian, V.S. (eds.) SUM 2007. LNCS (LNAI), vol. 4772, pp. 230\u2013243. Springer, Heidelberg (2007)"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Caroprese, L., Zumpano, E.: Dealing with incompleteness and inconsistency in P2P deductive databases. In: Desai, B., Almeida, A., Bernardino, J., Ferreira Gomes, E. (eds.) IDEAS 2014, pp. 124\u2013131. ACM (2014)","DOI":"10.1145\/2628194.2628236"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/978-3-319-04939-7_18","volume-title":"Foundations of Information and Knowledge Systems","author":"L Cruz-Filipe","year":"2014","unstructured":"Cruz-Filipe, L.: Optimizing computation of repairs from active integrity constraints. In: Beierle, C., Meghini, C. (eds.) FoIKS 2014. LNCS, vol. 8367, pp. 361\u2013380. Springer, Heidelberg (2014)"},{"key":"13_CR12","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., Dietz, J., Aveiro, D., Liu, K., Filipe, J. (eds.) KMIS, pp. 17\u201326. SciTePress (2015)","DOI":"10.5220\/0005586400170026"},{"key":"13_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/978-3-319-13704-9_8","volume-title":"Knowledge Engineering and Knowledge Management","author":"L Cruz-Filipe","year":"2014","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 2014. LNCS, vol. 8876, pp. 97\u2013108. Springer, Heidelberg (2014)"},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-642-45221-5_18","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"L Cruz-Filipe","year":"2013","unstructured":"Cruz-Filipe, L., Henriques, R., Nunes, I.: Description logics, rules and multi-context systems. In: McMillan, K., Middeldorp, A., Voronkov, A. (eds.) LPAR-19 2013. LNCS, vol. 8312, pp. 243\u2013257. Springer, Heidelberg (2013)"},{"key":"13_CR15","unstructured":"Dao-Tran, M., Eiter, T., Fink, M., Krennwallner, T.: Distributed nonmonotonic multi-context systems. In: Lin, F., Sattler, U., Truszczynski, M. (eds.) KR 2010. AAAI Press (2010)"},{"key":"13_CR16","series-title":"Lecture Notes in Computer Science","first-page":"2","volume-title":"Applications of Declarative Programming and Knowledge Management","author":"T Eiter","year":"2013","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 2011. LNCS, vol. 7773, pp. 2\u201325. Springer, Heidelberg (2013)"},{"key":"13_CR17","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., Sch\u00fcller, P., Weinzierl, A.: Finding explanations of inconsistency in multi-context systems. Artif. Intell. 216, 233\u2013274 (2014)","journal-title":"Artif. Intell."},{"issue":"2\u20133","key":"13_CR18","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\u20133), 227\u2013270 (1992)","journal-title":"Artif. Intell."},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Fang, M., Li, W., Sunderraman, R.: Maintaining integrity constraints among distributed ontologies. In: CISIS 2011, pp. 184\u2013191. IEEE (2011)","DOI":"10.1109\/CISIS.2011.35"},{"key":"13_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/978-3-642-20895-9_12","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M Fink","year":"2011","unstructured":"Fink, M., Ghionna, L., Weinzierl, A.: Relational information exchange and aggregation in multi-context systems. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 120\u2013133. Springer, Heidelberg (2011)"},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"Flesca, S., Greco, S., Zumpano, E.: Active integrity constraints. In: Moggi, E., Scott Warren, D. (eds.) PPDP 2004, pp. 98\u2013107. ACM (2004)","DOI":"10.1145\/1013963.1013977"},{"issue":"2","key":"13_CR22","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."},{"key":"13_CR23","unstructured":"Gon\u00e7alves, R., Knorr, M., Leite, J.: Evolving multi-context systems. In: Schaub, T., Friedrich, G., O\u2019Sullivan, B. (eds.) ECAI 2014, Frontiers in Artificial Intelligence and Applications, vol. 263, pp. 375\u2013380. IOS Press (2014)"},{"key":"13_CR24","unstructured":"Kakas, A., Mancarella, P.: Database updates through abduction. In: McLeod, D., Sacks-Davis, R., Schek, H.J. (eds.) VLDB 1990, pp. 650\u2013661. Morgan Kaufmann (1990)"},{"issue":"1","key":"13_CR25","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/S0169-023X(03)00061-2","volume":"47","author":"E Mayol","year":"2003","unstructured":"Mayol, E., Teniente, E.: Consistency preserving updates in deductive databases. Data Knowl. Eng. 47(1), 61\u2013103 (2003)","journal-title":"Data Knowl. Eng."},{"issue":"2","key":"13_CR26","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1016\/j.websem.2009.02.001","volume":"7","author":"B Motik","year":"2011","unstructured":"Motik, B., Horrocks, I., Sattler, U.: Bridging the gap between OWL and relational databases. Web Seman. Sci. Serv. Agents World Wide Web 7(2), 74\u201389 (2011)","journal-title":"Web Seman. Sci. Serv. Agents World Wide Web"},{"key":"13_CR27","unstructured":"Pourebrahimi, B., Bertels, K., Vassiliadis, S.: A survey of peer-to-peer networks. In: ProRISC 2005 (2005)"},{"key":"13_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-642-13486-9_13","volume-title":"The Semantic Web: Research and Applications","author":"J P\u00fchrer","year":"2010","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 2010, Part I. LNCS, vol. 6088, pp. 183\u2013197. Springer, Heidelberg (2010)"},{"issue":"3\u20134","key":"13_CR29","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/BF01536398","volume":"15","author":"J Schlipf","year":"1995","unstructured":"Schlipf, J.: 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":"13_CR30","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":"13_CR31","unstructured":"Tasharrofi, S., Ternovska, E.: Generalized multi-context systems. In: Baral, C., de Giacomo, G., Eiter, T. (eds.) KR 2014. AAAI Press (2014)"},{"issue":"2","key":"13_CR32","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":"13_CR33","volume-title":"Principles of Database and Knowledge-Base Systems, Volume I","author":"J Ullman","year":"1988","unstructured":"Ullman, J.: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press, Cambridge (1988)"},{"key":"13_CR34","doi-asserted-by":"crossref","unstructured":"Vardi, M.: The complexity of relational query languages (extended abstract). In: Lewis, H., Simons, B., Burkhard, W., Landweber, L. (eds.) STOC 1982, pp. 137\u2013146. ACM (1982)","DOI":"10.1145\/800070.802186"},{"key":"13_CR35","unstructured":"Weinzierl, A.: Advancing multi-context systems by inconsistency management. In: Bragaglia, S., Dam\u00e1sio, C., Montali, M., Preece, A., Petrie, C., Proctor, M., Straccia, U. (eds.) RuleML2011@BRF Challenge, CEUR Workshop Proceedings, vol. 799, CEUR-WS.org (2011)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Information and Knowledge Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-30024-5_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T16:46:38Z","timestamp":1559407598000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-30024-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319300238","9783319300245"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-30024-5_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}