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 betwe…