Explaining Query Answers under Inconsistency-Tolerant Semantics over Description Logic Knowledge Bases (Extended Abstract)
Abstract
This extended abstract presents our work on explaining why a tuple is a (non-)answer to a query under the three well-known inconsistency-tolerant semantics AR, IAR, and brave.
Origin : Files produced by the author(s)
Loading...