Camille Bourgaux

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

2022 · arXiv (Cornell University)

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 well-known semantics (AR, …