Active integrity constraints for general-purpose knowledge bases

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

*Kontaktforfatter for dette arbejde

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Resumé

In the database world, integrity constraints are essential to guarantee database integrity. The related problem of database repair deals with finding the best way to change a database so that it satisfies its integrity constraints. These two topics have been studied intensively since the 1980s. The formalism of active integrity constraints, proposed in 2004, aims at addressing them jointly, by providing a syntax whereby a particular subclass of integrity constraints can be specified together with preferred ways to repair inconsistency. In the last decade, several authors have proposed adaptations of the notion of integrity constraints to other reasoning frameworks than relational databases. In this article, we extend this line of work in two ways. First, we target multi-context systems, a general-purpose framework for combining heterogeneous reasoning systems, able to model most other reasoning frameworks, as we demonstrate. Second, we extend the notions of active integrity constraints and grounded repairs to this generalized setting. This way of including repair suggestions inside integrity constraints, subject to a validity check, enables us to define simple iterative algorithms to find all possible grounded repairs for an inconsistent multi-context system, avoiding the need to solve complex or undecidable problems.

OriginalsprogEngelsk
TidsskriftAnnals of Mathematics and Artificial Intelligence
Vol/bind83
Udgave nummer3-4
Sider (fra-til)213-246
ISSN1012-2443
DOI
StatusUdgivet - 2018

Fingeraftryk

Integrity Constraints
Knowledge Base
Repair
Reasoning
Relational Database
Inconsistency
Inconsistent
Integrity
Iterative Algorithm
Target
Line
Demonstrate

Citer dette

@article{773df41138474705818185a3c48ff239,
title = "Active integrity constraints for general-purpose knowledge bases",
abstract = "In the database world, integrity constraints are essential to guarantee database integrity. The related problem of database repair deals with finding the best way to change a database so that it satisfies its integrity constraints. These two topics have been studied intensively since the 1980s. The formalism of active integrity constraints, proposed in 2004, aims at addressing them jointly, by providing a syntax whereby a particular subclass of integrity constraints can be specified together with preferred ways to repair inconsistency. In the last decade, several authors have proposed adaptations of the notion of integrity constraints to other reasoning frameworks than relational databases. In this article, we extend this line of work in two ways. First, we target multi-context systems, a general-purpose framework for combining heterogeneous reasoning systems, able to model most other reasoning frameworks, as we demonstrate. Second, we extend the notions of active integrity constraints and grounded repairs to this generalized setting. This way of including repair suggestions inside integrity constraints, subject to a validity check, enables us to define simple iterative algorithms to find all possible grounded repairs for an inconsistent multi-context system, avoiding the need to solve complex or undecidable problems.",
keywords = "Integrity constraints, Multi-context systems, Ontologies, Repairs",
author = "Lu{\'i}s Cruz-Filipe and Gra{\cc}a Gaspar and Isabel Nunes and Peter Schneider-Kamp",
year = "2018",
doi = "10.1007/s10472-018-9577-y",
language = "English",
volume = "83",
pages = "213--246",
journal = "Annals of Mathematics and Artificial Intelligence",
issn = "1012-2443",
publisher = "Springer",
number = "3-4",

}

Active integrity constraints for general-purpose knowledge bases. / Cruz-Filipe, Luís; Gaspar, Graça; Nunes, Isabel; Schneider-Kamp, Peter.

I: Annals of Mathematics and Artificial Intelligence, Bind 83, Nr. 3-4, 2018, s. 213-246.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

TY - JOUR

T1 - Active integrity constraints for general-purpose knowledge bases

AU - Cruz-Filipe, Luís

AU - Gaspar, Graça

AU - Nunes, Isabel

AU - Schneider-Kamp, Peter

PY - 2018

Y1 - 2018

N2 - In the database world, integrity constraints are essential to guarantee database integrity. The related problem of database repair deals with finding the best way to change a database so that it satisfies its integrity constraints. These two topics have been studied intensively since the 1980s. The formalism of active integrity constraints, proposed in 2004, aims at addressing them jointly, by providing a syntax whereby a particular subclass of integrity constraints can be specified together with preferred ways to repair inconsistency. In the last decade, several authors have proposed adaptations of the notion of integrity constraints to other reasoning frameworks than relational databases. In this article, we extend this line of work in two ways. First, we target multi-context systems, a general-purpose framework for combining heterogeneous reasoning systems, able to model most other reasoning frameworks, as we demonstrate. Second, we extend the notions of active integrity constraints and grounded repairs to this generalized setting. This way of including repair suggestions inside integrity constraints, subject to a validity check, enables us to define simple iterative algorithms to find all possible grounded repairs for an inconsistent multi-context system, avoiding the need to solve complex or undecidable problems.

AB - In the database world, integrity constraints are essential to guarantee database integrity. The related problem of database repair deals with finding the best way to change a database so that it satisfies its integrity constraints. These two topics have been studied intensively since the 1980s. The formalism of active integrity constraints, proposed in 2004, aims at addressing them jointly, by providing a syntax whereby a particular subclass of integrity constraints can be specified together with preferred ways to repair inconsistency. In the last decade, several authors have proposed adaptations of the notion of integrity constraints to other reasoning frameworks than relational databases. In this article, we extend this line of work in two ways. First, we target multi-context systems, a general-purpose framework for combining heterogeneous reasoning systems, able to model most other reasoning frameworks, as we demonstrate. Second, we extend the notions of active integrity constraints and grounded repairs to this generalized setting. This way of including repair suggestions inside integrity constraints, subject to a validity check, enables us to define simple iterative algorithms to find all possible grounded repairs for an inconsistent multi-context system, avoiding the need to solve complex or undecidable problems.

KW - Integrity constraints

KW - Multi-context systems

KW - Ontologies

KW - Repairs

U2 - 10.1007/s10472-018-9577-y

DO - 10.1007/s10472-018-9577-y

M3 - Journal article

VL - 83

SP - 213

EP - 246

JO - Annals of Mathematics and Artificial Intelligence

JF - Annals of Mathematics and Artificial Intelligence

SN - 1012-2443

IS - 3-4

ER -