Communication Dans Un Congrès Année : 2025

A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases

Résumé

Repair-based semantics have been extensively studied as a means of obtaining meaningful answers to queries posed over inconsistent knowledge bases (KBs). While several works have considered how to exploit a priority relation between facts to select optimal repairs, the question of how to specify such preferences remains largely unaddressed. This motivates us to introduce a declarative rule-based framework for specifying and computing a priority relation between conflicting facts. As the expressed preferences may contain undesirable cycles, we consider the problem of determining when a set of preference rules always yields an acyclic relation, and we also explore a pragmatic approach that extracts an acyclic relation by applying various cycle removal techniques. Towards an end-to-end system for querying inconsistent KBs, we present a preliminary implementation and experimental evaluation of the framework, which employs answer set programming to evaluate the preference rules, apply the desired cycle resolution techniques to obtain a priority relation, and answer queries under prioritized-repair semantics.

Fichier principal
Vignette du fichier
main.pdf (399.47 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-05291388 , version 1 (01-10-2025)
hal-05291388 , version 2 (24-11-2025)

Licence

Identifiants

Citer

Meghyn Bienvenu, Camille Bourgaux, Katsumi Inoue, Robin Jean. A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases. KR 2025 - 22nd International Conference on Principles of Knowledge Representation and Reasoning, Nov 2025, Melbourne, Australia. ⟨hal-05291388v2⟩
163 Consultations
110 Téléchargements

Altmetric

Partager

  • More