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

arXiv:2202.07980v4 Announce Type: replace-cross Abstract: 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...