Reasoning in inconsistent prioritized knowledge bases: an argumentative approach

A study of query answering in prioritized ontological knowledge bases (KBs) has received attention in recent years. While several semantics of query answering have been proposed and their complexity is rather well-understood, the problem of explaining inconsistency-tolerant query answers has paid less attention. Explaining query answers permits users to understand not only what is entailed or not entailed by an inconsistent description logic DL-LiteR KBs in the presence of priority, but also why.We, therefore, concern with the use of argumentation frameworks to allow users tobetter understand explanation techniques of querying answers over inconsistent DLLiteRKBs in the presence of priority. More specifically, we propose a new variantof Dung’s argumentation frameworks, which corresponds to a given inconsistent DLLiteRKB. We clarify a close relation between preferred subtheories adopted in suchprioritized DL-LiteR setting and acceptable semantics of the corresponding argumentationframework. The significant result paves the way for applying algorithms andproof theories to establish preferred subtheories inferences in prioritized DL-LiteRKBs.