{"type":"ScholarlyArticle","title":"Query-Driven Repairing of Inconsistent DL-Lite Knowledge Bases","authors":[{"name":"Meghyn Bienvenu","slug":"meghyn-bienvenu","given":"Meghyn","family":"Bienvenu","affiliation":""},{"name":"Camille Bourgaux","slug":"camille-bourgaux","given":"Camille","family":"Bourgaux","affiliation":""},{"name":"François Goasdoué","slug":"francois-goasdoue","given":"François","family":"Goasdoué","affiliation":""}],"abstract":"We consider the problem of query-driven repairing of inconsistent DL-Lite knowledge bases: query answers are computed under inconsistency-tolerant semantics, and the user provides feedback about which answers are erroneous or missing. The aim is to find a set of ABox modifications (deletions and additions), called a repair plan, that addresses as many of the defects as possible. After formalizing this problem and introducing different notions of optimality, we investigate the computational complexity of reasoning about optimal repair plans and propose interactive algorithms for computing such plans. For deletion-only repair plans, we also present a prototype implementation of the core components of the algorithm.","doi":null,"url":"https://ijcai.org/proceedings/2016/140","pdf":"https://ijcai.org/proceedings/2016/0140.pdf","markdown":"https://ijcai.org/proceedings/2016/140.md","bibtex":"https://ijcai.org/proceedings/2016/bibtex/140","volume":{"slug":"2016","title":"Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2016","url":"https://ijcai.org/proceedings/2016/","year":2016,"location":"New York, NY, USA","dates":"9–15 July 2016","editors":"Subbarao Kambhampati","isbn":"978-1-57735-770-4; 978-1-57735-771-1","publisher":"AAAI Press / International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":140,"pages":{"first":957,"last":963},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}