Active Integrity Constraints for Multi-context Systems

Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes, Peter Schneider-Kamp

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Resumé

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.
OriginalsprogEngelsk
TitelKnowledge Engineering and Knowledge Management : 20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016, Proceedings
RedaktørerEva Blomqvist, Paolo Ciancarini, Francesco Poggi, Fabio Vitali
ForlagSpringer
Publikationsdato2016
Sider98-112
ISBN (Trykt)978-3-319-49003-8
ISBN (Elektronisk)978-3-319-49004-5
DOI
StatusUdgivet - 2016
Begivenhed20th International Conference on Knowledge Engineering and Knowledge Management: Impact of Time and Space on the Representation of Knowledge - Bologna, Italien
Varighed: 19. nov. 201623. nov. 2016
Konferencens nummer: 20

Konference

Konference20th International Conference on Knowledge Engineering and Knowledge Management
Nummer20
LandItalien
ByBologna
Periode19/11/201623/11/2016
NavnLecture Notes in Computer Science
Vol/bind10024
ISSN0302-9743

Fingeraftryk

Repair
Ontology

Citer dette

Cruz-Filipe, L., Gaspar, G., Nunes, I., & Schneider-Kamp, P. (2016). Active Integrity Constraints for Multi-context Systems. I E. Blomqvist, P. Ciancarini, F. Poggi, & F. Vitali (red.), Knowledge Engineering and Knowledge Management: 20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016, Proceedings (s. 98-112). Springer. Lecture Notes in Computer Science, Bind. 10024 https://doi.org/10.1007/978-3-319-49004-5_7
Cruz-Filipe, Luís ; Gaspar, Graça ; Nunes, Isabel ; Schneider-Kamp, Peter. / Active Integrity Constraints for Multi-context Systems. Knowledge Engineering and Knowledge Management: 20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016, Proceedings. red. / Eva Blomqvist ; Paolo Ciancarini ; Francesco Poggi ; Fabio Vitali. Springer, 2016. s. 98-112 (Lecture Notes in Computer Science, Bind 10024).
@inproceedings{c922eecd0e434fbfbf5d43206439e391,
title = "Active Integrity Constraints for Multi-context Systems",
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.",
author = "Lu{\'i}s Cruz-Filipe and Gra{\cc}a Gaspar and Isabel Nunes and Peter Schneider-Kamp",
year = "2016",
doi = "10.1007/978-3-319-49004-5_7",
language = "English",
isbn = "978-3-319-49003-8",
pages = "98--112",
editor = "Eva Blomqvist and Paolo Ciancarini and Francesco Poggi and Fabio Vitali",
booktitle = "Knowledge Engineering and Knowledge Management",
publisher = "Springer",
address = "Germany",

}

Cruz-Filipe, L, Gaspar, G, Nunes, I & Schneider-Kamp, P 2016, Active Integrity Constraints for Multi-context Systems. i E Blomqvist, P Ciancarini, F Poggi & F Vitali (red), Knowledge Engineering and Knowledge Management: 20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016, Proceedings. Springer, Lecture Notes in Computer Science, bind 10024, s. 98-112, 20th International Conference on Knowledge Engineering and Knowledge Management, Bologna, Italien, 19/11/2016. https://doi.org/10.1007/978-3-319-49004-5_7

Active Integrity Constraints for Multi-context Systems. / Cruz-Filipe, Luís; Gaspar, Graça; Nunes, Isabel; Schneider-Kamp, Peter.

Knowledge Engineering and Knowledge Management: 20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016, Proceedings. red. / Eva Blomqvist; Paolo Ciancarini; Francesco Poggi; Fabio Vitali. Springer, 2016. s. 98-112 (Lecture Notes in Computer Science, Bind 10024).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

TY - GEN

T1 - Active Integrity Constraints for Multi-context Systems

AU - Cruz-Filipe, Luís

AU - Gaspar, Graça

AU - Nunes, Isabel

AU - Schneider-Kamp, Peter

PY - 2016

Y1 - 2016

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

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

U2 - 10.1007/978-3-319-49004-5_7

DO - 10.1007/978-3-319-49004-5_7

M3 - Article in proceedings

SN - 978-3-319-49003-8

SP - 98

EP - 112

BT - Knowledge Engineering and Knowledge Management

A2 - Blomqvist, Eva

A2 - Ciancarini, Paolo

A2 - Poggi, Francesco

A2 - Vitali, Fabio

PB - Springer

ER -

Cruz-Filipe L, Gaspar G, Nunes I, Schneider-Kamp P. Active Integrity Constraints for Multi-context Systems. I Blomqvist E, Ciancarini P, Poggi F, Vitali F, red., Knowledge Engineering and Knowledge Management: 20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016, Proceedings. Springer. 2016. s. 98-112. (Lecture Notes in Computer Science, Bind 10024). https://doi.org/10.1007/978-3-319-49004-5_7