An Incremental Algorithm for Computing All Repairs in Inconsistent Knowledge Bases

Bruno Yun; Madalina Croitoru

doi:10.1007/978-3-030-57855-8_3

An Incremental Algorithm for Computing All Repairs in Inconsistent Knowledge Bases

Bruno Yun^* (Corresponding Author), Madalina Croitoru

^*Corresponding author for this work

Université de Montpellier

Research output: Chapter in Book/Report/Conference proceeding › Published conference contribution

Abstract

Repair techniques are used for reasoning in presence of inconsistencies. Such techniques rely on optimisations to avoid the computation of all repairs while certain applications need the generation of all repairs. In this paper, we show that the problem of all repair computation is not trivial in practice. To account for a scalable solution, we provide an incremental approach for the computation of all repairs when the conflicts have a cardinality of at most three. We empirically study its performance on generated knowledge bases (where the knowledge base generator could be seen as a secondary contribution in itself).

Original language	English
Title of host publication	Ontologies and Concepts in Mind and Machine
Editors	Mehwish Alam, Tanya Braun, Bruno Yun
Publisher	Springer Nature Switzerland AG
Pages	33-47
Number of pages	15
Volume	12277
ISBN (Electronic)	978-3-030-57855-8
ISBN (Print)	978-3-030-57854-1
DOIs	https://doi.org/10.1007/978-3-030-57855-8_3
Publication status	E-pub ahead of print - 10 Sept 2020
Event	Ontologies and Concepts in Mind and Machine: 25th International Conference on Conceptual Structures - Bolzano, Italy Duration: 18 Sept 2020 → 20 Sept 2020 Conference number: 25th

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	Ontologies and Concepts in Mind and Machine
Abbreviated title	ICCS 2020
Country/Territory	Italy
City	Bolzano
Period	18/09/20 → 20/09/20

Bibliographical note

Funding Information:
Acknowledgement. The second author acknowledges the project, funded by the French Ministry of Agriculture.

Keywords

repairs
Knowledge base
existential rule
Repairs
Existential rule

Access to Document

10.1007/978-3-030-57855-8_3Licence: Unspecified

Cite this

An Incremental Algorithm for Computing All Repairs in Inconsistent Knowledge Bases. / Yun, Bruno (Corresponding Author); Croitoru, Madalina.
Ontologies and Concepts in Mind and Machine. ed. / Mehwish Alam; Tanya Braun; Bruno Yun. Vol. 12277 Springer Nature Switzerland AG, 2020. p. 33-47 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Published conference contribution

Yun, B & Croitoru, M 2020, An Incremental Algorithm for Computing All Repairs in Inconsistent Knowledge Bases. in M Alam, T Braun & B Yun (eds), Ontologies and Concepts in Mind and Machine. vol. 12277, Lecture Notes in Computer Science, Springer Nature Switzerland AG, pp. 33-47, Ontologies and Concepts in Mind and Machine, Bolzano, Italy, 18/09/20. https://doi.org/10.1007/978-3-030-57855-8_3

@inproceedings{0b700970ea1944209e459b73acf2f4f9,

title = "An Incremental Algorithm for Computing All Repairs in Inconsistent Knowledge Bases",

abstract = "Repair techniques are used for reasoning in presence of inconsistencies. Such techniques rely on optimisations to avoid the computation of all repairs while certain applications need the generation of all repairs. In this paper, we show that the problem of all repair computation is not trivial in practice. To account for a scalable solution, we provide an incremental approach for the computation of all repairs when the conflicts have a cardinality of at most three. We empirically study its performance on generated knowledge bases (where the knowledge base generator could be seen as a secondary contribution in itself).",

keywords = "repairs, Knowledge base, existential rule, Repairs, Existential rule",

author = "Bruno Yun and Madalina Croitoru",

note = "Funding Information: Acknowledgement. The second author acknowledges the project, funded by the French Ministry of Agriculture.; Ontologies and Concepts in Mind and Machine : 25th International Conference on Conceptual Structures, ICCS 2020 ; Conference date: 18-09-2020 Through 20-09-2020",

year = "2020",

month = sep,

day = "10",

doi = "10.1007/978-3-030-57855-8_3",

language = "English",

isbn = "978-3-030-57854-1",

volume = "12277",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature Switzerland AG",

pages = "33--47",

editor = "Mehwish Alam and Tanya Braun and Bruno Yun",

booktitle = "Ontologies and Concepts in Mind and Machine",

address = "Switzerland",

}

TY - GEN

T1 - An Incremental Algorithm for Computing All Repairs in Inconsistent Knowledge Bases

AU - Yun, Bruno

AU - Croitoru, Madalina

N1 - Conference code: 25th

PY - 2020/9/10

Y1 - 2020/9/10

N2 - Repair techniques are used for reasoning in presence of inconsistencies. Such techniques rely on optimisations to avoid the computation of all repairs while certain applications need the generation of all repairs. In this paper, we show that the problem of all repair computation is not trivial in practice. To account for a scalable solution, we provide an incremental approach for the computation of all repairs when the conflicts have a cardinality of at most three. We empirically study its performance on generated knowledge bases (where the knowledge base generator could be seen as a secondary contribution in itself).

AB - Repair techniques are used for reasoning in presence of inconsistencies. Such techniques rely on optimisations to avoid the computation of all repairs while certain applications need the generation of all repairs. In this paper, we show that the problem of all repair computation is not trivial in practice. To account for a scalable solution, we provide an incremental approach for the computation of all repairs when the conflicts have a cardinality of at most three. We empirically study its performance on generated knowledge bases (where the knowledge base generator could be seen as a secondary contribution in itself).

KW - repairs

KW - Knowledge base

KW - existential rule

KW - Repairs

KW - Existential rule

UR - http://www.scopus.com/inward/record.url?scp=85091594457&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-57855-8_3

DO - 10.1007/978-3-030-57855-8_3

M3 - Published conference contribution

SN - 978-3-030-57854-1

VL - 12277

T3 - Lecture Notes in Computer Science

SP - 33

EP - 47

BT - Ontologies and Concepts in Mind and Machine

A2 - Alam, Mehwish

A2 - Braun, Tanya

A2 - Yun, Bruno

PB - Springer Nature Switzerland AG

T2 - Ontologies and Concepts in Mind and Machine

Y2 - 18 September 2020 through 20 September 2020

ER -

An Incremental Algorithm for Computing All Repairs in Inconsistent Knowledge Bases

Abstract

Publication series

Conference

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this