Active Integrity Constraints for Multi-context Systems

Abstract

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.

Fixpoint semantics for active integrity constraints

“…It remains to be researched how these related for instance to existing modularity results for AICs (Cruz-Filipe, 2014, 2016. Furthermore, our work paves the way to applying AFT to revision programming, following the results from Caroprese and Truszczyński (2011), and to AICs outside the database world, as generalized in Cruz-Filipe et al (2016).…”