European Knowledge Acquisition Workshop

EKAW 2016: Knowledge Engineering and Knowledge Management pp 98-112

Active Integrity Constraints for Multi-context Systems

  • Luís Cruz-Filipe
  • Graça Gaspar
  • Isabel Nunes
  • Peter Schneider-Kamp
Conference paper

DOI: 10.1007/978-3-319-49004-5_7

Volume 10024 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
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

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.

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