Active Integrity Constraints for Multi-context Systems

  • Luís Cruz-Filipe
  • Graça Gaspar
  • Isabel Nunes
  • Peter Schneider-Kamp
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10024)


We introduce a formalism to couple integrity constraints over general-purpose knowledge bases with actions that can be executed to restore consistency. This formalism generalizes active integrity constraints over databases. In the more general setting of multi-context systems, adding repair suggestions to integrity constraints allows defining simple iterative algorithms to find all possible grounded repairs – repairs for the global system that follow the suggestions given by the actions in the individual rules. We apply our methodology to ontologies, and show that it can express most relevant types of integrity constraints in this domain.


  1. 1.
    Abiteboul, S.: Updates a new frontier. In: Gyssens, M., Paredaens, J., Van Gucht, D. (eds.) ICDT 1888. LNCS, vol. 326, pp. 1–18. Springer, Heidelberg (1988)Google Scholar
  2. 2.
    Asirelli, P., de Santis, M., Martelli, M.: Integrity constraints for logic databases. J. Log. Program. 2(3), 221–232 (1985)CrossRefzbMATHGoogle Scholar
  3. 3.
    Brewka, G., Eiter T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: AAAI, pp. 385–390. AAAI Press (2007)Google Scholar
  4. 4.
    Brewka, G., Eiter, T., Fink, M., Weinzierl, A.: Managed multi-context systems. In: IJCAI, pp. 786–791. IJCAI/AAAI (2011)Google Scholar
  5. 5.
    Caroprese, L., Greco, S., Sirangelo, C., Zumpano, E.: Declarative semantics of production rules for integrity maintenance. In: Etalle, S., Truszczyński, M. (eds.) ICLP 2006. LNCS, vol. 4079, pp. 26–40. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  6. 6.
    Caroprese, L., Truszczyński, M.: Declarative semantics for active integrity constraints. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 269–283. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  7. 7.
    Caroprese, L., Truszczyński, M.: Active integrity constraints and revision programming. Theor. Pract. Log. Program. 11(6), 905–952 (2011)MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    Cruz-Filipe, L.: Grounded fixpoints and active integrity constraints. In: ICLP, OASICS. Dagstuhl (2016, accepted)Google Scholar
  9. 9.
    Cruz-Filipe, L., Engrácia, P., Gaspar, G., Nunes, I.: Computing repairs from active integrity constraints. In: TASE, pp. 183–190. IEEE (2013)Google Scholar
  10. 10.
    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: KMIS, pp. 17–26. SciTePress (2015)Google Scholar
  11. 11.
    Cruz-Filipe, L., Nunes, I., Schneider-Kamp, P.: Integrity constraints for general-purpose knowledge bases. In: Gyssens, M., et al. (eds.) FoIKS 2016. LNCS, vol. 9616, pp. 235–254. Springer, Heidelberg (2016). doi: 10.1007/978-3-319-30024-5_13 CrossRefGoogle Scholar
  12. 12.
    Eiter, T., Fink, M., Ianni, G., Schüller, P.: Towards a policy language for managing inconsistency in multi-context systems. In: Workshop on Logic-Based Interpretation of Context: Modelling and Applications, pp. 23–35 (2011)Google Scholar
  13. 13.
    Eiter, T., Gottlob, G.: On the complexity of propositional knowledge base revision, updates, and counterfactuals. Artif. Intell. 57(2–3), 227–270 (1992)MathSciNetCrossRefzbMATHGoogle Scholar
  14. 14.
    Fang, M.: Maintaining integrity constraints in semantic web. Ph.D. thesis, Georgia State University (2013)Google Scholar
  15. 15.
    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–133. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  16. 16.
    Flesca, S., Greco, S., Zumpano, E.: Active integrity constraints. In: PPDP, pp. 98–107. ACM (2004)Google Scholar
  17. 17.
    Guessoum, A.: Abductive knowledge base updates for contextual reasoning. J. Intell. Inf. Syst. 11(1), 41–67 (1998)CrossRefGoogle Scholar
  18. 18.
    Guo, Y., Pan, Z., Heflin, J.: LUBM: a benchmark for OWL knowledge base systems. J. Web Sem. 3(2–3), 158–182 (2005)CrossRefGoogle Scholar
  19. 19.
    Motik, B., Horrocks, I., Sattler, U.: Bridging the gap between OWL, relational databases. Web Semant.: Sci. Serv. Agents World Wide Web 7(2), 74–89 (2011)CrossRefGoogle Scholar
  20. 20.
    Motik, B., Rosati, R.: Reconciling description logics and rules. J. ACM, 57 (2010). Article Nr 30Google Scholar
  21. 21.
    Ouyang, D., Cui, X., Ye, Y.: Integrity constraints in OWL ontologies based on grounded circumscription. Front. Comput. Sci. 7(6), 812–821 (2013)MathSciNetCrossRefGoogle Scholar
  22. 22.
    Patel-Schneider, P.F., Franconi, E.: Ontology constraints in incomplete and complete data. In: Cudré-Mauroux, P., et al. (eds.) ISWC 2012, Part I. LNCS, vol. 7649, pp. 444–459. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  23. 23.
    Przymusinski, T.C., Turner, H.: Update by means of inference rules. J. Log. Program. 30(2), 125–143 (1997)MathSciNetCrossRefzbMATHGoogle Scholar
  24. 24.
    Tao, J., Sirin, E., Bao, J., McGuinness, D.L.: Integrity constraints in OWL. In: AAAI. AAAI Press (2010)Google Scholar
  25. 25.
    Teniente, E., Olivé, A.: Updating knowledge bases while maintaining their consistency. VLDB J. 4(2), 193–241 (1995)CrossRefGoogle Scholar
  26. 26.
    Thalheim, B.: Dependencies in Relational Databases. Teubner-Texte zur Mathematik. B.G. Teubner, Leipzig (1991)CrossRefzbMATHGoogle Scholar
  27. 27.
    Winslett, M.: Updating Logical Databases. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge (1990)CrossRefzbMATHGoogle Scholar

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  • Luís Cruz-Filipe
    • 1
  • Graça Gaspar
    • 2
  • Isabel Nunes
    • 2
  • Peter Schneider-Kamp
    • 1
  1. 1.Department of Mathematics and Computer ScienceUniversity of Southern DenmarkOdenseDenmark
  2. 2.BioISI—Biosystems & Integrative Sciences Institute, Faculty of SciencesUniversity of LisbonLisbonPortugal

Personalised recommendations