Skip to main content
SpringerLink
Log in
Book cover

European Knowledge Acquisition Workshop

EKAW 2016: Knowledge Engineering and Knowledge Management pp 98–112Cite as

Active Integrity Constraints for Multi-context Systems

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 10024))

Abstract

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.

This work was supported by the Danish Council for Independent Research, Natural Sciences, grant DFF-1323-00247, and by FCT/MCTES/PIDDAC under centre grant to BioISI (Centre Reference: UID/MULTI/04046/2013).

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Notes

  1. 1.

    In [16], existentially quantified variables can also occur in negative literals. This was not discussed in subsequent work, and we ignore it for simplicity of presentation.

  2. 2.

    Technically, \(P_p\) is a relational element of \(C_{i_p}\): it can include variables, which when instantiated yield elements of \(\bigcup \mathsf {BS}_{i_p}\) – see [4] for details.

  3. 3.

    For the sake of presentation, we simplified the management function, which in the original work is allowed to return several possible effects for each action.

  4. 4.

    This semantics is slightly changed from that of [14], in order to make some aspects of our example more realistic.

  5. 5.

    There is also a notion of repair tree for databases in [9], but it relies on the ability of inferring heads of AICs automatically, which does not exist in the MCS setting.

References

  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. Asirelli, P., de Santis, M., Martelli, M.: Integrity constraints for logic databases. J. Log. Program. 2(3), 221–232 (1985)

    Article  MATH  Google Scholar 

  3. Brewka, G., Eiter T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: AAAI, pp. 385–390. AAAI Press (2007)

    Google Scholar 

  4. Brewka, G., Eiter, T., Fink, M., Weinzierl, A.: Managed multi-context systems. In: IJCAI, pp. 786–791. IJCAI/AAAI (2011)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  7. Caroprese, L., Truszczyński, M.: Active integrity constraints and revision programming. Theor. Pract. Log. Program. 11(6), 905–952 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  8. Cruz-Filipe, L.: Grounded fixpoints and active integrity constraints. In: ICLP, OASICS. Dagstuhl (2016, accepted)

    Google Scholar 

  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. 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. 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

    Chapter  Google Scholar 

  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. Eiter, T., Gottlob, G.: On the complexity of propositional knowledge base revision, updates, and counterfactuals. Artif. Intell. 57(2–3), 227–270 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  14. Fang, M.: Maintaining integrity constraints in semantic web. Ph.D. thesis, Georgia State University (2013)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  16. Flesca, S., Greco, S., Zumpano, E.: Active integrity constraints. In: PPDP, pp. 98–107. ACM (2004)

    Google Scholar 

  17. Guessoum, A.: Abductive knowledge base updates for contextual reasoning. J. Intell. Inf. Syst. 11(1), 41–67 (1998)

    Article  Google Scholar 

  18. Guo, Y., Pan, Z., Heflin, J.: LUBM: a benchmark for OWL knowledge base systems. J. Web Sem. 3(2–3), 158–182 (2005)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  20. Motik, B., Rosati, R.: Reconciling description logics and rules. J. ACM, 57 (2010). Article Nr 30

    Google Scholar 

  21. Ouyang, D., Cui, X., Ye, Y.: Integrity constraints in OWL ontologies based on grounded circumscription. Front. Comput. Sci. 7(6), 812–821 (2013)

    Article  MathSciNet  Google Scholar 

  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)

    Chapter  Google Scholar 

  23. Przymusinski, T.C., Turner, H.: Update by means of inference rules. J. Log. Program. 30(2), 125–143 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  24. Tao, J., Sirin, E., Bao, J., McGuinness, D.L.: Integrity constraints in OWL. In: AAAI. AAAI Press (2010)

    Google Scholar 

  25. Teniente, E., Olivé, A.: Updating knowledge bases while maintaining their consistency. VLDB J. 4(2), 193–241 (1995)

    Article  Google Scholar 

  26. Thalheim, B.: Dependencies in Relational Databases. Teubner-Texte zur Mathematik. B.G. Teubner, Leipzig (1991)

    Book  MATH  Google Scholar 

  27. Winslett, M.: Updating Logical Databases. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge (1990)

    Book  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics and Computer Science, University of Southern Denmark, Odense, Denmark

    Luís Cruz-Filipe & Peter Schneider-Kamp

  2. BioISI—Biosystems & Integrative Sciences Institute, Faculty of Sciences, University of Lisbon, Lisbon, Portugal

    Graça Gaspar & Isabel Nunes

Authors
  1. Luís Cruz-Filipe
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Graça Gaspar
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Isabel Nunes
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Peter Schneider-Kamp
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Luís Cruz-Filipe .

Editor information

Editors and Affiliations

  1. Linköping University, Linköping, Sweden

    Eva Blomqvist

  2. University of Bologna, Bologna, Italy

    Paolo Ciancarini

  3. University of Bologna, Bologna, Italy

    Francesco Poggi

  4. University of Bologna, Bologna, Italy

    Fabio Vitali

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing AG

About this paper

Cite this paper

Cruz-Filipe, L., Gaspar, G., Nunes, I., Schneider-Kamp, P. (2016). Active Integrity Constraints for Multi-context Systems. In: Blomqvist, E., Ciancarini, P., Poggi, F., Vitali, F. (eds) Knowledge Engineering and Knowledge Management. EKAW 2016. Lecture Notes in Computer Science(), vol 10024. Springer, Cham. https://doi.org/10.1007/978-3-319-49004-5_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-49004-5_7

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-49003-8

  • Online ISBN: 978-3-319-49004-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation