Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments

Camille Bourgaux

Résumé

We investigate practical algorithms for inconsistency-tolerant query answering over prioritized knowledge bases, which consist of a logical theory, a set of facts, and a priority relation between conflicting facts. We consider three wellknown semantics (AR, IAR and brave) based upon two notions of optimal repairs (Pareto and completion). Deciding whether a query answer holds under these semantics is (co)NP-complete in data complexity for a large class of logical theories, and SAT-based procedures have been devised for repair-based semantics when there is no priority relation, or the relation has a special structure. The present paper introduces the first SAT encodings for Pareto-and completionoptimal repairs w.r.t. general priority relations and proposes several ways of employing existing and new encodings to compute answers under (optimal) repair-based semantics, by exploiting different reasoning modes of SAT solvers. The comprehensive experimental evaluation of our implementation compares both (i) the impact of adopting semantics based on different kinds of repairs, and (ii) the relative performances of alternative procedures for the same semantics.
Fichier principal
Vignette du fichier
main.pdf (334.92 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03770516 , version 1 (06-09-2022)

Identifiants

  • HAL Id : hal-03770516 , version 1

Citer

Meghyn Bienvenu, Camille Bourgaux. Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments. KR 2022 - 19th International Conference on Principles of Knowledge Representation and Reasoning, Jul 2022, Haifa, Israel. ⟨hal-03770516⟩
38 Consultations
18 Téléchargements

Partager

Gmail Facebook X LinkedIn More