| Title of Article |
Reasoning in Inconsistent Prioritized Knowledge Bases: An Argumentative Approach |
| Date of Acceptance |
7 September 2021 |
| Journal |
| Title of Journal |
International Journal of Electrical and Computer Engineering |
| Standard |
SCOPUS |
| Institute of Journal |
Institute of Advanced Engineering and Science (IAES) |
| ISBN/ISSN |
ISSN 2088-8708, e-ISSN 2722-2578 |
| Volume |
12 |
| Issue |
|
| Month |
June |
| Year of Publication |
2022 |
| Page |
2944-2954 |
| Abstract |
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 DL-LiteR KBs in the presence of priority, but also why. We, therefore, concern with the use of argumentation frameworks to allow users to better understand explanation techniques of querying answers over inconsistent DL-LiteR KBs in the presence of priority. More specifically, we propose a new variant of Dung’s argumentation frameworks, which corresponds to a given inconsistent DL-LiteR KB. We clarify a close relation between preferred subtheories adopted in such prioritized DL-LiteR setting and acceptable semantics of the corresponding argumentation framework. The significant result paves the way for applying algorithms and proof theories to establish preferred subtheories inferences in prioritized DL-LiteR KB |
| Keyword |
argumentation; description logics; inconsistency-tolerant reasoning; preferred subtheories |
| Author |
|
| Reviewing Status |
มีผู้ประเมินอิสระ |
| Status |
ตีพิมพ์แล้ว |
| Level of Publication |
นานาชาติ |
| citation |
true |
| Part of thesis |
true |
| Attach file |
|
| Citation |
0
|
|
|
Publication
Journal Publication
ไทย