Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics

Koopmann, Patrick

doi:10.24963/ijcai.2021/266

Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics

Patrick Koopmann

Download BibTeX Cite

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. Main Track. Pages 1929-1935.

https://doi.org/10.24963/ijcai.2021/266

Keywords

Knowledge Representation and Reasoning: Diagnosis and Abductive Reasoning
Knowledge Representation and Reasoning: Computational Complexity of Reasoning
Knowledge Representation and Reasoning: Description Logics and Ontologies

Abstract

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 explaning 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 for ABox abduction so far do not allow or only allow

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.

Patrick Koopmann. 2021. Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics. In Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI-21. IJCAI, 1929–1935. https://doi.org/10.24963/ijcai.2021/266

@inproceedings{ijcai2021p266,
  title     = {Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics},
  author    = {Koopmann, Patrick},
  booktitle = {Proceedings of the Thirtieth International Joint Conference on
               Artificial Intelligence, {IJCAI-21}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  editor    = {Prof. Zhi-Hua Zhou},
  pages     = {1929--1935},
  year      = {2021},
  month     = {8},
  note      = {Main Track},
  doi       = {10.24963/ijcai.2021/266},
  url       = {https://doi.org/10.24963/ijcai.2021/266},
}

TY  - CPAPER
TI  - Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics
AU  - Koopmann, Patrick
T2  - Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI-21
PB  - International Joint Conferences on Artificial Intelligence Organization
PY  - 2021
SP  - 1929
EP  - 1935
DO  - 10.24963/ijcai.2021/266
UR  - https://doi.org/10.24963/ijcai.2021/266
ER  -