TY - GEN
T1 - Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics
AU - Koopmann, Patrick
PY - 2021
Y1 - 2021
N2 - Given a knowledge base and an observation as a set of facts, ABox abduction aims at computing a hypothesis that, when added to the knowledge base, is sufficient to entail the observation. In signature-based ABox abduction, the hypothesis is further required to use only names from a given set. This form of abduction has applications such as diagnosis, KB repair, or explaining missing entailments. It is possible that hypotheses for a given observation only exist if we admit the use of fresh individuals and/or complex concepts built from the given signature, something most approaches so far do not support or only support with restrictions. In this paper, we investigate the computational complexity of this form of abduction-allowing either fresh individuals, complex concepts, or both-for various description logics, and give size bounds on the hypotheses if they exist.
AB - Given a knowledge base and an observation as a set of facts, ABox abduction aims at computing a hypothesis that, when added to the knowledge base, is sufficient to entail the observation. In signature-based ABox abduction, the hypothesis is further required to use only names from a given set. This form of abduction has applications such as diagnosis, KB repair, or explaining missing entailments. It is possible that hypotheses for a given observation only exist if we admit the use of fresh individuals and/or complex concepts built from the given signature, something most approaches so far do not support or only support with restrictions. In this paper, we investigate the computational complexity of this form of abduction-allowing either fresh individuals, complex concepts, or both-for various description logics, and give size bounds on the hypotheses if they exist.
UR - https://www.scopus.com/pages/publications/85120642096
UR - https://www.scopus.com/inward/citedby.url?scp=85120642096&partnerID=8YFLogxK
U2 - 10.24963/ijcai.2021/266
DO - 10.24963/ijcai.2021/266
M3 - Conference contribution
T3 - IJCAI International Joint Conference on Artificial Intelligence
SP - 1929
EP - 1935
BT - Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI 2021)
A2 - Zhou, Zhi-Hua
PB - International Joint Conferences on Artificial Intelligence
T2 - 30th International Joint Conference on Artificial Intelligence, IJCAI 2021
Y2 - 19 August 2021 through 27 August 2021
ER -