Explaining Inconsistency-Tolerant Query Answering over Description Logic Knowledge Bases
AAAI, pp. 900-906, 2016.
Several inconsistency-tolerant semantics have been introduced for querying inconsistent description logic knowledge bases. This paper addresses the problem of explaining why a tuple is a (non-)answer to a query under such semantics. We define explanations for positive and negative answers under the brave, AR and IAR semantics. We then stu...More
PPT (Upload PPT)