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

Syddansk Universitet

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › 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.

Originalsprog	Engelsk
Tidsskrift	Lecture Notes in Computer Science
Sider (fra-til)	98-112
Antal sider	15
DOI	https://doi.org/10.1007/978-3-319-49004-5_7
Status	Udgivet - 2016
Udgivet eksternt	Ja
Begivenhed	International Conference on Knowledge Engineering and Knowledge Management: Impact of Time and Space on the Representation of Knowledge - Bologna, Italien Varighed: 19 nov. 2016 → 23 nov. 2016 Konferencens nummer: 20 https://dblp.org/db/conf/ekaw/index.html

Konference

Konference	International Conference on Knowledge Engineering and Knowledge Management
Nummer	20
Land/Område	Italien
By	Bologna
Periode	19/11/2016 → 23/11/2016
Internetadresse	https://dblp.org/db/conf/ekaw/index.html

Adgang til dokumentet

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

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

Citationsformater

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

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

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

Konference

Adgang til dokumentet

Fingeraftryk

Citationsformater