CQAPri

Consistent query answering over a DL-Lite knowledge box. Compute the answers which hold under AR or IAR semantics, for classical or priority-based repairs in the case where the data is partitioned into priority levels.