The Consistency Extractor System: Querying inconsistent databases using answer set programs

被引：0
|
作者：
Caniupan, Monica [1 ]
Bertossi, Leopoldo [2 ]
机构：
[1] Univ Bio Bio, Dept Sistemas Informac, Concepcion, Chile
[2] Carleton Univ, Sch Comp Sci, Ottawa, ON K1S 5B6, Canada
来源：
SCALABLE UNCERTAINTY MANAGEMENT, PROCEEDINGS | 2007年 / 4772卷
基金：
加拿大自然科学与工程研究理事会;
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We present the Consistency Extractor System (ConsEx) that uses answer set programming to compute consistent answers to first-order queries posed to relational databases that may be inconsistent wrt their integrity constraints. Among other features, ConsEx implements a magic sets technique to evaluate queries via disjunctive logic programs with stable model semantics that specify the repair of the original database. We describe the methodology and the system; and also present some experimental results.
引用
收藏
页码：74 / +
页数：3
相关论文
共 29 条
  • [1] The consistency extractor system: Answer set programs for consistent query answering in databases
    Caniupan, Monica
    Bertossi, Leopoldo
    DATA & KNOWLEDGE ENGINEERING, 2010, 69 (06) : 545 - 572
  • [2] Logic programs for querying inconsistent databases
    Barceló, P
    Bertossi, L
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, 2003, 2562 : 208 - 222
  • [3] Using Rules of Thumb for Repairing Inconsistent Answer Set Programs
    Merhej, Elie
    Schockaert, Steven
    De Cock, Martine
    SCALABLE UNCERTAINTY MANAGEMENT (SUM 2015), 2015, 9310 : 368 - 381
  • [4] Querying formal contexts with answer set programs
    Hitzler, Pascal
    Kroetzsch, Markus
    CONCEPTUAL STRUCTURES: INSPIRATION AND APPLICATION, 2006, 4068 : 260 - 273
  • [5] On Establishing Robust Consistency in Answer Set Programs
    Thevapalan, Andre
    Kern-Isberner, Gabriele
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2023, 23 (05) : 1094 - 1127
  • [6] A system with template answer set programs
    Calimeri, F
    Ianni, G
    Ielpa, G
    Pietramala, A
    Santoro, MC
    LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3229 : 693 - 697
  • [7] Repairing inconsistent answer set programs using rules of thumb: A gene regulatory networks case study
    Merhej, Elie
    Schockaert, Steven
    De Cock, Martine
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2017, 83 : 243 - 264
  • [8] Rough set reasoning using answer set programs
    Doherty, Patrick
    Szalas, Andrzej
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2021, 130 : 126 - 149
  • [9] Synthesizing Concurrent Programs Using Answer Set Programming
    De Angelis, Emanuele
    Pettorossi, Alberto
    Proietti, Maurizio
    FUNDAMENTA INFORMATICAE, 2012, 120 (3-4) : 205 - 229
  • [10] DBIQS - An Intelligent System for Querying and Mining Databases using NLP
    Agrawal, Rohit
    Chakkarwar, Amogh
    Choudhary, Prateek
    Jogalekar, Usha A.
    Kulkarni, Deepa H.
    PROCEEDINGS OF THE 2014 INTERNATIONAL CONFERENCE ON INFORMATION SYSTEMS AND COMPUTER NETWORKS (ISCON), 2014, : 39 - 44
123