Integrity Constraints for General-Purpose Knowledge Bases

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

Resumé

Integrity constraints in databases have been studied extensively since the 1980s, and they are considered essential to guarantee database integrity. In recent years, several authors have studied how the same notion can be adapted to reasoning frameworks, in such a way that they achieve the purpose of guaranteeing a system’s consistency, but are kept separate from the reasoning mechanisms.

In this paper we focus on multi-context systems, a general-purpose framework for combining heterogeneous reasoning systems, enhancing them with a notion of integrity constraints that generalizes the corresponding concept in the database world.
OriginalsprogEngelsk
TitelFoIKS 2016 : Proceedings of the 9th International Symposium on Foundations of Information and Knowledge Systems
RedaktørerMarc Gyssens, Guillermo Simari
ForlagSpringer
Publikationsdato2016
Sider235-254
ISBN (Trykt)978-3-319-30023-8
ISBN (Elektronisk)978-3-319-30024-5
DOI
StatusUdgivet - 2016
Begivenhed9th International Symposium on Foundations of Information and Knowledge Systems - Linz, Østrig
Varighed: 7. mar. 201611. mar. 2016

Konference

Konference9th International Symposium on Foundations of Information and Knowledge Systems
LandØstrig
ByLinz
Periode07/03/201611/03/2016
NavnLecture Notes in Computer Science
Vol/bind9616
ISSN0302-9743

Citer dette

Cruz-Filipe, L., Nunes, I., & Schneider-Kamp, P. (2016). Integrity Constraints for General-Purpose Knowledge Bases. I M. Gyssens, & G. Simari (red.), FoIKS 2016: Proceedings of the 9th International Symposium on Foundations of Information and Knowledge Systems (s. 235-254). Springer. Lecture Notes in Computer Science, Bind. 9616 https://doi.org/10.1007/978-3-319-30024-5_13
Cruz-Filipe, Luis ; Nunes, Isabel ; Schneider-Kamp, Peter. / Integrity Constraints for General-Purpose Knowledge Bases. FoIKS 2016: Proceedings of the 9th International Symposium on Foundations of Information and Knowledge Systems. red. / Marc Gyssens ; Guillermo Simari. Springer, 2016. s. 235-254 (Lecture Notes in Computer Science, Bind 9616).
@inproceedings{d66989808ab84a619aa97611bce6ead0,
title = "Integrity Constraints for General-Purpose Knowledge Bases",
abstract = "Integrity constraints in databases have been studied extensively since the 1980s, and they are considered essential to guarantee database integrity. In recent years, several authors have studied how the same notion can be adapted to reasoning frameworks, in such a way that they achieve the purpose of guaranteeing a system’s consistency, but are kept separate from the reasoning mechanisms.In this paper we focus on multi-context systems, a general-purpose framework for combining heterogeneous reasoning systems, enhancing them with a notion of integrity constraints that generalizes the corresponding concept in the database world.",
author = "Luis Cruz-Filipe and Isabel Nunes and Peter Schneider-Kamp",
year = "2016",
doi = "10.1007/978-3-319-30024-5_13",
language = "English",
isbn = "978-3-319-30023-8",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "235--254",
editor = "Marc Gyssens and Guillermo Simari",
booktitle = "FoIKS 2016",
address = "Germany",

}

Cruz-Filipe, L, Nunes, I & Schneider-Kamp, P 2016, Integrity Constraints for General-Purpose Knowledge Bases. i M Gyssens & G Simari (red), FoIKS 2016: Proceedings of the 9th International Symposium on Foundations of Information and Knowledge Systems. Springer, Lecture Notes in Computer Science, bind 9616, s. 235-254, 9th International Symposium on Foundations of Information and Knowledge Systems, Linz, Østrig, 07/03/2016. https://doi.org/10.1007/978-3-319-30024-5_13

Integrity Constraints for General-Purpose Knowledge Bases. / Cruz-Filipe, Luis; Nunes, Isabel; Schneider-Kamp, Peter.

FoIKS 2016: Proceedings of the 9th International Symposium on Foundations of Information and Knowledge Systems. red. / Marc Gyssens; Guillermo Simari. Springer, 2016. s. 235-254 (Lecture Notes in Computer Science, Bind 9616).

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

TY - GEN

T1 - Integrity Constraints for General-Purpose Knowledge Bases

AU - Cruz-Filipe, Luis

AU - Nunes, Isabel

AU - Schneider-Kamp, Peter

PY - 2016

Y1 - 2016

N2 - Integrity constraints in databases have been studied extensively since the 1980s, and they are considered essential to guarantee database integrity. In recent years, several authors have studied how the same notion can be adapted to reasoning frameworks, in such a way that they achieve the purpose of guaranteeing a system’s consistency, but are kept separate from the reasoning mechanisms.In this paper we focus on multi-context systems, a general-purpose framework for combining heterogeneous reasoning systems, enhancing them with a notion of integrity constraints that generalizes the corresponding concept in the database world.

AB - Integrity constraints in databases have been studied extensively since the 1980s, and they are considered essential to guarantee database integrity. In recent years, several authors have studied how the same notion can be adapted to reasoning frameworks, in such a way that they achieve the purpose of guaranteeing a system’s consistency, but are kept separate from the reasoning mechanisms.In this paper we focus on multi-context systems, a general-purpose framework for combining heterogeneous reasoning systems, enhancing them with a notion of integrity constraints that generalizes the corresponding concept in the database world.

U2 - 10.1007/978-3-319-30024-5_13

DO - 10.1007/978-3-319-30024-5_13

M3 - Article in proceedings

SN - 978-3-319-30023-8

T3 - Lecture Notes in Computer Science

SP - 235

EP - 254

BT - FoIKS 2016

A2 - Gyssens, Marc

A2 - Simari, Guillermo

PB - Springer

ER -

Cruz-Filipe L, Nunes I, Schneider-Kamp P. Integrity Constraints for General-Purpose Knowledge Bases. I Gyssens M, Simari G, red., FoIKS 2016: Proceedings of the 9th International Symposium on Foundations of Information and Knowledge Systems. Springer. 2016. s. 235-254. (Lecture Notes in Computer Science, Bind 9616). https://doi.org/10.1007/978-3-319-30024-5_13