Active Integrity Constraints for Multi-context Systems

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

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

Active Integrity Constraints for Multi-context Systems

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

University of Southern Denmark

Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

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.

Original language	English
Book series	Lecture Notes in Computer Science
Pages (from-to)	98-112
Number of pages	15
DOIs	https://doi.org/10.1007/978-3-319-49004-5_7
Publication status	Published - 2016
Externally published	Yes
Event	International Conference on Knowledge Engineering and Knowledge Management: Impact of Time and Space on the Representation of Knowledge - Bologna, Italy Duration: 19 Nov 2016 → 23 Nov 2016 Conference number: 20 https://dblp.org/db/conf/ekaw/index.html

Conference

Conference	International Conference on Knowledge Engineering and Knowledge Management
Number	20
Country/Territory	Italy
City	Bologna
Period	19/11/2016 → 23/11/2016
Internet address	https://dblp.org/db/conf/ekaw/index.html

Keywords

Integrity constraints
Knowledge bases
Multi-context systems
Ontologies
Grounded repairs

Access to Document

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

https://arxiv.org/pdf/1609.06019.pdfLicence: CC BY

Cite this

@inproceedings{006e02d94108466eb7e13d22b44fd5c6,

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

keywords = "Integrity constraints, Knowledge bases, Multi-context systems, Ontologies, Grounded repairs",

author = "Lu{\'i}s Cruz-Filipe and Gra{\c c}a Gaspar and Isabel Nunes and Peter Schneider-Kamp",

note = "20th International Conference on Knowledge Engineering and Knowledge Management : Impact of Time and Space on the Representation of Knowledge, EKAW 2016 ; Conference date: 19-11-2016 Through 23-11-2016; International Conference on Knowledge Engineering and Knowledge Management : Impact of Time and Space on the Representation of Knowledge, EKAW ; Conference date: 19-11-2016 Through 23-11-2016",

year = "2016",

doi = "10.1007/978-3-319-49004-5\_7",

language = "English",

pages = "98--112",

journal = "Lecture Notes in Computer Science",

issn = "1611-3349",

publisher = "Springer",

url = "https://dblp.org/db/conf/ekaw/index.html",

}

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

N1 - Conference code: 20

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.

KW - Integrity constraints

KW - Knowledge bases

KW - Multi-context systems

KW - Ontologies

KW - Grounded repairs

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

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

M3 - Conference article

SN - 1611-3349

SP - 98

EP - 112

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - International Conference on Knowledge Engineering and Knowledge Management

Y2 - 19 November 2016 through 23 November 2016

ER -

Active Integrity Constraints for Multi-context Systems

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this