Active Integrity Constraints for Multi-context Systems [chapter]

Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes, Peter Schneider-Kamp
2016 Lecture Notes in Computer Science  
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
more » ... ndividual rules. We apply our methodology to ontologies, and show that it can express most relevant types of integrity constraints in this domain.
doi:10.1007/978-3-319-49004-5_7 fatcat:fvvgtptjvrfmlgie2kedw2u4yu