Abstract
In the database world, integrity constraints are essential to guarantee database integrity. The related problem of database repair deals with finding the best way to change a database so that it satisfies its integrity constraints. These two topics have been studied intensively since the 1980s. The formalism of active integrity constraints, proposed in 2004, aims at addressing them jointly, by providing a syntax whereby a particular subclass of integrity constraints can be specified together with preferred ways to repair inconsistency. In the last decade, several authors have proposed adaptations of the notion of integrity constraints to other reasoning frameworks than relational databases. In this article, we extend this line of work in two ways. First, we target multi-context systems, a general-purpose framework for combining heterogeneous reasoning systems, able to model most other reasoning frameworks, as we demonstrate. Second, we extend the notions of active integrity constraints and grounded repairs to this generalized setting. This way of including repair suggestions inside integrity constraints, subject to a validity check, enables us to define simple iterative algorithms to find all possible grounded repairs for an inconsistent multi-context system, avoiding the need to solve complex or undecidable problems.
Article PDF
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
References
Abiteboul, S.: Updates, a new frontier. In: Gyssens, M., Paredaens, J., van Gucht, D. (eds.) ICDT, volume 326 of LNCS, pp. 1–18. Springer (1988)
Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison Wesley, Boston (1995)
Arenas, M., Bertossi, L.E., Chomicki, J.: Consistent query answers in inconsistent databases. In: Vianu, V., Papadimitriou, C.H. (eds.) PODS, pp. 68–79. ACM Press (1999)
Asirelli, P., de Santis, M., Martelli, M.: Integrity constraints for logic databases. J. Log Program. 2(3), 221–232 (1985)
Bogaerts, B., Cruz-Filipe, L.: Semantics for active integrity constraints using approximation fixpoint theory. In: Sierra, C. (ed.) IJCAI, pp. 866–872 (2017). ijcai.org
Bogaerts, B., Vennekens, J., Denecker, M.: Grounded fixpoints and their applications in knowledge representation. Artif. Intell. 224, 51–71 (2015)
Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: AAAI, pp. 385–390. AAAI Press (2007)
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–258. Springer (2011)
Brewka, G., Eiter, T., Fink, M., Weinzierl, A.: Managed multi-context systems. In: Walsh, T. (ed.) IJCAI, pp. 786–791 (2011). IJCAI/AAAI
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–40. Springer (2006)
Caroprese, L., Trubitsyna, I., Truszczynski, M., Zumpano, E.: The view-update problem for indefinite databases. In: Fariñas del Cerro, L., Herzig, A., Mengin, J. (eds.) JELIA, volume 7519 of LNCS, pp. 134–146. Springer (2012)
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–283. Springer (2008)
Caroprese, L., Truszczyński, M.: Active integrity constraints and revision programming. Theory Pract. Log. Program. 11(6), 905–952 (2011)
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–243. Springer (2007)
Cruz-Filipe, L., Beierle, C., Meghini, C.: Optimizing computation of repairs from active integrity constraints. In: FoIKS, volume 8367 of LNCS, pp. 361–380. Springer (2014)
Cruz-Filipe, L.: Grounded fixpoints and active integrity constraints. In: Carro, M., King, A., De Vos, M., Saeedloei, N. (eds.) ICLP’16, volume 52 of OASIcs, pp. 11.1–11.14. Schloss Dagstuhl (2016)
Cruz-Filipe, L., Engrácia, P., Gaspar, G., Nunes, I.: Computing repairs from active integrity constraints. In: Wang, H., Banach, R. (eds.) TASE, pp. 183–190. IEEE (2013)
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–26. SciTePress (2015)
Cruz-Filipe, L., Gaspar, G., Nunes, I.: Information flow within relational multi-context systems. In: Janowicz, K., Schlobach, S., Lambrix, P., Hyvönen, E. (eds.) EKAW, volume 8876 of LNAI, pp. 97–108. Springer (2014)
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
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–254. Springer (2016)
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)
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)
Eiter, T., Fink, M., Ianni, G., Schüller, P.: The IMPL policy language for managing inconsistency in multi-context systems. In: Tompits, H., Abreu, S., Oetsch, J., Pührer, J., Seipel, D., Umeda, M., Wolf, A. (eds.) INAP/WLP, volume 7773 of LNCS, pp. 3–26. Springer (2011)
Eiter, T., Fink, M., Ianni, G., Schüller, 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–35 (2011)
Eiter, T., Fink, M., Schu̇ller, P.: Finding explanations of inconsistency in multi-context systems. Artif Intell. 216, 233–274 (2014)
Eiter, T., Gottlob, G.: On the complexity of propositional knowledge base revision, updates, and counterfactuals. Artif. Intell. 57(2-3), 227–270 (1992)
Fang, M.: Maintaining integrity constraints in semantic web. Ph.D. thesis Georgia State University (2013)
Fang, M., Li, W., Sunderraman, R.: Maintaining integrity constraints among distributed ontologies. In: CISIS, pp. 184–191. IEEE (2011)
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–133. Springer (2011)
Flesca, S., Greco, S., Zumpano, E.: Active integrity constraints. In: Moggi, E., Scott Warren, D. (eds.) PPDP, pp. 98–107. ACM (2004)
Gallaire, H., Minker, J., Nicolas, J.-M.: Logic and databases: A deductive approach. ACM Comput. Surv. 16(2), 153–185 (1984)
Ghidini, C., Giunchiglia, F.: Local models semantics, or contextual reasoning=locality+compatibility. Artif. Intell. 127(2), 221–259 (2001)
Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logics or: How we can do without modal logics. Artif. Intell. 65(1), 29–70 (1994)
Gonçalves, R., Knorr, M., Leite, J.: Evolving multi-context systems. In: Schaub, T., Friedrich, G., O’Sullivan, B. (eds.) ECAI, volume 263 of Frontiers in Artificial Intelligence and Applications, pp. 375–380. IOS Press (2014)
Gonçalves, R., Knorr, M., Leite, J.: Evolving multi-context systems. In: Schaub, T., Friedrich, G., O’Sullivan, B. (eds.) PAIS, volume 263 of Frontiers in Artificial Intelligence and Applications, pp. 375–380. IOS Press (2014)
Guessoum, A.: Abductive knowledge base updates for contextual reasoning. J. Intell. Inf. Syst. 11(1), 41–67 (1998)
Guo, Y., Pan, Z., Heflin, J.: LUBM: A benchmark for OWL knowledge base systems. J. Web Sem. 3(2–3), 158–182 (2005)
McCarthy, J.: Notes on formalizing context. In: Bajcsy, R. (ed.) IJCAI, pp. 555–562. Morgan Kaufmann (1993)
Motik, B., Horrocks, I., Sattler, U.: Bridging the gap between OWL and relational databases, vol. 7 (2011)
Motik, B., Rosati, R.: Reconciling description logics and rules. J. ACM, 57, Article Nr 30 (2010)
Ouyang, D., Cui, X., Ye, Y.: Integrity constraints in OWL ontologies based on grounded circumscription. Front Comput Sci 7(6), 812–821 (2013)
Patel-Schneider, P.F., Franconi, E.: Ontology constraints in incomplete and complete data. In: Cudré-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–459. Springer (2012)
Przymusinski, T.C., Turner, H.: Update by means of inference rules. J Log. Program. 30(2), 125–143 (1997)
Pührer, J., Heymans, S., Eiter, T.: Dealing with inconsistency when combining ontologies and rules using dl-programs. In: Aroyo, L., Antoniou, G., Hyvönen, E., ten Teije, A., Stuckenschmidt, H., Cabral, L., Tudorache, T. (eds.) ESWC(1), volume 6088 of LNCS, pp. 183–197. Springer (2010)
Schlipf, J.S.: Complexity and undecidability results for logic programming. Ann. Math. Artif. Intell. 15(3–4), 257–288 (1995)
Staworko, S., Chomicki, J.: Consistent query answers in the presence of universal constraints. Inf. Syst. 35(1), 1–22 (2010)
Tao, J., Sirin, E., Bao, J., McGuinness, D.L. In: Fox, M., Poole, D. (eds.) AAAI. AAAI Press (2010)
Tasharrofi, S., Ternovska, E.: Generalized multi-context systems. In: Baral, C., de Giacomo, G., Eiter, T. (eds.) KR. AAAI Press (2014)
Teniente, E., Olivé, A.: Updating knowledge bases while maintaining their consistency. VLDB J. 4(2), 193–241 (1995)
Thalheim, B.: Dependencies in Relational Databases. Teubner-Texte zur Mathematik, B.G Teubner (1991)
Ullman, J.D.: Principles of Database and Knowledge-Base Systems, vol. I. Computer Science Press, Rockville (1988)
Weinzierl, A.: Advancing multi-context systems by inconsistency management. In: Bragaglia, S., Damásio, 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)
Winslett, M.: Updating Logical Databases. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge (1990)
Author information
Authors and Affiliations
Corresponding author
Additional information
Supported by the Danish Council for Independent Research, Natural Sciences, grants DFF-1323-00247 and DFF-7014-00041, and by FCT/MCTES/PIDDAC under center grant to BioISI (Center Reference: UID/MULTI/04046/2013).
Rights and permissions
About this article
Cite this article
Cruz-Filipe, L., Gaspar, G., Nunes, I. et al. Active integrity constraints for general-purpose knowledge bases. Ann Math Artif Intell 83, 213–246 (2018). https://doi.org/10.1007/s10472-018-9577-y
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10472-018-9577-y